塞萨尔·桑切斯;杰拉尔多·施奈德;沃尔夫冈·阿伦特;埃齐奥·巴托西;多梅尼科·比安库利;克里斯蒂安·科伦坡;伊利耶斯·法尔科内;阿德里安·弗兰卡兰扎;克里斯蒂安·克里斯蒂奇;Lourenço,Joáo M。;德扬·尼科维奇;戈登·佩斯。;何塞·鲁菲诺;辛戈尔斯,朱利安;德米特里·特拉泰尔;亚历山大·韦斯 高级应用程序域(软件以外)的运行时验证挑战调查。 (英语) Zbl 1425.68268号 形式方法系统。设计。 54,编号3279-335(2019).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Sánchez}等人,《形式方法系统》。设计。54,第3号,279--335(2019;Zbl 1425.68268) 全文: DOI程序 arXiv公司
克里斯蒂安·科伦坡;伊利耶斯·法尔科内 使用全球时钟在分布式系统上组织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) 全文: DOI程序 链接
克里斯蒂安·科伦坡;戈登·佩斯。;帕特里克·阿贝拉 使用补偿实现更安全的异步运行时监控。 (英语) Zbl 1284.68142号 形式方法系统。设计。 41,第3期,269-294(2012).MSC公司:68甲19 68号30 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{C.Colombo}等人,《形式方法系统》。设计。41,第3号,269--294(2012;Zbl 1284.68142) 全文: DOI程序