尤利娅·德拉戈米尔
人员信息
优化列表
2020年–今天
2024 [j6] 布拉姆·洛特菲·梅迪奥尼 , 尤利娅·德拉戈米尔 , 阿尤布·努里 , 萨德克·本萨勒姆 :
使用定量风险评估进行基于模型的弹性系统设计。 因诺夫。 系统。 柔和。 工程师。 20 ( 1 ) : 3-16 ( 2024 ) 2022 [j5] 紫罗兰Preoteasa , 尤利娅·德拉戈米尔 , 斯塔夫罗斯·特里帕基斯 :
反应系统的精化演算。 Inf.计算。 285 ( 零件 ) : 104819 ( 2022 ) [第14条] 尤利娅·德拉戈米尔 , 卡洛斯·雷东多 , 蒂亚戈·豪尔赫 , 劳拉·古维娅 , 尤利安·奥贝尔 , 伊万·科莱斯尼科夫 , 马吕斯·博兹加 , 马克西姆·佩罗廷 :
使用TASTE/SDL设计的空间系统的模型检查。 MoDELS(伴侣) 2022 : 237-246 2021 [i7] 尤利娅·德拉戈米尔 , 马吕斯·博兹加 , 尤利安·奥贝尔 , D.西尔维拉 , 蒂亚戈·豪尔赫 , E.阿拉尼亚 , 马克西姆·佩罗廷 :
用TASTE设计的空间系统的正式验证。 CoRR公司 abs/2111.10132 ( 2021 ) 2020 【j4】 尤利娅·德拉戈米尔 , 紫罗兰Preoteasa , 斯塔夫罗斯·特里帕基斯 :
反应系统的精化微积分工具集。 Int.J.软件。 技术工具。 Transf公司。 22 ( 6 ) : 689-708 ( 2020 ) [c13] 布拉姆·洛特菲·梅迪奥尼 , 尤利娅·德拉戈米尔 , 阿尤布·努里 , 萨德克·本萨勒姆 :
使用定量风险评估的基于模型的弹性系统设计。 VECoS公司 2020 : 149-164
2010 – 2019
2019 [j3] 尤利娅·德拉戈米尔 , 萨德克·本萨勒姆 :
采用BIP严格设计FDIR系统。 电子。 Commun公司。 欧洲协会软件。 科学。 Technol公司。 77 ( 2019 ) [第12条] 紫罗兰Preoteasa , 尤利娅·德拉戈米尔 , 斯塔夫罗斯·特里帕基斯 :
层次框图翻译确定性的机械证明。 VMCAI公司 2019 : 577-600 2018 [第11条] 尤利娅·德拉戈米尔 , 西蒙·约斯蒂 , 马吕斯·博兹加 , 萨德克·本萨勒姆 :
设计具有检测和重新配置功能的系统:一种形式化方法。 ISoLA(3) 2018 : 155-171 [第10条] 尤利娅·德拉戈米尔 , 紫罗兰Preoteasa , 斯塔夫罗斯·特里帕基斯 :
反应系统的精化微积分工具集。 TACAS(2) 2018 : 201-208 2017 [注2] 尤利娅·德拉戈米尔 , 尤利安·奥贝尔 , 克里斯蒂安·佩塞博伊斯 :
SysML中基于合同的定时安全需求建模和验证。 柔和。 系统。 模型。 16 ( 2 ) : 587-624 ( 2017 ) 【c9】 紫罗兰Preoteasa , 尤利娅·德拉戈米尔 , 斯塔夫罗斯·特里帕基斯 :
Isabelle中Simulink层次框图的类型推断。 复地 2017 : 194-209 [i6] 紫罗兰Preoteasa , 尤利娅·德拉戈米尔 , 斯塔夫罗斯·特里帕基斯 :
反应系统的精化演算。 CoRR公司 abs/1710.03979 ( 2017 ) [i5] 尤利娅·德拉戈米尔 , 紫罗兰Preoteasa , 斯塔夫罗斯·特里帕基斯 :
反应系统的精化微积分工具集。 CoRR公司 abs/1710.08195 ( 2017 ) 2016 【c8】 尤利娅·德拉戈米尔 , 紫罗兰Preoteasa , 斯塔夫罗斯·特里帕基斯 :
层次框图的组成语义和分析。 自旋 2016 : 38-56 [i4] 紫罗兰Preoteasa , 尤利娅·德拉戈米尔 , 斯塔夫罗斯·特里帕基斯 :
层次框图翻译的一种非确定性抽象算法。 CoRR公司 abs/1611.01337 ( 2016 ) [i3] 紫罗兰Preoteasa , 尤利娅·德拉戈米尔 , 斯塔夫罗斯·特里帕基斯 :
Isabelle中Simulink层次框图的类型推断。 CoRR公司 abs/1612.05494 ( 2016 ) 2015 【c7】 尤利娅·德拉戈米尔 , 苏珊·格拉芙 , 加博尔·卡赛 , 弗洛里安·诺伊里特 , 尤利安·奥贝尔 :
ACES-MB 2015简介。 ACES-MB公司& 莫代尔斯WUCOR 2015 : 1-2 [电子2] 尤利娅·德拉戈米尔 , 苏珊·格拉芙 , 加博尔·卡赛 , 弗洛里安·诺伊里特 , 尤利安·奥贝尔 , 达米亚诺·托雷 , Yvan Labiche公司 , 马塞拉·杰内罗 , 玛格德·埃拉萨 :
第八届基于模型的网络物理和嵌入式系统架构国际研讨会和第一届UML一致性规则国际研讨会(ACES-MB 2015和WUCOR 2015)联合会议记录,与ACM/IEEE第十八届模型驱动工程语言和系统国际会议(MoDELS 2015)在加拿大渥太华举行, 2015年9月28日。 CEUR研讨会记录 1508, CEUR-WS.org公司 2015 [目录] [i2] 尤利娅·德拉戈米尔 , 紫罗兰Preoteasa , 斯塔夫罗斯·特里帕基斯 :
将层次框图转换为复合谓词变换器。 CoRR公司 abs/1510.04873 ( 2015 ) 2014 【c6】 尤利娅·德拉戈米尔 , 尤利安·奥伯 , 克里斯蒂安·佩塞博伊斯 :
SysML中定时反应组件的安全合同。 SOFSEM公司 2014 : 211-222 [电子1] 弗洛里安·诺伊里特 , 苏珊·格拉芙 , 尤利娅·德拉戈米尔 :
2014年9月30日,西班牙巴伦西亚,与ACM/IEEE第17届模型驱动工程语言和系统国际会议(MoDELS 2014)合办的第七届嵌入式系统基于模型的架构和构建国际研讨会论文集。 CEUR研讨会记录 1250, CEUR-WS.org公司 2014 [目录] 2013 [c5] 尤利娅·德拉戈米尔 , 尤利安·奥贝尔 , 克里斯蒂安·佩塞博伊斯 :
在UML/SysML中集成可验证的假设/保证合同。 ACES-MB@MoDELS公司 2013 【c4】 曼祖尔·艾哈迈德 , 尤利娅·德拉戈米尔 , Jean-Michel布鲁尔 , 尤利安·奥伯 , 尼古拉斯·贝洛尔 :
使用OMEGA2 IFx对环境系统SYSML特性进行早期分析。 SIMULTECH公司 2013 : 147-154 2012 【c3】 尤利娅·德拉戈米尔 , 尤利安·奥贝尔 , 大卫·莱森斯 :
基于SysML的形式化系统工程案例研究。 ICECCS公司 2012 : 189-198 2011 [j1] 伊莉安娜·奥伯 , 尤利安·奥贝尔 , 尤利娅·德拉戈米尔 , 埃尔·阿尔比·阿布索罗 :
UML/SysML语义调整。 因诺夫。 系统。 柔和。 工程师。 7 ( 4 ) : 257-264 ( 2011 ) 【c2】 尤利安·奥贝尔 , 尤利娅·德拉戈米尔 :
明确的UML复合结构:OMEGA2经验。 SOFSEM公司 2011 : 418-430 2010 【c1】 尤利安·奥贝尔 , 尤利娅·德拉戈米尔 :
OMEGA2:配置文件和工具的新版本。 ICECCS公司 2010 : 373-378 [i1] 尤利娅·德拉戈米尔 , 尤利安·奥贝尔 :
UML复合结构的良好性和类型规则。 CoRR公司 abs/1010.6155 ( 2010 )