伯纳德·伯托米厄
人员信息
SPARQL查询
优化列表
2020年–今天
2024 [公元9年] 伯纳德·伯托米厄 , 德米特里·A·扎伊采夫 :
Sleptsov网络是图灵完备的。 西奥。 计算。 科学。 986 : 114346 ( 2024 ) 2023 [i11] 伯纳德·伯托米厄 , 德米特里·A·扎伊采夫 :
Sleptsov Nets是图灵完备的。 CoRR公司 abs/2306.12440 ( 2023 ) 2022 [j8] 尼古拉斯·阿马特 , 伯纳德·伯托米厄 , 西尔瓦诺·达尔·齐利奥 :
Petri网的多面体抽象及其在基于SMT的模型检查中的应用。 芬丹。 信息学 187 ( 2-4 ) : 103-138 ( 2022 ) 2021 [公元30年] 尼古拉斯·阿马特 , 伯纳德·伯托米厄 , 西尔瓦诺·达尔·齐利奥 :
多面体抽象与基于SMT的Petri网模型检测的结合。 Petri网 2021 : 164-185 [i10] 尼古拉斯·阿马特 , 伯纳德·伯托米厄 , 西尔瓦诺·达尔·齐利奥 :
多面体抽象与基于SMT的Petri网模型检查的结合。 CoRR公司 abs/2104.09850 ( 2021 ) 2020 [j7] 伯纳德·伯托米厄 , 迪迪埃·勒·博特兰 , 西尔瓦诺·达尔·齐利奥 :
从约化方程中计算Petri网标记。 国际期刊软件。 技术工具。 变压器。 22 ( 2 ) : 163-181 ( 2020 ) [第九章] 托马斯·胡贾萨 , 伯纳德·伯托米厄 , 西尔瓦诺·达尔·齐利奥 , 迪迪埃·勒·博特兰 :
关于具有单一共享位置的Petri网及其以外。 CoRR公司 abs/2005.04818 ( 2020 ) [i8] 托马斯·胡贾萨 , 伯纳德·伯托米厄 , 西尔瓦诺·达尔·齐利奥 , 迪迪埃·勒·博特兰 :
用Petri网子类中的状态方程检查标记可达性。 CoRR公司 abs/2006.05600 ( 2020 )
2010 – 2019
2019 [j6] 罗伯特·J·斯图尔特 , 伯纳德·伯托米厄 , 保罗·加西亚 , 伊德里斯·易卜拉欣 , 格雷格·迈克尔森 , 安德鲁·华莱士 :
使用模型检查验证并行数据流转换及其在FPGA中的应用。 J.系统。 阿基特。 101 ( 2019 ) [公元29年] 罗伯特·J·斯图尔特 , 伯纳德·伯托米厄 , 保罗·加西亚 , 伊德里斯·易卜拉欣 , 格雷格·迈克尔森 , 安德鲁·华莱士 :
嵌入式系统的图形程序转换。 囊 2019 : 647-649 [公元28年] Elvio Gilberto水族馆 , 伯纳德·伯托米厄 , 吉安弗兰科·西亚多 , 西尔瓦诺·达尔·齐利奥 , 弗朗西斯科·加拉 , 洛姆·梅桑·希拉 , 弗朗西斯·胡林·胡巴德 , 彼得·杰勒·詹森 , 洛伊格·杰泽奎尔 , Fabrice Kordon公司 , 迪迪埃·勒·博特兰 , 托尔斯滕·利布克 , 杰伦·梅耶尔 , 安德鲁·米纳 , 艾曼纽尔·帕维奥德 , 吉里斯尔巴 , Yann Thierry-Mieg公司 , 汤姆·范·迪克 , 卡斯滕·沃尔夫 :
展示第九届模特检查比赛。 塔卡斯(3) 2019 : 50-68 2018 [j5] Fabrice Kordon公司 , 休伯特·加拉维 , 洛姆·梅桑·希拉 , 艾曼纽尔·帕维奥德 , 洛伊格·杰泽奎尔 , 弗朗西斯·胡林·胡巴德 , Elvio Gilberto水族馆 , 马可·贝库蒂 , 伯纳德·伯托米厄 , 哈格斯·埃夫拉德 , 彼得·杰勒·詹森 , 迪迪埃·勒·博特兰 , 托尔斯滕·利布克 , 杰伦·梅杰 , 吉里斯尔巴 , Yann Thierry-Mieg公司 , 雅各·范德波尔 , 卡斯滕·沃尔夫 :
MCC’2017-第七届模特检查比赛。 事务处理。 Petri网其他模型。 同意。 13 : 181-209 ( 2018 ) [公元27年] 穆罕默德·福加利 , 伯纳德·伯托米厄 , 西尔瓦诺·达尔·齐利奥 , 皮埃尔·埃曼纽尔·赫拉迪克 , 费利克斯·英格朗 , 安东尼·马莱特 :
资源约束平台上复杂机器人系统的形式化验证。 FormaliSE@ICSE 2018 : 2-9 [公元26年] 伯纳德·伯托米厄 , 迪迪埃·勒·博特兰 , 西尔瓦诺·达尔·齐利奥 :
计数标记的Petri网约简。 自旋蛋白 2018 : 65-84 [i7] 伯纳德·伯托米厄 , 迪迪埃·勒博特兰 , 西尔瓦诺·达尔·齐利奥 :
计数标记的Petri网约简。 CoRR公司 abs/1807.02973 ( 2018 ) 2016 【j4】 皮尔雷·阿莱·布迪尔 , 伯纳德·伯托米厄 , 西尔瓦诺·达尔·齐利奥 , 弗朗索瓦·沃纳达特 :
时间Petri网状态类的对称约简。 科学。 计算。 程序。 132 : 209-225 ( 2016 ) [公元25年] 穆罕默德·福加利 , 伯纳德·伯托米厄 , 西尔瓦诺·达尔·齐利奥 , 费利克斯·英格朗 , 安东尼·马莱特 :
自治机器人功能层实时特性的模型检验。 ICFEM公司 2016 : 383-399 2015 [公元24年] 皮尔雷·阿莱·布迪尔 , 伯纳德·伯托米厄 , 西尔瓦诺·达尔·齐利奥 , 弗朗索瓦·沃纳达特 :
时间petri网的对称约简状态类。 囊 2015 : 1751-1758 【c23】 西尔瓦诺·达尔·齐利奥 , 伯纳德·伯托米厄 :
使用探针和模态微积分自动验证实时观测器。 TTCS公司 2015 : 90-104 [i6] 伯纳德·伯托米厄 , Jean-Paul Bodevix公司 , 西尔瓦诺·达尔·齐利奥 , 马蒙·菲拉利 , 迪迪埃·勒·博特兰 , 纪尧姆·维迪尔 , 弗朗索瓦·沃纳达特 :
AADL的实时模型检查支持。 CoRR公司 腹肌/1503.00493 ( 2015 ) [i5] 西尔瓦诺·达尔·齐利奥 , 伯纳德·伯托米厄 , 迪迪埃·勒·博特兰 :
使用Fiacre和Tina的空中视频跟踪系统的延迟分析。 CoRR公司 abs/1509.06506 ( 2015 ) [i4] 西尔瓦诺·达尔·齐利奥 , 伯纳德·伯托米厄 :
使用探针和模态微积分自动验证实时观测器。 CoRR公司 abs/1509.06507 ( 2015 ) 2014 [公元22年] 伯纳德·伯托米厄 , 西尔瓦诺·达尔·齐利奥 , 卢卡斯·弗洛恩 :
使用Fiacre对飞机起落架系统的实时特性进行模型检查。 ABZ(案例研究) 2014 : 110-125 【c21】 伯纳德·伯托米厄 , 西尔瓦诺·达尔·齐利奥 , 卢卡斯·弗洛恩 , 弗朗索瓦·沃纳达特 :
具有动态点火日期的时间Petri网:语义和应用。 格式 2014 : 85-99 [公元20年] 皮尔雷·阿莱·布迪尔 , 伯纳德·伯托米厄 , 埃里克·杰恩 :
模型检查自动飞行控制系统功能的实时特性。 ISSRE研讨会 2014 : 120-123 [i3] 西尔瓦诺·达尔·齐利奥 , 卢卡斯·弗洛恩 , 伯纳德·伯托米厄 , 弗朗索瓦·沃纳达特 :
具有动态点火日期的时间Petri网:语义和应用。 CoRR公司 abs/1404.7067 ( 2014 ) 2013 [i2] 罗德里戈·T·萨阿德 , 西尔瓦诺·达尔·齐利奥 , 伯纳德·伯托米厄 :
CTL片段的并行模型检查实验。 CoRR公司 abs/1301.7533 ( 2013 ) 2012 [第19条] 罗德里戈·T·萨阿德 , 西尔瓦诺·达尔·齐利奥 , 伯纳德·伯托米厄 :
CTL片段的并行模型检查实验。 ATVA公司 2012 : 284-299 2011 [j3] 弗洛伦特·佩雷斯 , 伯纳德·伯托米厄 , 弗朗索瓦·沃纳达特 :
关于时间Petri网的构成。 谨慎。 事件动态。 系统。 21 ( 三 ) : 395-424 ( 2011 ) [c18] 罗德里戈·T·萨阿德 , 西尔瓦诺·达尔·齐利奥 , 伯纳德·伯托米厄 :
并行状态空间构造的混合共享分布式哈希表方法。 ISPDC公司 2011 : 9-16
2000 – 2009
2009 [c17] 伯纳德·伯托米厄 , Jean-Paul Bodevix公司 , 克里斯蒂尔·乔德特 , 西尔瓦诺·达尔·齐利奥 , 马蒙·菲拉利 , 弗朗索瓦·沃纳达特 :
在顶层环境中对AADL规范进行正式验证。 阿达·欧罗普 2009 : 207-221 2008 [第16条] 达兰·法比奥·本德 , 贝诺?t组合 , 泽维尔·克雷古特 , Jean-Marie Farines公司 , 伯纳德·伯托米厄 , 弗朗索瓦·沃纳达特 :
通过时间Petri网进行梯形元建模和PLC程序验证。 ECMDA-FA公司 2008 : 121-136 [第15条] 伯纳德·伯托米厄 , 弗洛伦特·佩雷斯 , 弗朗索瓦·沃纳达特 :
时间Petri网分析的抽象状态空间。 国际标准化组织 2008 : 298-304 [i1] 伯纳德·伯托米厄 , 休伯特·加拉维 , 弗雷德里克·朗 , 弗朗索瓦·沃纳达特 :
使用TOPCASED/FIACRE验证工业关键系统的动态特性。 ERCIM新闻 2008 ( 75 ) ( 2008 ) 2007 [注2] 伯纳德·伯托米厄 , 迪迪埃·莱姆 , 奥利维尔·H·鲁 , 弗朗索瓦·沃纳达特 :
带秒表的时间Petri网的可达性问题和抽象状态空间。 谨慎。 事件动态。 系统。 17 ( 2 ) : 133-158 ( 2007 ) [第14条] 伯纳德·伯托米厄 , 弗洛伦特·佩雷斯 , 弗朗索瓦·沃纳达特 :
模型检查有界优先时间Petri网。 ATVA公司 2007 : 523-532 【r1】 弗朗索瓦·沃纳达特 , 伯纳德·伯托米厄 :
时间Petri网的状态空间抽象。 实时和嵌入式系统手册 2007 2006 [第13条] 伯纳德·伯托米厄 , 弗洛伦特·佩雷斯 , 弗朗索瓦·沃纳达特 :
架起时间自动机和有界时间Petri网之间的桥梁。 格式 2006 : 82-97 [c12] 伯纳德·伯托米厄 , 弗朗索瓦·沃纳达特 :
基于TINA的时间Petri网分析。 QEST公司 2006 : 123-124 2003 [第11条] 伯纳德·伯托米厄 , 弗朗索瓦·沃纳达特 :
时间Petri网分支分析的状态类构造。 TACAS公司 2003 : 442-457 [第10条] 伯纳德·伯托米厄 , 皮埃尔·奥利维尔·里贝特 , 弗朗索瓦·沃纳达特 , J.L.贝纳特 , 让-马里·法林斯 , Jean-Paul Bodevix公司 , 马蒙·菲拉利 , 杰拉德·帕迪奥 , 皮埃尔·米歇尔 , 帕特里克·法雷尔 , 皮埃尔·高弗里特 , 皮埃尔·迪索 , 让-吕克·兰伯特 :
航空电子实时系统的验证:Cotre方法。 飞行管理信息系统 2003 : 203-218 2002 【c9】 皮埃尔·奥利维尔·里贝特 , 弗朗索瓦·沃纳达特 , 伯纳德·伯托米厄 :
关于持久集方法与覆盖步长图方法的结合。 复地 2002 : 344-359
1990 – 1999
1995 【c8】 伯纳德·伯托米厄 :
工作中的过程计算-LCS项目的说明。 PSLS公司 1995 : 344-361 1994 【c7】 蒂埃里·勒·塞根 , 伯纳德·伯托米厄 :
分布式计算系统中快速大负载变化下的负载平衡——一个案例研究。 国家空间研究委员会 1994 : 854-865 【c6】 伯纳德·伯托米厄 , 蒂埃里·勒·塞根 :
ML框架中的行为编程——LCS的语法和语义。 员工持股计划 1994 : 89-104 1992 【c5】 蒂埃里·勒·塞根 , 伯纳德·伯托米厄 :
虚拟共享内存体系结构上的增量多线程垃圾收集。 IWMM公司 1992 : 179-199 1991 [j1] 伯纳德·伯托米厄 , 米歇尔·迪亚兹 :
使用时间Petri网对时间相关系统进行建模和验证。 IEEE传输。 软件工程。 17 ( 三 ) : 259-273 ( 1991 )
1980 – 1989
1983 【c4】 伯纳德·伯托米厄 , 米盖尔·梅纳西 :
一种分析时间Petri网的枚举方法。 IFIP大会 1983 : 41-46 【c3】 米盖尔·梅纳西 , 伯纳德·伯托米厄 :
用于分析和验证时间相关通信协议的时间Petri网。 协议规范、测试和验证 1983 : 161-172 1980 【c2】 皮埃尔·阿泽马 , 伯纳德·伯托米厄 , 保罗·德西特 :
一种远程服务器调用机制的Petri网设计与验证。 IFIP大会 1980 : 599-604
1970 – 1979
1978 【c1】 皮埃尔·阿泽马 , Jean-Michel Ayache牛仔裤 , 伯纳德·伯托米厄 :
通信程序的设计和验证:自下而上的方法。 ICSE公司 1978 : 168-174