安德烈亚·多梅尼奇
人员信息
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2020年–今天
2024 [公元19年] 辛齐娅·伯纳德斯基 , 安德烈亚·多梅尼奇 , 阿德里亚诺·法吉奥利尼 , 毛里齐奥·帕尔米耶里 :
通过协同仿真设计和验证网络物理系统:Voronoi细分用例。 IEEE接入 12 : 1064-1075 ( 2024 ) 2023 [公元18年] 辛齐娅·伯纳德斯基 , 安德烈亚·多梅尼奇 , 阿德里亚诺·法吉奥里尼 , 毛里齐奥·帕尔米耶里 :
基于逻辑规范的协同无人机控制的协同仿真和形式验证。 计算。 J。 66 ( 2 ) : 295-317 ( 2023 ) [c29] 安德烈亚·多梅尼奇 :
原型验证系统中部分微分的基本理论。 FSEN公司 2023 : 18-24 2022 [公元28年] 辛齐娅·伯纳德斯基 , 皮耶保罗·迪尼 , 安德烈亚·多梅尼奇 , 毛里齐奥·帕尔米耶里 , 塞尔吉奥·萨波纳拉 :
自制FMU一代。 SEFM研讨会 2022 : 210-227 2021 [公元27年] 辛齐娅·伯纳德斯基 , 皮耶保罗·迪尼 , 安德烈亚·多梅尼奇 , 阿尤布·穆哈吉尔 , 毛里齐奥·帕尔米耶里 , 塞尔吉奥·萨波纳拉 , Tanguy Sassolas公司 , 莉莉娅·扎乌拉尔 :
汽车应用模型预测控制系统的协同仿真。 SEFM研讨会 2021 : 204-220 [公元26年] 辛齐娅·伯纳德斯基 , 安德烈亚·多梅尼奇 , 毛里齐奥·帕尔米耶里 :
医疗设备和系统的原型制作过程。 STAF研讨会 2021 : 115-124 [公元25年] 安德烈亚·多梅尼奇 , 辛齐娅·伯纳德斯基 :
线性化控制系统的逻辑理论模式。 F-IDE@NFM 2021 : 46-52 2020 [公元17年] 辛齐娅·伯纳德斯基 , 安德里亚·多梅尼奇 , 阿德里亚诺·法吉奥里尼 , 毛里齐奥·帕尔米耶里 :
基于模型开发中的块模型和定理证明。 电子。 Commun公司。 欧洲协会软件。 科学。 Technol公司。 79 ( 2020 ) [公元16年] 辛齐娅·伯纳德斯基 , 安德烈亚·多梅尼奇 , 毛里齐奥·帕尔米耶里 :
网络物理系统攻击的形式化和联合模拟。 J.计算。 维罗尔。 黑客技术。 16 ( 1 ) : 63-77 ( 2020 ) [公元24年] 辛齐娅·伯纳德斯基 , 安德烈亚·多梅尼奇 , 弗朗西斯科·梅尔卡多 , 安东内拉·桑通 :
通过模拟日志分析识别潜在攻击。 国际JCNN 2020 : 1-6 【c23】 伯纳德斯基Cinzia Bernardeschi , 安德烈亚·多梅尼奇 , 毛里齐奥·帕尔米耶里 , 塞尔吉奥·萨波纳拉 , Tanguy Sassolas公司 , 阿里夫·威卡萨纳 , 莉莉娅·扎乌拉尔 :
基于嵌入式处理器的自动变速器控制的交叉级协同仿真与验证。 SEFM公司 2020 : 263-279
2010 – 2019
2019 [公元15年] 辛齐娅·伯纳德斯基 , 安德烈亚·多梅尼奇 , 塞尔吉奥·萨波纳拉 :
加强安全关键网络物理系统验证的循环形式验证。 电子。 Commun公司。 欧洲协会软件。 科学。 Technol公司。 77 ( 2019 ) [公元22年] 辛齐娅·伯纳德斯基 , 安德烈亚·多梅尼奇 :
模型检验在容错分析中的应用。 从软件工程到正式的方法和工具,然后再回来 2019 : 531-547 【c21】 伯纳德斯基Cinzia Bernardeschi , 安德烈亚·多梅尼奇 , 毛里齐奥·帕尔米耶里 :
网络物理系统攻击建模与仿真。 ICISSP公司 2019 : 700-708 [公元20年] 辛齐娅·伯纳德斯基 , 迪尼·皮耶保罗 , 安德烈亚·多梅尼奇 , 塞尔吉奥·萨波纳拉 :
无刷电机齿槽转矩降低非线性控制系统的联合仿真与验证。 SEFM研讨会 2019 : 3-19 [第1页] 辛齐娅·伯纳德斯基 , 安德里亚·多梅尼奇 , 保罗·马斯奇 :
基于逻辑的集成临床环境系统需求形式化。 系统生物学和医学的自动推理 2019 : 215-242 2018 [公元14年] 达里奥·科齐 , 塞巴斯蒂安·科尔夫 , 卢卡·卡萨诺 , 延斯·哈格梅耶 , 安德烈亚·多梅尼奇 , 辛齐娅·伯纳德斯基 , 卢卡·斯特彭 , 马里奥·波尔曼 :
OLT(RE) 2 :可重构系统中永久辐射效应的在线按需测试方法。 IEEE传输。 Emerg.顶部。 计算。 6 ( 4 ) : 511-523 ( 2018 ) [j13] 辛齐娅·伯纳德斯基 , 安德烈亚·多梅尼奇 , 保罗·马斯奇 :
用于基于模型的网络物理系统分析的PVS-Simulink集成环境。 IEEE传输。 软件工程。 44 ( 6 ) : 512-533 ( 2018 ) [c19] 辛齐娅·伯纳德斯基 , 安德烈亚·多梅尼奇 , 毛里齐奥·帕尔米耶里 :
走向随机FMI协同模拟:为随机活动网络模拟器实现FMU。 STAF研讨会 2018 : 34-44 [第18条] 毛里齐奥·帕尔米耶里 , 辛齐娅·伯纳德斯基 , 安德里亚·多梅尼奇 , 阿德里亚诺·法吉奥里尼 :
演示:无人机与INTO-CPS和PVSio-web的协同仿真。 STAF研讨会 2018 : 52-57 2017 [第17条] 安德烈亚·多梅尼奇 , 阿德里亚诺·法吉奥里尼 , 毛里齐奥·帕尔米耶里 :
简单自主车辆的集成仿真和形式验证。 SEFM研讨会 2017 : 300-314 2016 [j12] 辛齐娅·伯纳德斯基 , 卢卡·卡萨诺 , 安德烈亚·多梅尼奇 , 卢卡·斯特彭 :
UA公司 2 TPG:用于基于SRAM的FPGA的配置存储器中的SEU的不稳定性分析器和测试模式生成器。 集成。 55 : 85-97 ( 2016 ) [公元11年] 伯纳德斯基Cinzia Bernardeschi , 安德烈亚·多梅尼奇 :
通过原型验证系统的交互式定理证明来验证非线性控制的安全特性。 信息处理。 莱特。 116 ( 6 ) : 409-415 ( 2016 ) [公元10年] 辛齐娅·伯纳德斯基 , 安德烈亚·多梅尼奇 , 保罗·马斯奇 :
集成临床环境系统需求的形式化。 EAI背书交易。 自适应。 系统。 2 ( 6 ) : e3(电子3) ( 2016 ) [第16条] 辛齐娅·伯纳德斯基 , 安德里亚·多梅尼奇 , 保罗·马斯奇 :
原型验证系统中集成临床环境的通信网络需求建模。 ISCC公司 2016 : 135-140 [第15条] 辛齐娅·伯纳德斯基 , 马里奥·G·C·A·西米诺 , 安德烈亚·多梅尼奇 , 吉利奥拉·瓦格利尼 :
使用Smartwatch传感器支持采集睡眠质量数据以进行监督机器学习。 健康监护 2016 : 251-259 [第14条] 马可·阿维努蒂 , 辛齐娅·伯纳德斯基 , 马里奥·G·C·A·西米诺 , Guglielmo可乐 , 安德里亚·多梅尼奇 , 吉利奥拉·瓦格利尼 :
通过智能设备和Stigmergic接收场检测老年人的行为变化。 健康监护 2016 : 398-405 [第13条] 乔亚奇诺·毛罗 , 哈罗德·廷布尔比 , 安德烈亚·多梅尼奇 , 辛齐娅·伯纳德斯基 :
使用自动MISRA C代码生成扩展用户界面原型工具。 F-IDE@FM 2016 : 53-66 2015 [公元9年] 辛齐娅·伯纳德斯基 , 卢卡·卡萨诺 , 安德烈亚·多梅尼奇 :
用于安全关键应用的基于SRAM的FPGA系统:设计标准和建议方法综述。 J.计算。 科学。 Technol公司。 30 ( 2 ) : 373-390 ( 2015 ) 2014 [j8] 伯纳德斯基Cinzia Bernardeschi , 卢卡·卡萨诺 , 安德烈亚·多梅尼奇 , 卢卡·斯特彭 :
ASSESS:基于SRAM的FPGA配置存储器中软错误的模拟器。 IEEE传输。 计算。 辅助设计。 集成。 电路系统。 33 ( 9 ) : 1342-1355 ( 2014 ) [j7] 费德里科·巴伦蒂 , 辛齐娅·伯纳德斯基 , 卢卡·卡萨诺 , 安德烈亚·多梅尼奇 , 罗伯托·隆塞拉 , 罗伯托·萨莱蒂 :
模块化锂离子电池分布式均衡器的设计与安全验证。 IEEE传输。 工业信息学 10 ( 2 ) : 1003-1011 ( 2014 ) 2013 [j6] 辛齐娅·伯纳德斯基 , 卢卡·卡萨诺 , 马里奥·G·C·A·西米诺 , 安德烈亚·多梅尼奇 :
GABES:SRAM-FPGA中基于遗传算法的SEU测试环境。 J.系统。 阿奇特。 59 ( 10天 ) : 1243-1254 ( 2013 ) [第12条] 辛齐娅·伯纳德斯基 , 卢卡·卡萨诺 , 安德烈亚·多梅尼奇 :
FPGA中SEU测试的正式方法。 空气处理系统 2013 : 209-216 [第11条] 辛齐娅·伯纳德斯基 , 卢卡·卡萨诺 , 安德烈亚·多梅尼奇 , 卢卡·斯特彭 :
影响基于SRAM的FPGA路由结构的SEU的不相容性分析。 ACM大湖区超大规模集成电路研讨会 2013 : 7-12 [c10] 费德里科·巴伦蒂 , 辛齐娅·伯纳德斯基 , 卢卡·卡萨诺 , 安德烈亚·多梅尼奇 , 罗伯托·隆塞拉 , 罗伯托·萨莱蒂 :
减轻锂离子电池充电均衡器控制逻辑中的单事件扰动。 IECON公司 2013 : 6758-6763 2012 【c9】 伯纳德斯基Cinzia Bernardeschi , 卢卡·卡萨诺 , 安德烈亚·多梅尼奇 , 卢卡·斯特波内 :
精确模拟基于SRAM的FPGA配置存储器中的SEU。 DFT(干膜厚度) 2012 : 115-120 【c8】 辛齐娅·伯纳德斯基 , 卢卡·卡萨诺 , 安德烈亚·多梅尼奇 :
SEU-X:用于SRAM-FPGA的SEU非兴奋性校准器。 雅思 2012 : 25-30 [i1] 费德里科·卡尔佐拉里 , 西尔维娅·阿雷齐尼 , 阿尔贝托·西安帕 , 恩里科·马佐尼 , 安德烈亚·多梅尼奇 , 吉利奥拉·瓦格利尼 :
使用虚拟化的高可用性-3RC。 CoRR公司 abs/1205.0483 ( 2012 ) 2011 【c7】 辛齐娅·伯纳德斯基 , 卢卡·卡萨诺 , 安德烈亚·多梅尼奇 :
具有随机活动网络的SRAM-FPGA系统的失效概率。 DDECS公司 2011 : 293-296 【c6】 辛齐娅·伯纳德斯基 , 卢卡·卡萨诺 , 安德烈亚·多梅尼奇 :
SRAM-FPGA系统的故障概率和故障可观测性。 FPL公司 2011 : 385-388 2010 [j5] 吉安尼·普契亚尼 , 安德烈亚·多梅尼奇 , 弗拉维亚·多诺 , 海因茨·斯托金格 :
使用CONStanza对异构网格数据库进行同步的性能研究。 未来一代。 计算。 系统。 26 ( 6 ) : 820-834 ( 2010 )
2000 – 2009
2009 【j4】 安德烈亚·多梅尼奇 , 弗拉维亚·多诺 :
Storage Resource Manager v2.2的静态和动态数据模型。 J.网格计算。 7 ( 1 ) : 115-133 ( 2009 ) 2006 【c5】 安德烈亚·多梅尼奇 , 弗拉维亚·多诺 , 吉安尼·普契亚尼 , 海因茨·斯托金格 :
与CONStanza放松数据一致性。 CCGRID公司 2006 : 425-429 2005 【c4】 辛齐娅·伯纳德斯基 , 吉安卢卡·迪尼 , 安德里亚·多梅尼奇 :
FACT:一种从通信自动机生成代码的工具。 IASTED软件工程会议 2005 : 313-318 【c3】 安德里亚·多梅尼奇 :
网格体系结构方面的经验。 并行和分布式计算与网络 2005 : 264-269 2004 [j3] 大卫·G·卡梅隆 , 詹姆斯·凯西 , Leanne盖伊 , 彼得·库兹特 , 索菲·勒迈特 , 加文·麦卡锡 , 海因茨·斯托金格 , 库尔特·斯托金格 , 朱塞佩·安德罗尼科 , 威廉·H·贝尔 , 伊扎克·本·阿基瓦 , 戴安娜·博西奥 , Radovan Chytracek公司 , 安德烈亚·多梅尼奇 , 弗拉维亚·多诺 , 沃尔夫冈·霍斯克 , 埃尔文·劳雷 , 列维·卢西奥 , A.保罗·米勒 , 利维奥·萨科尼 , 本·西格尔 , 米卡·西兰德 :
欧洲数据网格项目中的副本管理。 J.网格计算。 2 ( 4 ) : 341-351 ( 2004 ) 2003 【c2】 西尔维娅·马齐尼 , 马西莫·达莱桑德罗 , 马可·迪纳塔莱 , 安德烈亚·多梅尼奇 , 朱塞佩·利帕里 , 图利奥·瓦尔达内加 :
HRT-UML:将HRT-HOOD引入UML。 阿达·欧罗普 2003 : 405-416
1990 – 1999
1998 【c1】 马可·迪纳塔莱 , 安德烈亚·多梅尼奇 :
DASE工具:实时应用程序开发环境。 DIPES公司 1998 : 169-180 1990 [注2] 安德烈亚·多梅尼奇 :
逻辑中的Petri网。 微处理和微编程 30 ( 1-5 ) : 193-198 ( 1990 )
1980 – 1989
1989 [j1] 安德烈亚·多梅尼奇 , 比阿特丽斯·拉泽里尼 , 科西莫·安东尼奥·普雷特 :
一种用于在多用户环境中进行资源锁定和死锁检测的协议。 微处理器和微程序设计 27 ( 1-5 ) : 431-437 ( 1989 )
合著者索引
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)