埃蒂安·安德烈；莱姆，迪迪埃；尼古拉斯·马基 参数时间自动机中的语言保存问题。 （英语） Zbl 1429.68098号 日志。方法计算。科学。 16，第1号，第5号论文，31页（2020年）.MSC公司：65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{埃米·安德烈}等人，《日志》。方法计算。科学。16，第1号，第5号论文，31页（2020年；Zbl 1429.68098） 全文： arXiv公司
埃蒂安·安德烈；莱姆，迪迪埃；马蒂亚斯·拉普拉森 参数时间自动机中的参数更新。 （英语） Zbl 07800277号 Pérez，Jorge A.（编辑）等人，分布式对象、组件和系统的形式化技术。第39届IFIP WG 6.1国际会议，2019年FORTE，作为第14届分布式计算技术国际联合会议的一部分，于2019年6月17日至21日在丹麦Kongens Lyngby举行。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。11535, 39-56 (2019).MSC公司：65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{埃米·安德烈}等人，莱克特。票据计算。科学。11535，39-56（2019；Zbl 07800277） 全文： 内政部 哈尔
洛依格·杰泽奎尔；莱姆，迪迪埃 让我们懒惰一点，我们有时间-或者，懒惰的时间自动机可达性分析。 （英语） Zbl 1494.68182号 阿巴特，亚历山德罗（编辑）等，时间系统的形式化建模和分析。2017年9月5-7日在德国柏林举行的2017年FORMATS第15届国际会议。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。10419, 247-263 (2017).MSC公司：68问题85 65年第68季度 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Jezequel}和\textit{D.石灰}，莱克特。票据计算。科学。10419，247--263（2017；Zbl 1494.68182） 全文： 内政部
洛依格·杰泽奎尔；莱姆，迪迪埃 分布式系统中的延迟可达性分析。 （英语） Zbl 1392.68305号 Desharnais，Josée（编辑）等人，第27届并发理论国际会议，CONCUR 2016，加拿大魁北克市，2016年8月23日至26日。诉讼程序。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-95977-017-0）。LIPIcs–莱布尼茨国际信息学学报59，第17条，第14页（2016年）。MSC公司：68问题85 64岁以下 65年第68季度 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Jezequel}和\textit{D.Lime}，LIPIcs——莱布尼茨国际程序。通知。59，第17条，第14页（2016；Zbl 1392.68305） 全文： 内政部
克洛德·贾德；莱姆，迪迪埃；奥利维尔·H·鲁克斯。 将定时形式模型与时钟转换系统相结合。 （英语） Zbl 1408.68102号 芬丹。通知。 129，编号1-2，85-100（2014）.MSC公司：68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Jard}等人，Fundam。通知。129，编号1--2，85-100（2014；Zbl 1408.68102） 全文： 内政部
贝拉德，B。；卡塞兹，F。；哈达德，S。；石灰，D。；O.H.罗克斯。 时间Petri网的表达能力。 （英语） Zbl 1259.68141号 西奥。计算。科学。 474, 1-20 (2013).MSC公司：68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.贝拉德}等人，Theor。计算。科学。474，1--20（2013；Zbl 1259.68141） 全文： 内政部
莱姆，迪迪埃；奥利维尔·H·鲁克斯。 具有抢占式调度的实时系统的形式化验证。 （英语） Zbl 1185.68429号 实时系统。 41，第2期，第118-151页（2009年）.MSC公司：68问题65 68问题85 68克80 PDF格式BibTeX公司 XML格式引用 \textit{D.Lime}和\textit{O.H.Roux}，实时系统。41，第2号，118--151（2009；Zbl 1185.68429） 全文： 内政部 哈尔
贝拉德，B。；卡塞兹，F。；哈达德，S。；石灰，D。；O.H.罗克斯。 时间自动机何时弱时间与时间Petri网相似？ （英语） Zbl 1158.68029号 西奥。计算。科学。 403，编号2-3，202-220（2008）.MSC公司：68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.贝拉德}等人，Theor。计算。科学。403，编号2--3，202-220（2008；Zbl 1158.68029） 全文： 内政部
贝拉德、比阿特丽斯；弗兰克·卡塞兹；谢尔盖，哈达德；莱姆，迪迪埃；奥利维尔·H·鲁克斯。 时间自动机和时间Petri网表达能力的比较。 （英语） Zbl 1175.68270号 Pettersson，Paul（编辑）等，时间系统的形式化建模和分析。第三届国际会议，FORMATS 2005，乌普萨拉，瑞典，2005年9月26-28日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-30946-2/pbk）。计算机科学课堂讲稿3829211-225（2005）。MSC公司：68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Bérard}等人，Lect。票据计算。科学。3829211-225（2005年；Zbl 1175.68270） 全文： 内政部
贝拉德、比阿特丽斯；弗兰克·卡塞兹；谢尔盖，哈达德；莱姆，迪迪埃；奥利维尔·H·鲁克斯。 时间自动机何时弱时间与时间Petri网相似？ （英语） Zbl 1158.68424号 Ramanujam，R.（ed.）等人，FSTTCS 2005：软件技术和理论计算机科学基础。第25届国际会议，印度海得拉巴，2005年12月15日至18日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-30495-9/pbk）。计算机科学课堂讲稿3821273-284（2005）。MSC公司：68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Bérard}等人，Lect。票据计算。科学。3821273--284（2005年；Zbl 1158.68424） 全文： 内政部
弗兰克·卡塞兹；亚历山大·戴维；伊曼纽尔·弗勒里；Larsen，Kim G。；莱姆，迪迪埃 用于分析计时游戏的高效实时算法。 （英语） Zbl 1134.68382号 Abadi，Martín（编辑）等人，CONCUR 2005–并发理论。第16届国际会议，CONCUR 2005，美国加利福尼亚州旧金山，2005年8月23日至26日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-28309-9/pbk）。计算机科学课堂讲稿3653，66-80（2005）。MSC公司：65年第68季度 68问题85 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Cassez}等人，Lect。票据计算。科学。3653，66-80（2005年；兹bl 1134.68382） 全文： 内政部