S. Bensalem
发表
S. Tripakis,
S. Bensalem,
M. Krichen,
2008,
2008 9th International Workshop on Discrete Event Systems.
Klaus Havelund,
Andrea Orlandini,
Saddek Bensalem,
2013
.
S. Bensalem,
S. Khoussi,
A. Heckert,
2022
.
M. Bozga,
S. Bensalem,
B. Mediouni,
2021
.
Axel Legay,
Marius Bozga,
Saddek Bensalem,
2018,
ATVA.
M. Bozga,
S. Bensalem,
A. Molnos,
2014
.
Axel Legay,
Samarjit Chakraborty,
Deepak Gangadharan,
2012
.
M. Bozga,
S. Bensalem,
N. Said,
2015
.
S. Bensalem,
Paul CaspiC,
ecile Dumas,
2007
.
F. Ingrand,
S. Bensalem,
M. Foughali,
2020,
2020 18th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE).
Doron A. Peled,
Stavros Tripakis,
Hongyang Qu,
2004,
ISoLA.
Jiangchuan Liu,
Axel Legay,
M. Bozga,
2014
.
S. Bensalem,
Chih-Hong Cheng,
Changshun Wu,
2022,
ATVA.
B. Caillaud,
Axel Legay,
Benoît Delahaye,
2010,
FMOODS/FORTE.
Yliès Falcone,
S. Bensalem,
H. Nazarpour,
2016
.
K. Stahl,
S. Bensalem,
K. Baukus,
2000
.
V. Prevosto,
S. Bensalem,
S. Oliveira,
2017
.
Yassine Lakhnech,
Saddek Bensalem,
Sam Owre,
1998,
CAV.
Andrea Orlandini,
K. Havelund,
S. Bensalem,
2014,
International Journal on Software Tools for Technology Transfer.
P. Katsaros,
L. Angelis,
S. Bensalem,
2018,
Innovations in Systems and Software Engineering.
G. Giannopoulou,
N. Stoimenov,
M. Bozga,
2018,
Design Automation for Embedded Systems.
Bernhard Schätz,
Roberto Passerone,
Alberto Sangiovanni-Vincentelli,
2017
.
Grigore Rosu,
Saddek Bensalem,
S. Bensalem,
2006,
CAV.
Abdella Battou,
Saddek Bensalem,
Alan Heckert,
2021
.
Marius Bozga,
Saddek Bensalem,
Jacques Combaz,
2019,
Leibniz Trans. Embed. Syst..
Generation and verification of learned stochastic automata using k-NN and statistical model checking
M. Bozga,
S. Bensalem,
S. Ouchani,
2021,
Applied Intelligence.
Axel Legay,
Benoît Delahaye,
Saddek Bensalem,
2010,
RV.
Joseph Sifakis,
Axel Legay,
Thanh-Hung Nguyen,
2014,
Software & Systems Modeling.
Yassine Lakhnech,
Saddek Bensalem,
Susanne Graf,
2003,
Verification: Theory and Practice.
Axel Legay,
Benoît Delahaye,
Marius Bozga,
2010,
International Journal on Software Tools for Technology Transfer.
Lavindra de Silva,
Simone Fratini,
Riccardo Rasconi,
2011
.
Mustafa A. Mustafa,
Wei Huang,
Xiaowei Huang,
2023,
ArXiv.
D. Ničković,
D. Peled,
P. Katsaros,
2022,
NSV/FoMLAS@CAV.
Hassen Saïdi,
Yassine Lakhnech,
Saddek Bensalem,
1996,
CAV.
Parosh Aziz Abdulla,
Ahmed Bouajjani,
Yassine Lakhnech,
1999,
CAV.
Axel Legay,
Benoît Boyer,
Marius Bozga,
2013,
2013 13th International Conference on Application of Concurrency to System Design.
Thanh-Hung Nguyen,
Yliès Falcone,
Marius Bozga,
2011,
SEFM.
Axel Legay,
Doron A. Peled,
Thanh-Hung Nguyen,
2011,
Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMPCODE2011).
César Muñoz,
Yassine Lakhnech,
John Rushby,
2000
.
Yassine Lakhnech,
Saddek Bensalem,
Sam Owre,
1998,
CAV.
Saddek Bensalem,
Salim Chehida,
Abdelhakim Baouya,
2020,
2020 9th Mediterranean Conference on Embedded Computing (MECO).
Joseph Sifakis,
Ahmed Bouajjani,
Claire Loiseaux,
1995,
Formal Methods Syst. Des..
Joseph Sifakis,
Axel Legay,
Thanh-Hung Nguyen,
2010,
2010 4th IEEE International Symposium on Theoretical Aspects of Software Engineering.
Yassine Lakhnech,
Saddek Bensalem,
Y. Lakhnech,
1999,
Formal Methods Syst. Des..
J. Sifakis,
Axel Legay,
M. Bozga,
2016,
Software & Systems Modeling.
Lacramioara Astefanoaei,
Marius Bozga,
Saddek Bensalem,
2014,
TACAS.
Jan Kofron,
Francesco Tiezzi,
Rosario Pugliese,
2015,
The ASCENS Approach.
Saddek Bensalem,
S. Bensalem,
2014,
VECoS.
Thanh-Hung Nguyen,
Matthieu Gallien,
Saddek Bensalem,
2009,
IEEE Robotics & Automation Magazine.
Joseph Sifakis,
Fadi A. Zaraket,
Paul C. Attie,
2018,
ACM Trans. Softw. Eng. Methodol..
Joseph Sifakis,
Fadi A. Zaraket,
Paul C. Attie,
2013,
FMOODS/FORTE.
Joseph Sifakis,
Axel Legay,
Thanh-Hung Nguyen,
2011,
NASA Formal Methods.
Alberto L. Sangiovanni-Vincentelli,
Bernhard Schätz,
Roberto Passerone,
2015,
WESE.
Karsten Stahl,
Yassine Lakhnech,
Saddek Bensalem,
2000,
TACAS.
Alois Knoll,
Chih-Hong Cheng,
Yu-Fang Chen,
2011,
ATVA.
Alois Knoll,
Chih-Hong Cheng,
Harald Ruess,
2011,
NASA Formal Methods.
Saddek Bensalem,
Ylies Falcone,
Changshun Wu,
2021,
RV.
S. Owre,
S. Berezin,
Y. Lakhnech,
2001,
TACAS.
Joseph Sifakis,
Thanh-Hung Nguyen,
Marius Bozga,
2011,
IEEE Software.
Thanh-Hung Nguyen,
Yliès Falcone,
Marius Bozga,
2015,
Software & Systems Modeling.
Joseph Sifakis,
Thanh-Hung Nguyen,
Marius Bozga,
2009,
CAV.
Lavindra de Silva,
Saddek Bensalem,
Félix Ingrand,
2012,
Robotics Auton. Syst..
Axel Legay,
Lavindra de Silva,
Saddek Bensalem,
2011,
SC@TOOLS.
Joseph Sifakis,
Thanh-Hung Nguyen,
Charles Lesire,
2008,
ECAI.
Thanh-Hung Nguyen,
Matthieu Gallien,
Saddek Bensalem,
2008
.
Marius Bozga,
Saddek Bensalem,
Salim Chehida,
2021,
Software Quality Journal.
Saddek Bensalem,
Salim Chehida,
Abdelhakim Baouya,
2020,
QUATIC.
Klaus Havelund,
Saddek Bensalem,
Laurent Mounier,
2006,
PADTAD '06.
Yliès Falcone,
Marius Bozga,
Saddek Bensalem,
2016,
Formal Aspects of Computing.
Axel Legay,
Doron A. Peled,
Saddek Bensalem,
2013,
2013 Eleventh ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2013).
Doron A. Peled,
Marius Bozga,
Saddek Bensalem,
2012,
Haifa Verification Conference.
Doron A. Peled,
Marius Bozga,
Sophie Quinton,
2010,
ATVA.
Joseph Sifakis,
Doron A. Peled,
Ananda Basu,
2009,
Formal Methods Syst. Des..
Joseph Sifakis,
Simon Bliudze,
Marius Bozga,
2015,
Software, Services, and Systems.
J. Sifakis,
D. Peled,
S. Bensalem,
2010
.
Joseph Sifakis,
Doron A. Peled,
Saddek Bensalem,
2010,
Essays in Memory of Amir Pnueli.
Mustafa A. Mustafa,
Xiaowei Huang,
S. Bensalem,
2023,
Artif. Intell. Rev..
Lavindra de Silva,
Saddek Bensalem,
Félix Ingrand,
2011,
ArXiv.
Natarajan Shankar,
Chih-Hong Cheng,
Harald Ruess,
2013,
ArXiv.
Marius Bozga,
Saddek Bensalem,
Peter Poplavko,
2015,
2015 IEEE 18th International Symposium on Real-Time Distributed Computing.
Marius Bozga,
Saddek Bensalem,
Takoua Abdellatif,
2016,
ISoLA.
Marius Bozga,
Saddek Bensalem,
Takoua Abdellatif,
2015,
FACS.
Marius Bozga,
Saddek Bensalem,
Takoua Abdellatif,
2014,
FPS@ETAPS.
Marius Bozga,
Saddek Bensalem,
Takoua Abdellatif,
2014
.
Xiaowei Huang,
S. Bensalem,
Chih-Hong Cheng,
2023,
ArXiv.
Joseph Sifakis,
Marius Bozga,
Saddek Bensalem,
2015,
Sci. Comput. Program..
Joseph Sifakis,
Marius Bozga,
Saddek Bensalem,
2012,
AGERE! 2012.
Mohamed Faouzi Atig,
Simon Bliudze,
Bruno Monsuez,
2018,
Lecture Notes in Computer Science.
Doron A. Peled,
Borzoo Bonakdarpour,
Marius Bozga,
2013,
Haifa Verification Conference.
M. Bozga,
S. Bensalem,
P. Poplavko,
2019,
Real-Time Systems.
Axel Legay,
Anca Mariana Molnos,
Marius Bozga,
2016,
ACM Trans. Embed. Comput. Syst..
P. Caspi,
S. Bensalem,
C. Parent-Vigouroux,
1999,
Dependable Computing for Critical Applications 7.
Virgile Prevosto,
Saddek Bensalem,
Steven de Oliveira,
2016,
ATVA.
Klaus Havelund,
Saddek Bensalem,
K. Havelund,
2005,
Haifa Verification Conference.
Karsten Stahl,
Yassine Lakhnech,
Saddek Bensalem,
2001,
VEPAS.
Joseph Sifakis,
Ahmed Bouajjani,
Claire Loiseaux,
1992,
CAV.
S. Owre,
S. Berezin,
Y. Lakhnech,
2022
.
Lothar Thiele,
Benoît Dupont de Dinechin,
Sylvain Girbal,
2018,
Des. Autom. Embed. Syst..
Marius Bozga,
Saddek Bensalem,
Peter Poplavko,
2015,
2015 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops.
Marius Bozga,
Saddek Bensalem,
Peter Poplavko,
2013
.
Axel Legay,
M. Bozga,
S. Bensalem,
2013,
International Journal on Software Tools for Technology Transfer.
Axel Legay,
Marius Bozga,
Saddek Bensalem,
2018,
Int. J. Crit. Comput. Based Syst..
Axel Legay,
Marius Bozga,
Saddek Bensalem,
2016,
VECoS.
Axel Legay,
Anca Mariana Molnos,
Marius Bozga,
2014,
2014 Twelfth ACM/IEEE Conference on Formal Methods and Models for Codesign (MEMOCODE).
Axel Legay,
Samarjit Chakraborty,
Deepak Gangadharan,
2013,
2013 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS).
Cyrille Jégourel,
Axel Legay,
Benoît Delahaye,
2012,
International Journal on Software Tools for Technology Transfer.
Axel Legay,
Benoît Delahaye,
Marius Bozga,
2010,
RV.
Stavros Tripakis,
Moez Krichen,
Saddek Bensalem,
2007
.
Axel Legay,
Marius Bozga,
Saddek Bensalem,
2014,
RV.
Yliès Falcone,
Marius Bozga,
Saddek Bensalem,
2017,
FACS.
Luca Benini,
Yusuf Leblebici,
Giovanni De Micheli,
2011,
FMCO.
Lefteris Angelis,
Panagiotis Katsaros,
Saddek Bensalem,
2018,
Innovations in Systems and Software Engineering.
Marius Bozga,
Saddek Bensalem,
Jacques Combaz,
2016,
FM.
S. Bensalem,
Weicheng He,
Changshun Wu,
2024,
ArXiv.
Joseph Sifakis,
Axel Legay,
Thanh-Hung Nguyen,
2010,
Formal Methods in Computer Aided Design.