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
AEB Salem, A Duret-Lutz, F Kordon
Transactions on Petri Nets and Other Models of Concurrency VI, 94-122, 2012
92012
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
International Conference on Formal Techniques for Distributed Objects …, 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