莱昂纳多·蒙泰奇
人员信息
其他同名人员
优化列表
2020年–今天
2024 [公元40年] 安德烈亚斯·伦尼斯塔德 , 安德烈亚·塞卡雷利 , 莱昂纳多·蒙泰奇 :
自动驾驶中物体探测器安全指标的验证。 囊 2024 : 1559-1568 [i3] 安德烈亚·塞卡雷利 , 莱昂纳多·蒙泰奇 :
安全导航的对象关键性。 CoRR公司 abs/2406.10232 ( 2024 ) 2023 [公元14年] 小罗德里格斯。 , 何塞·达布鲁佐·佩雷拉 , 莱昂纳多·蒙泰奇 :
用于管理和实施编码约定的模型驱动方法。 IEEE接入 11 : 25735-25754 ( 2023 ) [j13] 安德烈亚·塞卡雷利 , 莱昂纳多·蒙泰奇 :
从安全性和可靠性角度评估目标(错误)检测:讨论和措施。 IEEE接入 11 : 44952-44963 ( 2023 ) [公元12年] 弗朗西斯科·马里奥蒂 , 安德烈亚·邦达瓦利 , 保罗·洛里尼 , 莱昂纳多·蒙泰奇 , 西蒙·纳尔迪 :
ADVISE元建模框架的扩展及其在公共交通监管系统早期安全分析中的应用。 J.Reliab公司。 智力。 环境。 9 ( 三 ) : 263-281 ( 2023 ) 2022 [公元11年] 马修斯·苏亚雷斯(Matheus Soares de Araujo) , 莱安德罗·迪亚斯·达席尔瓦 , 阿尔瓦罗·索布利尼奥 , 保罗库尼亚 , 莱昂纳多·蒙泰奇 :
重症监护室多参数监测系统的可靠性分析。 Reliab公司。 工程系统。 安全。 226 : 108638 ( 2022 ) [公元10年] 芭芭拉·加利纳 , 莱昂纳多·蒙泰奇 , 安德烈·路易斯·德·奥利维拉 , 卢卡斯·布莱桑 :
通过定性和定量联合分析实现以可靠性为中心的多关注保证。 IEEE软件。 39 ( 4 ) : 39-47 ( 2022 ) [公元9年] 莱昂纳多·蒙泰奇 , 保罗·洛里尼 , 安德烈亚·邦达瓦利 :
随机活动网络模板:支持性能模型中的可变性。 IEEE传输。 宗教信仰。 71 ( 2 ) : 640-656 ( 2022 ) [公元39年] 弗朗西斯科·马里奥蒂 , 马泰奥·塔万蒂 , 莱昂纳多·蒙泰奇 , 保罗·洛里尼 :
扩展安全本体框架,以建模CAPEC攻击路径和TAL对手配置文件。 EDCC公司 2022 : 25-32 [公元38年] 卢卡斯·布莱桑 , 安德烈·路易斯·德·奥利维拉 , 费尔南达·C·A·坎波斯 , 莱昂纳多·蒙泰奇 , 拉斐尔·卡皮拉 , 大卫·帕克 , 库罗什·阿斯兰塞法特 , 伊安妮斯·帕帕佐普洛斯 :
使用状态机图对系统安全分析的可变性进行建模。 IMBSA公司 2022 : 43-59 [公元37年] 塞缪尔·罗德里格斯·冈萨雷斯 , 胡安·贝当古-奥索里奥 , Germanán Pardo González先生 , 丹尼尔·库埃拉 , 卡米洛·戈麦斯 , 弗朗西斯科·马里奥蒂 , 莱昂纳多·蒙泰奇 , 保罗·洛里尼 :
模拟网络物理系统中的攻击者行为。 拉丁美洲发展中心 2022 : 117-124 [i2] 安德烈亚·塞卡雷利 , 莱昂纳多·蒙泰奇 :
自动驾驶中目标探测器的安全感知指标。 CoRR公司 abs/2203.02205 ( 2022 ) 2021 [公元36年] Guilherme W.洛佩斯 , 莱昂纳多·蒙泰奇 :
在用fUML指定的可执行模型中描述和注入错误。 拉丁美洲发展中心 2021 : 1-10 [公元35年] Junior Cupe Casquina公司 , 莱昂纳多·蒙泰奇 :
在git版本控制系统中组织源代码可变性的建议。 SPLC(甲) 2021 : 82-88 2020 [j8] 莱昂纳多·蒙泰奇 , 保罗·洛里尼 , 安德烈亚·邦达瓦利 :
一种基于模板的可射孔性模型规范和自动合成方法。 IEEE传输。 宗教信仰。 69 ( 1 ) : 293-309 ( 2020 ) [公元34年] 希拉·凯瑟琳·维内罗 , 布拉德利·施默尔 , 莱昂纳多·蒙泰奇 , 朱利奥·塞萨尔·多斯·里斯 , 塞西莉亚·玛丽·菲舍尔·鲁比拉 :
支持知识密集型流程的自动化规划。 BPMDS公司/ EMMSAD@CAiSE公司 2020 : 101-116 [公元33年] 莱昂纳多·蒙泰奇 , 保罗·洛里尼 , 费德里科·蒙奇尼 , 肯尼思·基夫 :
基于Eclipse的SAN模板编辑器。 EDCC研讨会 2020 : 159-167 [公元32年] 小埃尔德·罗德里格斯。 , 莱昂纳多·蒙泰奇 , 安德烈亚·塞卡雷利 :
Java源代码中的模型驱动故障注入。 ISSRE公司 2020 : 414-425 [公元31年] 卢卡斯·利尔 , 莱昂纳多·蒙泰奇 , 安德烈亚·塞卡雷利 , 艾琳·马丁斯 :
使用元模型改进基于模型的服务业务流程测试。 PRDC公司 2020 : 130-139 [i1] 莱昂纳多·蒙泰奇 , 保罗·洛里尼 , 安德烈亚·邦达瓦利 :
随机活动网络模板的形式化定义。 CoRR公司 abs/2006.09291 ( 2020 )
2010 – 2019
2019 [j7] 迭戈·塞拉 , 莱昂纳多·蒙泰奇 , 伊凡·穆拉 :
化工厂蒸汽云爆炸多米诺效应的随机建模和分析。 J.布拉兹。 计算。 Soc公司。 25 ( 1 ) : 11:1-11:19 ( 2019 ) [j6] 莱昂纳多·拉莫斯 , 加布里埃尔·利萨·吉马良斯·迪维诺 , Guilherme Cano Lopes公司 , 布伦诺·伯纳德·尼古拉·德弗朗萨 , 莱昂纳多·蒙泰奇 , 埃丝特·卢娜·科伦比尼 :
支持自主机器人发展的RoCS框架。 J.软件。 工程研究开发。 7 : 10 ( 2019 ) [c30] 莱昂纳多·拉莫斯 , 加布里埃尔·迪维诺 , 布伦诺·德弗朗萨 , 莱昂纳多·蒙泰奇 , 埃丝特·科伦比尼 :
支持自主机器人发展的RoCS框架。 CIbSE公司 2019 : 251-264 [公元29年] 卢卡斯·利尔 , 莱昂纳多·蒙泰奇 , 安德烈亚·塞卡雷利 , 艾琳·马丁斯 :
利用MDE进行服务编排的平台无关测试。 EDCC公司 2019 : 149-152 [公元28年] 努诺·拉兰基罗 , 卡米洛·戈麦斯 , 恩里科·斯齐亚沃尼 , 莱昂纳多·蒙泰奇 , 曼诺尔·J·M·卡瓦略 , 保罗·洛里尼 , 佐尔坦·米斯克 :
应对未来网络物理系统中的验证和确认挑战。 拉丁美洲发展中心 2019 : 1-2 [公元27年] 小罗德里格斯。 , 莱昂纳多·蒙泰奇 :
朝向编码约定的结构化规范。 PRDC公司 2019 : 168-177 [公元26年] 希拉·凯瑟琳·维尼罗 , 朱利奥·塞萨尔·多斯·里斯 , 莱昂纳多·蒙泰奇 , 塞西莉亚·玛丽·菲舍尔·鲁比拉 :
面向支持知识密集型流程决策的元模型。 囊 2019 : 75-84 2018 [j5] 安德烈亚·邦达瓦利 , 安德烈亚·塞卡雷利 , 保罗·洛里尼 , 莱昂纳多·蒙泰奇 , 马可·莫里 :
支持移动安全关键应用的系统体系:开放的挑战和可行的解决方案。 IEEE系统。 J。 12 ( 1 ) : 250-261 ( 2018 ) 【j4】 塔尼亚·巴索 , 莱昂纳多·蒙泰奇 , 里贾娜·莫莱斯 , 马里奥·基诺 , 安德烈亚·邦达瓦利 :
PrivAPP:设计隐私感知应用程序的集成方法。 柔和。 实际。 支出。 48 ( 三 ) : 499-527 ( 2018 ) [公元25年] 卢卡斯·布莱桑 , 安德烈·路易斯·德·奥利维拉 , 莱昂纳多·蒙泰奇 , 芭芭拉·加利纳 :
在创建可证明证据中应用国际象棋方法的系统过程。 EDCC公司 2018 : 49-56 [公元24年] 迭戈·塞拉 , 胡安·布里切诺 , 赫克托·布伊特拉戈 , 布莱恩·罗佐 , 莱昂纳多·蒙泰奇 , 伊凡·穆拉 :
化工厂失效多米诺效应的概率建模。 拉丁美洲发展中心 2018 : 57-66 【c23】 小埃尔德·罗德里格斯。 , 拉斐尔·塞拉皮拉·杜雷利 , 拉斐尔·温克勒·德·贝蒂奥 , 莱昂纳多·蒙泰奇 , 里卡多·特拉 :
用静态指令替换动态指令的重构:ruby的例子。 SBLP公司 2018 : 59-66 2017 [公元22年] 莱昂纳多·蒙泰奇 , 芭芭拉·加利纳 :
SafeConcert:社会技术系统协调安全建模的元模型。 IMBSA公司 2017 : 129-144 [c21] 莱昂纳多·蒙泰奇 , 保罗·洛里尼 , 安德烈亚·塞卡雷利 :
评估城市电网级联故障的影响。 iThings/GreenCom/CPSCom/SmartData 2017 : 324-329 2016 [j3] 纳拉西姆哈·拉加万·维拉拉加万 , 莱昂纳多·蒙泰奇 , 尼古拉·诺斯特罗 , 罗曼·维滕伯格 , 海因·梅林 , 安德烈亚·邦达瓦利 :
在可靠的电子商务应用中建立QoE模型:世界歌剧的案例研究。 IEEE传输。 并行分布式系统。 27 ( 9 ) : 2667-2681 ( 2016 ) [公元20年] 泰国乌萨米 , 艾琳·马丁斯 , 莱昂纳多·蒙泰奇 :
D-MBTDD:一种在演化系统中重用测试工件的方法。 DSN研讨会 2016 : 39-46 [第19条] 莱昂纳多·蒙泰奇 , Atle Refsdal公司 , 保罗·洛里尼 , 安德烈亚·邦达瓦利 :
支持石油领域安全相关决策的基于模型的方法。 DSN(DSN) 2016 : 275-286 [第18条] 里卡多·贝尔尼尼 , 安德烈亚·邦达瓦利 , 保罗·洛里尼 , 莱昂纳多·蒙泰奇 :
结合SAN和P-图分析和优化工业过程。 EDCC公司 2016 : 197-207 2015 [注2] 安德烈亚·塞卡雷利 , 莱昂纳多·蒙泰奇 , 弗朗西斯科·布兰卡蒂 , 保罗·洛里尼 , 安吉洛·马古利奥 , 安德烈亚·邦达瓦利 :
安全Internet服务的连续透明用户身份验证。 IEEE传输。 可靠的安全。 计算。 12 ( 三 ) : 270-283 ( 2015 ) [第17条] 塔尼亚·巴索 , 莱昂纳多·蒙泰奇 , 里贾娜·莫莱斯 , 马里奥·基诺 , 安德烈亚·邦达瓦利 :
面向隐私感知应用程序的UML概要文件。 CIT/IUCC/DASC/PICom公司 2015 : 371-378 [第16条] 莱昂纳多·蒙泰奇 , 保罗·洛里尼 , 安德烈亚·邦达瓦利 :
量化外部攻击对分布式自动跟踪预警系统的影响。 DSN研讨会 2015 : 33-38 [第15条] 瓦伦蒂娜·邦菲利奥 , 莱昂纳多·蒙泰奇 , 伊万诺·伊雷拉 , 弗朗西斯科·罗西 , 保罗·洛里尼 , 安德烈亚·邦达瓦利 :
模型级软件故障仿真:走向自动化软件FMEA。 DSN研讨会 2015 : 133-140 [第14条] 拉斐尔·阿佐利尼 , 塞西利亚·M·F·鲁比拉 , 莱昂纳多·提兹(Leonardo P.Tizzei) , 菲利佩·努斯·盖亚 , 莱昂纳多·蒙泰奇 :
为电子商务系统开发软件产品线:案例研究。 ECSA研讨会 2015 : 26:1-26:7 [第13条] 瓦伦蒂娜·邦菲利奥 , 莱昂纳多·蒙泰奇 , 弗朗西斯科·罗西 , 保罗·洛里尼 , 安德拉斯·帕塔里察 , 安德烈亚·邦达瓦利 :
支持自动化软件FMEA的可执行模型。 哈斯 2015 : 189-196 2014 [第12条] 莱昂纳多·蒙泰奇 , 保罗·洛里尼 , 安德烈亚·邦达瓦利 :
DSL支持的大型随机模型自动装配工作流。 EDCC公司 2014 : 82-93 [第11条] 莱昂纳多·蒙泰奇 , 尼古拉·诺斯特罗 , 安德烈亚·塞卡雷利 , 朱塞佩·维拉 , 安东尼奥·卡鲁索 , 安德烈亚·邦达瓦利 :
基于模型的可扩展性评估和安全权衡:一个多服务平台的案例研究。 PASM公司 2014 : 113-133 2013 [c10] 莱昂纳多·蒙泰奇 , 安德烈亚·塞卡雷利 , 保罗·洛里尼 , 安德烈亚·邦达瓦利 :
应对轨旁实时安全关键系统设计和评估中的挑战。 国际标准化组织 2013 : 1-10 【c9】 纳拉西姆哈·拉加万·维拉拉加万 , 莱昂纳多·蒙泰奇 , 尼古拉·诺斯特罗 , 安德烈亚·邦达瓦利 , 罗曼·维滕伯格 , 海因·梅林 :
了解现代分布式交互式多媒体应用程序在出现故障时的体验质量:度量和分析。 囊 2013 : 439-446 【c8】 瓦伦蒂娜·邦菲利奥 , 莱昂纳多·蒙泰奇 , 弗朗西斯科·罗西 , 安德烈亚·邦达瓦利 :
关于ISO26262中软件架构评估方法的需求。 汽车@SAFECOMP 2013 【c7】 莱昂纳多·蒙泰奇 , 保罗·洛里尼 , 安德烈亚·邦达瓦利 :
用于自动化可靠性评估的可重用模块化工具链。 VALUETOOLS价值工具 2013 : 298-303 2012 【c6】 莱昂纳多·蒙泰奇 , 保罗·洛里尼 , 鲍里斯·马林诺夫斯基 , 杰斯珀·格伦布 , 安德烈亚·邦达瓦利 :
基于模型的铁路工地可靠通信协议分析。 微软WiM 2012 : 23-32 【c5】 莱昂纳多·蒙泰奇 , 保罗·洛里尼 , 安德烈亚·邦达瓦利 , 埃内斯托·拉马蒂纳 :
多生物认证系统的定量安全评估。 SAFECOMP研讨会 2012 : 209-221 [第1页] 安德烈亚·邦达瓦利 , 保罗·洛里尼 , 伊斯特万·马齐克 , 莱昂纳多·蒙泰奇 :
建模和基于模型的评估。 计算系统的弹性评估与评估 2012 : 153-165 2011 【c4】 莱昂纳多·蒙泰奇 , 保罗·洛里尼 , 安德烈亚·邦达瓦利 :
面向可靠性分析的MDE转换工作流。 ICECCS公司 2011 : 157-166 【c3】 莱昂纳多·蒙泰奇 , 保罗·洛里尼 , 安德烈亚·邦达瓦利 :
模型驱动工程中的可靠性问题。 ISORC研讨会 2011 : 254-263 2010 【c2】 安德烈亚·塞卡雷利 , 杰斯珀·格伦布 , 莱昂纳多·蒙泰奇 , 汉斯·佩特·施韦费尔 , 安德烈亚·邦达瓦利 :
在高度不确定的环境中建立自适应可靠网络服务框架。 ISORC研讨会 2010 : 184-193