迈克尔·布隆丁
人员信息
优化列表
2020年–今天
2024 [公元12年] 迈克尔·布隆丁 , 哈维尔·埃斯帕尔扎 :
连续Petri网中的分隔符。 日志。 方法计算。 科学。 20 ( 1 ) ( 2024 ) 2023 [公元11年] 迈克尔·布隆丁 , 蒂姆·莱斯 , 菲利普·马佐维耶基 , 菲利普·奥特马特 , 吉列尔莫·A·佩雷斯 :
连续单计数器自动机。 ACM事务处理。 计算。 日志。 24 ( 1 ) : 3:1-3:31 ( 2023 ) 【c23】 迈克尔·布隆丁 , 弗朗索瓦·拉杜瑟 :
具有无序数据的填充协议。 伊拉克石油公司 2023 : 115:1-115:20 [公元22年] 迈克尔·布隆丁 , 菲利普·奥特马特 , 亚历克斯·桑萨翁·布坎南 :
验证恒速多模系统的线性时间规范。 许可证 2023 : 1-13 [i20] 迈克尔·布隆丁 , 菲利普·奥弗特马特 , 亚历克斯·桑萨翁·布坎南 :
验证恒速多模系统的线性时间规范。 CoRR公司 abs/2304.13816 ( 2023 ) [i19] 迈克尔·布隆丁 , 弗朗索瓦·拉杜瑟 :
具有无序数据的填充协议。 CoRR公司 abs/2305.00872 ( 2023 ) 2022 【c21】 迈克尔·布隆丁 , 菲利普·马佐维耶基 , 菲利普·奥特马特 :
通过放松验证工作流网络的一般性和结构合理性。 CAV(2) 2022 : 468-489 [公元20年] 迈克尔·布隆丁 , 哈维尔·埃斯帕尔扎 :
连续Petri网中的分离器。 FoSSaCS公司 2022 : 81-100 [第19条] 迈克尔·布隆丁 , 菲利普·马佐维耶基 , 菲利普·奥特马特 :
工作流网络中可靠性的复杂性。 许可证 2022 : 20:1-20:13 [i18] 迈克尔·布隆丁 , 菲利普·马佐维耶基 , 菲利普·奥特马特 :
工作流网络中可靠性的复杂性。 CoRR公司 abs/2201.05588 ( 2022 ) [i17] 迈克尔·布隆丁 , 菲利普·马佐维耶基 , 菲利普·奥特马特 :
通过松弛验证工作流网络的通用性和结构可靠性。 CoRR公司 abs/2206.02606 ( 2022 ) [i16] 迈克尔·布隆丁 , 哈维尔·埃斯帕尔扎 :
连续Petri网中的分隔符。 CoRR公司 abs/2209.02767 ( 2022 ) 2021 [j10] 迈克尔·布隆丁 , 哈维尔·埃斯帕尔扎 , 斯特凡·贾克斯 , 菲利普·梅耶 :
致力于人口协议的有效验证。 形式方法系统。 设计。 57 ( 三 ) : 305-342 ( 2021 ) [公元9年] 迈克尔·布隆丁 , 马蒂亚斯·恩格勒 , 阿兰·芬克尔 , 斯特凡·格勒 , 克里斯托夫·哈斯 , 兰科·拉齐奇 , 皮埃尔·麦肯齐 , 帕特里克·托茨克 :
具有状态的二维向量加法系统的可达性问题。 美国临床医学杂志 68 ( 5 ) : 34:1-34:43 ( 2021 ) [j8] 迈克尔·布隆丁 , 克里斯托夫·哈斯 , 菲利普·马佐维耶基 , 米哈伊尔·拉斯金 :
带状态的整数向量加法系统的仿射扩张。 日志。 方法计算。 科学。 17 ( 三 ) ( 2021 ) [j7] 迈克尔·布隆丁 , 米哈伊尔·拉斯金 :
状态仿射向量加法系统可达性的复杂性。 日志。 方法计算。 科学。 17 ( 三 ) ( 2021 ) [第18条] 迈克尔·布隆丁 , 蒂姆·莱斯 , 菲利普·马佐维耶基 , 菲利普·奥特马特 , 吉列尔莫·A·佩雷斯 :
连续单计数器自动机。 许可证 2021 : 1-13 [第17条] 迈克尔·布隆丁 , 克里斯托夫·哈斯 , 菲利普·奥特马特 :
无限状态系统的定向可达性。 TACAS(2) 2021 : 3-23 【i15】 迈克尔·布隆丁 , 蒂姆·莱斯 , 菲利普·马佐维耶基 , 菲利普·奥特马特 , 吉列尔莫·A·佩雷斯 :
连续单计数器自动机。 CoRR公司 abs/2101.11996 ( 2021 ) 2020 [j6] 迈克尔·布隆丁 , 阿兰·芬克尔 , 让·古堡-拉雷克 :
WSTS的正向分析,第三部分:Karp-Miller树。 日志。 方法计算。 科学。 16 ( 2 ) ( 2020 ) [j5] 迈克尔·布隆丁 :
petri网可达性松弛的基本知识。 ACM SIGLOG新闻 7 ( 三 ) : 29-43 ( 2020 ) [第16条] 迈克尔·布隆丁 , 哈维尔·埃斯帕尔扎 , 马丁·海尔弗里奇 , 安东·库塞拉 , 菲利普·梅耶 :
随机调度下复制系统的定性生存性检验。 CAV(2) 2020 : 372-397 [第15条] 迈克尔·布隆丁 , 米哈伊尔·拉斯金 :
状态仿射向量加法系统可达性的复杂性。 许可证 2020 : 224-236 [第14条] 迈克尔·布隆丁 , 哈维尔·埃斯帕尔扎 , 布莱斯·基内斯特 , 马丁·海尔弗里奇 , 斯特凡·贾克斯 :
Presburger算法的简明人口协议。 STACS公司 2020 : 40:1-40:15 [第14条] 迈克尔·布隆丁 , 哈维尔·埃斯帕尔扎 , 马丁·海尔弗里奇 , 安东·库塞拉 , 菲利普·梅耶 :
随机调度下复制系统的定性生存性检验。 CoRR公司 abs/2005.03555 ( 2020 ) [i13] 迈克尔·布隆丁 , 克里斯托夫·哈斯 , 菲利普·奥特马特 :
无限状态系统的定向可达性。 CoRR公司 腹肌/2010.07912 ( 2020 )
2010 – 2019
2019 [第13条] 迈克尔·布隆丁 , 哈维尔·埃斯帕尔扎 , 斯特凡·贾克斯 :
广播共识协议的表达能力。 CONCUR公司 2019 : 31:1-31:16 [i12] 迈克尔·布隆丁 , 哈维尔·埃斯帕尔扎 , 斯特凡·贾克斯 :
不经意共识协议的表达能力。 CoRR公司 abs/1902.01668 ( 2019 ) [i11] 迈克尔·布隆丁 , 米哈伊尔·拉斯金 :
状态仿射向量加法系统可达性的复杂性。 CoRR公司 abs/1909.02579 ( 2019 ) [i10] 迈克尔·布隆丁 , 克里斯托夫·哈斯 , 菲利普·马佐维耶基 , 米哈伊尔·拉斯金 :
带状态的整数向量加法系统的仿射扩张。 CoRR公司 abs/1909.12386 ( 2019 ) [第九章] 迈克尔·布隆丁 , 哈维尔·埃斯帕尔扎 , 布莱斯·基内斯特 , 马丁·海尔弗里奇 , 斯特凡·贾克斯 :
Presburger算法的简明人口协议。 CoRR公司 abs/1910.04600 ( 2019 ) 2018 【j4】 迈克尔·布隆丁 , 阿兰·芬克尔 , 皮埃尔·麦肯齐 :
处理无限分支结构良好的转换系统。 Inf.计算。 258 : 28-49 ( 2018 ) [第12条] 迈克尔·布隆丁 , 哈维尔·埃斯帕尔扎 , 斯特凡·贾克斯 :
Peregrine:人口协议分析工具。 CAV(1) 2018 : 604-611 [第11条] 迈克尔·布隆丁 , 克里斯托夫·哈斯 , 菲利普·马佐维耶基 :
具有状态的整数向量加法系统的仿射扩展。 CONCUR公司 2018 : 14:1-14:17 [第10条] 迈克尔·布隆丁 , 哈维尔·埃斯帕尔扎 , 安东·库塞拉 :
人口协议预期终止时间的自动分析。 CONCUR公司 2018 : 33:1-33:16 【c9】 迈克尔·布隆丁 , 哈维尔·埃斯帕尔扎 , 斯特凡·贾克斯 , 安东·库塞拉 :
黑暗中的黑忍者:人口协议的形式分析。 许可证 2018 : 1-10 【c8】 迈克尔·布隆丁 , 哈维尔·埃斯帕尔扎 , 斯特凡·贾克斯 :
大群小鸟:关于最小种群规模的协议。 STACS公司 2018 : 16:1至16:14 [i8] 迈克尔·布隆丁 , 哈维尔·埃斯帕尔扎 , 斯特凡·贾克斯 :
大群小鸟:关于最小种群规模的协议。 CoRR公司 abs/1801.00742 ( 2018 ) [i7] 迈克尔·布隆丁 , 哈维尔·埃斯帕尔扎 , 安东·库塞拉 :
人口协议预期终止时间的自动分析。 CoRR公司 abs/1807.00331 ( 2018 ) 2017 [j3] 迈克尔·布隆丁 , 阿兰·芬克尔 , 皮埃尔·麦肯齐 :
表现良好的过渡系统。 日志。 方法计算。 科学。 13 ( 三 ) ( 2017 ) [注2] 迈克尔·布隆丁 , 阿兰·芬克尔 , 克里斯托夫·哈斯 , 谢尔盖·哈达德 :
连续Petri网的逻辑视图。 ACM事务处理。 计算。 日志。 18 ( 三 ) : 24:1-24:28 ( 2017 ) 【c7】 迈克尔·布隆丁 , 阿兰·芬克尔 , 让·古堡-拉雷克 :
WSTS的正向分析,第三部分:Karp-Miller树。 FSTTCS公司 2017 : 16:1-16:15 【c6】 迈克尔·布隆丁 , 克里斯托夫·哈斯 :
Petri网和状态向量加法系统中连续可达性的逻辑。 许可证 2017 : 1-12 【c5】 迈克尔·布隆丁 , 哈维尔·埃斯帕尔扎 , 斯特凡·贾克斯 , 菲利普·梅耶 :
实现人口协议的有效验证。 吊舱 2017 : 423-430 [i6] 迈克尔·布隆丁 , 斯特凡·贾克斯 , 哈维尔·埃斯帕尔扎 , 菲利普·梅耶 :
实现人口协议的有效验证。 CoRR公司 abs/1703.04367 ( 2017 ) [i5] 迈克尔·布隆丁 , 阿兰·芬克尔 , 让·古堡-拉雷克 :
WSTS的正向分析,第三部分:Karp-Miller树。 CoRR公司 abs/1710.07258 ( 2017 ) 2016 【b1】 迈克尔·布隆丁 :
算法和复杂系统竞争对手。 (计数器的算法和复杂性)。 法国巴黎萨克利大学, 2016 [j1] 迈克尔·布隆丁 , 安德烈亚斯·克雷布斯 , 皮埃尔·麦肯齐 :
具有少数最终状态的相交有限自动机的复杂性。 计算。 复杂。 25 ( 4 ) : 775-814年 ( 2016 ) 【c4】 迈克尔·布隆丁 , 阿兰·芬克尔 , 克里斯托夫·哈斯 , 谢尔盖·哈达德 :
持续处理覆盖性问题。 TACAS公司 2016 : 480-496 [i4] 迈克尔·布隆丁 , 阿兰·芬克尔 , 皮埃尔·麦肯齐 :
表现良好的过渡系统。 CoRR公司 abs/1608.02636 ( 2016 ) 2015 【c3】 迈克尔·布隆丁 , 阿兰·芬克尔 , 斯特凡·格勒 , 克里斯托夫·哈斯 , 皮埃尔·麦肯齐 :
具有状态的二维向量加法系统的可达性是PSPACE完备的。 许可证 2015 : 32-43 [i3] 迈克尔·布隆丁 , 阿兰·芬克尔 , 克里斯托夫·哈斯 , 谢尔盖·哈达德 :
持续处理覆盖性问题。 CoRR公司 abs/1510.05724 ( 2015 ) 2014 【c2】 迈克尔·布隆丁 , 阿兰·芬克尔 , 皮埃尔·麦肯齐 :
处理无限分支WSTS。 ICALP(二) 2014 : 13-25 [i2] 迈克尔·布隆丁 , 阿兰·芬克尔 , 斯特凡·戈勒 , 克里斯托夫·哈斯 , 皮埃尔·麦肯齐 :
具有状态的二维向量加法系统的可达性是PSPACE完备的。 CoRR公司 abs/1412.4259 ( 2014 ) 2012 【c1】 迈克尔·布隆丁 , 皮埃尔·麦肯齐 :
具有少量最终状态的相交有限自动机的复杂性。 企业社会责任 2012 : 31-42 [i1] 迈克尔·布隆丁 , 安德烈亚斯·克雷布斯 , 皮埃尔·麦肯齐 :
具有少量最终状态的相交有限自动机的复杂性。 电子。 计算机学术讨论会。 复杂。 12号机房 ( 2012 )