Axel Legay Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSumit Kumar Jha, Edmund M. Clarke, Christopher James Langmead, Axel Legay, André Platzer, Paolo Zuliani: A Bayesian Approach to Model Checking Biological Systems. CMSB 2009: 218-234
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Baptiste Raclet, Eric Badouel, Albert Benveniste, Benoît Caillaud, Axel Legay, Roberto Passerone: Modal interfaces: unifying interface automata and modal specifications. EMSOFT 2009: 87-96
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexandre Donzé, Gilles Clermont, Axel Legay, Christopher James Langmead: Parameter Synthesis in Nonlinear Dynamical Systems: Application to Systems Biology. RECOMB 2009: 155-169
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAhmed Bouajjani, Axel Legay, Pierre Wolper: A Framework to Handle Linear Temporal Properties in (\omega-)Regular Model Checking CoRR abs/0901.4080: (2009)
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrançois Cantin, Axel Legay, Pierre Wolper: Computing Convex Hulls by Automata Iteration. Int. J. Found. Comput. Sci. 20(4): 647-667 (2009)
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKrishnendu Chatterjee, Luca de Alfaro, Marco Faella, Axel Legay: Qualitative Logics and Equivalences for Probabilistic Systems Logical Methods in Computer Science 5(2): (2009)
2008
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAxel Legay: T(O)RMC: A Tool for (omega)-Regular Model Checking. CAV 2008: 548-551
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrançois Cantin, Axel Legay, Pierre Wolper: Computing Convex Hulls by Automata Iteration. CIAA 2008: 112-121
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEdmund 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
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEdmund 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
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenjamin Aminof, Axel Legay, Aniello Murano, Olivier Serre: µ-calculus Pushdown Module Checking with Imperfect State Information. IFIP TCS 2008: 333-348
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAxel Legay, Andrzej S. Murawski, Joël Ouaknine, James Worrell: On Automated Verification of Probabilistic Programs. TACAS 2008: 173-187
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAxel Legay, Pierre Wolper: On (Omega-)Regular Model Checking CoRR abs/0809.2214: (2008)
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Faella, Axel Legay, Mariëlle Stoelinga: Model Checking Quantitative Linear Time Logic. Electr. Notes Theor. Comput. Sci. 220(3): 61-77 (2008)
2007
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca de Alfaro, Krishnendu Chatterjee, Marco Faella, Axel Legay: Qualitative Logics and Equivalences for Probabilistic Systems. QEST 2007: 237-248
2006
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLB. 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
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAxel Legay, Luca de Alfaro, Marco Faella: An Introduction to the Tool Ticc. Trustworthy Software 2006
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAxel 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)
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLParosh 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
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca de Alfaro, Leandro Dias da Silva, Marco Faella, Axel Legay, Pritam Roy, Maria Sorea: Sociable Interfaces. FroCos 2005: 81-105
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLParosh Aziz Abdulla, Axel Legay, Julien d'Orso, Ahmed Rezine: Simulation-Based Iteration of Tree Transducers. TACAS 2005: 30-44
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAhmed Bouajjani, Axel Legay, Pierre Wolper: Handling Liveness Properties in (omega-)Regular Model Checking. Electr. Notes Theor. Comput. Sci. 138(3): 101-115 (2005)
2004
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernard Boigelot, Axel Legay, Pierre Wolper: Omega-Regular Model Checking. TACAS 2004: 561-575
2003
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernard Boigelot, Axel Legay, Pierre Wolper: Iterating Transducers in the Large (Extended Abstract). CAV 2003: 223-235

Coauthor Index

1Parosh Aziz Abdulla [4] [6]
2B. Thomas Adler [9]
3Luca de Alfaro [5] [8] [9] [10] [19]
4Benjamin Aminof [14]
5Eric Badouel [23]
6Albert Benveniste [23]
7Bernard Boigelot [1] [2]
8Ahmed Bouajjani [3] [21]
9Benoît Caillaud [23]
10François Cantin [17] [20]
11Krishnendu Chatterjee [10] [19]
12Edmund M. Clarke [15] [16] [24]
13Gilles Clermont [22]
14Alexandre Donzé [15] [22]
15James R. Faeder [16]
16Marco Faella [5] [8] [9] [10] [11] [19]
17Leonard A. Harris [16]
18Sumit Kumar Jha [16] [24]
19Christopher James Langmead [16] [22] [24]
20Aniello Murano [14]
21Andrzej S. Murawski [13]
22Joël Ouaknine [13]
23Roberto Passerone [23]
24André Platzer [24]
25Jean-Baptiste Raclet [23]
26Vishwanath Raman [9]
27Ahmed Rezine [4] [6]
28Pritam Roy [5] [9]
29Olivier Serre [14]
30Leandro Dias da Silva [5] [9]
31Maria Sorea [5]
32Mariëlle Stoelinga [11]
33Pierre Wolper [1] [2] [3] [7] [12] [17] [20] [21]
34James Worrell [13]
35Paolo Zuliani [24]
36Julien d'Orso [4] [6]

Copyright © Mon Nov 9 16:52:13 2009 by Michael Ley (ley@uni-trier.de)