| 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 | 537 | 1995 |
| Statistical model checking: An overview A Legay, B Delahaye, S Bensalem International conference on runtime verification, 122-135, 2010 | 528 | 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 | 353 | 2011 |
| An overview of SAL S Bensalem, V Ganesh, Y Lakhnech, C Munoz, S Owre, H Rueß, ... Lfm2000: Fifth NASA Langley Formal Methods Workshop, 2000 | 251 | 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 | 225 | 1998 |
| Powerful techniques for the automatic generation of invariants S Bensalem, Y Lakhnech, H Saidi International Conference on Computer Aided Verification, 323-335, 1996 | 166 | 1996 |
| Dynamic deadlock analysis of multi-threaded programs S Bensalem, K Havelund Haifa Verification Conference, 208-223, 2005 | 155* | 2005 |
| 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 | 145 | 2009 |
| Property preserving simulations S Bensalem, A Bouajjani, C Loiseaux, J Sifakis International Conference on Computer Aided Verification, 260-273, 1992 | 139 | 1992 |
| 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 | 134 | 2008 |
| Incremental verification by abstraction Y Lakhnech, S Bensalem, S Berezin, S Owre International Conference on Tools and Algorithms for the Construction and …, 2001 | 118 | 2001 |
| InVeSt: A tool for the verification of invariants S Bensalem, Y Lakhnech, S Owre International Conference on Computer Aided Verification, 505-510, 1998 | 88 | 1998 |
| Automatic generation of invariants S Bensalem, Y Lakhnech Formal Methods in System Design 15 (1), 75-92, 1999 | 85 | 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 | 84 | 2010 |
| Designing autonomous robots S Bensalem, M Gallien, F Ingrand, I Kahloul, N Thanh-Hung IEEE Robotics & Automation Magazine 16 (1), 67-77, 2009 | 75 | 2009 |
| Incremental component-based construction and verification using invariants S Bensalem, M Bozga, A Legay, TH Nguyen, J Sifakis, R Yan Formal Methods in Computer Aided Design, 257-256, 2010 | 73 | 2010 |
| Compositional verification for component-based systems and application S Bensalem, M Bozga, TH Nguyen, J Sifakis IET software 4 (3), 181-193, 2010 | 70 | 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 2008, 631-635, 2008 | 70 | 2008 |
| Runtime verification of component-based systems Y Falcone, M Jaber, TH Nguyen, M Bozga, S Bensalem International Conference on Software Engineering and Formal Methods, 204-220, 2011 | 69 | 2011 |
| 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 | 68 | 2000 |
axel legayUCLouvainVerified email at uclouvain.be
