2018

• A Framework for the Formal Verification of Networks of Railway Interlockings - Application to the Belgian Railway. Christophe Limbrée, Charles Pecheur. .

2017

• A Backward-traversal-based Approach for Symbolic Model Checking of Uniform Strategies for Constrained Reachability. Simon Busard, Charles Pecheur. Proceedings Eighth International Symposium on Games, Automata, Logics and Formal Verification, Roma, Italy, 20-22 September 2017.
• Symbolic model checking of multi-modal logics: uniform strategies and rich explanations. Simon Busard. Doctoral thesis, Université catholique de Louvain.

2016

• Verification of railway interlocking - Compositional approach with OCRA. Christophe Limbrée, Quentin Cappart, Charles Pecheur, Stefano Tonetta?. Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification.
• Automatic Detection of Potential Automation Surprises for ADEPT Models. Sébastien Combéfis, Dimitra Giannakopoulou, Charles Pecheur. IEEE Transactions on Human-Machine Systems.

2015

• Verification of railway interlocking systems. Simon Busard, Quentin Cappart, Christophe Limbrée, Charles Pecheur, Pierre Schaus. Proceedings 4th International Workshop on Engineering Safety and Security Systems, Oslo, Norway, June 22, 2015.
• Tasks Decomposition of System Models for Human-Machine Interaction Analysis. Guillaume Maudoux, Sébastien Combéfis, Charles Pecheur. Proceedings of the Workshop on Formal Methods for Human Computer Interaction 2015.
• Reasoning about memoryless strategies under partial observability and unconditional fairness constraints. Simon Busard, Charles Pecheur, Hongyang Qu, Franco Raimondi. Information and Computation.

2014

• Improving the Model Checking of Strategies under Partial Observability and Fairness Constraints. Simon Busard, Charles Pecheur, Hongyang Qu, Franco Raimondi. Formal Methods and Software Engineering.
• A Methodology for Analyzing Human-Automation Interactions in Flight Operations Using Formal Verification Techniques. Denis Javaux, Bertram Wortelen, Andreas Lüdtke, Charles Pecheur, Regina Peldszus, Sonja Sievi, Yuri Yushtein. Proceedings of AAAI Symposium on Formal Verification in Human-Machine Systems.
• State Event Models for the Formal Analysis of Human-Machine Interactions. Sébastien Combéfis, Dimitra Giannakopoulou, Charles Pecheur. Proceedings of AAAI Symposium on Formal Verification in Human-Machine Systems.

2013

• A Formal Framework for the Analysis of Human-Machine Interactions. Sébastien Combéfis. Doctoral thesis, Université catholique de Louvain.
• Formal Methods for Industrial Critical Systems, 18th International Workshop (FMICS 2013). Charles Pecheur, Michael Dierkes (Eds.). Springer.
• PyNuSMV: NuSMV as a Python Library. Simon Busard, Charles Pecheur. Nasa Formal Methods 2013.
• Reasoning about Strategies under Partial Observability and Fairness Constraints. Simon Busard, Charles Pecheur, Hongyang Qu, Franco Raimondi. Proceedings 1st International Workshop on Strategic Reasoning, Rome, Italy, March 16-17, 2013.

2012

• Combining Partial Order Reduction with Symbolic Model Checking. José Vander Meulen. Doctoral thesis, Université catholique de Louvain.
• Rich Counter-Examples for Temporal-Epistemic Logic Model Checking. Simon Busard, Charles Pecheur. Proceedings Second International Workshop on Interactions, Games and Protocols, Tallinn, Estonia, 25th March 2012.

2011

• A JavaPathfinder Extension to Analyse Human-Machine Interactions. Sébastien Combéfis, Dimitra Giannakopoulou, Charles Pecheur, Peter Mehlitz. Java Pathfinder Workshop 2011.
• Learning System Abstractions for Human Operators. Sébastien Combéfis, Dimitra Giannakopoulou, Charles Pecheur, Michael Feary. International Workshop on Machine Learning Technologies in Software Engineering.
• Combining Partial Order Reduction and Symbolic Model Checking to verify LTL properties. José Vander Meulen, Charles Pecheur . NASA FORMAL METHODS 2011.
• Milestones: A Model Checker Combining Symbolic Model Checking and Partial Order Reduction. José Vander Meulen, Charles Pecheur. NASA FORMAL METHODS 2011.
• A Formal Framework for Design and Analysis of Human-Machine Interaction. Sébastien Combéfis, Dimitra Giannakopoulou, Charles Pecheur, Michael Feary. 2011 IEEE International Conference on Systems, Man, and Cybernetics.

2010

• 25th IEEE-ACM International Conference on Automated Software Engineering. Charles Pecheur, Jamie Andrews, Elisabetta Di Nitto (Eds.). ACM.

2009

• Combining Partial Order Reduction with Bounded Model Checking. José Vander Meulen, Charles Pecheur. Proceedings of Communicating Process Architectures 2009, Eindhoven, Netherlands.
• A Bisimulation-Based Approach to the Analysis of Human-Computer Interaction. Sébastien Combéfis, Charles Pecheur. ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS 2009, Pittsburgh, PA.
• A Formal Analysis of Requirements-Based Testing. Charles Pecheur, Franco Raimondi, Guillaume Brat. 2009 International Conference on Software Testing and Analysis (ISSTA), Chicago, IL.
• PDVer, a Tool to Verify PDDL Planning Domains. Franco Raimondi, Charles Pecheur, Guillaume Brat. Proceedings of ICAPS'09 Workshop on Verification and Validation of Planning and Scheduling Systems, Thessaloniki, Greece.
• Operational Model: Integrating User Tasks and Environment Information with System Model. Sébastien Combéfis. 3rd International Workshop on Formal Methods for Interactive Systems (FMIS 2009), Eindhoven, Netherlands.

2008

• Efficient Symbolic Model Checking for Process Algebras. José Vander Meulen, Charles Pecheur. Proceedings of 13th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2008), L'Aquila, Italy.

2007

• Testing Planning Domains (without Model Checkers). Franco Raimondi, Charles Pecheur, Guillaume Brat. Third Workshop on Model-Based Testing (MBT 2007), Braga, Portugal.
• Symbolic Model Checking of Logics with Actions. Charles Pecheur, Franco Raimondi. Workshop on Model Checking and Artificial Intelligence (MOCHART), Riva del Garda, Italy, 29 Aug 2006.
• Automatic Verification of Knowledge and Time with NuSMV. Alessio Lomuscio, Charles Pecheur, Franco Raimondi. 20th International Joint Conference on Artificial Intelligence (IJCAI-07), Hyderabad, India.

2006

• Formal Verification of Autonomy Models: From Livingstone to SMV. Charles Pecheur, Reid Simmons, Peter Engrand. Agent Technology from a Formal Perspective.

2005

• Applications of model checking for multi-agent systems: verification of diagnosability and recoverability. Franco Raimondi, Charles Pecheur, Alessio Lomuscio. Proceedings of Concurrency Specification and Programming (CSP 2005), Ruciane-Nida, Poland.
• Verification and Validation and Artificial Intelligence. Tim Menzies, Charles Pecheur. Advances in Computers, vol. 65.