Ala-Eddine Ben Salem
According to our database1,
Ala-Eddine Ben Salem
authored at least 6 papers
between 2012 and 2015.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2015
Proceedings of the Language and Automata Theory and Applications, 2015
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2015
Combining Explicit and Symbolic LTL Model Checking Using Generalized Testing Automata.
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).
PhD thesis, 2014
Symbolic Model Checking of Stutter-Invariant Properties Using Generalized Testing Automata.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014
2012
Trans. Petri Nets Other Model. Concurr., 2012