塞萨尔·桑切斯;杰拉尔多·施奈德;沃尔夫冈·阿伦特;埃齐奥·巴托西;多梅尼科·比安库利;克里斯蒂安·科伦坡;伊利耶斯·法尔科内;阿德里安·弗兰卡兰扎;Sr Djan Krstić;Lourenço,Joáo M。;德扬·尼科维奇;戈登·佩斯。;何塞·鲁菲诺;辛戈尔斯,朱利安;德米特里·特拉泰尔;亚历山大·韦斯 高级应用程序域(软件以外)的运行时验证挑战调查。 (英语) 兹比尔1425.68268 形式方法系统。设计。 54,第3号,279-335(2019).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Sánchez}等人,《形式方法系统》。设计。54,第3号,279-335(2019年;兹bl 1425.68268) 全文: 内政部 arXiv公司
伊利耶斯·法尔科内(编辑);塞萨尔·桑切斯(编辑) 介绍运行时验证的特殊问题。 (英语) Zbl 1394.68005号 形式方法系统。设计。 53,编号1,1-5(2018).MSC公司:68-06 60年第68季度 00B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{Y.Falcone}(编辑)和\textit{C.Sánchez}(主编),《形式方法系统》。设计。53,编号1,1--5(2018;Zbl 1394.68005) 全文: 内政部
斯里尼瓦斯·皮尼塞蒂;普洛塔萨,维奥雷尔;斯塔夫罗斯·特里帕基斯;蒂埃里·杰伦;伊利耶斯·法尔科内;马尔尚,赫维 预测运行时强制。 (英语) Zbl 1370.68207号 形式方法系统。设计。 51,第1期,154-199(2017).MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Pinisetty}等人,《形式方法系统》。设计。51,第1号,154--199(2017;Zbl 1370.68207) 全文: 内政部 哈尔
阿里·卡西姆;伊利耶斯·法尔科内;帕斯卡·拉福卡德 电子考试的正式分析和离线监控。 (英语) Zbl 1370.68205号 形式方法系统。设计。 51,第1期,117-153(2017).MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Kassem}等人,《形式方法系统》。设计。51,第1号,117--153(2017;Zbl 1370.68205) 全文: 内政部 哈尔
克里斯蒂安·科伦坡;伊利耶斯·法尔科内 使用全球时钟在分布式系统上组织LTL监控器。 (英语) Zbl 1380.68272号 形式方法系统。设计。 49,编号1-2,109-158(2016).MSC公司:60年第68季度 03B44号 64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{C.Colombo}和\textit{Y.Falcone},形式方法系统。设计。49,编号1--2,109-158(2016;Zbl 1380.68272) 全文: 内政部 链接
安德烈亚斯·鲍尔;伊利耶斯·法尔科内 分散LTL监控。 (英语) Zbl 1392.68229号 形式方法系统。设计。 48,编号1-2,46-93(2016).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.Bauer}和\textit{Y.Falcone},《形式方法系统》。设计。48,编号1--2,46-93(2016;Zbl 1392.68229) 全文: 内政部 arXiv公司
斯里尼瓦斯·皮尼塞蒂;伊利耶斯·法尔科内;蒂埃里·杰伦;马尔尚,赫维;安托万·罗莱;奥马尔·恩格纳·蒂莫 已重新访问定时属性的运行时强制。 (英语) Zbl 1314.68102号 形式方法系统。设计。 45,第3期,381-422(2014).MSC公司:68号30 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Pinisetty}等人,《形式方法系统》。设计。45,第3号,381--422(2014;Zbl 1314.68102) 全文: 内政部 哈尔
伊利耶斯·法尔科内;劳伦特·穆尼尔;Jean-Claude费尔南德斯;Jean-Luc Richier先生 运行时强制监视器:合成、合成和强制能力。 (英语) Zbl 1219.68089号 形式方法系统。设计。 38,第3期,223-262(2011).MSC公司:68号30 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Falcone}等人,《形式方法系统》。设计。38,第3号,223--262(2011;Zbl 1219.68089) 全文: 内政部 哈尔