查尔斯·佩切尔
人员信息
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2020年–今天
2021 [公元34年] 西蒙·巴斯德 , 克里斯托弗·庞萨 , 查尔斯·佩切尔 :
使用Capella和PyNuSMV验证基于场景的行为模型。 MODELSWARD公司 2021 : 337-343
2010 – 2019
2019 [公元9年] 西蒙·巴斯德 , 查尔斯·佩切尔 , 红阳区 , 弗兰科·雷蒙迪 :
比较不完全信息和公平约束下模型选择策略的方法。 国际期刊软件。 技术工具。 Transf公司。 21 ( 4 ) : 449-469 ( 2019 ) 2018 [j8] 克里斯托夫·林布雷 , 查尔斯·佩切尔 :
铁路联锁网络形式验证框架——在比利时铁路中的应用。 电子。 Commun公司。 欧洲协会软件。 科学。 Technol公司。 76 ( 2018 ) [公元33年] 西蒙·布萨德 , 查尔斯·佩切尔 :
为丰富的逻辑提供解释。 FM公司 2018 : 129-146 2017 [公元32年] 西蒙·巴斯德 , 查尔斯·佩切尔 :
约束可达性统一策略的基于反向遍历的符号模型检查方法。 甘道夫 2017 : 253-267 [第2页] 纪尧姆·莫杜克斯 , 查尔斯·佩切尔 , 塞巴斯蒂安·库姆菲斯 :
学习安全互动和全面控制。 人机交互形式化方法手册 2017 : 297-317 [第1页] 纪尧姆·布拉特 , 塞巴斯蒂安·库姆菲斯 , 迪米特拉·吉安娜科波卢 , 查尔斯·佩切尔 , 弗兰科·雷蒙迪 , 内哈·隆塔 :
多个协调HMI系统的形式化分析。 人机交互形式化方法手册 2017 : 405-431 2016 [j7] 塞巴斯蒂安·库姆菲斯 , 迪米特拉·吉安娜科波卢 , 查尔斯·佩切尔 :
ADEPT模型潜在自动化意外的自动检测。 IEEE传输。 嗯,马赫。 系统。 46 ( 2 ) : 267-278 ( 2016 ) [公元31年] 克里斯托夫·林布雷 , Quentin Cappart公司 , 查尔斯·佩切尔 , 斯特凡诺·托内塔 :
铁路联锁验证-使用OCRA的组合方法。 RSS邮件 2016 : 134-149 [i1] 克里斯托夫·林布雷 , Quentin Cappart公司 , 查尔斯·佩切尔 , 斯特凡诺·托内塔 :
铁路联锁的验证.使用OCRA的组合方法。 CoRR公司 abs/1605.06245 ( 2016 ) 2015 [j6] 西蒙·巴斯德 , 查尔斯·佩切尔 , 红阳区 , 弗兰科·雷蒙迪 :
部分可观测性和无条件公平约束下无记忆策略的推理。 Inf.计算。 242 : 128-156 ( 2015 ) [公元30年] 西蒙·巴斯德 , Quentin Cappart公司 , 克里斯托夫·林布雷 , 查尔斯·佩切尔 , 皮埃尔·绍斯 :
铁路联锁系统的验证。 ESSS系统 2015 : 19-31 2014 [公元29年] 塞巴斯蒂安·库姆菲斯 , 查尔斯·佩切尔 , 迪米特拉·吉安娜科波卢 :
人机交互形式分析的状态事件模型。 AAAI春季研讨会 2014 [公元28年] 丹尼斯·贾沃 , 伯特伦·沃特伦 , 安德烈亚斯·吕德克 , 查尔斯·佩切尔 , 里贾娜·佩尔德苏斯 , 索尼娅·西维 , 尤里·尤什廷 :
使用形式验证技术分析飞行操作中人机交互的方法。 AAAI春季研讨会 2014 [公元27年] 西蒙·巴斯德 , 查尔斯·佩切尔 , 红阳区 , 弗兰科·雷蒙迪 :
改进部分可观测性和公平性约束下策略的模型检验。 ICFEM公司 2014 : 27-42 2013 [公元26年] 西蒙·巴斯德 , 查尔斯·佩切尔 :
PyNuSMV:NuSMV作为Python库。 NASA形式方法 2013 : 453-458 [公元25年] 西蒙·巴斯德 , 查尔斯·佩切尔 , 红阳区 , 弗兰科·雷蒙迪 :
部分可观测性和公平性约束下的策略推理。 SR公司 2013 : 71-79 [电子3] 查尔斯·佩切尔 , 迈克尔·迪尔凯斯 :
2013年9月23日至24日,西班牙马德里,2013年FMICS,第18届国际研讨会,工业关键系统的正式方法。 诉讼程序。 计算机科学课堂讲稿 8187, 施普林格 2013 ,十亿 978-3-642-41009-3 [目录] 2012 [公元24年] 西蒙·巴斯德 , 查尔斯·佩切尔 :
时间认知逻辑模型检查的丰富反例。 IWIGP公司 2012 : 39-53 2011 【c23】 何塞·范德梅伦 , 查尔斯·佩切尔 :
结合部分顺序缩减和符号模型检查来验证LTL属性。 NASA形式方法 2011 : 406-421 [公元22年] 何塞·范德梅伦 , 查尔斯·佩切尔 :
里程碑:结合符号模型检查和部分订单缩减的模型检查器。 NASA形式方法 2011 : 525-531 【c21】 塞巴斯蒂安·库姆菲斯 , 迪米特拉·吉安娜科波卢 , 查尔斯·佩切尔 , 迈克尔·费里 :
人机交互设计和分析的正式框架。 SMC公司 2011 : 1801-1808 2010 [电子2] 查尔斯·佩切尔 , 杰米·安德鲁斯 , 伊丽莎白·迪尼托 :
ASE 2010,第25届IEEE/ACM自动化软件工程国际会议,比利时安特卫普,2010年9月20日至24日。 ACM公司 2010 ,十亿 978-1-4503-0116-9 [目录]
2000 – 2009
2009 [公元20年] 塞巴斯蒂安·库姆菲斯 , 查尔斯·佩切尔 :
基于互模拟的人机交互分析方法。 EICS公司 2009 : 101-110 [第19条] 查尔斯·佩切尔 , 弗兰科·雷蒙迪 , 纪尧姆·布拉特 :
基于需求的测试的形式化分析。 ISSTA公司 2009 : 47-56 [第18条] 何塞·范德梅伦 , 查尔斯·佩切尔 :
结合部分降阶和有界模型检查。 注册会计师 2009 : 29-48 2008 [第17条] JoséVander Meulen先生 , 查尔斯·佩切尔 :
过程代数的有效符号模型检查。 飞行管理信息系统 2008 : 69-84 2007 [第16条] 查尔斯·佩切尔 :
嵌入式软件验证:从火星到行动。 飞行管理信息系统 2007 : 1 [c15] 阿莱西奥·洛穆西奥 , 查尔斯·佩切尔 , 弗兰科·雷蒙迪 :
使用NuSMV自动验证知识和时间。 国际JCAI 2007 : 1384-1389 [第14条] 弗兰科·雷蒙迪 , 查尔斯·佩切尔 , 纪尧姆·布拉特 :
测试规划域(无模型检查器)。 MBT公司 2007 : 113-125 2006 [第13条] 查尔斯·佩切尔 , 弗兰科·雷蒙迪 :
带动作的逻辑符号模型检查。 MoChArt公司 2006 : 113-128 [e1] 查尔斯·佩切尔 , 布莱恩·威廉姆斯 :
第三届模型检验与人工智能研讨会论文集, CONCUR的MoChArt /SPIN 2005,美国加利福尼亚州旧金山,2005年8月27日。 理论计算机科学电子笔记 149(2), 爱思维尔 2006 [目录] 2005 [j5] 蒂姆·门齐斯 , 查尔斯·佩切尔 :
验证和确认以及人工智能。 高级计算。 65 : 154-203 ( 2005 ) [第12条] 查尔斯·佩切尔 , 布莱恩·威廉姆斯 :
前言。 CONCUR的MoChArt /自旋蛋白 2005 : 1-2 2004 [第11条] A.E.林赛 , 查尔斯·佩切尔 :
通过Livingstone PathFinder对自治控制器进行基于仿真的验证。 TACAS公司 2004 : 357-371 2003 [第10条] 亚历山德罗·西马蒂 , 查尔斯·佩切尔 , 罗伯托·卡瓦达 :
通过符号模型检查对可诊断性进行形式验证。 国际JCAI 2003 : 363-369 2002 【c9】 斯泰西·D·纳尔逊 , 查尔斯·佩切尔 :
下一代航天飞机的正式验证。 联邦航空防务局 2002 : 53-67 【c8】 查尔斯·佩切尔 :
应用程序带来的挑战。 联邦航空防务局 2002 : 236-238 2001 【j4】 查尔斯·佩切尔 , 威廉·维瑟 , 里德·西蒙斯 :
RIACS自主和自适应系统验证与确认研讨会。 AI磁。 22 ( 三 ) : 107-111 ( 2001 ) [j3] 洛林·M·菲斯克 , 艾拉·M·阿特金斯 , 利娜·哈提卜 , 查尔斯·佩切尔 , 保罗·科恩 , 林恩·安德烈亚·斯坦因 , 迈克尔·范·伦特 , 约翰·莱尔德 , 亚历山德罗·普罗韦蒂 , Tran Cao儿子 :
AAAI 2001年春季研讨会系列报告。 AI磁。 22 ( 三 ) : 117-122 ( 2001 ) 2000 【c7】 查尔斯·佩切尔 , 里德·西蒙斯 :
从利文斯顿到SMV。 联邦航空防务局 2000 : 103-113 【c6】 彼得·恩格朗 , 查尔斯·佩切尔 :
原位推进剂生产系统自主模型的模型检查。 联邦航空防务局 2000 : 302-303 【c5】 迈克尔·欣奇 , 詹姆斯·亨德勒 , 查尔斯·佩切尔 , 康斯坦斯·海特迈尔 , 戴安娜·戈登 , 迈克尔·勒克 , 沃尔特·特鲁斯科夫斯基 :
小组讨论:未来方向。 联邦航空防务局 2000 : 354-368 【c4】 里德·西蒙斯 , 查尔斯·佩切尔 , 格拉马·斯里尼瓦桑 :
实现自治系统的自动验证。 IROS公司 2000 : 1410-1415
1990 – 1999
1999 [注2] 盖·勒杜克 , 奥利维尔·博纳文图尔 , 吕克·莱昂纳德 , 埃克哈特·科尔纳 , 查尔斯·佩切尔 :
基于模型的服务条件访问安全协议验证。 形式方法系统。 设计。 14 ( 2 ) : 171-191 ( 1999 ) 【c3】 查尔斯·佩切尔 :
应用于集群文件系统的高级建模和验证技术。 ASE公司 1999 : 119-126 1997 【c2】 查尔斯·佩切尔 :
使用LOTOS规范和验证Co4分布式知识系统。 ASE公司 1997 : 63-70 1993 【c1】 查尔斯·佩切尔 :
VLib:LOTOS的无限虚拟库。 公共电视台 1993 : 29-44 1992 [j1] 查尔斯·佩切尔 :
使用LOTOS指定CHORUS分布式操作系统内核。 计算。 Commun公司。 15 ( 2 ) : 93-102 ( 1992 )
合著者索引
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)