Charles Pecheur
Charles Pecheur
Professor of Computer Science, ICTEAM, Université catholique de Louvain
Geverifieerd e-mailadres voor uclouvain.be
Titel
Geciteerd door
Geciteerd door
Jaar
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
1612002
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
1092000
Verification and validation and artificial intelligence
T Menzies, C Pecheur
Advances in computers 65, 153-201, 2005
662005
Symbolic model checking of logics with actions
C Pecheur, F Raimondi
International Workshop on Model Checking and Artificial Intelligence, 113-128, 2006
582006
Automatic verification of knowledge and time with NuSMV
A Lomuscio, C Pecheur, F Raimondi
Proceedings of the Twentieth International Joint Conference on Artificial …, 2007
522007
Towards automatic verification of autonomous systems
R Simmons, C Pecheur, G Srinivasan
Proceedings. 2000 IEEE/RSJ International Conference on Intelligent Robots …, 2000
512000
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
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
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
352011
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
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
311996
Verification and validation of autonomy software at NASA
C Pecheur
292000
Verification of railway interlocking systems
S Busard, Q Cappart, C Limbrée, C Pecheur, P Schaus
arXiv preprint arXiv:1506.03554, 2015
252015
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
242015
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
202016
PDVer, a tool to verify PDDL planning domains.
F Raimondi, C Pecheur, G Brat
202009
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
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
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20