Charles Pecheur

49 papers A* 5A 3B 2C 5Misc 1Journal 10Unranked 20

Year	Rank	Type	Title / Venue / Authors
2021	C	`conf`	Verification of Scenario-based Behavioural Models using Capella and PyNuSMV. MODELSWARD Simon Busard, Christophe Ponsard, Charles Pecheur
2019	J	`jnl`	Comparing approaches for model-checking strategies under imperfect information and fairness constraints. Int. J. Softw. Tools Technol. Transf. Simon Busard, Charles Pecheur, Hongyang Qu, Franco Raimondi
2018	J	`jnl`	A Framework for the Formal Verification of Networks of Railway Interlockings - Application to the Belgian Railway. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Christophe Limbrée, Charles Pecheur
2018	B	`conf`	Producing Explanations for Rich Logics. FM Simon Busard, Charles Pecheur
2017	—	`conf`	A Backward-traversal-based Approach for Symbolic Model Checking of Uniform Strategies for Constrained Reachability. GandALF Simon Busard, Charles Pecheur
2017	—	`ch.`	Formal Analysis of Multiple Coordinated HMI Systems. Handbook of Formal Methods in Human-Computer Interaction Guillaume Brat, Sébastien Combéfis, Dimitra Giannakopoulou, Charles Pecheur, Franco Raimondi, Neha Rungta
2017	—	`ch.`	Learning Safe Interactions and Full-Control. Handbook of Formal Methods in Human-Computer Interaction Guillaume Maudoux, Charles Pecheur, Sébastien Combéfis
2016	J	`jnl`	Automatic Detection of Potential Automation Surprises for ADEPT Models. IEEE Trans. Hum. Mach. Syst. Sébastien Combéfis, Dimitra Giannakopoulou, Charles Pecheur
2016	—	`conf`	Verification of Railway Interlocking - Compositional Approach with OCRA. RSSRail Christophe Limbrée, Quentin Cappart, Charles Pecheur, Stefano Tonetta
2016	J	`jnl`	Verification of railway interlocking - Compositional approach with OCRA. CoRR Christophe Limbrée, Quentin Cappart, Charles Pecheur, Stefano Tonetta
2015	J	`jnl`	Reasoning about memoryless strategies under partial observability and unconditional fairness constraints. Inf. Comput. Simon Busard, Charles Pecheur, Hongyang Qu, Franco Raimondi
2015	—	`conf`	Verification of railway interlocking systems. ESSS Simon Busard, Quentin Cappart, Christophe Limbrée, Charles Pecheur, Pierre Schaus
2014	—	`conf`	A Methodology for Analyzing Human-Automation Interactions in Flight Operations Using Formal Verification Techniques. AAAI Spring Symposia Denis Javaux, Bertram Wortelen, Andreas Lüdtke, Charles Pecheur, Regina Peldszus, Sonja Sievi, Yuri Yushtein
2014	C	`conf`	Improving the Model Checking of Strategies under Partial Observability and Fairness Constraints. ICFEM Simon Busard, Charles Pecheur, Hongyang Qu, Franco Raimondi
2014	—	`conf`	State Event Models for the Formal Analysis of Human-Machine Interactions. AAAI Spring Symposia Sébastien Combéfis, Charles Pecheur, Dimitra Giannakopoulou
2013	C	`ed.`	Formal Methods for Industrial Critical Systems - 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings FMICS Charles Pecheur, Michael Dierkes
2013	—	`conf`	PyNuSMV: NuSMV as a Python Library. NASA Formal Methods Simon Busard, Charles Pecheur
2013	—	`conf`	Reasoning about Strategies under Partial Observability and Fairness Constraints SR Simon Busard, Charles Pecheur, Hongyang Qu, Franco Raimondi
2012	—	`conf`	Rich Counter-Examples for Temporal-Epistemic Logic Model Checking IWIGP Simon Busard, Charles Pecheur
2011	B	`conf`	A formal framework for design and analysis of human-machine interaction. SMC Sébastien Combéfis, Dimitra Giannakopoulou, Charles Pecheur, Michael Feary
2011	—	`conf`	Combining Partial-Order Reduction and Symbolic Model Checking to Verify LTL Properties. NASA Formal Methods José Vander Meulen, Charles Pecheur
2011	—	`conf`	Milestones: A Model Checker Combining Symbolic Model Checking and Partial Order Reduction. NASA Formal Methods José Vander Meulen, Charles Pecheur
2010	A*	`ed.`	ASE 2010, 25th IEEE/ACM International Conference on Automated Software Engineering, Antwerp, Belgium, September 20-24, 2010 ASE Charles Pecheur, Jamie Andrews, Elisabetta Di Nitto
2009	Misc	`conf`	A bisimulation-based approach to the analysis of human-computer interaction. EICS Sébastien Combéfis, Charles Pecheur
2009	A	`conf`	A formal analysis of requirements-based testing. ISSTA Charles Pecheur, Franco Raimondi, Guillaume Brat
2009	—	`conf`	Combining Partial Order Reduction with Bounded Model Checking. CPA José Vander Meulen, Charles Pecheur
2008	C	`conf`	Efficient Symbolic Model Checking for Process Algebras. FMICS José Vander Meulen, Charles Pecheur
2007	A*	`conf`	Automatic Verification of Knowledge and Time with NuSMV. IJCAI Alessio Lomuscio, Charles Pecheur, Franco Raimondi
2007	—	`conf`	Testing Planning Domains (without Model Checkers). MBT Franco Raimondi, Charles Pecheur, Guillaume Brat
2007	C	`conf`	Verification of Embedded Software: From Mars to Actions. FMICS Charles Pecheur
2006	—	`ed.`	Proceedings of the Third Workshop on Model Checking and Artificial Intelligence, MoChArt@CONCUR/SPIN 2005, San Francisco, CA, USA, August 27, 2005 MoChArt@CONCUR/SPIN Charles Pecheur, Brian Williams
2006	—	`conf`	Symbolic Model Checking of Logics with Actions. MoChArt Charles Pecheur, Franco Raimondi
2005	—	`conf`	Preface. MoChArt@CONCUR/SPIN Charles Pecheur, Brian Williams
2005	J	`jnl`	Verification and Validation and Artificial Intelligence. Adv. Comput. Tim Menzies, Charles Pecheur
2004	A	`conf`	Simulation-Based Verification of Autonomous Controllers via Livingstone PathFinder. TACAS A. E. Lindsey, Charles Pecheur
2003	A*	`conf`	Formal Verification of Diagnosability via Symbolic Model Checking. IJCAI Alessandro Cimatti, Charles Pecheur, Roberto Cavada
2002	—	`conf`	Challenges Arising from Applications. FAABS Charles Pecheur
2002	—	`conf`	Formal Verification for a Next-Generation Space Shuttle. FAABS Stacy D. Nelson, Charles Pecheur
2001	J	`jnl`	AAAI 2001 Spring Symposium Series Reports. AI Mag. Lorraine M. Fesq, Ella M. Atkins, Lina Khatib, Charles Pecheur, Paul R. Cohen, Lynn Andrea Stein, Michael van Lent, John E. Laird, Alessandro Provetti, Tran Cao Son
2001	J	`jnl`	RIACS Workshop on the Verification and Validation of Autonomous and Adaptive Systems. AI Mag. Charles Pecheur, Willem Visser, Reid G. Simmons
2000	—	`conf`	From Livingstone to SMV. FAABS Charles Pecheur, Reid G. Simmons
2000	—	`conf`	Model Checking of Autonomy Models for an In-Situ Propellant Production System. FAABS Peter Engrand, Charles Pecheur
2000	—	`conf`	Panel Discussion: Future Directions. FAABS Michael G. Hinchey, James A. Hendler, Charles Pecheur, Constance L. Heitmeyer, Diana F. Gordon, Michael Luck, Walt Truszkowski
2000	A	`conf`	Towards automatic verification of autonomous systems. IROS Reid G. Simmons, Charles Pecheur, Grama Srinivasan
1999	A*	`conf`	Advanced Modelling and Verification Techniques Applied to a Cluster File System. ASE Charles Pecheur
1999	J	`jnl`	Model-Based Verification of a Security Protocol for Conditional Access to Services. Formal Methods Syst. Des. Guy Leduc, Olivier Bonaventure, Luc Léonard, Eckhart Koerner, Charles Pecheur
1997	A*	`conf`	Specification and Verification of the Co4 Distributed Knowledge System using LOTOS. ASE Charles Pecheur
1993	—	`conf`	VLib: Infinite Virtual Libraries for LOTOS. PSTV Charles Pecheur
1992	J	`jnl`	Using LOTOS for specifying the CHORUS distributed operating system kernel. Comput. Commun. Charles Pecheur