Ala-Eddine Ben Salem

According to our database, Ala-Eddine Ben Salem authored at least 6 papers between 2012 and 2015.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2015

Single-Pass Testing Automata for LTL Model Checking.

Ala-Eddine Ben Salem

Proceedings of the Language and Automata Theory and Applications, 2015

Extending Testing Automata to All LTL.

Ala-Eddine Ben Salem

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2015

Combining Explicit and Symbolic LTL Model Checking Using Generalized Testing Automata.

Ala-Eddine Ben Salem, Mohamed Graiet

Proceedings of the 15th International Conference on Application of Concurrency to System Design, 2015

2014

Improving the model checking of stutter-invariant LTL properties. (Amélioration du model checking des propriétés LTL insensibles au bégaiement).

Ala-Eddine Ben Salem

PhD thesis, 2014

Symbolic Model Checking of Stutter-Invariant Properties Using Generalized Testing Automata.

Ala-Eddine Ben Salem, Alexandre Duret-Lutz, Fabrice Kordon, Yann Thierry-Mieg

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014

2012

Model Checking Using Generalized Testing Automata.

Ala-Eddine Ben Salem, Alexandre Duret-Lutz, Fabrice Kordon

Trans. Petri Nets Other Model. Concurr., 2012