Follow
Ala Eddine BEN SALEM
Ala Eddine BEN SALEM
LRDE/LIP6-UPMC
Verified email at lrde.epita.fr - Homepage
Title
Cited by
Cited by
Year
Symbolic Model Checking of Stutter-invariant Properties Using Generalized Testing Automata
AEB Salem, A Duret-Lutz, F Kordon, Y Thierry-Mieg
Tools and Algorithms for the Construction and Analysis of Systems, LNCS 8413 …, 2014
102014
Model checking using generalized testing automata
AE Ben Salem, A Duret-Lutz, F Kordon
Transactions on Petri Nets and Other Models of Concurrency VI, 94-122, 2012
102012
Generalized Büchi automata versus testing automata for model checking
AEB Salem, A Duret-Lutz, F Kordon
Procedings of the 2nd workshop on Scalable and Usable Model Checking for …, 2011
92011
Combining explicit and symbolic LTL model checking using generalized testing automata
AEB Salem, M Graiet
2015 15th International Conference on Application of Concurrency to System …, 2015
12015
Extending Testing Automata to All LTL
AEB Salem
Formal Techniques for Distributed Objects, Components, and Systems: 35th …, 2015
2015
Single-pass Testing Automata for LTL Model Checking
AE Ben Salem
Language and Automata Theory and Applications, LNCS 8977, 563-576, 2015
2015
Improving the Model Checking of Stutter-Invariant LTL Properties
AE BEN SALEM
LIP6 / LRDE, 2014
2014
The system can't perform the operation now. Try again later.
Articles 1–7