Saddek Bensalem
Saddek Bensalem
UniversitÚ Grenoble Alpes, VERIMAG
Verified email at univ-grenoble-alpes.fr
TitleCited byYear
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
5041995
Statistical model checking: An overview
A Legay, B Delahaye, S Bensalem
International conference on runtime verification, 122-135, 2010
3572010
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
2662011
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
2322000
Computing abstractions of infinite state systems compositionally and automatically
S Bensalem, Y Lakhnech, S Owre
International Conference on Computer Aided Verification, 319-331, 1998
2071998
Powerful techniques for the automatic generation of invariants
S Bensalem, Y Lakhnech, H Saidi
International Conference on Computer Aided Verification, 323-335, 1996
1641996
Property preserving simulations
S Bensalem, A Bouajjani, C Loiseaux, J Sifakis
International Conference on Computer Aided Verification, 260-273, 1992
1331992
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
1282009
Incremental verification by abstraction
Y Lakhnech, S Bensalem, S Berezin, S Owre
International Conference on Tools and Algorithms for the Construction andá…, 2001
1152001
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
1092008
Dynamic deadlock analysis of multi-threaded programs
S Bensalem, K Havelund
Haifa Verification Conference, 208-223, 2005
107*2005
InVeSt: A tool for the verification of invariants
S Bensalem, Y Lakhnech, S Owre
International Conference on Computer Aided Verification, 505-510, 1998
811998
Automatic generation of invariants
S Bensalem, Y Lakhnech
Formal Methods in System Design 15 (1), 75-92, 1999
751999
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
722010
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
662008
Compositional verification for component-based systems and application
S Bensalem, M Bozga, TH Nguyen, J Sifakis
IET software 4 (3), 181-193, 2010
652010
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
651999
Designing autonomous robots
S Bensalem, M Gallien, F Ingrand, I Kahloul, N Thanh-Hung
IEEE Robotics & Automation Magazine 16 (1), 67-77, 2009
642009
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
622005
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
622000
The system can't perform the operation now. Try again later.
Articles 1–20