| Property preserving abstractions for the verification of concurrent systems C Loiseaux, S Graf, J Sifakis, A Bouajjani, S Bensalem, D Probst Formal methods in system design 6 (1), 11-44, 1995 | 509 | 1995 |
| Statistical model checking: An overview A Legay, B Delahaye, S Bensalem International conference on runtime verification, 122-135, 2010 | 387 | 2010 |
| Rigorous component-based system design using the BIP framework A Basu, B Bensalem, M Bozga, J Combaz, M Jaber, TH Nguyen, J Sifakis IEEE software 28 (3), 41-48, 2011 | 284 | 2011 |
| An overview of SAL S Bensalem, V Ganesh, Y Lakhnech, C Munoz, S Owre, H Rueß, ... Proceedings of the 5th NASA Langley Formal Methods Workshop, 2000 | 235 | 2000 |
| Computing abstractions of infinite state systems compositionally and automatically S Bensalem, Y Lakhnech, S Owre International Conference on Computer Aided Verification, 319-331, 1998 | 208 | 1998 |
| Powerful techniques for the automatic generation of invariants S Bensalem, Y Lakhnech, H Saidi International Conference on Computer Aided Verification, 323-335, 1996 | 164 | 1996 |
| Property preserving simulations S Bensalem, A Bouajjani, C Loiseaux, J Sifakis International Conference on Computer Aided Verification, 260-273, 1992 | 134 | 1992 |
| D-finder: A tool for compositional deadlock detection and verification S Bensalem, M Bozga, TH Nguyen, J Sifakis International Conference on Computer Aided Verification, 614-619, 2009 | 130 | 2009 |
| Incremental verification by abstraction Y Lakhnech, S Bensalem, S Berezin, S Owre International Conference on Tools and Algorithms for the Construction and …, 2001 | 117 | 2001 |
| Dynamic deadlock analysis of multi-threaded programs S Bensalem, K Havelund Haifa Verification Conference, 208-223, 2005 | 110* | 2005 |
| Compositional verification for component-based systems and application S Bensalem, M Bozga, J Sifakis, TH Nguyen International Symposium on Automated Technology for Verification and …, 2008 | 109 | 2008 |
| InVeSt: A tool for the verification of invariants S Bensalem, Y Lakhnech, S Owre International Conference on Computer Aided Verification, 505-510, 1998 | 82 | 1998 |
| Automatic generation of invariants S Bensalem, Y Lakhnech Formal Methods in System Design 15 (1), 75-92, 1999 | 75 | 1999 |
| Statistical abstraction and model-checking of large heterogeneous systems A Basu, S Bensalem, M Bozga, B Caillaud, B Delahaye, A Legay Formal Techniques for Distributed Systems, 32-46, 2010 | 74 | 2010 |
| Incremental Component-Based Construction and Verification of a Robotic System. A Basu, M Gallien, C Lesire, TH Nguyen, S Bensalem, F Ingrand, J Sifakis ECAI 178, 631-635, 2008 | 69 | 2008 |
| Compositional verification for component-based systems and application S Bensalem, M Bozga, TH Nguyen, J Sifakis IET software 4 (3), 181-193, 2010 | 65 | 2010 |
| Verification of infinite-state systems by combining abstraction and reachability analysis PA Abdulla, A Annichini, S Bensalem, A Bouajjani, P Habermehl, ... International Conference on Computer Aided Verification, 146-159, 1999 | 65 | 1999 |
| Designing autonomous robots S Bensalem, M Gallien, F Ingrand, I Kahloul, N Thanh-Hung IEEE Robotics & Automation Magazine 16 (1), 67-77, 2009 | 64 | 2009 |
| Abstracting WS1S systems to verify parameterized networks K Baukus, S Bensalem, Y Lakhnech, K Stahl International Conference on Tools and Algorithms for the Construction and …, 2000 | 64 | 2000 |
| Testing conformance of real-time applications by automatic generation of observers S Bensalem, M Bozga, M Krichen, S Tripakis Electronic Notes in Theoretical Computer Science 113, 23-43, 2005 | 63 | 2005 |
Joseph SifakisReseracher at Verimag laboratory, GrenobleVerified email at imag.fr
