| 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 | 184 | 2002 |
| 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 | 120 | 2000 |
| Verification and validation and artificial intelligence T Menzies, C Pecheur Advances in computers 65, 153-201, 2005 | 102 | 2005 |
| Automatic verification of knowledge and time with NuSMV A Lomuscio, C Pecheur, F Raimondi Proceedings of the Twentieth International Joint Conference on Artificial …, 2007 | 73 | 2007 |
| Symbolic model checking of logics with actions C Pecheur, F Raimondi International Workshop on Model Checking and Artificial Intelligence, 113-128, 2006 | 69 | 2006 |
| Towards automatic verification of autonomous systems R Simmons, C Pecheur, G Srinivasan Proceedings. 2000 IEEE/RSJ International Conference on Intelligent Robots …, 2000 | 62 | 2000 |
| 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 | 48 | 2000 |
| 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 | 47 | 1998 |
| 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 | 45 | 2016 |
| 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 | 44 | 2009 |
| Verification and validation of autonomy software at NASA C Pecheur | 44 | 2000 |
| Verification of railway interlocking systems S Busard, Q Cappart, C Limbrée, C Pecheur, P Schaus arXiv preprint arXiv:1506.03554, 2015 | 42 | 2015 |
| 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 | 42 | 2011 |
| 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 | 40 | 1997 |
| 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 | 35 | 2015 |
| 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 | 35 | 1996 |
| PyNuSMV: NuSMV as a Python library S Busard, C Pecheur NASA Formal Methods: 5th International Symposium, NFM 2013, Moffett Field …, 2013 | 27 | 2013 |
| PDVer, a tool to verify PDDL planning domains F Raimondi, C Pecheur, G Brat Proceedings of ICAPS 9, 223-228, 2009 | 26 | 2009 |
| 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 | 25 | 2014 |
| 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 | 24 | 2011 |
Franco RaimondiProfessor of Computer Science, Gran Sasso Science InstituteAdresse e-mail validée de gssi.it