模仿者

similator是一个用于参数实时系统参数验证和鲁棒性分析的软件工具。它依赖于参数时间自动机网络的形式化,增加了整数变量和秒表。实现了安全综合、鲁棒性、不定时语言保存、非芝诺或无死锁参数综合、接受循环综合等算法,具有分布式功能。


zbMATH中的参考文献(参考文献29条,2标准条款)

显示第1到第20个结果,共29个。
按年份排序(引用)
  1. 安德烈,爱蒂安;石灰,迪迪埃;Ramparison,Mathias:参数时间自动机中的参数更新(2021)
  2. 卡塞兹,弗朗克;詹森,彼得·居尔;Guldstrand,Larsen Kim:使用跟踪抽象精化的实时程序的验证和参数综合(2021)
  3. 安德烈,爱蒂安;石灰,迪迪埃;马基,尼古拉斯:参数时间自动机中的语言保存问题(2020)
  4. 安德烈,爱蒂安;杰瑞,杰威尔;Mhiri,Sahar:Time4sys2imi:一种在不确定性下正式化实时系统模型的工具(2019)
  5. 安德烈,爱蒂安;孙俊:参数化定时模型检查,以保证时间不透明度(2019年)
  6. André,çtienne:参数无死锁检查时间自动机(2016)
  7. André,Étienne:参数时间自动机的决定是什么?(2016年)
  8. 安德烈,爱蒂安;刘、杨;孙军;董金松:分层并发实时系统的参数综合(2014)
  9. 安德烈,爱蒂安;弗里堡,劳伦特;索拉特,罗曼:合并与征服:参数时间自动机中的状态合并(2013)
  10. 安德烈,爱蒂安;弗里堡,劳伦特;Sproston,Jeremy:逆方法对概率时间自动机的扩展(2013)
  11. Waez,医学博士Tawhid Bin;迪格尔,尤尔根;鲁迪,凯伦:用于实时系统开发的时间自动机综述(2013)
  12. 安德烈,爱蒂安;弗里堡,劳伦特;奎尼,乌尔里希;Soulat,Romain:Simulator 2.5:调度问题鲁棒性分析工具(2012)ioport公司
  13. 安德烈,爱蒂安;Soulat,Romain:满足安全性能的时序参数的合成(2011)
  14. 弗里堡,劳伦特;Kühne,Ulrich:使用逆方法的混合自动机的参数验证和测试覆盖(2011)
  15. 帕洛坎加斯,塔皮奥:创造性破坏和不可分散风险的经济中的最佳专利长度和宽度(2011年)
  16. 安德烈,爱蒂安;Fribourg,Laurent:时间自动机的行为制图(2010)
  17. 松岛、诺里奇;松村俊弘:提高利润的平行进口(2010年)
  18. 罗斯特哈里,米尔桑·贾万;亚拉米,亚拉施;卢卡斯,卡罗:基于模拟学习的不稳定平衡未知系统的情绪控制器(2010)
  19. André,Étienne:一个用于综合时间自动机时间界约束的工具(2009)ioport公司
  20. 安德烈,爱蒂安;查坦,托马斯;弗里堡,劳伦特;Encrenaz,Emmanuelle:参数时间自动机的逆方法(2009)