Travelled to:2 × France
Collaborated with:∅ A.Duret-Lutz F.Kordon Y.Thierry-Mieg
Talks about:automata (2) model (2) check (2) test (2) properti (1) stutter (1) general (1) symbol (1) invari (1) singl (1)
Person: Ala-Eddine Ben Salem
DBLP: Salem:Ala=Eddine_Ben
Contributed to:
2015
2014Wrote 2 papers:
- LATA-2015-Salem #automaton #ltl #model checking #testing
- Single-Pass Testing Automata for LTL Model Checking (AEBS), pp. 563–576.
- TACAS-2014-SalemDKT #automaton #invariant #model checking #testing #using
- Symbolic Model Checking of Stutter-Invariant Properties Using Generalized Testing Automata (AEBS, ADL, FK, YTM), pp. 440–454.