Suivre
Charles Pecheur
Charles Pecheur
Professor of Computer Science, ICTEAM, Université catholique de Louvain
Adresse e-mail validée de uclouvain.be
Titre
Citée par
Citée par
Année
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
1812002
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
1182000
Verification and validation and artificial intelligence
T Menzies, C Pecheur
Advances in computers 65, 153-201, 2005
962005
Symbolic model checking of logics with actions
C Pecheur, F Raimondi
International Workshop on Model Checking and Artificial Intelligence, 113-128, 2006
692006
Automatic verification of knowledge and time with NuSMV
A Lomuscio, C Pecheur, F Raimondi
Proceedings of the Twentieth International Joint Conference on Artificial …, 2007
672007
Towards automatic verification of autonomous systems
R Simmons, C Pecheur, G Srinivasan
Proceedings. 2000 IEEE/RSJ International Conference on Intelligent Robots …, 2000
622000
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
472000
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
442009
Verification of railway interlocking systems
S Busard, Q Cappart, C Limbrée, C Pecheur, P Schaus
arXiv preprint arXiv:1506.03554, 2015
422015
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 and validation of autonomy software at NASA
C Pecheur
422000
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
402016
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
351996
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
322015
PyNuSMV: NuSMV as a Python library
S Busard, C Pecheur
NASA Formal Methods: 5th International Symposium, NFM 2013, Moffett Field …, 2013
262013
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
ICAPS'09 Workshop on Verification and Validation of Planning and Scheduling …, 2010
252010
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
242011
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20