托马斯·费雷尔;奥德·马勒;德扬·尼契科维奇 混合时间信号时间逻辑。 (英语) Zbl 1434.68298号 安德烈,埃蒂安(编辑)等,时间系统的形式化建模和分析。2019年8月27日至29日,荷兰阿姆斯特丹,第17届国际会议,FORMATS 2019。诉讼程序。查姆:斯普林格。莱克特。票据计算。科学。11750, 59-75 (2019).MSC公司:第68季度第60季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{T.Ferrère}等人,Lect。票据计算。科学。11750,59-75(2019年;Zbl 1434.68298) 全文: 内政部
托马斯·费雷尔;奥德·马勒;德扬·尼契科维奇;阿米尔·普努利 从实时逻辑到时间自动机。 (英语) Zbl 1473.68107号 美国临床医学杂志 66,第3条,第19条,第31页(2019年).MSC公司:第68季度第60季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Ferrère}等人,J.ACM 66,第3号,第19条,第31页(2019年;Zbl 1473.68107) 全文: 内政部
阿列克谢·巴赫金;托马斯·费雷尔;奥德·马勒 STL的有效参数识别。 (英语) Zbl 1409.68166号 第21届ACM混合系统国际会议论文集:计算与控制,HSCC 2018,葡萄牙波尔图,2018年4月11-13日。纽约州纽约市:计算机协会(ACM)。177-186 (2018).MSC公司:第68季度第60季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.Bakhirkin}等人,in:第21届ACM混合系统国际会议论文集:计算与控制,HSCC 2018,葡萄牙波尔图,2018年4月11-13日。纽约州纽约市:计算机协会(ACM)。177-186(2018年;Zbl 1409.68166) 全文: 内政部 哈尔
多根·乌卢斯;奥德·马勒 使用时序逻辑指定定时模式。 (英语) Zbl 1409.68175号 第21届ACM混合系统国际会议论文集:计算与控制,HSCC 2018,葡萄牙波尔图,2018年4月11-13日。纽约州纽约市:计算机协会(ACM)。167-176(2018年)。MSC公司:第68季度第60季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{D.Ulus}和\textit{O.Maler},in:第21届ACM混合系统国际会议论文集:计算和控制,HSCC 2018,葡萄牙波尔图,2018年4月11-13日。纽约州纽约市:计算机协会(ACM)。167--176(2018年;Zbl 1409.68175) 全文: 内政部
尤金·亚萨林;奥德·马勒;德扬·尼科维奇;多根·乌卢斯 结合时间和认知维度进行MTL监测。 (英语) Zbl 1494.68158号 阿巴特,亚历山德罗(编辑)等,时间系统的形式化建模和分析。2017年9月5-7日在德国柏林举行的2017年FORMATS第15届国际会议。诉讼程序。查姆:斯普林格。莱克特。票据计算。科学。10419, 207-223 (2017).MSC公司:第68季度第60季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{E.Asarin}等人,Lect。票据计算。科学。10419,207--223(2017;Zbl 1494.68158) 全文: 内政部
托马斯·费雷尔;奥德·马勒;德扬·尼契科维奇;多根·乌卢斯 用定时模式测量。 (英语) Zbl 1381.68160号 Kroening,Daniel(编辑)等人,《计算机辅助验证》。2015年7月18日至24日,第27届国际会议,CAV 2015,美国加利福尼亚州旧金山。诉讼程序。第二部分。查姆:施普林格(ISBN 978-3-319-21667-6/pbk;978-3-3169-21668-3/ebook)。计算机科学课堂讲稿9207,322-337(2015)。MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \文本{T.Ferrère}等人,Lect。票据计算。科学。9207322--337(2015年;Zbl 1381.68160) 全文: 内政部
乔蒂莫·德斯穆赫;金小青;詹姆斯·卡宾斯基;奥德·马勒 混合系统伪造的随机局部搜索。 (英语) Zbl 1471.68138号 Finkbeiner,Bernd(编辑)等人,《验证和分析自动化技术》。2015年10月12日至15日,第13届国际研讨会,亚洲电视协会,中国上海。诉讼程序。查姆:斯普林格。莱克特。票据计算。科学。9364, 500-517 (2015).MSC公司:第68季度第60季度 68T20型 90 C59 93立方 93C83号 93立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{J.Deshmukh}等人,Lect。票据计算。科学。9364,500--517(2015;Zbl 1471.68138) 全文: 内政部
托马斯·费雷尔;奥德·马勒;德扬·尼契科维奇 使用时间暗示追踪诊断。 (英语) Zbl 1471.68141号 Finkbeiner,Bernd(编辑)等人,《验证和分析自动化技术》。2015年10月12日至15日,第13届国际研讨会,亚洲电视协会,中国上海。诉讼程序。查姆:斯普林格。莱克特。票据计算。科学。9364, 241-258 (2015).MSC公司:第68季度第60季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{T.Ferrère}等人,Lect。票据计算。科学。9364,241--258(2015;Zbl 1471.68141) 全文: 内政部
奥德·马勒 连续和混合系统的算法验证。 (英语) Zbl 1464.68210号 Holik,Lukas(编辑)等人,《第十五届无限状态系统验证国际研讨会论文集》,《INFINITY’13》,越南河内,2013年10月14日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)140,48-69(2014)。MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Maler},电子。程序。西奥。计算。科学。(EPTCS)140、48--69(2014;Zbl 1464.68210) 全文: arXiv公司 链接
奥德·马勒 定时系统未被满足的挑战。 (英语) Zbl 1416.68114号 Bensalem,Saddek(编辑)等人,《从程序到系统》。计算中的系统观点。ETAPS研讨会,FPS 2014,纪念约瑟夫·西法克斯,法国格勒诺布尔,2014年4月6日。诉讼程序。柏林:斯普林格。莱克特。票据计算。科学。8415, 177-192 (2014).MSC公司:第68季度第60季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{O.Maler},莱克特。票据计算。科学。8415,177--192(2014;Zbl 1416.68114) 全文: 内政部
亚历山大·唐泽;奥德·马勒;埃齐奥·巴托西;德扬·尼科维奇;拉杜·格罗苏;斯科特·斯莫尔卡 关于时序逻辑和信号处理。 (英语) Zbl 1374.68278号 Chakraborty,Supratik(编辑)等人,《验证和分析自动化技术》。2012年10月3日至6日,印度第十届国际研讨会,2012年ATVA,Thiruvananthapuram。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-3385-9/pbk)。计算机科学课堂讲稿7561,92-106(2012)。MSC公司:第68季度第60季度 03B44号 94甲12 PDF格式BibTeX公司 XML格式引用 \textit{A.Donzé}等人,Lect。票据计算。科学。7561,92-106(2012;Zbl 1374.68278) 全文: 内政部
艾哈迈德·博阿贾尼(编辑);奥德·马勒(编辑) 特刊:计算机辅助验证(CAV’09)。根据2009年6月26日至7月2日在法国格勒诺布尔举行的第21届会议上的发言选出的论文。 (英语) Zbl 1250.68018号 形式方法系统。设计。39,第3229-331号(2011年)。 MSC公司:68-06 00B25型 第68季度第60季度 PDF格式BibTeX公司 XML格式
奥德·马勒 Amir Pnueli和混合系统的黎明。 (英语) Zbl 1360.68005号 2010年4月12日至16日,瑞典斯德哥尔摩,HSCC 2010,第13届ACM混合系统:计算和控制国际会议记录。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-60558-955-8)。293-295 (2010).MSC公司:68-03 01A60型 01A70号 65年第68季度 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Maler},in:第13届ACM混合系统国际会议论文集:计算与控制,HSCC 2010,瑞典斯德哥尔摩,2010年4月12-16日。纽约州纽约市:计算机协会(ACM)。293-295(2010年;Zbl 1360.68005) 全文: 内政部
尤金·亚萨林;Thao Dang先生;奥德·马勒;罗曼·泰斯特利耶 使用冗余约束进行优化。 (英语) Zbl 1305.68117号 Bouajjani,Ahmed(编辑)等人,《验证和分析自动化技术》。2010年9月21日至24日,第八届国际研讨会,ATVA 2010,新加坡。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-15642-7/pbk)。计算机科学讲稿6252,37-51(2010)。MSC公司:第68季度第60季度 93个B03 93立方 PDF格式BibTeX公司 XML格式引用 \textit{E.Asarin}等人,Lect。票据计算。科学。6252、37-51(2010年;Zbl 1305.68117) 全文: 内政部
亚历山大·唐泽;奥德·马勒 时间逻辑对实值信号的稳健满足。 (英语) Zbl 1290.68071号 Chatterjee,Krishnendu(编辑)等人,时间系统的形式化建模和分析。第八届国际会议,FORMATS 2010,奥地利克洛斯特内堡,2010年9月8-10日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-15296-2/pbk)。计算机科学课堂讲稿6246,92-106(2010)。MSC公司:65年第68季度 03B44号 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Donzé}和\textit{O.Maler},莱克特。票据计算。科学。6246、92-106(2010年;Zbl 1290.68071) 全文: 内政部
艾哈迈德·博阿贾尼(编辑);奥德·马勒(编辑) 计算机辅助验证。2009年6月26日至7月2日在法国格勒诺布尔举行的第21届CAV 2009国际会议。诉讼程序。 (英语) Zbl 1165.68004号 计算机科学课堂讲稿5643.柏林:施普林格出版社(ISBN 978-3-642-02657-7/pbk)。xv,722页。(2009).MSC公司:68-06 第68季度第60季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{A.Bouajjani}(编辑)和\textit{O.Maler}(编),计算机辅助验证。2009年6月26日至7月2日,法国格勒诺布尔,第21届国际会议,CAV 2009。诉讼程序。柏林:施普林格出版社(2009;Zbl 1165.68004) 全文: 内政部
拉杰夫·阿鲁尔;奥尔德里克·德戈尔;奥德·马勒;杰拉·韦斯 关于由平均值条件定义的欧米伽语。 (英语) Zbl 1234.68248号 de Alfaro,Luca(编辑),《软件科学和计算结构基础》。2009年3月22日至29日在英国约克举行的第12届国际会议FOSSACS 2009,作为欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-00595-4/pbk)。计算机科学讲座笔记5504333-347(2009)。MSC公司:第68季度第60季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Alur}等人,Lect。票据计算。科学。5504333-347(2009年;Zbl 1234.68248) 全文: 内政部
奥德·马勒;德扬·尼科维奇;阿米尔·普努利 检查离散、定时和连续行为的时间属性。 (英语) 兹比尔1133.68378 Avron,Arnon(编辑)等人,《计算机科学的支柱》。在鲍里斯(波阿斯)·特拉赫滕布罗特85岁生日之际,为他撰写的论文。柏林:施普林格出版社(ISBN 978-3-540-78126-4/pbk)。计算机科学讲座笔记4800,475-505(2008)。MSC公司:第68季度第60季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{O.Maler}等人,Lect。票据计算。科学。4800、475--505(2008年;Zbl 1133.68378) 全文: 内政部
奥德·马勒;德扬·尼科维奇;阿米尔·普努利 从有界响应特性合成控制器。 (英语) Zbl 1135.68477号 Damm,Werner(编辑)等人,《计算机辅助验证》。2007年7月3日至7日在德国柏林举行的2007年CAV第19届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-73367-6/pbk)。计算机科学课堂讲稿4590,95-107(2007)。MSC公司:第68季度第60季度 65年第68季度 93元65角 PDF格式BibTeX公司 XML格式引用 \textit{O.Maler}等人,Lect。票据计算。科学。4590,95-107(2007年;Zbl 1135.68477) 全文: 内政部
奥德·马勒;德扬·尼科维奇;阿米尔·普努利 从MITL到时间自动机。 (英语) Zbl 1141.68436号 Asarin,Eugene(编辑)等人,《时间系统的形式化建模和分析》。第四届国际会议,FORMATS 2006,巴黎,法国,2006年9月25-27日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-45026-9/pbk)。计算机科学课堂讲稿4202,274-289(2006)。MSC公司:65年第68季度 03B44号 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Maler}等人,Lect。票据计算。科学。4202、274--289(2006年;Zbl 1141.68436) 全文: 内政部
兰齐·本·萨拉赫;马里乌斯·博兹加;奥德·马勒 关于时间自动机中的交错。 (英语) 兹比尔1151.68457 Baier,Christel(编辑)等人,CONCUR 2006–并发理论。第17届国际会议,CONCUR 2006,德国波恩,2006年8月27日至30日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-37376-6/pbk)。计算机科学讲义4137465-476(2006)。MSC公司:65年第68季度 第68季度第60季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Ben Salah}等人,Lect。票据计算。科学。4137465--476(2006年;Zbl 1151.68457) 全文: 内政部 哈尔
Thao Dang先生;亚历山大·唐泽;奥德·马勒 使用混合系统技术验证模拟和混合信号电路。 (英语) Zbl 1117.68303号 Hu,Alan J.(编辑)等,《计算机辅助设计中的形式化方法》。2004年11月15日至17日,第五届国际会议,FMCAD 2004,美国德克萨斯州奥斯汀。诉讼程序。柏林:施普林格出版社(ISBN 3-540-23738-0/pbk)。计算机科学课堂讲稿3312,21-36(2004)。MSC公司:2007年7月68日 第68季度第60季度 94立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{T.Dang}等人,Lect。票据计算。科学。3312,21-36(2004;Zbl 1117.68303) 全文: 内政部
科顿,斯科特;尤金·亚萨林;奥德·马勒;彼得·尼伯特 差分逻辑可满足性检查的一些进展。 (英语) Zbl 1109.68513号 Lakhnech,Yassine(编辑)等人,《定时和容错系统的形式化技术、建模和分析》。2004年9月22日至24日在法国格勒诺布尔举行的关于时间系统的正式建模和分析、FORMATS 2004以及实时和容错系统中的正式技术的联合国际会议,FTRTFT 2004。诉讼程序。柏林:施普林格出版社(ISBN 3-540-23167-6/pbk)。计算机科学课堂讲稿3253263-276(2004)。MSC公司:第68季度第60季度 68吨15 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{S.Cotton}等人,Lect。票据计算。科学。3253、263--276(2004年;Zbl 1109.68513) 全文: 内政部
奥德·马勒;德扬·尼科维奇 监测连续信号的时间特性。 (英语) Zbl 1109.68518号 Lakhnech,Yassine(编辑)等人,《定时和容错系统的形式化技术、建模和分析》。2004年9月22日至24日在法国格勒诺布尔举行的关于时间系统的正式建模和分析、FORMATS 2004以及实时和容错系统中的正式技术的联合国际会议,FTRTFT 2004。诉讼程序。柏林:施普林格出版社(ISBN 3-540-23167-6/pbk)。计算机科学课堂讲稿3253152-166(2004)。MSC公司:第68季度第60季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{O.Maler}和\textit{D.Nickovic},莱克特。票据计算。科学。3253、152--166(2004年;Zbl 1109.68518) 全文: 内政部
尤金·亚萨林;保罗·卡斯皮;奥德·马勒 定时正则表达式。 (英语) 兹比尔1323.68335 美国临床医学杂志 49,第2期,172-206(2002).MSC公司:65年第68季度 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Asarin}等人,J.ACM 49,No.2,172--206(2002;Zbl 1323.68335) 全文: 内政部
马里乌斯·博兹加;侯建民;奥德·马勒;塞尔吉奥·尤文 使用时间自动机验证异步电路。 (英语) Zbl 1270.68164号 Asarin,Eugene(编辑)等人,TPTS’2002。2002年4月6日至7日在法国格勒诺布尔举行的第一次定时系统理论与实践研讨会会议记录(ETAPS 2002年卫星活动)。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》65,第6期,47-59(2002)。MSC公司:第68季度第60季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Bozga}等人,《电子》。注释Theor。计算。科学。65,第6号,47-59(2002;Zbl 1270.68164) 全文: 内政部
尤金·亚萨林(编辑);奥德·马勒(编辑);塞尔吉奥·尤文(编辑) TPTS’2002。2002年4月6日至7日在法国格勒诺布尔举行的第一次定时系统理论与实践研讨会会议记录(ETAPS 2002年卫星活动)。 (英语) Zbl 1267.68020号 理论计算机科学电子笔记65,第6号。阿姆斯特丹:爱思唯尔。第276页。,仅电子版(2002年)。MSC公司:68-06 第68季度第60季度 68问题85 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{E.Asarin}(编辑)等人,TPTS’2002。2002年4月6日至7日在法国格勒诺布尔举行的第一次定时系统理论与实践研讨会(ETAPS 2002年卫星活动)会议记录。阿姆斯特丹:Elsevier(2002;Zbl 1267.68020) 全文: 链接
彼得·尼伯特;莫伊兹·马赫福德;尤金·亚萨林;马里乌斯·博兹加;奥德·马勒 通过可满足性检查验证时间自动机。 (英语) Zbl 1278.68187号 Damm,Werner(ed.)等人,实时和容错系统中的形式化技术。2002年9月9日至12日,由IFIP WG 2.2共同主办的第七届国际研讨会,FTRTFT 2002。诉讼程序。柏林:施普林格出版社(ISBN 3-540-44165-4/pbk)。计算机科学课堂讲稿2469225-243(2002)。MSC公司:第68季度第60季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Niebert}等人,Lect。票据计算。科学。2469225-243(2002年;Zbl 1278.68187) 全文: 内政部
尤金·亚萨林;Thao Dang先生;奥德·马勒 用于验证混合系统的(d/dt)工具。 (英语) Zbl 1010.68796号 Brinksma,Ed(编辑)等人,《计算机辅助验证》。2002年7月27日至31日,丹麦哥本哈根,第14届国际会议,CAV 2002。诉讼程序。柏林:斯普林格。莱克特。票据计算。科学。2404, 365-370 (2002).MSC公司:68单位99 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Asarin}等人,Lect。票据计算。科学。2404365-370(2002年;Zbl 1010.68796)
奥利维尔·伯内兹;奥德·马勒 关于时间多面体的表示。 (英语) 兹伯利0973.68143 Montanari,Ugo(编辑)等人,《自动化、语言和编程》。第27届国际学术讨论会,ICALP 2000,瑞士日内瓦,2000年7月9日至15日。诉讼程序。柏林:斯普林格。莱克特。票据计算。科学。1853, 793-807 (2000).MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Bournez}和\textit{O.Maler},莱克特。票据计算。科学。1853、793--807(2000年;Zbl 0973.68143)
马里乌斯·博兹加;奥德·马勒 关于结构化域上概率的表示。 (英语) 兹比尔1046.68581 Halbwachs,Nicolas(编辑)等人,《计算机辅助验证》。第11届国际会议,CAV’99。意大利特伦托,1999年7月6日至10日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-66202-2)。莱克特。票据计算。科学。1633, 261-273 (1999).MSC公司:第68季度第60季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Bozga}和\textit{O.Maler},莱克特。票据计算。科学。1633、261--273(1999年;Zbl 1046.68581)
艾哈迈德·博阿贾尼;哈维尔·埃斯帕尔扎;奥德·马勒 下推自动机的可达性分析:在模型检查中的应用。 (英语) 兹比尔1512.68135 Mazurkiewicz,Antoni(编辑)等人,CONCUR’97:并发理论。第八届国际会议。波兰华沙。1997年7月1日至4日。诉讼程序。柏林:斯普林格。莱克特。票据计算。科学。1243, 135-150 (1997).MSC公司:65年第68季度 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Bouajjani}等人,Lect。票据计算。科学。1243135-150(1997年;Zbl 1512.68135) 全文: 内政部