西蒙·布利乌兹
人员信息
附属: Inria Lille,法国
优化列表
2020年–今天
2024 【b1】 西蒙·布利乌兹 :
对使用BIP的基于并行组件的软件和系统的严格设计的贡献。 法国里尔大学, 2024 [公元24年] Trinh Le Khanh公司 , Hoang-Gia Nguyen公司 , 西蒙·布利乌兹 , 菲利普·梅尔 :
面向并发云应用程序的外部协调。 国际期刊软件。 工程知识。 工程师。 34 ( 1 ) : 1-25 ( 2024 ) [公元38年] 王强(Qiang Wang) , 华东戴 , 赵永新 , 张敏(音) , 西蒙·布利乌兹 :
通过转换为BIP启用行为树验证。 传真 2024 : 3-20 2023 [公元37年] 萨勒曼·法哈特 , 西蒙·布利乌兹 , 劳伦斯·杜钦 , 奥尔加·库什纳伦科 :
云计算系统中重构请求的运行时协调。 协调 2023 : 271-291 [公元36年] 西蒙·布利乌兹 , 佩特拉·范登博斯 , 玛丽克·赫斯曼 , 罗伯特·鲁本斯 , 拉里萨·萨芬娜 :
JavaBIP符合VerCors:走向Java并发软件系统的安全。 FASE公司 2023 : 143-150 2022 [公元35年] 萨勒曼·法哈特 , 西蒙·布利乌兹 , 劳伦斯·杜钦 :
基于组件的并发应用程序的安全动态重新配置。 ICSA公司 2022 : 108-111 [i3] 拉里萨·萨芬娜 , 西蒙·布利乌兹 :
基于SAT的Java集合库行为模型提取。 CoRR公司 abs/2205.15270 ( 2022 ) 2021 [公元23年] 西蒙·布利乌兹 , 卡氏帕纳吉奥蒂斯 , 萨德克·本萨勒姆 , 马丁·威辛 :
关于严格系统设计的方法和工具。 国际期刊软件。 技术工具。 变压器。 23 ( 5 ) : 679-684 ( 2021 ) [电子6] 西蒙·布利乌兹 , 斯蒂芬妮娅·格内西 , 尼科·普拉特 , 劳拉·塞米尼 :
第九届IEEE/ACM软件工程形式化方法国际会议, FormaliSE@ICSE 2021年5月17日至21日,西班牙马德里。 电气与电子工程师协会 2021 ,国际标准图书编号 978-1-6654-3913-8 [目录] 2020 [公元22年] 秦旭东 , 西蒙·布利乌兹 , 埃里克·马德莱恩 , 侯泽晨 , 邓玉欣 , 张敏(音) :
基于SMT的符号自动机生成。 信息学报 57 ( 3-5 ) : 627-656 ( 2020 ) [公元21年] 爱德华·巴拉诺夫 , 西蒙·布利乌兹 :
基于组件的框架的可表达性:对BIP的可表达性的研究。 信息学报 57 ( 6 ) : 761-800 ( 2020 ) [公元20年] 爱德华·巴拉诺夫 , 西蒙·布利乌兹 :
更正:基于组件的框架的表达性:BIP的表达性研究。 信息学报 57 ( 6 ) : 829 ( 2020 ) [公元19年] 穆罕默德·法乌齐·阿提格 , 西蒙·布利乌兹 :
ISSE 2018年VECoS特刊前言。 因诺夫。 系统。 柔和。 工程师。 16 ( 2 ) : 99-100 ( 2020 ) [电子5] 西蒙·布利乌兹 , 劳拉·博奇 :
协调模型和语言——第22届IFIP工作组6.1国际会议,2020年协调,作为第15届分布式计算技术国际联合会会议的一部分,DisCoTec 2020,马耳他瓦莱塔,2020年6月15日至19日,会议记录。 计算机科学课堂讲稿 12134, 施普林格 2020 ,国际标准图书编号 978-3-030-50028-3 [目录] [i2] 安东·伊万诺夫 , 西蒙·布利乌兹 :
大学建造卫星的稳健软件开发。 CoRR公司 abs/2010.02208 ( 2020 )
2010 – 2019
2019 [公元18年] 西蒙·布利乌兹 , 塞巴斯蒂安·福里奇 , 约瑟夫·西法基斯 , 安托万·维尔 :
网络物理系统的严格设计——将物理性和计算联系起来。 柔和。 系统。 模型。 18 ( 三 ) : 1613-1636 ( 2019 ) [公元34年] 西蒙·布利乌兹 , 卢多维克·亨利奥 , 埃里克·马德莱恩 :
使用数据验证并发设计模式。 协调 2019 : 161-181 2018 [公元17年] 埃里克·马德莱恩 , 秦旭东 , 张敏(音) , 西蒙·布利乌兹 :
使用SMT引擎生成符号自动机。 电子。 Commun公司。 欧洲协会软件。 科学。 Technol公司。 76 ( 2018 ) [公元16年] 海拉·盖斯米 , 贝尔加塞姆·本·赫迪亚 , 西蒙·布利乌兹 , 萨德克·本萨勒姆 , 布里亚格·勒纳贝克 :
TT-BIP:使用正确设计的BIP方法,用时间触发范式对实时系统进行建模。 因诺夫。 系统。 柔和。 工程师。 14 ( 2 ) : 117-142 ( 2018 ) [公元15年] 埃马努埃拉·斯塔赫蒂亚里 , 阿纳斯塔西亚·马夫里杜 , 卡氏帕纳吉奥蒂斯 , 西蒙·布利乌兹 , 约瑟夫·西法基斯 :
通过纠正-建造,提前验证系统要求和设计。 J.系统。 柔和。 145 : 52-78 ( 2018 ) [公元14年] 马兹·莫希丁(Maaz Mohiuddin) , 瓦杰布·萨博 , 西蒙·布利乌兹 , Jean-Yves Le Boudec公司 :
Axo:实时控制系统中延迟和崩溃故障的检测和恢复。 IEEE传输。 工业信息学 14 ( 7 ) : 3065-3075 ( 2018 ) [c33] 瓦杰布·萨博 , 马兹·莫希丁(Maaz Mohiuddin) , 西蒙·布利乌兹 , Jean-Yves Le Boudec公司 :
基于网络物理系统中的意向性对事件进行排序。 ICCPS公司 2018 : 107-118 [电子4] 穆罕默德·法乌齐·阿提格 , 萨德克·本萨勒姆 , 西蒙·布利乌兹 , 布鲁诺·蒙苏兹 :
计算机和通信系统的验证与评估——第十二届国际会议,2018年VECoS,法国格勒诺布尔,2018年9月26-28日,会议记录。 计算机科学课堂讲稿 11181, 施普林格 2018 ,国际标准图书编号 978-3-030-00358-6 [目录] [电子3] 西蒙·布利乌兹 , 萨德克·本萨勒姆 :
第一届严格系统设计方法和工具国际研讨会论文集, MeTRiD@ETAPS 2018年4月15日,希腊塞萨洛尼基。 EPTCS系统 272, 2018 [目录] 2017 [j13] 阿纳斯塔西亚·马夫里杜 , 爱德华·巴拉诺夫 , 西蒙·布利乌兹 , 约瑟夫·西法基斯 :
配置逻辑:建模架构风格。 J.日志。 代数方法课程。 86 ( 1 ) : 2-29 ( 2017 ) [公元12年] 卡斯珀·多克特 , 宋世宗 , 法哈德·阿巴布 , 西蒙·布利乌兹 :
合并和征服:关联BIP和Reo。 J.日志。 代数方法课程。 86 ( 1 ) : 134-156 ( 2017 ) [公元11年] 罗曼·埃德尔曼 , 西蒙·布利乌兹 , 约瑟夫·西法基斯 :
函数式BIP:在函数式编程语言中嵌入连接器。 J.日志。 代数方法课程。 92 : 19-44 ( 2017 ) [公元10年] 西蒙·布利乌兹 , 阿纳斯塔西亚·马夫里杜 , Radoslaw Szymanek公司 , 阿里娜·佐洛图基纳 :
并行软件组件与JavaBIP的外部协调。 柔和。 实际。 支出。 47 ( 11 ) : 1801-1836 ( 2017 ) [公元32年] 西蒙·布利乌兹 , 阿莱娜·西马拉察 , 阿里娜·佐洛图基纳 :
约束流网:一个从资源依赖关系构建约束的模型。 协调 2017 : 197-216 [公元31年] 瓦杰布·萨博 , 马兹·莫希丁(Maaz Mohiuddin) , 西蒙·布利乌兹 , Jean-Yves Le Boudec公司 :
夸脱:实时控制系统的快速协议。 ETFA公司 2017 : 1-8 [公元30年] 阿纳斯塔西亚·马夫里杜 , 瓦伦丁·鲁茨 , 西蒙·布利乌兹 :
动态软件组件与JavaBIP的协调。 传真 2017 : 39-57 [公元29年] 海拉·盖斯米 , 贝尔加塞姆·本·赫迪亚 , 西蒙·布利乌兹 , 萨德克·本萨勒姆 , 布里亚格·勒纳贝克 :
TT-BIP:使用正确设计的BIP方法,用时间触发范式对实时系统进行建模。 VECoS公司 2017 : 171-188 [i1] 阿纳斯塔西亚·马夫里杜 , 瓦伦丁·鲁茨 , 西蒙·布利乌兹 :
动态软件组件与JavaBIP的协调。 CoRR公司 abs/1707.09716 ( 2017 ) 2016 [公元9年] 保罗·C·阿蒂 , 爱德华·巴拉诺夫 , 西蒙·布利乌兹 , 穆罕默德·贾比尔 , 约瑟夫·西法基斯 :
体系结构可组合性的通用框架。 形式方面计算。 28 ( 2 ) : 207-231 ( 2016 ) [公元28年] 伊戈尔·康诺夫 , 托默·科特克 , 王强(Qiang Wang) , 赫尔穆特·维思 , 西蒙·布利乌兹 , 约瑟夫·西法基斯 :
BIP中的参数化系统:设计和模型检查。 CONCUR公司 2016 : 30:1-30:16 [公元27年] 阿纳斯塔西亚·马夫里杜 , 埃马努埃拉·斯塔赫蒂亚里 , 西蒙·布利乌兹 , 安东·伊万诺夫 , 卡氏帕纳吉奥蒂斯 , 约瑟夫·西法基斯 :
基于体系结构的设计:卫星车载软件案例研究。 传真 2016 : 260-279 [公元26年] 马兹·莫希丁(Maaz Mohiuddin) , 瓦杰布·萨博 , 西蒙·布利乌兹 , Jean-Yves Le Boudec公司 :
Axo:屏蔽实时控制系统中的延迟故障。 IECON公司 2016 : 4933-4940 [公元25年] 海拉·盖斯米 , 贝尔加塞姆·本·赫迪亚 , 马修·扬 , 西蒙·布利乌兹 , 萨德克·本萨勒姆 :
海报摘要:走向正确的转变:从高级模型到时间触发的实现。 RTAS公司 2016 : 52 [公元24年] 爱德华·巴拉诺夫 , 西蒙·布利乌兹 :
关于BIP表达性的注释。 快递/SOS 2016 : 1-14 【c23】 阿纳斯塔西亚·马夫里杜 , 爱德华·巴拉诺夫 , 西蒙·布利乌兹 , 约瑟夫·西法基斯 :
建筑图:用于建筑风格规范的图形语言。 内燃机 2016 : 83-97 2015 [j8] 爱德华·巴拉诺夫 , 西蒙·布利乌兹 :
提供语义:为BIP中的粘合操作符实现组合性、扁平化和充分表达。 科学。 计算。 程序。 109 : 2-35 ( 2015 ) [j7] 博尔贾·费尔南德斯·阿迪戈 , 达尼尔·达瓦斯 , 恩里克·布兰科·维尼埃拉 , Jean-Charles Tournier公司 , 西蒙·布利乌兹 , Jan Olaf漂白剂 , 维克托·曼努埃尔·冈萨雷斯(Manuel González Suárez) :
将模型检查应用于工业规模的PLC程序。 IEEE传输。 工业信息学 11 ( 6 ) : 1400-1410 ( 2015 ) [公元22年] 西蒙·布利乌兹 , 亚历山德罗·西马蒂 , 穆罕默德·贾比尔 , 塞尔吉奥·莫弗 , 马可·罗维里 , 瓦杰布·萨博 , 王强(Qiang Wang) :
无限状态BIP模型的形式验证。 ATVA公司 2015 : 326-343 【c21】 约瑟夫·西法基斯 , 萨德克·本萨勒姆 , 西蒙·布利乌兹 , 马吕斯·博兹加 :
基于组件设计的理论议程。 软件、服务和系统 2015 : 409-439 [公元20年] 阿纳斯塔西亚·马夫里杜 , 爱德华·巴拉诺夫 , 西蒙·布利乌兹 , 约瑟夫·西法基斯 :
配置逻辑:建模架构样式。 传真 2015 : 256-274 [第19条] 王强(Qiang Wang) , 西蒙·布利乌兹 :
SeBip:一个用于BIP的符号执行器。 ICECCS公司 2015 : 174-177 [c18] 王强(Qiang Wang) , 严磊 , 西蒙·布利乌兹 , 毛晓光 :
BIP的自动故障定位。 设置 2015 : 277-283 [c17] 王强(Qiang Wang) , 西蒙·布利乌兹 :
通过谓词抽象和同时集约简验证基于组件的系统。 TGC公司 2015 : 147-162 [第16条] Kasper Dokter公司 , 宋世宗 , 法哈德·阿巴布 , 西蒙·布利乌兹 :
与BIP和Reo相关。 内燃机 2015 : 3-20 2014 [第15条] 西蒙·布利乌兹 , 约瑟夫·西法基斯 , 马吕斯·博兹加 , 穆罕默德·贾比尔 :
BIP中的架构内部化。 芝加哥证券交易所 2014 : 169-178 [第14条] 西蒙·布利乌兹 :
BIP中基于组件的严格设计:半天教程。 芝加哥证券交易所 2014 : 187-188 [第13条] 穆罕默德·努里丁 , 穆罕默德·贾比尔 , 西蒙·布利乌兹 , 法迪·扎拉凯特 :
BIP的简化和抽象技术。 传真 2014 : 288-305 [c12] 西蒙·布利乌兹 , 阿纳斯塔西亚·马夫里杜 , Radoslaw Szymanek公司 , 阿里娜·佐洛图基纳 :
软件组件与BIP的协调:应用于OSGi。 MiSE公司 2014 : 25-30 [第11条] 保罗·C·阿提 , 爱德华·巴拉诺夫 , 西蒙·布利乌兹 , 穆罕默德·贾比尔 , 约瑟夫·西法基斯 :
架构可组合性的一般框架。 SEFM公司 2014 : 128-143 2013 [第10条] 博尔加·费尔南德斯·阿迪埃戈 , 恩里克·布兰科·维尼埃拉 , 维克托·M·冈萨雷斯·苏亚雷斯 , 西蒙·布利乌兹 :
关键PLC程序的基于模型的自动测试。 印度 2013 : 722-727 【c9】 爱德华·巴拉诺夫 , 西蒙·布利乌兹 :
扩展连接器:BIP中的结构化粘合操作符。 内燃机 2013 : 20-35 2012 [j6] 西蒙·布利乌兹 , 罗伯托·布鲁尼 , 马克·卡博尼 , 亚历山德拉·席尔瓦 :
并行应用程序中的交互可靠性。 科学。 Ann.计算。 科学。 22 ( 1 ) : 1-4 ( 2012 ) 【c8】 西蒙·布利乌兹 :
走向胶水理论。 内燃机 2012 : 48-66 2011 [j5] 索尼娅·本·莫赫塔尔 , 西蒙·布利乌兹 , 罗伯托·布鲁尼 , 亚历山德拉·席尔瓦 , 安吉洛·特罗伊纳 :
复杂系统中的并发和交互。 科学。 Ann.计算。 科学。 21 ( 1 ) : 1-4 ( 2011 ) 【c7】 西蒙·布利乌兹 , 约瑟夫·西法基斯 :
从胶约束合成胶算子以构建基于组件的系统。 SC@工具 2011 : 51-67 [电子2] 亚历山德拉·席尔瓦 , 西蒙·布利乌兹 , 罗伯托·布鲁尼 , 马克·卡博尼 :
2011年6月9日在冰岛雷克雅未克举行的ICE 2011第四届交互与并发体验会议记录。 EPTCS系统 59, 2011 [目录] 2010 【j4】 西蒙·布利乌兹 , 约瑟夫·西法基斯 :
连接器代数的因果语义。 形式方法系统。 设计。 36 ( 2 ) : 167-194 ( 2010 ) [e1] 西蒙·布利乌兹 , 罗伯托·布鲁尼 , 戴维德·格罗曼 , 亚历山德拉·席尔瓦 :
《第三次交互和并发体验:保证交互》,ICE 2010,荷兰阿姆斯特丹,2010年6月10日。 EPTCS系统 38, 2010 [目录]
2000 – 2009
2009 [j3] 西蒙·布利乌兹 , 丹尼尔·克罗布 :
复杂系统建模:系统作为数据流机器。 芬丹。 信息学 91 ( 2 ) : 251-274 ( 2009 ) 【c6】 穆罕默德·贾比尔 , 阿南达·巴苏 , 西蒙·布利乌兹 :
BIP中连接器的符号实现。 内燃机 2009 : 41-55 2008 [注2] 西蒙·布利乌兹 , 约瑟夫·西法基斯 :
连接器代数-BIP中的结构化交互。 IEEE传输。 计算机 57 ( 10 ) : 1315-1330 ( 2008 ) 【c5】 西蒙·布利乌兹 , 约瑟夫·西法基斯 :
基于组件的系统的粘合表达性概念。 CONCUR公司 2008 : 508-522 2007 【c4】 西蒙·布利乌兹 , 约瑟夫·西法基斯 :
连接器代数:在BIP中构建交互。 EMSOFT公司 2007 : 11-20 【c3】 西蒙·布利乌兹 , 约瑟夫·西法基斯 :
连接词代数的因果语义。 FMCO公司 2007 : 179-199 2006 [j1] 西蒙·布利乌兹 , 丹尼尔·克罗布 :
一种评估空间分集BPSK调制接收机输出可靠性的组合方法。 电子。 J.库姆。 13 ( 1 ) ( 2006 ) 2005 【c2】 西蒙·布利乌兹 , 丹尼尔·克罗布 :
分集解调的性能评估——一种组合方法III:阈值分析。 ALENEX/ANALCO公司 2005 : 195-205 【c1】 西蒙·布利乌兹 , 尼古拉斯·比利 , 丹尼尔·克罗布 :
16QAM HSDPA的最优混合ARQ控制方案。 WiMob(1) 2005 : 121-127