Charles Pecheur
Charles Pecheur
Professor of Computer Science, ICTEAM, Université catholique de Louvain
Verified email at uclouvain.be
TitleCited byYear
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
1572002
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
1062000
Verification and validation and artificial intelligence
T Menzies, C Pecheur
Advances in computers 65, 153-201, 2005
612005
Symbolic model checking of logics with actions
C Pecheur, F Raimondi
International Workshop on Model Checking and Artificial Intelligence, 113-128, 2006
582006
Towards automatic verification of autonomous systems
R Simmons, C Pecheur, G Srinivasan
Proceedings. 2000 IEEE/RSJ International Conference on Intelligent Robots …, 2000
522000
Automatic verification of knowledge and time with NuSMV
A Lomuscio, C Pecheur, F Raimondi
Proceedings of the Twentieth International Joint Conference on Artificial …, 2007
502007
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
441998
From livingstone to SMV
C Pecheur, R Simmons
International Workshop on Formal Approaches to Agent-Based Systems, 103-113, 2000
432000
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
402009
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
342011
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
341997
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 and validation of autonomy software at NASA
C Pecheur
282000
Verification of railway interlocking systems
S Busard, Q Cappart, C Limbrée, C Pecheur, P Schaus
arXiv preprint arXiv:1506.03554, 2015
242015
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
222015
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
192011
A formal analysis of requirements-based testing
C Pecheur, F Raimondi, G Brat
Proceedings of the eighteenth international symposium on Software testing …, 2009
192009
PDVer, a tool to verify PDDL planning domains.
F Raimondi, C Pecheur, G Brat
182009
Simulation-based verification of autonomous controllers via Livingstone Pathfinder
AE Lindsey, C Pecheur
International Conference on Tools and Algorithms for the Construction and …, 2004
182004
Automating model checking for autonomous systems
R Simmons, C Pecheur
AAAI Spring Symposium on Real-Time Autonomous Systems, 2000
182000
The system can't perform the operation now. Try again later.
Articles 1–20