Ala-Eddine Ben Salem

Publication Activity (10 Years)

Years Active: 2012-2015
Publications (10 Years): 0

Top Topics

Formal Verification

Linear Time Temporal Logic

Top Venues

Trans. Petri Nets Other Model. Concurr.

Pierre and Marie Curie University, Paris, France (PHD)

Education History

Pierre and Marie Curie University, Paris, France

PHD

Publications

Ala-Eddine Ben Salem, Mohamed Graiet
Combining Explicit and Symbolic LTL Model Checking Using Generalized Testing Automata. ACSD (2015)
Ala-Eddine Ben Salem
Single-Pass Testing Automata for LTL Model Checking. LATA (2015)
Ala-Eddine Ben Salem
Extending Testing Automata to All LTL. FORTE (2015)
Ala-Eddine Ben Salem, Alexandre Duret-Lutz, Fabrice Kordon, Yann Thierry-Mieg
Symbolic Model Checking of Stutter-Invariant Properties Using Generalized Testing Automata. TACAS (2014)
Ala-Eddine Ben Salem, Alexandre Duret-Lutz, Fabrice Kordon
Model Checking Using Generalized Testing Automata. Trans. Petri Nets Other Model. Concurr. 6 (2012)