| Statistical model checking: An overview A Legay, B Delahaye, S Bensalem International conference on runtime verification, 122-135, 2010 | 630 | 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 | 565 | 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 | 391 | 2011 |
| An overview of SAL S Bensalem, V Ganesh, Y Lakhnech, C Munoz, S Owre, H Rueß, ... NASA CONFERENCE PUBLICATION, 187-195, 2000 | 260 | 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 | 228 | 1998 |
| Compositional verification for component-based systems and application S Bensalem, M Bozga, TH Nguyen, J Sifakis IET software 4 (3), 181-193, 2010 | 203 | 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 | 172 | 1996 |
| 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 | 144 | 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 | 123 | 2012 |
| Incremental verification by abstraction Y Lakhnech, S Bensalem, S Berezin, S Owre International Conference on Tools and Algorithms for the Construction and …, 2001 | 122 | 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 | 119 | 2010 |
| Dynamic deadlock analysis of multi-threaded programs S Bensalem, K Havelund Haifa Verification Conference, 208-223, 2005 | 115 | 2005 |
| A survey of safety and trustworthiness of large language models through the lens of verification and validation X Huang, W Ruan, W Huang, G Jin, Y Dong, C Wu, S Bensalem, R Mu, ... Artificial Intelligence Review 57 (7), 175, 2024 | 94 | 2024 |
| InVeSt: A tool for the verification of invariants S Bensalem, Y Lakhnech, S Owre Computer Aided Verification: 10th International Conference, CAV'98 Vancouver …, 1998 | 89 | 1998 |
| Designing autonomous robots S Bensalem, M Gallien, F Ingrand, I Kahloul, N Thanh-Hung IEEE Robotics & Automation Magazine 16 (1), 67-77, 2009 | 88 | 2009 |
| Automatic generation of invariants S Bensalem, Y Lakhnech Formal Methods in System Design 15, 75-92, 1999 | 86 | 1999 |
| 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 | 78 | 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 | 78 | 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 | 73 | 2008 |
axel legayUCLouvain在 uclouvain.be 的电子邮件经过验证