路易斯·马里·特劳努埃兹
人员信息
优化列表
![笔记](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
2020年–今天
2024 [公元33年] 朱利安·索莱 , Jean-Paul Jamont公司 , 米歇尔·奥切洛 , 路易斯·马里·特劳努埃兹 , 保罗·塞隆 :
一种基于MARL的简化MAS组织工程的方法。 AIAI(4) 2024 : 321-334 2023 [公元32年] 朱利安·索莱 , Jean-Paul Jamont公司 , 米歇尔·奥切洛 , 保罗·塞隆 , 路易斯·玛丽·特拉奥努埃兹 :
网络攻击和网络防御战斗的多智能体模拟。 SMC公司 2023 : 3594-3599 2020 [j13] 尼古拉·贝内斯 , 乌里·法伦伯格 , 扬·克伦斯克 , Axel Legay公司 , 路易斯·马里·特劳努埃兹 :
逻辑规范与行为规范。 Inf.计算。 271 : 104487 ( 2020 )
2010 – 2019
2019 [公元12年] 法布里奇奥·比昂迪 , 川本优助 , Axel Legay公司 , 路易斯·马里·特劳努埃兹 :
互信息的混合统计估计及其在信息流中的应用。 形式方面计算。 31 ( 2 ) : 165-206 ( 2019 ) [公元31年] 特里斯坦·九 , Axel Legay公司 , 罗马里亚·梅拉德 , 路易斯·马里·特劳努埃兹 , 奥利维尔·泽德拉 :
使用Spin对IKEv2协议进行模型检查。 太平洋标准时间 2019 : 1-7 [公元30年] 特里斯坦·九 , Axel Legay公司 , 罗马里亚·梅拉德 , 路易斯·马里·特劳努埃兹 , 奥利维尔·泽德拉 :
偏差攻击:针对IKEv2的新型拒绝服务攻击。 TrustCom/BigDataSE 2019 : 66-74 [第2页] Axel Legay公司 , 安娜·卢基纳 , 路易斯·玛丽·特拉奥努埃兹 , 杨俊兴 , 斯科特·斯莫尔卡 , 拉杜·格罗苏 :
统计模型检查。 计算与软件科学 2019 : 478-504 2018 [公元11年] 乌里·法伦伯格 , 扬·克伦斯克 , Axel Legay公司 , 路易斯·马里·特劳努埃兹 :
定量规范的组成。 软计算。 22 ( 4 ) : 1139-1158 ( 2018 ) [公元10年] 穆尼尔·查德利 , 金贤贤 , 金·拉森 , Axel Legay公司 , 斯特凡·诺约卡特 , 伯恩哈德·斯特芬 , 路易斯·马里·特劳努埃兹 :
用于规范和验证调度问题的高级框架。 国际期刊软件。 技术工具。 Transf公司。 20 ( 4 ) : 397-422 ( 2018 ) [公元29年] Axel Legay公司 , 德克·诺沃特卡 , 丹尼·鲍尔森 , 路易斯·马里·特劳努埃兹 :
LLVM代码的统计模型检查。 FM公司 2018 : 542-549 [公元28年] 西拉杰·阿罗拉 , Axel Legay公司 , 塔妮娅·里士满 , 路易斯·马里·特劳努埃兹 :
不完全随机系统的统计模型检验。 ISoLA(2) 2018 : 354-371 [公元27年] 大卫·巴兹勒 , 莫里斯·特尔·比克 , Axel Legay公司 , 路易斯·玛丽·特拉奥努埃兹 :
实时服务合同的业务流程合成。 VECoS公司 2018 : 31-47 [i7] 法布里奇奥·比昂迪 , 川本优助 , Axel Legay公司 , 路易斯·马里·特劳努埃兹 :
互信息的混合统计估计及其在信息流中的应用。 CoRR公司 abs/1809.02613 ( 2018 ) 2017 [公元26年] 法布里奇奥·比昂迪 , 川本优助 , Axel Legay公司 , 路易斯·马里·特劳努埃兹 :
HyLeak:信息泄漏的混合分析工具。 ATVA公司 2017 : 156-163 [公元25年] 阿莎拉塔·库纳皮利 , Axel Legay公司 , 蒂齐亚娜·玛格丽亚 , 克里斯蒂娜·塞尔希·塞塞莱亚努 , 伯恩哈德·斯特芬 , 路易斯·马里·特劳努埃兹 :
分析环境辅助生活解决方案:研究视角。 DTIS公司 2017 : 1-7 [公元24年] Quentin Cappart公司 , 克里斯托夫·林布雷 , 皮埃尔·绍斯 , 让·奎尔贝夫 , 路易斯·马里·特劳努埃兹 , Axel Legay公司 :
使用统计模型检查验证联锁系统。 哈斯 2017 : 61-68 2016 [公元9年] Axel Legay公司 , 路易斯·玛丽·特拉奥努埃兹 :
带有变化检测的统计模型检查。 LNCS事务。 已找到。 掌握Chang。 1 : 157-179 ( 2016 ) [j8] 金贤贤 , Axel Legay公司 , 路易斯·马里·特劳努埃兹 , 阿卜杜勒贾利勒·布贾达尔 , 乌里克·尼曼 , 金·拉森 , 因苏普·李 , 崔金英(Jin-Young Choi) :
优化分级调度系统的资源需求。 SIGBED版本。 13 ( 三 ) : 41-48 ( 2016 ) 【c23】 埃弗顿·卡瓦尔坎特 , 让·奎尔贝夫 , 路易斯·马里·特劳努埃兹 , 弗拉维奥·奥昆多 , 塔伊斯·巴蒂斯塔 , Axel Legay公司 :
动态软件体系结构的统计模型检查。 ECSA公司 2016 : 185-200 [公元22年] 穆尼尔·查德利 , 金贤贤 , Axel Legay公司 , 路易斯·马里·特劳努埃兹 , 斯特凡·诺约卡特 , 伯恩哈德·斯特芬 , 金·古德斯特兰·拉森 :
基于模型的层次调度系统规范和分析框架。 FMICS-AVoCS 2016 : 133-141 [c21] Axel Legay公司 , 肖恩·塞德沃德 , 路易斯·马里·特劳努埃兹 :
血浆实验室:模块化统计模型检查平台。 ISoLA(1) 2016 : 77-93 [公元20年] 让·奎尔贝夫 , 埃弗顿·卡瓦尔坎特 , 路易斯·马里·特劳努埃兹 , 弗拉维奥·奥昆多 , 塔伊斯·巴蒂斯塔 , Axel Legay公司 :
动态软件架构的统计模型检查逻辑。 ISoLA(1) 2016 : 806-820 [第19条] Axel Legay公司 , 肖恩·塞德瓦兹 , 路易斯·马里·特劳努埃兹 :
统计模型检查的罕见事件概述。 RP公司 2016 : 23-35 [第18条] 金贤贤 , Axel Legay公司 , 路易斯·马里·特劳努埃兹 , 马修·阿切尔 , Sungwon Kang先生 :
抢占式实时系统软件产品线的形式化建模和分析框架。 囊 2016 : 1562-1565 [i6] Quentin Cappart公司 , 克里斯托夫·林布雷 , 皮埃尔·绍斯 , 让·奎尔贝夫 , 路易斯·马里·特劳努埃兹 , Axel Legay公司 :
使用统计模型检查验证联锁系统。 CoRR公司 腹肌/1605.02529 ( 2016 ) 2015 [j7] 西里尔·杰古尔 , Axel Legay公司 , 肖恩·塞德瓦兹 , 路易斯·马里·特劳努埃兹 :
使用重要性分裂观测器对稀有属性进行分布式验证。 电子。 Commun公司。 欧洲协会软件。 科学。 Technol公司。 72 ( 2015 ) [j6] Axel Legay公司 , 肖恩·塞德沃德 , 路易斯·马里·特劳努埃兹 :
在不确定系统中估计奖励和罕见事件。 电子。 Commun公司。 欧洲协会软件。 科学。 Technol公司。 72 ( 2015 ) [j5] 亚历山大·戴维 , 金·拉森 , Axel Legay公司 , 乌里克·尼曼 , 路易斯·马里·特劳努埃兹 , 安德烈·瓦索夫斯基 :
实时规范。 国际期刊软件。 技术工具。 Transf公司。 17 ( 1 ) : 17-45 ( 2015 ) 【j4】 佩德罗·达吉尼奥 , Axel Legay公司 , 肖恩·塞德瓦兹 , 路易斯·马里·特劳努埃兹 :
马尔可夫决策过程轻量级验证的智能采样。 国际期刊软件。 技术工具。 Transf公司。 17 ( 4 ) : 469-484 ( 2015 ) [第17条] Axel Legay公司 , 路易斯·马里·特劳努埃兹 :
使用Plasma Lab对Simulink模型进行统计模型检查。 FTSCS公司 2015 : 259-264 [i5] 西里尔·杰古尔 , Axel Legay公司 , 肖恩·塞德瓦兹 , 路易斯·马里·特劳努埃兹 :
用轻量重要分裂观测器对稀有属性进行分布式验证。 CoRR公司 abs/1502.01838 ( 2015 ) 2014 [j3] 金·拉森 , Axel Legay公司 , 路易斯·玛丽·特拉奥努埃兹 , 安德烈·瓦索夫斯基 :
实时系统的鲁棒综合。 理论。 计算。 科学。 515 : 96-122 ( 2014 ) [第16条] 乌里·法伦伯格 , 金·古德斯特兰·拉森 , Axel Legay公司 , 路易斯·马里·特劳努埃兹 :
模态转换系统的参数和定量扩展。 FPS@ETAPS(预计到达时间) 2014 : 84-97 [第15条] 乌利·法伦伯格 , Axel Legay公司 , 路易斯·马里·特劳努埃兹 :
概率和实时系统的规范理论。 FPS@ETAPS(预计到达时间) 2014 : 98-117 [第14条] 乌尔里希·法伦伯格 , 扬·克伦斯克 , Axel Legay公司 , 路易斯·马里·特劳努埃兹 :
定量规范的组成。 FACS公司 2014 : 306-324 [第13条] 乌里·法伦伯格 , Axel Legay公司 , 路易斯·马里·特劳努埃兹 :
模态努微积分的结构优化。 ICTAC公司 2014 : 169-187 [第12条] 贝诺·博伊尔 , Axel Legay公司 , 路易斯·马里·特劳努埃兹 :
随机自适应系统的形式主义。 ISoLA(2) 2014 : 160-176 [第11条] 斯特凡·诺约卡特 , 路易斯·玛丽·特拉奥努埃兹 , 马尔特·伊斯伯纳 , 伯恩哈德·斯特芬 , Axel Legay公司 :
特定领域的代码生成器建模:多面并发系统的案例研究。 ISoLA(1) 2014 : 481-498 [第10条] Axel Legay公司 , 肖恩·塞德瓦兹 , 路易斯·玛丽·特拉奥努埃兹 :
马尔可夫决策过程的可扩展验证。 SEFM研讨会 2014 : 350-362 [i4] 乌里·法伦伯格 , Axel Legay公司 , 路易斯·马里·特劳努埃兹 :
模态努微积分的结构优化。 CoRR公司 abs/1402.2143 ( 2014 ) [i3] 乌里·法伦伯格 , 扬·克伦斯克 , Axel Legay公司 , 路易斯·马里·特劳努埃兹 :
定量规范的组成。 CoRR公司 abs/1408.1256 ( 2014 ) [i2] 佩德罗·达吉尼奥 , Axel Legay公司 , 肖恩·塞德瓦兹 , 路易斯·马里·特劳努埃兹 :
马尔可夫决策过程轻量级验证的智能抽样。 CoRR公司 abs/1409.2116 ( 2014 ) [i1] Axel Legay公司 , 肖恩·塞德瓦兹 , 路易斯·马里·特劳努埃兹 :
带报酬的马尔可夫决策过程的轻量级验证。 CoRR公司 abs/1410.5782 ( 2014 ) 2013 [注2] 克劳德·贾德 , 迪迪埃·莱姆 , 奥利维尔·H·鲁 , 路易斯·马里·特劳努埃兹 :
参数秒表Petri网的符号展开。 形式方法系统。 设计。 43 ( 三 ) : 493-519 ( 2013 ) 【c9】 Axel Legay公司 , 路易斯·马里·特劳努埃兹 :
PyEcdar:面向时间系统的开源实现。 ATVA公司 2013 : 460-463 【c8】 法布里奇奥·比昂迪 , Axel Legay公司 , 路易斯·马里·特劳努埃兹 , 安德烈·瓦索夫斯基 :
QUAIL:强制性代码的定量安全分析器。 CAV汽车 2013 : 702-707 【c7】 马克西姆·科尔迪 , Axel Legay公司 , 皮埃尔·伊夫·肖本斯 , 路易斯·马里·特劳努埃兹 :
一种用于严格设计高度自适应定时系统的框架。 FormaliSE@ICSE 2013 : 64-70 [第1页] 亚历山大·戴维 , 格德·贝尔曼 , 彼得·布利切夫 , 约阿金·比格 , 托马斯·查坦 , 金·拉森 , 保罗·佩特森 , 雅各布·伊勒姆·拉斯穆森 , 吉尔·斯尔巴 , 王毅 , 肯尼思·约根森 , 迪迪埃·莱姆 , 摩根·马格宁 , 奥利维尔·H·鲁 , 路易斯·玛丽·特拉奥努埃兹 :
定时系统模型检查工具。 通信嵌入式系统 2013 : 165-225 2012 【c6】 路易斯·马里·特劳努埃兹 :
鲁棒定时规范的参数反例改进方法。 安装 2012 : 17-33 2011 【c5】 金·拉森 , Axel Legay公司 , 路易斯·马里·特劳努埃兹 , 安德烈·瓦索夫斯基 :
实时组件的稳健规范。 格式 2011 : 129-144 2010 [c4] 路易斯·马里·特劳努埃兹 , 巴托斯·格拉比奇 , 克劳德·贾德 , 迪迪埃·莱姆 , 奥利维尔·H·鲁 :
参数秒表Petri网的符号展开。 ATVA公司 2010 : 291-305 【c3】 巴托斯·格拉比奇 , 路易斯·马里·特劳努埃兹 , 克劳德·贾德 , 迪迪埃·莱姆 , 奥利维尔·H·鲁 :
基于参数时间Petri网展开的诊断。 格式 2010 : 137-151
2000 – 2009
2009 【b1】 路易斯·玛丽·特拉奥努埃兹 :
Petri tempoles paramétres的réseaux Vérification et démpleges。 (参数时间Petri网的模型检查和展开)。 法国南特大学, 2009 [j1] 路易斯·马里·特劳努埃兹 , 迪迪埃·莱姆 , 奥利维尔·H·鲁克斯 :
秒表Petri网的参数化模型检查。 J.大学。 计算。 科学。 15 ( 17 ) : 3273-3304 ( 2009 ) 【c2】 迪迪埃·莱姆 , 奥利维尔·H·鲁 , 夏洛特·塞德纳 , 路易斯·玛丽·特拉奥努埃兹 :
罗密欧:带秒表的Petri网参数化模型检查器。 TACAS公司 2009 : 54-57 2008 【c1】 路易斯·马里·特劳努埃兹 , 迪迪埃·莱姆 , 奥利维尔·H·鲁 :
用状态类图对带秒表的时间Petri网进行参数化模型检验。 格式 2008 : 280-294
合著者索引
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)