帕特里夏·布耶;弗朗索瓦·拉鲁西尼;尼古拉斯·马基;约尔·瓦克宁;詹姆斯·沃雷尔 时间时序逻辑。 （英语） 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年；兹bl 1392.68245） 全文： 内政部
帕特里夏·布耶;弗兰克·卡塞兹;弗朗索瓦·拉鲁西尼 实时系统的定时模态逻辑。规范、验证和控制。 （英语） Zbl 1216.68158号 J.逻辑语言信息。 第2期第20期，第169-203页（2011年）.MSC公司：60年第68季度 03B45 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人，J.Logic Lang.Inf.20，No.2，169--203（2011；Zbl 1216.68158） 全文： 内政部
马尔金·尤尔金斯基;杰里米·斯普洛斯顿;弗朗索瓦·拉鲁西尼 一个或两个时钟的概率时间自动机模型检验。 （英语） Zbl 1147.68574号 日志。方法计算。科学。 4，第3期，论文12，28页（2008年）.MSC公司：60年第68季度 65年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Jurdzinski}等人，日志。方法计算。科学。4，第3号，论文12，28页（2008年；Zbl 1147.68574） 全文： 内政部
弗朗索瓦·拉鲁西尼;杰里米·斯普洛斯顿 状态爆炸几乎是概率可达的。 （英语） Zbl 1184.68318号 信息处理。莱特。 102，第6号，236-241（2007年）.MSC公司：65年第68季度 60年第68季度 第68季度87 PDF格式BibTeX公司 XML格式引用 \textit{F.Laroussinie}和\textit{J.Sproston}，Inf.过程。莱特。102，No.6，236--241（2007；Zbl 1184.68318） 全文： 内政部
马尔钦·尤季扬斯基;弗朗索瓦·拉鲁西尼;杰里米·斯普洛斯顿 一个或两个时钟的概率时间自动机模型检验。 （英语） Zbl 1186.68295号 Grumberg，Orna（编辑）等人，《系统构建和分析的工具和算法》。2007年3月24日至4月1日在葡萄牙布拉加举行的第13届国际会议TACAS 2007，是欧洲软件理论与实践联合会议ETAPS 2007的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-71208-4/pbk）。计算机科学课堂讲稿4424170-184（2007）。MSC公司：60年第68季度 2017年第68季度 65年第68季度 第68季度87 PDF格式BibTeX公司 XML格式引用 \textit{M.Jurdziñski}等人，莱克特。注释计算。科学。4424，170--184（2007；Zbl 1186.68295） 全文： 内政部
帕特里夏·布耶;弗朗索瓦·拉鲁西尼;皮埃尔·阿莱·雷尼尔 时间自动机中的对角线约束：时间系统的正向分析。 （英语） Zbl 1175.68256号 Pettersson，Paul（编辑）等，时间系统的形式化建模和分析。第三届国际会议，FORMATS 2005，乌普萨拉，瑞典，2005年9月26-28日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-30946-2/pbk）。计算机科学课堂讲稿3829112-126（2005）。MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人，Lect。注释计算。科学。3829112-126（2005年；兹比尔1175.68256） 全文： 内政部
Houda Bel Mokadem;贝拉德，贝特里奇;帕特里夏·布耶;弗朗索瓦·拉鲁西尼 时间自动机中几乎处处属性的一种新形式。 （英语） Zbl 1134.68381号 Abadi，Martín（编辑）等人，CONCUR 2005–并发理论。2005年8月23日至26日，第16届国际会议，CONCUR 2005，美国加利福尼亚州旧金山。诉讼程序。柏林：施普林格出版社（ISBN 3-540-28309-9/pbk）。计算机科学课堂讲稿3653110-124（2005）。MSC公司：65年第68季度 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Bel Mokadem}等人，Lect。注释计算。科学。3653、110-124（2005年；Zbl 1134.68381） 全文： 内政部
拉鲁西尼，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 0974.68117号 Emerson，E.Allen（编辑）等人，《计算机辅助验证》。第十二届国际会议，CAV 2000。2000年7月15日至19日，美国伊利诺伊州芝加哥。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。1855, 373-388 (2000).MSC公司：60年第68季度 68问题85 65年第68季度 03B45 PDF格式BibTeX公司 XML格式引用 \textit{F.Cassez}和\textit{F.Laroussinie}，莱克特。注释计算。科学。1855373-388（2000年；Zbl 0974.68117）
弗朗索瓦·拉鲁西尼;Larsen，Kim G。;卡斯滕·韦斯 从时间自动机到逻辑，再到逻辑。 （英语） Zbl 1193.03069号 Wiedermann，Jiří（编辑）等人，《计算机科学的数学基础》，1995年。1995年8月28日至9月1日，第20届国际研讨会，MFCS’95，捷克共和国布拉格。诉讼程序。柏林：施普林格出版社（ISBN 3-540-60246-1）。莱克特。注释计算。科学。969, 529-539 (1995).MSC公司：05年3月 03B25号 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛F.Laroussinie｝等人，Lect。注释计算。科学。969529-539（1995年；Zbl 1193.03069） 全文： 内政部