模仿者 swMATH ID: 439 软件作者： 埃蒂安·安德烈 描述： IMITATOR是一种用于参数化实时系统的参数验证和鲁棒性分析的软件工具。它依赖于参数时间自动机网络的形式主义，并用整数变量和秒表进行了扩充。它实现了安全合成、鲁棒性、不定时语言保存、非Zeno或无死锁参数合成、接受循环合成等算法，具有分布式能力。 主页： http://www.lsv.ens-cachan.fr/Software/simmutor/ 依赖项： PPL（公私合营） 关键词： 参数化模型检查;实时系统;参数时间自动机;验证 相关软件： Uppaal公司;高超声速;PPL（公私合营）;拍打;TREX公司;VINAS-P公司;棱镜;github;Shrinktech公司;SpaceEx公司;PHAVer公司;mCRL2型;常春藤;薄层色谱法;TLAPS（TLAPS）;快速;OR-醇;凶悍的人;SemFix公司;S-TaLiRo型 引用于： 34文件 标准条款 2出版物描述软件 年份 IMITATOR 2.5：一种分析调度问题稳健性的工具埃蒂安·安德烈；劳伦·弗里堡；乌尔里希·库恩；罗曼·苏拉特 2012 IMITATOR：一种用于合成时间自动机时间边界约束的工具埃蒂安·安德烈 2009 全部的 前5名64位作者引用 15 埃蒂安·安德烈 5 劳伦·弗里堡 3 孙骏 2 艾丁·戈尔（Ebru Aydin Gol） 2 莱姆，迪迪埃 2 劳雷·佩特鲁奇 2 罗曼·苏拉特 1 拉巴·阿米尔 1 阿拉米，阿拉什 1 雅罗斯拉夫·本迪克 1 弗兰克·卡塞兹 1 乔纳森·考金斯（Jonathan P.Caulkins）。 1 伊万娜·乔纳 1 托马斯·查坦 1 科尔斯汀·多滕哈恩 1 朱尔根·丁格尔 1 董劲松 1 M.G.多勒。 1 埃曼纽尔·恩克雷纳兹 1 梅尔特·埃尔古图纳 1 古斯塔夫·费希廷格 1 路易吉法拉利 1 斯特凡·格鲁纳 1 Guldstrand、Larsen Kim 1 理查德·哈特尔（Richard F.Hartl）。 1 伯克哈尔德Hehenkamp 1 彼得·格约尔·詹森 1 杰雷，贾维尔 1 奥德瓦·卡伯。 1 尤里·孔德拉滕科。 1 伊戈尔·康诺夫（Igor V.Konnov）。 1 彼得·科特（Peter M.Kort）。 1 乌尔里希·库恩 1 李克强 1 刘，杨 1 卡罗·卢卡斯 1 玛丽奥、迪伦 1 尼古拉斯·马基 1 松村俊弘 1 松岛，Noriaki 1 萨哈尔·姆希里 1 克里斯托弗·列夫·内哈尼夫 1 叶卡捷琳娜·欧·内门钦斯卡娅。 1 黄家阮 1 马多达Nxumalo 1 塔皮奥·帕洛坎加 1 佩卡蒂，洛伦佐·A。 1 马蒂亚斯·拉普拉森 1 Mehrsan Javan，Roshtkhari 1 鲁迪、凯伦 1 萨多夫斯基，M.G。 1 艾哈迈特·塞肯 1 杰里米·斯普洛斯顿 1 拉里萨·斯坦尼维切内。 1 阿尔多·塔利亚尼 1 Timm，零 1 Tran，清海 1 范德波尔，扬·科内利斯 1 Waez，Md Tawhid Bin 1 约瑟夫·威德 1 约翰·伍德斯 1 谢文新 1 亚辛卡亚、贝亚齐特 1 周，亚 全部的 前5名16篇连载文章中引用 4 计算机科学中的逻辑方法 2 经济动力学与控制杂志 2 系统设计中的形式化方法 1 信息学学报 1 控制论与系统 1 北京师范大学学报。自然科学 1 经济学杂志 1 实时系统 1 国际计算机科学基础杂志 1 游戏与经济行为 1 俄罗斯数学 1 开放经济评论 1 Vychislitel’nye Tekhnologii公司 1 计算机基础理论 1 国际智能计算与控制论杂志 1 计算机科学评论 全部的 前5名在6个字段中引用 26 计算机科学（68至XX） 8 博弈论、经济学、金融和其他社会和行为科学（91-XX） 2 数学逻辑和基础（03-XX） 2 系统论；控制（93至XX） 1 变分法与最优控制；最优化（49至XX） 1 粒子和系统力学（70-XX） 按年份列出的引文