עקוב אחר
Saddek Bensalem
Saddek Bensalem
Université Grenoble Alpes, VERIMAG
כתובת אימייל מאומתת בדומיין univ-grenoble-alpes.fr
כותרת
צוטט על ידי
צוטט על ידי
שנה
Statistical model checking: An overview‏
A Legay, B Delahaye, S Bensalem‏
International conference on runtime verification, 122-135, 2010‏
6152010
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‏
5621995
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‏
3822011
An overview of SAL‏
S Bensalem, V Ganesh, Y Lakhnech, C Munoz, S Owre, H Rueß, ...‏
NASA CONFERENCE PUBLICATION, 187-195, 2000‏
2592000
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‏
2271998
Compositional verification for component-based systems and application‏
S Bensalem, M Bozga, TH Nguyen, J Sifakis‏
IET software 4 (3), 181-193, 2010‏
2002010
Powerful techniques for the automatic generation of invariants‏
S Bensalem, Y Lakhnech, H Saidi‏
Computer Aided Verification: 8th International Conference, CAV'96 New …, 1996‏
1701996
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‏
1441993
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‏
1222012
Incremental verification by abstraction‏
Y Lakhnech, S Bensalem, S Berezin, S Owre‏
International Conference on Tools and Algorithms for the Construction and …, 2001‏
1212001
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‏
1182010
Dynamic deadlock analysis of multi-threaded programs‏
S Bensalem, K Havelund‏
Haifa Verification Conference, 208-223, 2005‏
1152005
InVeSt: A tool for the verification of invariants‏
S Bensalem, Y Lakhnech, S Owre‏
Computer Aided Verification: 10th International Conference, CAV'98 Vancouver …, 1998‏
891998
Designing autonomous robots‏
S Bensalem, M Gallien, F Ingrand, I Kahloul, N Thanh-Hung‏
IEEE Robotics & Automation Magazine 16 (1), 67-77, 2009‏
862009
Automatic generation of invariants‏
S Bensalem, Y Lakhnech‏
Formal Methods in System Design 15, 75-92, 1999‏
841999
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‏
782011
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‏
782011
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‏
722008
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‏
702000
המערכת אינה יכולה לבצע את הפעולה כעת. נסה שוב מאוחר יותר.
מאמרים 1–20