Charles Pecheur

According to our database, Charles Pecheur authored at least 45 papers between 1992 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Verification of Scenario-based Behavioural Models using Capella and PyNuSMV.

Simon Busard, Christophe Ponsard, Charles Pecheur

Proceedings of the 9th International Conference on Model-Driven Engineering and Software Development, 2021

2019

Comparing approaches for model-checking strategies under imperfect information and fairness constraints.

Simon Busard, Charles Pecheur, Hongyang Qu, Franco Raimondi

Int. J. Softw. Tools Technol. Transf., 2019

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

Producing Explanations for Rich Logics.

Simon Busard, Charles Pecheur

Proceedings of the Formal Methods - 22nd International Symposium, 2018

2017

A Backward-traversal-based Approach for Symbolic Model Checking of Uniform Strategies for Constrained Reachability.

Simon Busard, Charles Pecheur

Proceedings of the Proceedings Eighth International Symposium on Games, 2017

Learning Safe Interactions and Full-Control.

Guillaume Maudoux, Charles Pecheur, Sébastien Combéfis

Proceedings of the Handbook of Formal Methods in Human-Computer Interaction., 2017

Formal Analysis of Multiple Coordinated HMI Systems.

Guillaume Brat, Sébastien Combéfis, Dimitra Giannakopoulou, Charles Pecheur, Franco Raimondi, Neha Rungta

Proceedings of the Handbook of Formal Methods in Human-Computer Interaction., 2017

2016

Automatic Detection of Potential Automation Surprises for ADEPT Models.

Sébastien Combéfis, Dimitra Giannakopoulou, Charles Pecheur

IEEE Trans. Hum. Mach. Syst., 2016

Verification of Railway Interlocking - Compositional Approach with OCRA.

Christophe Limbrée, Quentin Cappart, Charles Pecheur, Stefano Tonetta

Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2016

2015

Reasoning about memoryless strategies under partial observability and unconditional fairness constraints.

Simon Busard, Charles Pecheur, Hongyang Qu, Franco Raimondi

Inf. Comput., 2015

Verification of railway interlocking systems.

Simon Busard, Quentin Cappart, Christophe Limbrée, Charles Pecheur, Pierre Schaus

Proceedings of the Proceedings 4th International Workshop on Engineering Safety and Security Systems, 2015

2014

Improving the Model Checking of Strategies under Partial Observability and Fairness Constraints.

Simon Busard, Charles Pecheur, Hongyang Qu, Franco Raimondi

Proceedings of the Formal Methods and Software Engineering, 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

Proceedings of the 2014 AAAI Spring Symposia, 2014

State Event Models for the Formal Analysis of Human-Machine Interactions.

Sébastien Combéfis, Charles Pecheur, Dimitra Giannakopoulou

Proceedings of the 2014 AAAI Spring Symposia, 2014

2013

Reasoning about Strategies under Partial Observability and Fairness Constraints

Simon Busard, Charles Pecheur, Hongyang Qu, Franco Raimondi

Proceedings of the Proceedings 1st International Workshop on Strategic Reasoning, 2013

PyNuSMV: NuSMV as a Python Library.

Simon Busard, Charles Pecheur

Proceedings of the NASA Formal Methods, 2013

2012

Rich Counter-Examples for Temporal-Epistemic Logic Model Checking

Simon Busard, Charles Pecheur

Proceedings of the Proceedings Second International Workshop on Interactions, 2012

2011

A formal framework for design and analysis of human-machine interaction.

Sébastien Combéfis, Dimitra Giannakopoulou, Charles Pecheur, Michael Feary

Proceedings of the IEEE International Conference on Systems, 2011

Milestones: A Model Checker Combining Symbolic Model Checking and Partial Order Reduction.

José Vander Meulen, Charles Pecheur

Proceedings of the NASA Formal Methods, 2011

Combining Partial-Order Reduction and Symbolic Model Checking to Verify LTL Properties.

José Vander Meulen, Charles Pecheur

Proceedings of the NASA Formal Methods, 2011

2009

Combining Partial Order Reduction with Bounded Model Checking.

