Reiya Noguchi；奥坎·桑库尔；蒂埃里·杰伦；尼古拉斯·马基；戴维·曼特雷 修复实时需求。 （英语） Zbl 1522.68338号 Bouajjani，Ahmed（编辑）等人，《验证和分析自动化技术》。第20届国际研讨会，ATVA 2022，虚拟活动，2022年10月25日至28日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13505, 371-387 (2022).MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Noguchi}等人，Lect。注释计算。科学。13505371--387（2022年；Zbl 1522.68338） 全文： 内政部 哈尔
维克托·鲁萨纳利；奥坎·桑库尔；尼古拉斯·马基 时间自动机的抽象精化算法。 （英语） 兹伯利07805524 Dillig，Isil（编辑）等人，《计算机辅助验证》。2019年7月15日至18日在美国纽约州纽约市举行的第31届CAV 2019国际会议。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。11561, 22-40 (2019).MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Roussanaly}等人，Lect。注释计算。科学。11561，22-40（2019；Zbl 07805524） 全文： 内政部 arXiv公司
洛依茨海露；尼古拉斯·马基；里塔姆·拉哈 放松能量约束的可达性游戏。 （英语） Zbl 07453074号 Leroux，Jéróme（ed.）等人，第十届游戏、自动机、逻辑和形式验证国际研讨会论文集，2019年9月2日至3日，法国波尔多，GandALF 2019。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）305，17-33（2019）。MSC公司：65年第68季度 60年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{L.Hélouét}等人，《电子》。程序。西奥。计算。科学。（EPTCS）305、17-33（2019；Zbl 07453074） 全文： arXiv公司 链接
利奥·亨利；蒂埃里·杰伦；尼古拉斯·马基 定时系统离线测试的控制策略。 （英语） Zbl 1508.68221号 del Mar Gallardo，María（编辑）等人，《模型检查软件》。2018年6月20日至22日在西班牙马拉加举行的2018年SPIN第25届国际研讨会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10869171-189（2018年）。MSC公司：60年第68季度 65年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{L.Henry}等人，Lect。注释计算。科学。10869、171--189（2018；Zbl 1508.68221） 全文： 内政部 arXiv公司 哈尔
帕特里夏·鲍耶；乌里·法伦贝格；金·古德斯特兰·拉森；尼古拉斯·马基；约尔·瓦克宁；詹姆斯·沃雷尔 模型检查实时系统。 （英语） Zbl 1392.68235号 Clarke，Edmund M.（编辑）等人，《模型检查手册》。查姆：施普林格（ISBN 978-3-319-10574-1/hbk；978-3-3169-10575-8/电子书）。1001-1046 (2018).MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人，in：模型检查手册。查姆：斯普林格。1001--1046（2018；Zbl 1392.68235） 全文： 内政部 哈尔
帕特里夏·鲍耶；弗朗索瓦·拉鲁西尼；尼古拉斯·马基；约尔·瓦克宁；詹姆斯·沃雷尔 时间时序逻辑。 （英语） Zbl 1431.03032号 Aceto，Luca（编辑）等人，《模型、算法、逻辑和工具》。献给金·古尔德斯特朗·拉森60岁生日之际的散文。查姆：斯普林格。莱克特。注释计算。科学。10460, 211-230 (2017).MSC公司：03B44号 05年3月 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人，Lect。注释计算。科学。10460211-230（2017；Zbl 1431.03032） 全文： 内政部 哈尔
大卫，艾米莉；弗朗索瓦·拉鲁西尼；尼古拉斯·马基 关于QCTL的表达性。 （英语） Zbl 1392.68245号 Desharnais，Josée（编辑）等人，第27届并发理论国际会议，CONCUR 2016，加拿大魁北克市，2016年8月23日至26日。诉讼程序。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-95977-017-0）。LIPIcs–Leibniz International Proceedings in Informatics莱布尼茨国际信息学论文集59，第28条，第15页（2016）。MSC公司：60年第68季度 03B44号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{A.David}等人，LIPIcs——莱布尼茨国际程序。通知。59，第28条，第15页（2016年；Zbl 1392.68245） 全文： 内政部
帕特里夏·鲍耶；帕特里克·加迪；尼古拉斯·马基 关于策略逻辑的语义。 （英语） 兹比尔1346.68121 信息处理。莱特。 116，第2期，75-79（2016）.MSC公司：60年第68季度 03B44号 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人，《信息处理》。莱特。116，第2号，75--79（2016；Zbl 1346.68121） 全文： 内政部
帕特里夏·鲍耶；帕特里克·加迪；尼古拉斯·马基 单反游戏中布尔目标的加权策略逻辑。 （英语） Zbl 1366.68166号 Harsha，Prahladh（编辑）等人，第35届IARCS软件技术和理论计算机科学基础年会，FSTTCS 2015，印度班加罗尔，2015年12月16日至18日。诉讼程序。瓦登：达格斯图尔宫-莱布尼茨天顶宫（ISBN 978-3-939897-97-2）。LIPIcs–莱布尼茨国际信息学论文集45，69-83（2015）。MSC公司：60年第68季度 03B44号 03B70号 65年第68季度 91A06型 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人，LIPIcs——莱布尼茨国际程序。通知。45、69-83（2015年；Zbl 1366.68166） 全文： 内政部
帕特里夏·鲍耶；尼古拉斯·马基；奥坎·桑库尔 时间自动机和游戏中的鲁棒可达性：基于游戏的方法。 （英语） Zbl 1302.68153号 西奥。计算。科学。 563，43-74（2015）.MSC公司：65年第68季度 60年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人，Theor。计算。科学。563、43——74（2015；Zbl 1302.68153） 全文： 内政部
奥坎·桑库尔；帕特里夏·鲍耶；尼古拉斯·马基 缩小时间自动机。 （英语） Zbl 1285.68090号 Inf.计算。 234, 107-132 (2014).MSC公司：65年第68季度 60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{O.Sankur}等人，《信息计算》。234107--132（2014年；Zbl 1285.68090） 全文： 内政部 链接
帕特里夏·鲍耶；尼古拉斯·马基；奥坎·桑库尔 时间自动机中的鲁棒性。 （英语） Zbl 1407.68282号 Abdulla，Parosh Aziz（编辑）等，《可达性问题》。第七届国际研讨会，RP 2013，瑞典乌普萨拉，2013年9月24日至26日会议记录。柏林：斯普林格。莱克特。注释计算。科学。8169, 1-18 (2013).MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人，Lect。注释计算。科学。8169，1-18（2013；Zbl 1407.68282） 全文： 内政部
帕特里夏·鲍耶；尼古拉斯·马基；奥坎·桑库尔 时间自动机中的鲁棒可达性：基于游戏的方法。 （英语） Zbl 1367.68161号 Czumaj，Artur（编辑）等人，《自动化、语言和编程》。2012年7月9日至13日在英国考文垂举行的第39届国际学术讨论会，ICALP 2012。诉讼，第二部分。柏林：施普林格出版社（ISBN 978-3-642-31584-8/pbk）。计算机科学讲义739228-140（2012）。MSC公司：65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人，Lect。注释计算。科学。7392，128--140（2012；Zbl 1367.68161） 全文： 内政部 哈尔
奥坎·桑库尔；帕特里夏·鲍耶；尼古拉斯·马基 缩小时间自动机。 （英语） Zbl 1246.68159号 Chakraborthy，Supraik（编辑）等人，IARCS软件技术和理论计算机科学基础年会（FSTTCS 2011），印度孟买，2011年12月12-14日。瓦登：达格斯图尔宫-莱布尼茨天顶宫（ISBN 978-3-939897-34-7）。LIPIcs–莱布尼茨国际信息学会议录13，90-102，仅电子版（2011年）。MSC公司：60年第68季度 65年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{O.Sankur}等人，LIPIcs——莱布尼茨国际程序。通知。13、90-102（2011；Zbl 1246.68159） 全文： 内政部
帕特里夏·鲍耶；尼古拉斯·马基；奥坎·桑库尔 通过泵入通道机器对时间自动机进行鲁棒模型检查。 （英语） Zbl 1348.68122号 Fahrenberg，Uli（编辑）等人，《时间系统的形式化建模和分析》。2011年9月21日至23日，第九届国际会议，FORMATS 2011，丹麦奥尔堡。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24309-7/pbk）。计算机科学课堂讲稿6919，97-112（2011）。MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人，Lect。注释计算。科学。6919，97-112（2011；Zbl 1348.68122） 全文： 内政部
帕特里夏·鲍耶；Larsen，Kim G。；尼古拉斯·马基；奥坎·桑库尔；克劳斯·苏兰 时间自动机总是可以实现的。 （英语） Zbl 1343.68134号 Katoen，Joost Pieter（编辑）等人，CONCUR 2011——并发理论。2011年9月6日至9日，第22届国际会议，CONCUR 2011，德国亚琛。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-23216-9/pbk）。计算机科学课堂讲稿690176-91（2011）。MSC公司：65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人，Lect。注释计算。科学。6901,76--91（2011；Zbl 1343.68134） 全文： 内政部
帕特里夏·鲍耶；乌里·法伦贝格；Larsen，Kim G。；尼古拉斯·马基 能量约束下带观测器的时间自动机。 （英语） Zbl 1361.68135号 2010年4月12日至16日，瑞典斯德哥尔摩，HSCC 2010，第13届ACM混合系统：计算和控制国际会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-60558-955-8）。61-70 (2010).MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人，in：第13届ACM混合系统国际会议论文集：计算与控制，HSCC 2010，瑞典斯德哥尔摩，2010年4月12-16日。纽约州纽约市：计算机协会（ACM）。61-70（2010年；Zbl 1361.68135） 全文： 内政部
帕特里夏·鲍耶；Larsen，Kim G。；尼古拉斯·马基 模型检查单时钟定价时间自动机。 （英语） Zbl 1149.68401号 日志。方法计算。科学。 4，第2号，第9号文件，第28页（2008年）.MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人，Log。方法计算。科学。4，第2期，论文9，28页（2008年；Zbl 1149.68401） 全文： 内政部
帕特里夏·鲍耶；尼古拉斯·马基；皮埃尔·阿莱·雷尼尔 基于信道机的时间自动机鲁棒性分析。 （英语） Zbl 1138.68431号 Amadio，Roberto（编辑），《软件科学和计算结构基础》。2008年3月29日至4月6日在匈牙利布达佩斯举行的第11届国际会议FOSSACS 2008，该会议是欧洲软件理论与实践联合会议ETAPS 2008的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-78497-5/pbk）。计算机科学课堂讲稿4962157-171（2008）。MSC公司：65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人，Lect。注释计算。科学。4962，157--171（2008；Zbl 1138.68431） 全文： 内政部
帕特里夏·鲍耶；尼古拉斯·马基 成本太高了！ （英语） Zbl 1142.68045号 Raskin，Jean-François（编辑）等，时间系统的形式化建模和分析。第五届国际会议，FORMATS 2007，奥地利萨尔茨堡，2007年10月3-5日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-75453-4/pbk）。计算机科学课堂讲稿4763，53-68（2007）。MSC公司：60年第68季度 03B44号 05年3月 03天35分 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}和\textit{N.Markey}，莱克特。注释计算。科学。4763、53-68（2007年；Zbl 1142.68045） 全文： 内政部 哈尔
帕特里夏·鲍耶；Larsen，Kim G。；尼古拉斯·马基 模型检查单时钟定价的时间自动机。 （英语） Zbl 1149.68400号 塞德尔，赫尔穆特（编辑），软件科学和计算结构基础。2007年3月24日至4月1日在葡萄牙布拉加举行的第十届国际会议FOSSACS 2007，该会议是欧洲软件理论与实践联合会议ETAPS 2007的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-71388-3/pbk）。计算机科学课堂讲稿4423108-122（2007）。MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人，Lect。注释计算。科学。4423、108-122（2007年；Zbl 1149.68400） 全文： 内政部
尼古拉斯·马基；菲利普·施诺贝伦 微积分路径检查。 （英语） Zbl 1184.68339号 信息处理。莱特。 97，第6期，225-230（2006）.MSC公司：60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{N.Markey}和\textit{P.Schnoebelen}，Inf.过程。莱特。97，第6号，225--230（2006；Zbl 1184.68339） 全文： 内政部 哈尔
帕特里夏·鲍耶；尼古拉斯·马基；皮埃尔·阿莱·雷尼尔 时间自动机中线性时间属性的稳健模型检验。 （英语） Zbl 1145.68464号 Correa，JoséR.（编辑）等人，拉丁语2006：理论信息学。第七届拉丁美洲研讨会，智利瓦尔迪维亚，2006年3月20日至24日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-32755-X/pbk）。计算机科学课堂讲稿3887，238-249（2006）。MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人，Lect。注释计算。科学。3887、238--249（2006年；Zbl 1145.68464） 全文： 内政部 哈尔
拉鲁西尼，F。；马基，N。；Schnoebelen博士。 一个或两个时钟的模型检查时间自动机。 （英语） Zbl 1099.68057号 Gardner，Philippa（编辑）等人，CONCUR 2004–并发理论。第十五届国际会议，2004年8月31日至9月3日，英国伦敦。诉讼程序。柏林：施普林格出版社（ISBN 3-540-22940-X/pbk）。计算机科学课堂讲稿3170387-401（2004）。MSC公司：60年第68季度 65年第68季度 2017年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{F.Laroussinie}等人，Lect。注释计算。科学。3170387--401（2004年；Zbl 1099.68057） 全文： 内政部
马丁·德·沃尔夫；劳伦特·多恩；尼古拉斯·马基；让-弗朗索瓦·拉斯金 时间自动机的鲁棒性和可实现性。 （英语） Zbl 1109.68504号 Lakhnech，Yassine（编辑）等人，《定时和容错系统的形式化技术、建模和分析》。2004年9月22日至24日在法国格勒诺布尔举行的关于时间系统的正式建模和分析、FORMATS 2004以及实时和容错系统中的正式技术的联合国际会议，FTRTFT 2004。诉讼程序。柏林：施普林格出版社（ISBN 3-540-23167-6/pbk）。计算机科学课堂讲稿3253118-133（2004）。MSC公司：65年第68季度 60年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{M.De Wulf}等人，Lect。注释计算。科学。3253、118--133（2004年；Zbl 1109.68504） 全文： 内政部