Using LOTOS for specifying the CHORUS distributed operating system kernel. - Charles Pecheur (Comput. Commun., 1992)

VLib: Infinite Virtual Libraries for LOTOS. - Charles Pecheur (PSTV, 1993)

Specification and Verification of the Co4 Distributed Knowledge System using LOTOS. - Charles Pecheur (ASE, 1997)

Advanced Modelling and Verification Techniques Applied to a Cluster File System. - Charles Pecheur (ASE, 1999)

Model-Based Verification of a Security Protocol for Conditional Access to Services. - Guy Leduc; Olivier Bonaventure; Luc Léonard; Eckhart Koerner; Charles Pecheur (Formal Methods Syst. Des., 1999)

Model Checking of Autonomy Models for an In-Situ Propellant Production System. - Peter Engrand; Charles Pecheur (FAABS, 2000)

Panel Discussion: Future Directions. - Michael G. Hinchey; James A. Hendler; Charles Pecheur; Constance L. Heitmeyer; Diana F. Gordon; Michael Luck; Walt Truszkowski (FAABS, 2000)

From Livingstone to SMV. - Charles Pecheur; Reid G. Simmons (FAABS, 2000)

Towards automatic verification of autonomous systems. - Reid G. Simmons; Charles Pecheur; Grama Srinivasan (IROS, 2000)

AAAI 2001 Spring Symposium Series Reports. - 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 (AI Mag., 2001)

RIACS Workshop on the Verification and Validation of Autonomous and Adaptive Systems. - Charles Pecheur; Willem Visser; Reid G. Simmons (AI Mag., 2001)

Formal Verification for a Next-Generation Space Shuttle. - Stacy D. Nelson; Charles Pecheur (FAABS, 2002)

Challenges Arising from Applications. - Charles Pecheur (FAABS, 2002)

Formal Verification of Diagnosability via Symbolic Model Checking. - Alessandro Cimatti; Charles Pecheur; Roberto Cavada (IJCAI, 2003)

Simulation-Based Verification of Autonomous Controllers via Livingstone PathFinder. - A. E. Lindsey; Charles Pecheur (TACAS, 2004)

Verification and Validation and Artificial Intelligence. - Tim Menzies; Charles Pecheur (Adv. Comput., 2005)

Preface. - Charles Pecheur; Brian Williams (MoChArt@CONCUR/SPIN, 2005)

Symbolic Model Checking of Logics with Actions. - Charles Pecheur; Franco Raimondi (MoChArt, 2006)

Verification of Embedded Software: From Mars to Actions. - Charles Pecheur (FMICS, 2007)

Automatic Verification of Knowledge and Time with NuSMV. - Alessio Lomuscio; Charles Pecheur; Franco Raimondi (IJCAI, 2007)

Testing Planning Domains (without Model Checkers). - Franco Raimondi; Charles Pecheur; Guillaume Brat (MBT, 2007)

Efficient Symbolic Model Checking for Process Algebras. - José Vander Meulen; Charles Pecheur (FMICS, 2008)

A bisimulation-based approach to the analysis of human-computer interaction. - Sébastien Combéfis; Charles Pecheur (EICS, 2009)

A formal analysis of requirements-based testing. - Charles Pecheur; Franco Raimondi; Guillaume Brat (ISSTA, 2009)

Combining Partial Order Reduction with Bounded Model Checking. - José Vander Meulen; Charles Pecheur (CPA, 2009)

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 (SMC, 2011)

Rich Counter-Examples for Temporal-Epistemic Logic Model Checking - Simon Busard; Charles Pecheur (IWIGP, 2012)

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 001; Franco Raimondi (SR, 2013)

State Event Models for the Formal Analysis of Human-Machine Interactions. - Sébastien Combéfis; Charles Pecheur; Dimitra Giannakopoulou (AAAI Spring Symposia, 2014)

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 (AAAI Spring Symposia, 2014)

Improving the Model Checking of Strategies under Partial Observability and Fairness Constraints. - Simon Busard; Charles Pecheur; Hongyang Qu 001; Franco Raimondi (ICFEM, 2014)

Verification of railway interlocking systems. - Simon Busard; Quentin Cappart; Christophe Limbrée; Charles Pecheur; Pierre Schaus (ESSS, 2015)

Reasoning about memoryless strategies under partial observability and unconditional fairness constraints. - Simon Busard; Charles Pecheur; Hongyang Qu 001; Franco Raimondi (Inf. Comput., 2015)

Verification of Railway Interlocking - Compositional Approach with OCRA. - Christophe Limbrée; Quentin Cappart; Charles Pecheur; Stefano Tonetta (RSSRail, 2016)

Automatic Detection of Potential Automation Surprises for ADEPT Models. - Sébastien Combéfis; Dimitra Giannakopoulou; Charles Pecheur (IEEE Trans. Hum. Mach. Syst., 2016)

Formal Analysis of Multiple Coordinated HMI Systems. - Guillaume Brat; Sébastien Combéfis; Dimitra Giannakopoulou; Charles Pecheur; Franco Raimondi; Neha Rungta (Handbook of Formal Methods in Human-Computer Interaction, 2017)

Learning Safe Interactions and Full-Control. - Guillaume Maudoux; Charles Pecheur; Sébastien Combéfis (Handbook of Formal Methods in Human-Computer Interaction, 2017)

A Backward-traversal-based Approach for Symbolic Model Checking of Uniform Strategies for Constrained Reachability. - Simon Busard; Charles Pecheur (GandALF, 2017)

Producing Explanations for Rich Logics. - Simon Busard; Charles Pecheur (FM, 2018)

A Framework for the Formal Verification of Networks of Railway Interlockings - Application to the Belgian Railway. - Christophe Limbrée; Charles Pecheur (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2018)

Comparing approaches for model-checking strategies under imperfect information and fairness constraints. - Simon Busard; Charles Pecheur; Hongyang Qu 001; Franco Raimondi (Int. J. Softw. Tools Technol. Transf., 2019)

Verification of Scenario-based Behavioural Models using Capella and PyNuSMV. - Simon Busard; Christophe Ponsard; Charles Pecheur (MODELSWARD, 2021)