| Statistical Model Checking: An Overview. A Legay, B Delahaye, S Bensalem RV 10, 122-135, 2010 | 563 | 2010 |
| 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, 11-44, 1995 | 553 | 1995 |
| 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 | 358 | 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 | 249 | 2000 |
| Computing abstractions of infinite state systems compositionally and automatically S Bensalem, Y Lakhnech, S Owre Computer Aided Verification: 10th International Conference, CAV'98 Vancouver …, 1998 | 225 | 1998 |
| Compositional verification for component-based systems and application S Bensalem, M Bozga, TH Nguyen, J Sifakis IET software 4 (3), 181-193, 2010 | 196 | 2010 |
| Powerful techniques for the automatic generation of invariants S Bensalem, Y Lakhnech, H Saidi Computer Aided Verification: 8th International Conference, CAV'96 New …, 1996 | 167 | 1996 |
| Dynamic deadlock analysis of multi-threaded programs S Bensalem, K Havelund Hardware and Software, Verification and Testing: First International Haifa …, 2006 | 159* | 2006 |
| D-finder: A tool for compositional deadlock detection and verification S Bensalem, M Bozga, TH Nguyen, J Sifakis Computer Aided Verification: 21st International Conference, CAV 2009 …, 2009 | 146 | 2009 |
| Property preserving simulations S Bensalem, A Bouajjani, C Loiseaux, J Sifakis Computer Aided Verification: Fourth International Workshop, CAV'92 Montreal …, 1993 | 141 | 1993 |
| Statistical abstraction and model-checking of large heterogeneous systems A Basu, S Bensalem, M Bozga, B Delahaye, A Legay International Journal on Software Tools for Technology Transfer 14, 53-72, 2012 | 118 | 2012 |
| Incremental verification by abstraction Y Lakhnech, S Bensalem, S Berezin, S Owre ETAPS, 98-112, 2001 | 118 | 2001 |
| 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 | 101 | 2010 |
| InVeSt: A tool for the verification of invariants S Bensalem, Y Lakhnech, S Owre Computer Aided Verification: 10th International Conference, CAV'98 Vancouver …, 1998 | 90 | 1998 |
| Automatic generation of invariants S Bensalem, Y Lakhnech Formal Methods in System Design 15, 75-92, 1999 | 85 | 1999 |
| Designing autonomous robots S Bensalem, M Gallien, F Ingrand, I Kahloul, N Thanh-Hung IEEE Robotics & Automation Magazine 16 (1), 67-77, 2009 | 77 | 2009 |
| A goal-oriented autonomous controller for space exploration A Ceballos, S Bensalem, A Cesta, L De Silva, S Fratini, F Ingrand, J Ocon, ... ASTRA 11, 2011 | 72 | 2011 |
| Runtime verification of component-based systems Y Falcone, M Jaber, TH Nguyen, M Bozga, S Bensalem Software Engineering and Formal Methods: 9th International Conference, SEFM …, 2011 | 70 | 2011 |
| 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 |
| Abstracting WS1S systems to verify parameterized networks K Baukus, S Bensalem, Y Lakhnech, K Stahl Tools and Algorithms for the Construction and Analysis of Systems: 6th …, 2000 | 70 | 2000 |
axel legayUCLouvainEmail verificata su uclouvain.be
