CFV Publications of Axel Legay
Download this author's CFV publication list:
[BibTeX]
2006
-
An Introduction to the Tool TICC
Legay, A, de Alfaro L, Faella M
[BibTeX]
-
On the Use of Automata-based Techniques in Symbolic Model Checking: Invited Address
Legay, A, Wolper P
[BibTeX]
-
Ticc: A Tool for Interface Compatibility and Composition
Adler, TB, de Alfaro L, da Silva LD, Faella M, Legay A, Raman V, Roy P
[BibTeX]
-
Tree regular model checking: A simulation-based approach
Aziz Abdulla, P, Legay A, d'Orso J, Rezine A
[BibTeX]
-
Tree regular model checking: A simulation-based approach
Aziz Abdulla, P, Legay A, d'Orso J, Rezine A
[BibTeX]
2005
-
Handling Liveness Properties in (Omega-)Regular Model Checking
Bouajjani, A, Legay A, Wolper P
[BibTeX]
-
Simulation-Based Iteration of Tree Transducers
Aziz Abdulla, P, Legay A, d'Orso J, Rezine A
[BibTeX]
-
Sociable Interfaces
de Alfaro, L, da Silva LD, Faella M, Legay A, Roy P, Sorea M
[BibTeX]
-
Some Models and Tools for Open Systems
Legay, A, Faella M
[BibTeX]