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
1692002
Formal analysis of the remote agent before and after flight
K Havelund, M Lowry, SJ Park, C Pecheur, J Penix, W Visser, JL White
NASA CONFERENCE PUBLICATION, 163-174, 2000
1132000
Verification and validation and artificial intelligence
T Menzies, C Pecheur
Advances in computers 65, 153-201, 2005
832005
Symbolic model checking of logics with actions
C Pecheur, F Raimondi
International Workshop on Model Checking and Artificial Intelligence, 113-128, 2006
622006
Automatic verification of knowledge and time with NuSMV
A Lomuscio, C Pecheur, F Raimondi
Proceedings of the Twentieth International Joint Conference on Artificial …, 2007
572007
Towards automatic verification of autonomous systems
R Simmons, C Pecheur, G Srinivasan
Proceedings. 2000 IEEE/RSJ International Conference on Intelligent Robots …, 2000
552000
From livingstone to SMV
C Pecheur, R Simmons
International Workshop on Formal Approaches to Agent-Based Systems, 103-113, 2000
442000
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
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
431998
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
392011
Verification and validation of autonomy software at NASA
C Pecheur
National Aeronautics and Space Administration, 2000
362000
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
351997
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
292015
Verification of railway interlocking systems
S Busard, Q Cappart, C Limbrée, C Pecheur, P Schaus
arXiv preprint arXiv:1506.03554, 2015
282015
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
281996
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
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
222016
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
212014
PDVer, a tool to verify PDDL planning domains.
F Raimondi, C Pecheur, G Brat
212009
Automating model checking for autonomous systems
R Simmons, C Pecheur
AAAI Spring Symposium on Real-Time Autonomous Systems, 2000
202000
The system can't perform the operation now. Try again later.
Articles 1–20