zbMATH中的参考文献（参考文献46条,1标准件)

1. 芬克尔，阿兰；Praveen，M.：扁平FIFO系统的验证（2020年）
2. 查巴特，皮埃尔；芬克尔，阿兰；Schmitz，Sylvain:跟踪边界WSTS的正向分析和模型检查（2016）
3. 安德烈é, É蒂安；刘、杨；孙军；董金松：分层并发实时系统的参数综合（2014）
4. Waez，医学博士Tawhid Bin；迪格尔，尤尔根；鲁迪，凯伦：用于实时系统开发的时间自动机综述（2013）
5. 高浓缩铀ß尼尔，亚历山大；特里斯坦勒加尔；萨特，希腊égoire:McScM:通信机器验证的通用框架（2012）ioport公司
6. 艾哈迈德·布瓦贾尼；波兹加，马吕斯；哈伯梅尔，彼得；Iosif，拉杜；莫罗，皮埃尔；沃伊纳，汤姆áš: 带有列表的程序是反自动机（2011）
7. 查巴特，皮埃尔；芬克尔，阿兰；Sylwsts和Forward trace的Sylwsts模型检查（2011）
8. 安德烈é, É蒂安；Fribourg，Laurent:时间自动机的行为制图（2010）
9. 贝尔萨尼，马塞洛M。；卡瓦拉罗，卢卡；弗雷格里，阿基尔；普拉德拉，马特奥；Rossi，Matteo:基于SMT的整数约束LTL规范验证及其在服务可替代性运行时检查中的应用（2010）ioport公司
10. 波兹加，马吕斯；Iosif，拉杜；通力čný, 最终周期关系的快速加速（2010）
11. 波兹加，马吕斯；Iosif，拉杜；Perarnau，Swann:定量分离逻辑和列表程序（2010）
12. 哈里斯，威廉R。；拉尔，阿卡什；诺里，阿迪蒂亚五世。；Rajamani，Sriram K.：终止变更（2010年）
13. 杰森·奥尔蒂斯，詹姆斯；勒盖，阿克塞尔；Schobbens，Pierre Yves:记忆事件时钟（2010）
14. 卡拉亚桑达拉姆，巴拉；Velauthapillai，Mahe:函数的学习行为（2010）
15. 博伊丘特，尤汉；Hé嗯，皮埃尔·西里尔；Kouchnarenko，Olga:如何处理整数加权自动机正性（2009）
16. 花束，花；芬克尔，阿兰；Sangnier，Arnaud:时间计数器系统中的可达性（2009）
17. 芬克尔，阿兰；青铜器，É蒂安；Sangnier，Arnaud:走向带有列表的模型检查程序（2009）
18. Rapin，Nicolas:基于符号执行的具有无界变量的开放系统模型检查（2009）
19. 巴丁，Sé巴斯蒂安；芬克尔，阿兰；勒鲁，Jérô我；佩特鲁奇，劳尔：快速：从理论到实践的加速（2008）ioport公司
20. 花束，花；芬克尔，阿兰；勒鲁，Jérôme:整数与实数上可判定一阶逻辑的分解（2008）ioport公司