Travelled to:1 × Italy
2 × United Kingdom
Collaborated with:F.Kordon E.Renault A.Duret-Lutz Y.Thierry-Mieg A.Hamez
Talks about:model (3) check (2) büchi (2) decomposit (1) automaton (1) strength (1) properti (1) parallel (1) hierarch (1) explicit (1)
Person: Denis Poitrenaud
DBLP: Poitrenaud:Denis
Contributed to:
201520132009Wrote 3 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.
- TACAS-2009-Thierry-MiegPHK #diagrams #modelling #set
- Hierarchical Set Decision Diagrams and Regular Models (YTM, DP, AH, FK), pp. 1–15.