Travelled to:1 × Italy
1 × United Kingdom
Collaborated with:A.Duret-Lutz F.Kordon D.Poitrenaud
Talks about:model (2) check (2) büchi (2) decomposit (1) automaton (1) strength (1) properti (1) parallel (1) explicit (1) automata (1)
Person: Etienne Renault
DBLP: Renault:Etienne
Contributed to:
20152013Wrote 2 papers:
- TACAS-2015-RenaultDKP #automaton #model checking #parallel
- Parallel Explicit Model Checking for Generalized Büchi Automata (ER, ADL, FK, DP), pp. 613–627.
- TACAS-2013-RenaultDKP #automaton #composition #model checking #performance
- Strength-Based Decomposition of the Property Büchi Automaton for Faster Model Checking (ER, ADL, FK, DP), pp. 580–593.