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, JL White
Lfm2000: Fifth NASA Langley Formal Methods Workshop 210100, 163, 2000
Verification and validation and artificial intelligence
T Menzies, C Pecheur
Advances in computers 65, 153-201, 2005
Automatic verification of knowledge and time with NuSMV
A Lomuscio, C Pecheur, F Raimondi
Proceedings of the Twentieth International Joint Conference on Artificial …, 2007
Symbolic model checking of logics with actions
C Pecheur, F Raimondi
International Workshop on Model Checking and Artificial Intelligence, 113-128, 2006
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: Formal verification for autonomous spacecrafts
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
Verification and validation of autonomy software at NASA
C Pecheur
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 of railway interlocking-compositional approach with OCRA
C Limbrée, Q Cappart, C Pecheur, S Tonetta
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis …, 2016
Verification of railway interlocking systems
S Busard, Q Cappart, C Limbrée, C Pecheur, P Schaus
arXiv preprint arXiv:1506.03554, 2015
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
12th J. Cartier Workshop on Formal Methods and their Applications, 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
PyNuSMV: NuSMV as a Python library
S Busard, C Pecheur
NASA Formal Methods: 5th International Symposium, NFM 2013, Moffett Field …, 2013
PDVer, a tool to verify PDDL planning domains
F Raimondi, C Pecheur, G Brat
Proceedings of ICAPS 9, 223-228, 2009
Improving the model checking of strategies under partial observability and fairness constraints
S Busard, C Pecheur, H Qu, F Raimondi
Formal Methods and Software Engineering: 16th International Conference on …, 2014
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
The system can't perform the operation now. Try again later.
Articles 1–20