Axel Legay

2009
20	EE	Ahmed Bouajjani, Axel Legay, Pierre Wolper: A Framework to Handle Linear Temporal Properties in (\omega-)Regular Model Checking CoRR abs/0901.4080: (2009)
19	EE	Krishnendu Chatterjee, Luca de Alfaro, Marco Faella, Axel Legay: Qualitative Logics and Equivalences for Probabilistic Systems CoRR abs/0903.2445: (2009)
2008
18	EE	Axel Legay: T(O)RMC: A Tool for (omega)-Regular Model Checking. CAV 2008: 548-551
17	EE	François Cantin, Axel Legay, Pierre Wolper: Computing Convex Hulls by Automata Iteration. CIAA 2008: 112-121
16	EE	Edmund M. Clarke, James R. Faeder, Christopher James Langmead, Leonard A. Harris, Sumit Kumar Jha, Axel Legay: Statistical Model Checking in BioLab: Applications to the Automated Analysis of T-Cell Receptor Signaling Pathway. CMSB 2008: 231-250
15	EE	Edmund M. Clarke, Alexandre Donzé, Axel Legay: Statistical Model Checking of Mixed-Analog Circuits with an Application to a Third Order Delta-Sigma Modulator. Haifa Verification Conference 2008: 149-163
14	EE	Benjamin Aminof, Axel Legay, Aniello Murano, Olivier Serre: µ-calculus Pushdown Module Checking with Imperfect State Information. IFIP TCS 2008: 333-348
13	EE	Axel Legay, Andrzej S. Murawski, Joël Ouaknine, James Worrell: On Automated Verification of Probabilistic Programs. TACAS 2008: 173-187
12	EE	Axel Legay, Pierre Wolper: On (Omega-)Regular Model Checking CoRR abs/0809.2214: (2008)
11	EE	Marco Faella, Axel Legay, Mariëlle Stoelinga: Model Checking Quantitative Linear Time Logic. Electr. Notes Theor. Comput. Sci. 220(3): 61-77 (2008)
2007
10	EE	Luca de Alfaro, Krishnendu Chatterjee, Marco Faella, Axel Legay: Qualitative Logics and Equivalences for Probabilistic Systems. QEST 2007: 237-248
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

Coauthor Index

1	Parosh Aziz Abdulla	[4] [6]
2	B. Thomas Adler	[9]
3	Luca de Alfaro	[5] [8] [9] [10] [19]
4	Benjamin Aminof	[14]
5	Bernard Boigelot	[1] [2]
6	Ahmed Bouajjani	[3] [20]
7	François Cantin	[17]
8	Krishnendu Chatterjee	[10] [19]
9	Edmund M. Clarke	[15] [16]
10	Alexandre Donzé	[15]
11	James R. Faeder	[16]
12	Marco Faella	[5] [8] [9] [10] [11] [19]
13	Leonard A. Harris	[16]
14	Sumit Kumar Jha	[16]
15	Christopher James Langmead	[16]
16	Aniello Murano	[14]
17	Andrzej S. Murawski	[13]
18	Joël Ouaknine	[13]
19	Vishwanath Raman	[9]
20	Ahmed Rezine	[4] [6]
21	Pritam Roy	[5] [9]
22	Olivier Serre	[14]
23	Leandro Dias da Silva	[5] [9]
24	Maria Sorea	[5]
25	Mariëlle Stoelinga	[11]
26	Pierre Wolper	[1] [2] [3] [7] [12] [17] [20]
27	James Worrell	[13]
28	Julien d'Orso	[4] [6]