José Vander Meulen, Charles Pecheur

Proceedings of the thirty-second Communicating Process Architectures Conference, 2009

A formal analysis of requirements-based testing.

Charles Pecheur, Franco Raimondi, Guillaume Brat

Proceedings of the Eighteenth International Symposium on Software Testing and Analysis, 2009

A bisimulation-based approach to the analysis of human-computer interaction.

Sébastien Combéfis, Charles Pecheur

Proceedings of the 1st ACM SIGCHI symposium on Engineering Interactive Computing System , 2009

2008

Efficient Symbolic Model Checking for Process Algebras.

José Vander Meulen, Charles Pecheur

Proceedings of the Formal Methods for Industrial Critical Systems, 2008

2007

Testing Planning Domains (without Model Checkers).

Franco Raimondi, Charles Pecheur, Guillaume Brat

Proceedings of the Third Workshop on Model Based Testing, 2007

Automatic Verification of Knowledge and Time with NuSMV.

Alessio Lomuscio, Charles Pecheur, Franco Raimondi

Proceedings of the IJCAI 2007, 2007

Verification of Embedded Software: From Mars to Actions.

Charles Pecheur

Proceedings of the Formal Methods for Industrial Critical Systems, 2007

2006

Symbolic Model Checking of Logics with Actions.

Charles Pecheur, Franco Raimondi

Proceedings of the Model Checking and Artificial Intelligence, 4th Workshop, 2006

2005

Preface.

Charles Pecheur, Brian Williams

Proceedings of the Third Workshop on Model Checking and Artificial Intelligence, 2005

Verification and Validation and Artificial Intelligence.

Tim Menzies, Charles Pecheur

Adv. Comput., 2005

2004

Simulation-Based Verification of Autonomous Controllers via Livingstone PathFinder.

A. E. Lindsey, Charles Pecheur

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2004

2003

Formal Verification of Diagnosability via Symbolic Model Checking.

Alessandro Cimatti, Charles Pecheur, Roberto Cavada

Proceedings of the IJCAI-03, 2003

2002

Challenges Arising from Applications.

Charles Pecheur

Proceedings of the Formal Approaches to Agent-Based Systems, Second International Workshop, 2002

Formal Verification for a Next-Generation Space Shuttle.

Stacy D. Nelson, Charles Pecheur

Proceedings of the Formal Approaches to Agent-Based Systems, Second International Workshop, 2002

2001

RIACS Workshop on the Verification and Validation of Autonomous and Adaptive Systems.

Charles Pecheur, Willem Visser, Reid G. Simmons

AI Mag., 2001

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

2000

Towards automatic verification of autonomous systems.

Reid G. Simmons, Charles Pecheur, Grama Srinivasan

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2000

From Livingstone to SMV.

Charles Pecheur, Reid G. Simmons

Proceedings of the Formal Approaches to Agent-Based Systems, First International Workshop, 2000

Panel Discussion: Future Directions.

Michael G. Hinchey, James A. Hendler, Charles Pecheur, Constance L. Heitmeyer, Diana F. Gordon, Michael Luck, Walt Truszkowski

Proceedings of the Formal Approaches to Agent-Based Systems, First International Workshop, 2000

Model Checking of Autonomy Models for an In-Situ Propellant Production System.

Peter Engrand, Charles Pecheur

Proceedings of the Formal Approaches to Agent-Based Systems, First International Workshop, 2000

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

Advanced Modelling and Verification Techniques Applied to a Cluster File System.

Charles Pecheur

Proceedings of the 14th IEEE International Conference on Automated Software Engineering, 1999

1997

Specification and Verification of the Co4 Distributed Knowledge System using LOTOS.

Charles Pecheur

Proceedings of the 1997 International Conference on Automated Software Engineering, 1997

1993

VLib: Infinite Virtual Libraries for LOTOS.

Charles Pecheur

Proceedings of the Protocol Specification, 1993

1992

Using LOTOS for specifying the CHORUS distributed operating system kernel.

Charles Pecheur

Comput. Commun., 1992