编辑配置文件（在新选项卡中打开） 劳伦特·穆尼尔 合著者距离 作者ID： 穆尼尔·劳伦特 发布日期： 劳伦特·穆尼尔 已编制索引的文档： 11出版物自1997年起 1名编辑贡献 合著者： 15位合著者具有12联合出版物 139位合作作者 全部的 前5名合著者 0 单作者的 5 马吕斯·博兹加 5 Jean-Claude费尔南德斯 5 苏珊娜·格拉芙 2 克里斯蒂安·埃内 2 Jean-Pierre·克里姆 2 尤利安·奥贝尔 2 玛丽·劳雷·波特 2 Jean-Luc Richier先生 1 维亚尼州达尔梅拉克 1 伊利耶斯·法尔科内 1 卢西安·吉尔武 1 罗兰·格罗兹 1 阿兰·科布拉特 1 西里尔，帕琼 1 Jean-Luc·鲁克斯 系列 1 系统设计中的形式化方法 1 计算机科学讲义 1 计算机科学中的逻辑方法 领域 12 计算机科学（68至XX） 1 总体主题；集合（00-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 8出版物有被引用37中的次35文件 引用人▼ 年份▼ 运行时执行监控器：合成、合成和执行能力。 Zbl 1219.68089号 伊利耶斯·法尔科内;劳伦特·穆尼尔;Jean-Claude费尔南德斯;Jean-Luc Richier先生 13 2011 IF-2.0：基于组件的实时系统的验证环境。 Zbl 1010.68751号 马吕斯·博兹加;苏珊娜·格拉芙;劳伦特·穆尼尔 11 2002 面向属性的测试用例生成。 Zbl 1185.68243号 Jean-Claude费尔南德斯;劳伦特·穆尼尔;西里尔，帕琼 5 2004 IF：定时异步系统的验证环境。 Zbl 0974.68556号 马吕斯·博兹加;Jean-Claude费尔南德斯;卢西安·吉尔武;苏珊娜·格拉芙;Jean-Pierre·克里姆;劳伦特·穆尼尔 三 2000 网络安全规则的测试生成。 Zbl 1185.68087号 维亚尼州达尔梅拉克;Jean-Claude费尔南德斯;罗兰·格罗兹;劳伦特·穆尼尔;Jean-Luc Richier先生 2 2006 SDL的定时扩展。 Zbl 0982.68801号 马吕斯·博兹加;苏珊娜·格拉芙;劳伦特·穆尼尔;尤利安·奥贝尔;Jean-Luc·鲁克斯 1 2001 使用Aldébaran工具集进行协议验证。 Zbl 1060.68561号 马吕斯·博兹加;Jean-Claude费尔南德斯;阿兰·科布拉特;劳伦特·穆尼尔 1 1997 异步通信系统的部分降阶合成状态空间生成。 Zbl 0960.68119号 Jean-Pierre·克里姆;劳伦特·穆尼尔 1 2000 运行时执行监控器：合成、合成和执行能力。 Zbl 1219.68089号 伊利耶斯·法尔科内;劳伦特·穆尼尔;Jean-Claude费尔南德斯;Jean-Luc Richier先生 13 2011 网络安全规则的测试生成。 Zbl 1185.68087号 维安尼Darmaillacq;Jean-Claude费尔南德斯;罗兰·格罗兹;劳伦特·穆尼尔;Jean-Luc Richier先生 2 2006 面向属性的测试用例生成。 Zbl 1185.68243号 Jean-Claude费尔南德斯;劳伦特·穆尼尔;西里尔·帕雄 5 2004 IF-2.0：基于组件的实时系统的验证环境。 Zbl 1010.68751号 马吕斯·博兹加;苏珊娜·格拉芙;劳伦特·穆尼尔 11 2002 SDL的定时扩展。 兹伯利0982.68801 马吕斯·博兹加;苏珊娜·格拉芙;劳伦特·穆尼尔;尤利安·奥贝尔;Jean-Luc·鲁克斯 1 2001 IF：定时异步系统的验证环境。 Zbl 0974.68556号 马吕斯·博兹加;Jean-Claude费尔南德斯;卢西安·吉尔武;苏珊娜·格拉芙;Jean-Pierre·克里姆;劳伦特·穆尼尔 三 2000 异步通信系统的部分降阶合成状态空间生成。 Zbl 0960.68119号 Jean-Pierre·克里姆;劳伦特·穆尼尔 1 2000 使用Aldébaran工具集进行协议验证。 Zbl 1060.68561号 马吕斯·博兹加;Jean-Claude费尔南德斯;阿兰·科布拉特;劳伦特·穆尼尔 1 1997 所有引用出版物 前5名被引用出版物 全部的 前5名79位作者引用 6 伊利耶斯·法尔科内 6 埃尔文·马尔坎德 4 奥德·马勒 三 蒂埃里·杰伦 三 斯里尼瓦斯Pinisetty 三 安托万·罗莱 三 斯塔夫罗斯·特里帕基斯 2 卢卡·埃特罗 2 伊恩·卡萨尔 2 弗兰克·卡塞兹 2 杰雷米·杜布雷尔 2 阿德里安·弗兰卡兰扎 2 Anna Ingólfsdóttir 2 弗雷德里克·朗 2 Patricia D.L.马查多。 2 马蒂厄·雷纳德 2 Salaün，格温 1 亚斯米娜·阿卜杜达伊姆 1 伯恩哈德·艾切尼格（Bernhard K.Aichernig）。 1 威尔克森·L·安德拉德。 1 尤金·亚萨林 1 埃齐奥·巴托西 1 David A.Basin。 1 格雷戈里·巴特 1 卡洛斯·巴齐利奥 1 马吕斯·博兹加 1 科宁，诺林 1 弗拉维奥·科拉迪尼 1 马修·德怀尔。 1 马库斯·恩德勒 1 费雷尔·菲奥里蒂，路易斯·玛丽亚 1 伯恩德·芬克贝纳 1 戈登·弗雷泽 1 休伯特·加拉维 1 爱德华·赫尔曼·海尔 1 克里斯托弗·哈恩 1 瓦希德·哈希米 1 约翰·哈特克利夫 1 雷米·Hérilier 1 霍尔格·赫尔曼斯 1 贾娜·霍夫曼 1 弗朗索瓦·胡贝尔 1 拉杜·奥西夫 1 杰金，B.J。 1 Jean-Francois肯普夫 1 克拉夫茨克，尼古拉斯 1 杰夫·克莱默 1 莫伊斯·克里钦 1 Sr Djan Krstić 1 拉诺特、拉格罗 1 米尔科·洛吉 1 弗洛里安·洛伯 1 杰夫·马吉 1 蒂齐亚娜·玛格丽亚 1 伊曼纽拉·梅雷利 1 马西莫·梅罗 1 亚历山大·莫塔。 1 安德烈·蒙泰努 1 奥马尔·恩格纳·蒂莫 1 德扬·尼科维奇 1 帕拉尼萨米，P.K。 1 简·佩莱斯卡 1 安吉特·普拉丹 1 格拉齐亚诺·普拉瓦德利 1 普洛塔萨，维奥雷尔 1 罗普，Partha S。 1 阿姆诺·罗森曼 1 哈米德·萨布里 1 扬尼克·希洛 1 丹尼尔·席尔瓦。 1 马尔詹·西尔贾尼 1 伯恩哈德·斯特芬 1 兰登·泰勒 1 卢卡·特塞 1 安德烈亚·图里尼 1 弗朗茨·沃塔瓦 1 叶新明 1 张震 1 周建涛 全部的 前5名11篇连载文章中引用 6 系统设计中的形式化方法 4 计算的形式方面 三 理论计算机科学 1 信息学报 1 计算机物理通信 1 计算机程序设计科学 1 国际并行程序设计杂志 1 实时系统 1 MSCS公司。计算机科学中的数学结构 1 离散事件动态系统 1 应用数学杂志 在5个字段中引用 34 计算机科学（68至XX） 三 数学逻辑和基础（03-XX） 2 博弈论、经济学、金融和其他社会和行为科学（91-XX） 2 信息与通信理论、电路（94-XX） 1 动力系统和遍历理论（37-XX） 按年份列出的引文