Travelled to:1 × Belgium
1 × Canada
1 × France
1 × Germany
1 × Italy
1 × Spain
1 × USA
1 × United Kingdom
Collaborated with:F.Kordon E.Renault D.Poitrenaud ∅ A.Demaille S.Lombardy J.Sakarovitch T.Géraud Y.Fabre A.B.Salem Y.Thierry-Mieg L.Saiu T.Babiak F.Blahoudek J.Klein J.Kretínský D.Müller D.Parker J.Strejcek
Talks about:automata (4) model (3) check (3) properti (2) general (2) express (2) büchi (2) decomposit (1) vaucanson (1) implement (1)
Person: Alexandre Duret-Lutz
DBLP: Duret-Lutz:Alexandre
Contributed to:
2015
2015
2014201420132013
2001
2000Wrote 8 papers:
- CAV-2015-BabiakBDKKM0S
- The Hanoi Omega-Automata Format (TB, FB, ADL, JK, JK, DM, DP, JS), pp. 479–486.
- TACAS-2015-RenaultDKP #automaton #model checking #parallel
- Parallel Explicit Model Checking for Generalized Büchi Automata (ER, ADL, FK, DP), pp. 613–627.
- CIAA-2014-DemailleDLSS #automaton #type system
- A Type System for Weighted Automata and Rational Expressions (AD, ADL, SL, LS, JS), pp. 162–175.
- 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.
- CIAA-2013-DemailleDLS #concept #implementation
- Implementation Concepts in Vaucanson 2 (AD, ADL, SL, JS), pp. 122–133.
- 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.
- AdaEurope-2001-Duret-Lutz #ada
- Expression Templates in Ada (ADL), pp. 191–202.
- ICPR-v4-2000-GeraudFD #algorithm #image #pattern matching #pattern recognition #recognition
- Obtaining Genericity for Image Processing and Pattern Recognition Algorithms (TG, YF, ADL), pp. 4816–4819.