乌帕阿尔

Uppaal是一个用于实时系统建模、仿真和验证的集成工具环境,由丹麦奥尔堡大学计算机科学基础研究和瑞典乌普萨拉大学信息技术系联合开发。它适用于可以建模为具有有限控制结构和实值时钟的非确定性过程集合的系统,通过信道或共享变量进行通信[WPD94,LPW97b]。典型的应用领域包括实时控制器和通信协议,尤其是那些定时方面至关重要的领域。


zbMATH中的参考文献(参考文献634篇,3标准条款)

显示634个结果中的21到40个。
按年份排序(引用)
  1. 丹尼斯,路易丝A。;费舍尔,迈克尔;韦伯斯特,马特:两阶段代理程序验证(2018)
  2. Drechsler,Rolf(编辑):正式系统验证。最新技术和未来趋势(2018)
  3. 车费,伊利;伯大维,让保罗;Filali,Mamoun:过渡系统组合应用到时间自动机的事件代数(2018)
  4. 格雷戈里奥·罗德尔í盖兹,卡洛斯;利亚纳,路易斯;市场ínez,Rafael:(\mathsfioco\underline\mathsfs)一致性关系的公理语义(2018)
  5. 约瓦诺维ć, 亚历山德拉;Kwiatkowska,Marta:基于随机博弈抽象的概率时间自动机参数综合(2018)
  6. 库塔瓦斯,瓦西里厄斯;加兹达,马吉耶;Hennessy,Matthew:区分沟通交易(2018)
  7. 马朱姆达尔,鲁帕克;拉斯金,让·弗兰çois:非布尔域中的符号模型检查(2018)
  8. Schwammberger,Maike:证明自治城市交通安全的抽象模型(2018)
  9. 塞希亚,桑吉特A。;莎莉吉娜,娜塔莎;Tripakis,Stavros:验证建模(2018)
  10. 维默,西蒙;Lammich,Peter:时间自动机的验证模型检验(2018)
  11. 扎提提,哈迪;是的,丽娜;达格,菲利普;加洛瓦,让·皮埃尔;特拉夫é-马苏伊ès、 路易丝:混合系统可诊断性分析的抽象提炼(2018)
  12. 阿克谢,S。;加斯汀,保罗;克里希纳,香卡拉·纳拉亚南;Sarkar,Ilias:面向时间系统的基于树自动机的高效技术(2017)
  13. 奥马尔·巴泰尼;雷诺兹,马克;French,Tim:寻找具有循环行为的时间自动机模型的最小和最大终止时间(2017)
  14. 阿夫尼,伙计;歌尔,舒巴姆;亨辛格,托马斯A。;Rodriguez Navas,Guillermo:在具有概率故障的交换网络中计算转发方案得分(2017)
  15. 巴克,斯坦利;Duggirala,Parasara Sridhar:基于严格仿真的线性混合系统分析(2017)
  16. 卡米勒里,约翰J。;施耐德,杰拉多:规范性文件的建模与分析(2017)
  17. 达卡,普瑞米斯ł哦;亨辛格,托马斯A。;Křet公司ínsk公司ý, 简;Petrov,Tatjana:无限时间属性的更快统计模型检查(2017)
  18. 穆罕默德,马哈贾赫德;德波尔,弗兰克;德尔菲,朗格特;乔西亚,汤姆;Sirjani,Marjan:实时参与者系统的组合可调度性分析(2017)
  19. 路易斯安那州杰泽克尔ïg;莱姆,迪迪埃:让我们偷懒,我们有时间——或者说,时间自动机的惰性可达性分析(2017)
  20. 约瓦诺维ć, 亚历山德拉;奎亚特科夫斯卡,玛尔塔;诺曼,格钦;Peyras,Quentin:概率时间自动机的符号最优期望时间可达性计算和控制器综合(2017)