马修·萨索拉斯
人员信息
优化列表
2020年–今天
2021 [j7] 贝特里斯·贝拉德 , 谢尔盖·哈达德 , 克劳迪娜·皮卡罗尼 , 穆罕默德·萨弗里·埃尔丁 , 马修·萨索拉斯 :
多项式中断时间自动机:验证和表达。 Inf.计算。 277 : 104580 ( 2021 )
2010 – 2019
2018 [j6] 贝特里斯·贝拉德 , 奥尔加·库什纳伦科 , 约翰·穆林斯 , 马修·萨索拉斯 :
线性约束马尔可夫链的不透明度。 谨慎。 事件动态。 系统。 28 ( 1 ) : 83-108 ( 2018 ) [j5] El Habib Boudjema公司 , 克里斯蒂尔·福雷 , 马修·萨索拉斯 , 林达·莫达德 :
检测C语言应用程序中的安全漏洞。 安全。 私人。 1 ( 1 ) ( 2018 ) 2017 【c9】 昆汀·莫内 , 马修·萨索拉斯 , 林达·莫达德 :
利用定量博弈对无线传感器网络中的DoS攻击进行建模。 国际商会 2017 : 1-6 2016 【c8】 罗曼·布伦吉尔 , 洛伦佐·克莱门特 , 保罗·亨特 , 吉列尔莫·A·佩雷斯 , 米凯尔·兰德尔 , Jean-François Raskin女士 , 奥坎·桑库尔 , 马修·萨索拉斯 :
反应合成的非零和博弈。 拉丁美洲旅游协会 2016 : 3月23日 【c7】 贝特里斯·贝拉德 , 奥尔加·库什纳伦科 , 约翰·穆林斯 , 马修·萨索拉斯 :
在模拟下保持区间马尔可夫链的不透明度。 WODES公司 2016 : 319-324 2015 【j4】 贝特里斯·贝拉德 , 约翰·穆林斯 , 马修·萨索拉斯 :
量化不透明度。 数学。 结构。 计算。 科学。 25 ( 2 ) : 361-403 ( 2015 ) 【c6】 Béatrice Bérard酒店 , 谢尔盖·哈达德 , 克劳迪娜·皮卡罗尼 , 穆罕默德·萨弗里·埃尔丁 , 马修·萨索拉斯 :
多项式中断时间自动机。 RP公司 2015 : 20-32 [i6] 贝特里斯·贝拉德 , 谢尔盖·哈达德 , 克劳迪娜·皮卡罗尼 , 穆罕默德·萨弗里·埃尔丁 , 马修·萨索拉斯 :
多项式中断时间自动机。 CoRR公司 abs/1504.04541 ( 2015 ) [i5] 贝特里斯·贝拉德 , 奥尔加·库什纳伦科 , 约翰·穆林斯 , 马修·萨索拉斯 :
基于细化建模中的概率不透明度。 CoRR公司 abs/1510.04316 ( 2015 ) [i4] 罗曼·布伦吉尔 , 洛伦佐·克莱门特 , 保罗·亨特 , 吉列尔莫·A·佩雷斯 , 米凯尔·兰德尔 , Jean-François Raskin女士 , 奥坎·桑库尔 , 马修·萨索拉斯 :
反应合成的非零和博弈。 CoRR公司 abs/1512.05568 ( 2015 ) 2014 【c5】 罗曼·布伦吉尔 , Jean-François Raskin女士 , 马修·萨索拉斯 :
欧米茄规则游戏中可采性的复杂性。 CSL-LICS公司 2014 : 23:1-23:10 2013 [i3] 贝特里斯·贝拉德 , 约翰·穆林斯 , 马修·萨索拉斯 :
量化不透明度。 CoRR公司 abs/1301.6799 ( 2013 ) [i2] 罗曼·布伦吉尔 , Jean-François Raskin女士 , 马修·萨索拉斯 :
欧米茄规则游戏中可接纳性的复杂性。 CoRR公司 abs/1304.1682 ( 2013 ) 2012 [j3] 贝特里斯·贝拉德 , 谢尔盖·哈达德 , 马修·萨索拉斯 :
中断时间自动机:验证和表达。 形式方法系统。 设计。 40 ( 1 ) : 41-87 ( 2012 ) [注2] 吉尔斯·贝纳塔 , 贝特里斯·贝拉德 , 迪迪埃·莱姆 , 约翰·穆林斯 , 奥利维尔·H·鲁克斯 , 马修·萨索拉斯 :
有限传感器的通道合成。 发现的国际期刊。 计算。 科学。 23 ( 6 ) : 1241-1260年 ( 2012 ) 【c4】 贝特里斯·贝拉德 , 谢尔盖·哈达德 , 马修·萨索拉斯 , Nathalie Sznajder公司 :
带有抑制的VASS并发游戏。 CONCUR公司 2012 : 39-52 [i1] 贝特里斯·贝拉德 , 谢尔盖·哈达德 , 马修·萨索拉斯 :
中断时间自动机:验证和表达。 CoRR公司 abs/1203.6453 ( 2012 ) 2011 【b1】 马修·萨索拉斯 :
定性和定量的方法为信息缓存提供了保护。 (检测隐藏信息的定性和定量方法)。 法国巴黎皮埃尔和玛丽·居里大学, 2011 [j1] 马修·萨索拉斯 , 玛莎·契契克 , 塞巴斯蒂安·乌奇特尔 :
探索模态转换系统之间的不一致性。 柔和。 系统。 模型。 10 ( 1 ) : 117-142 ( 2011 ) 【c3】 吉尔斯·贝纳塔 , 贝特里斯·贝拉德 , 迪迪埃·莱姆 , 约翰·穆林斯 , 奥利维尔·H·鲁克斯 , 马修·萨索拉斯 :
有限换能器的通道合成。 自动飞行 2011 : 79-92 2010 【c2】 贝特里斯·贝拉德 , 约翰·穆林斯 , 马修·萨索拉斯 :
量化不透明度。 QEST公司 2010 : 263-272 【c1】 贝特里斯·贝拉德 , 谢尔盖·哈达德 , 马修·萨索拉斯 :
中断时间自动机的实时属性。 时间 2010 : 69-76