西尔维娅·马齐尼
人员信息
SPARQL查询
优化列表
2020年–今天
2021 【c21】 费利西恩·伊赫韦 , 艾森·因达穆萨(Arsene Indamutsa) , 大卫·迪·鲁西奥 , 西尔维娅·马齐尼 , 阿方索·皮兰托尼奥 :
物联网领域基于云的建模:调查、开放挑战和机遇。 MoDELS(伴侣) 2021 : 73-82 [公元20年] 阿尔贝托·德巴西 , 费利西恩·伊赫韦 , 皮耶路易吉·皮耶里尼 , 西尔维娅·马齐尼 , 斯特凡诺·托内塔 :
CHESS中可靠复杂系统的基于模型的分析支持。 MODELSWARD公司 2021 : 262-269 [第19条] 何塞·路易斯·德拉瓦拉 , 托马斯·鲍尔 , 伯恩哈德·菲舍尔 , 穆斯塔法·卡拉卡 , 亨利克·马德拉 , 马丁·马施尼格 , 西尔维娅·马齐尼 , 吉安·斯皮勒·南迪 , 法比奥·帕特龙 , 大卫·佩雷拉 , 何塞·普伦萨 , 鲁珀特·施利克 , 斯特凡诺·托内塔 , 乌古尔·亚扬 , 贝罗斯·桑切利(Behrooz Sangchoolie) :
自动化系统安全、网络安全和隐私的验证和确认方法分类提案。 夸夸其谈的 2021 : 325-340 [第18条] 费利西恩·伊希尔韦 , 大卫·迪·鲁西奥 , 西尔维娅·马齐尼 , 阿方索·皮兰托尼奥 :
面向工业物联网系统的建模和分析环境。 STAF研讨会 2021 : 90-104 [i4] 费利西恩·伊赫韦 , 大卫·迪·鲁西奥 , 西尔维娅·马齐尼 , 阿方索·皮兰托尼奥 :
面向工业物联网系统的建模和分析环境。 CoRR公司 abs/2105.14136 ( 2021 ) [i3] 费利西恩·伊赫韦 , 大卫·迪·鲁西奥 , 西尔维娅·马齐尼 , 阿方索·皮兰托尼奥 :
用于复杂物联网应用程序的特定于域的建模和分析环境。 CoRR公司 abs/2109.09244 ( 2021 ) 2020 [c17] 费利西恩·伊赫韦 , 大卫·迪·鲁西奥 , 西尔维娅·马齐尼 , 皮耶路易吉·皮耶里尼 , 阿方索·皮兰托尼奥 :
物联网的低代码工程:研究现状。 MoDELS(伴侣) 2020 : 74:1-74:8 [i2] 费利西恩·伊赫韦 , 大卫·迪·鲁西奥 , 西尔维娅·马齐尼 , 皮尔路易吉·皮里尼 , 阿方索·皮兰托尼奥 :
物联网低代码工程:研究现状。 CoRR公司 abs/2009.01876 ( 2020 ) [i1] 费利西恩·伊赫韦 , 西尔维娅·马齐尼 , 皮耶路易吉·皮耶里尼 , 阿尔贝托·德巴西 , 斯特凡诺·托内塔 :
在CHESS中为可靠的复杂系统提供基于模型的分析支持。 CoRR公司 abs/2009.06089 ( 2020 )
2010 – 2019
2019 [第16条] 法比亚娜·格纳奇尼 , 西尔维娅·马齐尼 , 乔瓦尼·布鲁诺 :
档案领域的LOD发布:方法和实践。 CAiSE的ODOCH 2019 : 15-26 2018 [j1] 瓦西夫·阿夫扎尔 , 雨果·布鲁内利 , 大卫·迪·鲁西奥 , 安德烈·萨多维奇 , 西尔维娅·马齐尼 , 埃里克·卡里奥 , Dragos Truscan公司 , 乔迪·卡博特 , 阿贝尔·戈麦斯 , 杰苏斯·戈罗尼奥吉提亚 , 路易吉·波曼特 , 帕维尔·斯莫兹 :
这个 兆赫@Rt2 ECSEL项目:MegaModelling at Runtime——基于模型的可扩展框架,用于复杂系统的持续开发和运行时验证。 微加工。 微系统 61 : 86-95 ( 2018 ) 2017 [第15条] 瓦西夫·阿夫扎尔 , 雨果·布鲁内利埃 , 大卫·迪·鲁西奥 , 安德烈·萨多维奇 , 西尔维娅·马齐尼 , 埃里克·卡里奥 , Dragos Truscan公司 , 乔迪·卡博特 , 丹尼尔·菲尔德 , 路易吉·波曼特 , 帕维尔·斯莫兹 :
这个 兆赫@Rt2 ECSEL项目:运行时的大型建模——基于模型的可扩展框架,用于复杂系统的持续开发和运行时验证。 DSD公司 2017 : 494-501 2016 [第14条] 劳拉·巴拉基 , 西尔维娅·马齐尼 , 斯特凡诺·普里 , 图利奥·瓦尔达内加 :
在正确构建基于模型的开发过程中吸取的教训。 阿达·欧罗普 2016 : 113-128 [第13条] 西尔维娅·马齐尼 , 约翰·法瓦罗 , 斯特凡诺·普里 , 劳拉·巴拉基 :
CHESS:关键系统开发的开源方法和工具集。 EduSymp公司/ MoDELS的OSS4MDE 2016 : 59-66 [第12条] 亚历杭德拉·鲁伊斯 , 芭芭拉·加利纳 , 何塞·路易斯·德拉瓦拉 , 西尔维娅·马齐尼 , 胡斯卡·埃斯皮诺萨 :
网络物理系统的架构驱动、多关注和无缝保证与认证。 SAFECOMP研讨会 2016 : 311-321 2015 [第11条] 西尔维娅·马齐尼 , 约翰·马瓦罗 , 劳拉·巴拉基 :
跨物联网生命周期的基于模型的方法,用于可扩展和分布式智能应用程序。 ITSC公司 2015 : 149-154 2014 [第10条] 西尔维娅·马齐尼 , 劳拉·巴拉基 , 斯特凡诺·普里 , 毛罗·帕斯奎内利 , 迭戈·格巴兹 , 约阿希姆·富克斯 , 瓦尔特·巴索 , 帕切 , 马可·拉萨尔 , 朱哈尼·维塔尼埃米 :
空间系统全生命周期验证增强的基于模型的方法。 香烟 2014 : 93-105 2013 【c9】 西尔维娅·马齐尼 , 约翰·法瓦罗 , 图利奥·瓦尔达内加 :
跨领域重用:多项目轨迹中的经验教训。 ICSR公司 2013 : 113-126 2012 【c8】 迭戈·瓦莱里奥·卡马达 , 西尔维娅·马齐尼 , 亚历山德罗·安东努西奥 :
LodLive,探索数据网络。 I-语义 2012 : 197-200 【c7】 安东尼奥·西切蒂 , 费德里科·西科齐 , 西尔维娅·马齐尼 , 斯特凡诺·普里 , 马可·潘南齐奥 , 亚历山德罗·佐维 , 图利奥·瓦尔达内加 :
国际象棋:一种模型驱动的工程工具环境,用于帮助开发复杂的工业系统。 酶 2012 : 362-365 2011 【c6】 西尔维娅·马齐尼 , 弗朗西丝卡·里奇 :
EAC-CPF本体和链接的档案数据。 SDA公司 2011 : 72-81
2000 – 2009
2009 【c5】 西尔维娅·马齐尼 , 斯特凡诺·普里 , 图利奥·瓦尔达内加 :
用于开发高完整性实时系统的MDE方法。 日期 2009 : 1154-1159 【c4】 约翰·法瓦罗 , 西尔维娅·马齐尼 :
使用系统工程的概念扩展FeatuRSEB。 ICSR公司 2009 : 41-50 2004 【c3】 图利奥·瓦尔达内加 , 马可·迪纳塔莱 , 西尔维娅·马齐尼 , 马西莫·达莱桑德罗 :
基于组件的实时设计:将HRT-HOOD映射到UML。 欧洲微生物公司 2004 : 6-13 2003 [c2] 西尔维娅·马齐尼 , 马西莫·达莱桑德罗 , 马可·迪纳塔莱 , 安德烈亚·多梅尼奇 , 朱塞佩·利帕里 , 图利奥·瓦尔达内加 :
HRT-UML:将HRT-HOOD引入UML。 阿达·欧罗普 2003 : 405-416 【c1】 西尔维娅·马齐尼 , 马西莫·达莱桑德罗 , 马可·迪纳塔莱 , 朱塞佩·利帕里 , 图利奥·瓦尔达内加 :
将HRT-HOOD映射到UML中的问题。 ECRTS系统 2003 : 221-228