| CADP a protocol validation and verification toolbox JC Fernandez, H Garavel, A Kerbrat, L Mounier, R Mateescu, ... Computer Aided Verification: 8th International Conference, CAV'96 New …, 1996 | 602 | 1996 |
| Efficient on-the-fly model-checking for regular alternation-free mu-calculus R Mateescu, M Sighireanu Science of Computer Programming 46 (3), 255-281, 2003 | 192 | 2003 |
| TReX: A tool for reachability analysis of complex systems A Annichini, A Bouajjani, M Sighireanu Computer Aided Verification: 13th International Conference, CAV 2001 Paris …, 2001 | 151 | 2001 |
| An algorithm for automatically obtaining distributed and fault-tolerant static schedules A Girault, H Kalla, M Sighireanu, Y Sorel Proceeding of international conference on dependable systems and networks …, 2003 | 85 | 2003 |
| A graphical parallel composition operator for process algebras H Garavel, M Sighireanu Formal Methods for Protocol Engineering and Distributed Systems: FORTE XII …, 1999 | 74 | 1999 |
| Rewriting systems with data A Bouajjani, P Habermehl, Y Jurski, M Sighireanu FCT 7, 1-22, 2007 | 64 | 2007 |
| Efficient on-the-fly model-checking for regular alternation-free mu-calculus R Mateescu, M Sighireanu INRIA, 2000 | 64 | 2000 |
| A logic-based framework for reasoning about composite data structures A Bouajjani, C Drăgoi, C Enea, M Sighireanu CONCUR 2009-Concurrency Theory: 20th International Conference, CONCUR 2009 …, 2009 | 51 | 2009 |
| Compositional entailment checking for a fragment of separation logic C Enea, O Lengál, M Sighireanu, T Vojnar Formal Methods in System Design 51, 575-607, 2017 | 49 | 2017 |
| Abstract domains for automated reasoning about list-manipulating programs with infinite data A Bouajjani, C Drăgoi, C Enea, M Sighireanu Verification, Model Checking, and Abstract Interpretation: 13th …, 2012 | 43 | 2012 |
| Accurate invariant checking for programs manipulating lists and arrays with infinite data A Bouajjani, C Drăgoi, C Enea, M Sighireanu Automated Technology for Verification and Analysis: 10th International …, 2012 | 40 | 2012 |
| On inter-procedural analysis of programs with lists and data A Bouajjani, C Drăgoi, C Enea, M Sighireanu ACM SIGPLAN Notices 46 (6), 578-589, 2011 | 40 | 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 |
| TOOLympics 2019: An overview of competitions in formal methods E Bartocci, D Beyer, PE Black, G Fedyukovich, H Garavel, A Hartmanns, ... Tools and Algorithms for the Construction and Analysis of Systems: 25 Years …, 2019 | 39 | 2019 |
| On automated lemma generation for separation logic with inductive definitions C Enea, M Sighireanu, Z Wu Automated Technology for Verification and Analysis: 13th International …, 2015 | 37 | 2015 |
| Verification of the link layer protocol of the IEEE-1394 serial bus (FireWire): an experiment with E-LOTOS M Sighireanu, R Mateescu International Journal on Software Tools for Technology Transfer (STTT) 2 (1 …, 1998 | 37 | 1998 |
| Guidelines for the verification of population protocols J Clément, C Delporte-Gallet, H Fauconnier, M Sighireanu 2011 31st International Conference on Distributed Computing Systems, 215-224, 2011 | 35 | 2011 |
| Planning Robust Temporal Plans: A Comparison Between CBTP and TGA Approaches. Y Abdeddaim, E Asarin, M Gallien, F Ingrand, C Lesire, M Sighireanu ICAPS 7, 2-10, 2007 | 35 | 2007 |
| Towards a second generation of formal description techniques–rationale for the design of E-LOTOS H Garavel, M Sighireanu Proceedings of the 3rd International Workshop on Formal Methods for …, 1998 | 33 | 1998 |
| A generic framework for reasoning about dynamic networks of infinite-state processes A Bouajjani, Y Jurski, M Sighireanu Tools and Algorithms for the Construction and Analysis of Systems: 13th …, 2007 | 32 | 2007 |
Ahmed BouajjaniProfessor Computer Science, Université Paris CitéGeverifieerd e-mailadres voor irif.fr
