BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Duret-Lutz:Alexandre

Contributed to:

CAV 20152015
TACAS 20152015
CIAA 20142014
TACAS 20142014
CIAA 20132013
TACAS 20132013
Ada-Europe 20012001
ICPR v4 20002000

Wrote 8 papers:

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.