Follow
Saddek Bensalem
Saddek Bensalem
Université Grenoble Alpes, VERIMAG
Verified email at univ-grenoble-alpes.fr
Title
Cited by
Cited by
Year
Statistical Model Checking: An Overview.
A Legay, B Delahaye, S Bensalem
RV 10, 122-135, 2010
5582010
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
5531995
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
3572011
An overview of SAL
S Bensalem, V Ganesh, Y Lakhnech, C Munoz, S Owre, H Rueß, ...
Lfm2000: Fifth NASA Langley Formal Methods Workshop, 2000
2492000
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
2251998
Compositional verification for component-based systems and application
S Bensalem, M Bozga, TH Nguyen, J Sifakis
IET software 4 (3), 181-193, 2010
1962010
Powerful techniques for the automatic generation of invariants
S Bensalem, Y Lakhnech, H Saidi
Computer Aided Verification: 8th International Conference, CAV'96 New …, 1996
1661996
Dynamic deadlock analysis of multi-threaded programs
S Bensalem, K Havelund
Hardware and Software, Verification and Testing: First International Haifa …, 2006
158*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
1462009
Property preserving simulations
S Bensalem, A Bouajjani, C Loiseaux, J Sifakis
Computer Aided Verification: Fourth International Workshop, CAV'92 Montreal …, 1993
1411993
Incremental verification by abstraction
Y Lakhnech, S Bensalem, S Berezin, S Owre
ETAPS, 98-112, 2001
1172001
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
1162012
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
972010
InVeSt: A tool for the verification of invariants
S Bensalem, Y Lakhnech, S Owre
Computer Aided Verification: 10th International Conference, CAV'98 Vancouver …, 1998
901998
Automatic generation of invariants
S Bensalem, Y Lakhnech
Formal Methods in System Design 15, 75-92, 1999
851999
Designing autonomous robots
S Bensalem, M Gallien, F Ingrand, I Kahloul, N Thanh-Hung
IEEE Robotics & Automation Magazine 16 (1), 67-77, 2009
762009
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
722011
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
702011
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
702008
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
702000
The system can't perform the operation now. Try again later.
Articles 1–20