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
1602002
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
1092000
Verification and validation and artificial intelligence
T Menzies, C Pecheur
Advances in computers 65, 153-201, 2005
702005
Symbolic model checking of logics with actions
C Pecheur, F Raimondi
International Workshop on Model Checking and Artificial Intelligence, 113-128, 2006
592006
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
532000
From livingstone to SMV
C Pecheur, R Simmons
International Workshop on Formal Approaches to Agent-Based Systems, 103-113, 2000
452000
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
451998
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
422009
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
362011
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
Verification and validation of autonomy software at NASA
C Pecheur
322000
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
321996
Verification of railway interlocking systems
S Busard, Q Cappart, C Limbrée, C Pecheur, P Schaus
arXiv preprint arXiv:1506.03554, 2015
262015
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
252015
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
212016
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
212011
PDVer, a tool to verify PDDL planning domains.
F Raimondi, C Pecheur, G Brat
202009
Automating model checking for autonomous systems
R Simmons, C Pecheur
AAAI Spring Symposium on Real-Time Autonomous Systems, 2000
202000
A formal analysis of requirements-based testing
C Pecheur, F Raimondi, G Brat
Proceedings of the eighteenth international symposium on Software testing …, 2009
182009
The system can't perform the operation now. Try again later.
Articles 1–20