Charles Pecheur
Charles Pecheur
Professor of Computer Science, ICTEAM, Université catholique de Louvain
Verified email at
Cited by
Cited by
Formal verification of diagnosability via symbolic model checking
C Pecheur, A Cimatti, R Cimatti
Workshop on Model Checking and Artificial Intelligence (MoChArt-2002), Lyon …, 2002
Formal analysis of the remote agent before and after flight
K Havelund, M Lowry, SJ Park, C Pecheur, J Penix, W Visser, J White
Proceedings of the 5th NASA Langley Formal Methods Workshop 134, 2000
Verification and validation and artificial intelligence
T Menzies, C Pecheur
Advances in computers 65, 153-201, 2005
Symbolic model checking of logics with actions
C Pecheur, F Raimondi
International Workshop on Model Checking and Artificial Intelligence, 113-128, 2006
Automatic verification of knowledge and time with NuSMV
A Lomuscio, C Pecheur, F Raimondi
Proceedings of the Twentieth International Joint Conference on Artificial …, 2007
Towards automatic verification of autonomous systems
R Simmons, C Pecheur, G Srinivasan
Proceedings. 2000 IEEE/RSJ International Conference on Intelligent Robots …, 2000
From livingstone to SMV
C Pecheur, R Simmons
International Workshop on Formal Approaches to Agent-Based Systems, 103-113, 2000
Using model checking to validate AI planner domain models
J Penix, C Pecheur, K Havelund
Proceedings of the 23rd Annual Software Engineering Workshop, NASA Goddard, 1998
A bisimulation-based approach to the analysis of human-computer interaction
S Combéfis, C Pecheur
Proceedings of the 1st ACM SIGCHI symposium on Engineering interactive …, 2009
A formal framework for design and analysis of human-machine interaction
S Combéfis, D Giannakopoulou, C Pecheur, M Feary
2011 IEEE International Conference on Systems, Man, and Cybernetics, 1801-1808, 2011
Verification and validation of autonomy software at NASA
C Pecheur
National Aeronautics and Space Administration, 2000
Cadp’97–status, applications and perspectives
H Garavel, M Jorgensen, R Mateescu, C Pecheur, M Sighireanu, B Vivien
Proceedings of the 2nd COST 247, 1997
Specification and verification of a TTP protocol for the conditional access to services
G Leduc, O Bonaventure, E Koerner, L Léonard, C Pecheur, D Zanetti
Formal Methods and their Applications: Telecommunications, VLSI and Real …, 1996
Reasoning about memoryless strategies under partial observability and unconditional fairness constraints
S Busard, C Pecheur, H Qu, F Raimondi
Information and Computation 242, 128-156, 2015
Verification of railway interlocking systems
S Busard, Q Cappart, C Limbrée, C Pecheur, P Schaus
arXiv preprint arXiv:1506.03554, 2015
Learning system abstractions for human operators
S Combéfis, D Giannakopoulou, C Pecheur, M Feary
Proceedings of the international workshop on machine learning technologies …, 2011
Verification of railway interlocking-compositional approach with OCRA
C Limbrée, Q Cappart, C Pecheur, S Tonetta
International Conference on Reliability, Safety, and Security of Railway …, 2016
PDVer, a tool to verify PDDL planning domains.
F Raimondi, C Pecheur, G Brat
Improving the model checking of strategies under partial observability and fairness constraints
S Busard, C Pecheur, H Qu, F Raimondi
International Conference on Formal Engineering Methods, 27-42, 2014
Automating model checking for autonomous systems
R Simmons, C Pecheur
AAAI Spring Symposium on Real-Time Autonomous Systems, 2000
The system can't perform the operation now. Try again later.
Articles 1–20