| 2008 |
|---|
| 10 | EE | Axel Legay,
Andrzej S. Murawski,
Joël Ouaknine,
James Worrell:
On Automated Verification of Probabilistic Programs.
TACAS 2008: 173-187 |
| 2006 |
|---|
| 9 | EE | B. Thomas Adler,
Luca de Alfaro,
Leandro Dias da Silva,
Marco Faella,
Axel Legay,
Vishwanath Raman,
Pritam Roy:
Ticc: A Tool for Interface Compatibility and Composition.
CAV 2006: 59-62 |
| 8 | EE | Axel Legay,
Luca de Alfaro,
Marco Faella:
An Introduction to the Tool Ticc.
Trustworthy Software 2006 |
| 7 | EE | Axel Legay,
Pierre Wolper:
On the Use of Automata-based Techniques in Symbolic Model Checking: Invited Address.
Electr. Notes Theor. Comput. Sci. 150(1): 3-8 (2006) |
| 6 | EE | Parosh Aziz Abdulla,
Axel Legay,
Julien d'Orso,
Ahmed Rezine:
Tree regular model checking: A simulation-based approach.
J. Log. Algebr. Program. 69(1-2): 93-121 (2006) |
| 2005 |
|---|
| 5 | EE | Luca de Alfaro,
Leandro Dias da Silva,
Marco Faella,
Axel Legay,
Pritam Roy,
Maria Sorea:
Sociable Interfaces.
FroCos 2005: 81-105 |
| 4 | EE | Parosh Aziz Abdulla,
Axel Legay,
Julien d'Orso,
Ahmed Rezine:
Simulation-Based Iteration of Tree Transducers.
TACAS 2005: 30-44 |
| 3 | EE | Ahmed Bouajjani,
Axel Legay,
Pierre Wolper:
Handling Liveness Properties in (omega-)Regular Model Checking.
Electr. Notes Theor. Comput. Sci. 138(3): 101-115 (2005) |
| 2004 |
|---|
| 2 | EE | Bernard Boigelot,
Axel Legay,
Pierre Wolper:
Omega-Regular Model Checking.
TACAS 2004: 561-575 |
| 2003 |
|---|
| 1 | EE | Bernard Boigelot,
Axel Legay,
Pierre Wolper:
Iterating Transducers in the Large (Extended Abstract).
CAV 2003: 223-235 |
