Follow
Charles Pecheur
Charles Pecheur
Professor of Computer Science, ICTEAM, Université catholique de Louvain
Verified email at uclouvain.be
Title
Cited by
Cited by
Year
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
1832002
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
1172000
Verification and validation and artificial intelligence
T Menzies, C Pecheur
Advances in computers 65, 153-201, 2005
942005
Symbolic model checking of logics with actions
C Pecheur, F Raimondi
International Workshop on Model Checking and Artificial Intelligence, 113-128, 2006
682006
Automatic verification of knowledge and time with NuSMV
A Lomuscio, C Pecheur, F Raimondi
Proceedings of the Twentieth International Joint Conference on Artificial …, 2007
652007
Towards automatic verification of autonomous systems
R Simmons, C Pecheur, G Srinivasan
Proceedings. 2000 IEEE/RSJ International Conference on Intelligent Robots …, 2000
602000
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
462000
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
461998
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
432009
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
422011
Verification of railway interlocking systems
S Busard, Q Cappart, C Limbrée, C Pecheur, P Schaus
arXiv preprint arXiv:1506.03554, 2015
412015
Verification and validation of autonomy software at NASA
C Pecheur
412000
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
392016
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
391997
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
341996
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
332015
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
252014
PDVer, a tool to verify PDDL planning domains.
F Raimondi, C Pecheur, G Brat
252009
A formal analysis of requirements-based testing
C Pecheur, F Raimondi, G Brat
Proceedings of the eighteenth international symposium on Software testing …, 2009
242009
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
232011
The system can't perform the operation now. Try again later.
Articles 1–20