Charles Pecheur

Charles Pecheur

Université Catholique de Louvain - Louvain-la-Neuve / Belgium
Engineering & Technology / Computer Science
AD Scientific Index ID: 1400851
Catholic University of Louvain
person_outline Charles Pecheur's MOST POPULAR ARTICLES
1-) Formal verification of diagnosability via symbolic model checkingC Pecheur, A Cimatti, R CimattiWorkshop on model checking and artificial intelligence (MoChArt-2002), Lyon …, 20021762002
2-) Formal analysis of the remote agent before and after flightML Klaus Havelund, SJ ParkaLfm2000: Fifth NASA Langley Formal Methods Workshop 210100, 163, 20001152000
3-) Verification and validation and artificial intelligenceT Menzies, C PecheurAdvances in computers 65, 153-201, 2005902005
4-) Automatic verification of knowledge and time with NuSMVA Lomuscio, C Pecheur, F RaimondiProceedings of the Twentieth International Joint Conference on Artificial …, 2007712007
5-) Symbolic model checking of logics with actionsC Pecheur, F RaimondiInternational Workshop on Model Checking and Artificial Intelligence, 113-128, 2006692006