Search the dblp DataBase

Publications of Author

1. 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. [Citation Graph (0, 0)][DBLP]
   CAV, 2006, pp:59-62 [Conf]
   
2. Bernard Boigelot, Axel Legay, Pierre Wolper
   Iterating Transducers in the Large (Extended Abstract). [Citation Graph (0, 0)][DBLP]
   CAV, 2003, pp:223-235 [Conf]
   
3. Luca de Alfaro, Leandro Dias da Silva, Marco Faella, Axel Legay, Pritam Roy, Maria Sorea
   Sociable Interfaces. [Citation Graph (0, 0)][DBLP]
   FroCos, 2005, pp:81-105 [Conf]
   
4. Parosh Aziz Abdulla, Axel Legay, Julien d'Orso, Ahmed Rezine
   Simulation-Based Iteration of Tree Transducers. [Citation Graph (0, 0)][DBLP]
   TACAS, 2005, pp:30-44 [Conf]
   
5. Bernard Boigelot, Axel Legay, Pierre Wolper
   Omega-Regular Model Checking. [Citation Graph (0, 0)][DBLP]
   TACAS, 2004, pp:561-575 [Conf]
   
6. Ahmed Bouajjani, Axel Legay, Pierre Wolper
   Handling Liveness Properties in (omega-)Regular Model Checking. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:138, n:3, pp:101-115 [Journal]
   
7. Axel Legay, Pierre Wolper
   On the Use of Automata-based Techniques in Symbolic Model Checking: Invited Address. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:150, n:1, pp:3-8 [Journal]
   
8. Parosh Aziz Abdulla, Axel Legay, Julien d'Orso, Ahmed Rezine
   Tree regular model checking: A simulation-based approach. [Citation Graph (0, 0)][DBLP]
   J. Log. Algebr. Program., 2006, v:69, n:1-2, pp:93-121 [Journal]
   
9. 
   ECDAR: An Environment for Compositional Design and Analysis of Real Time Systems. [Citation Graph (, )][DBLP]
   
   
10. 
    T(O)RMC: A Tool for (omega)-Regular Model Checking. [Citation Graph (, )][DBLP]
    
    
11. 
    Statistical Model Checking in BioLab: Applications to the Automated Analysis of T-Cell Receptor Signaling Pathway. [Citation Graph (, )][DBLP]
    
    
12. 
    A Bayesian Approach to Model Checking Biological Systems. [Citation Graph (, )][DBLP]
    
    
13. 
    An Introduction to the Tool Ticc. [Citation Graph (, )][DBLP]
    
    
14. 
    Modal interfaces: unifying interface automata and modal specifications. [Citation Graph (, )][DBLP]
    
    
15. 
    Statistical Abstraction and Model-Checking of Large Heterogeneous Systems. [Citation Graph (, )][DBLP]
    
    
16. 
    On Timed Alternating Simulation for Concurrent Timed Games. [Citation Graph (, )][DBLP]
    
    
17. 
    Statistical Model Checking of Mixed-Analog Circuits with an Application to a Third Order Delta-Sigma Modulator. [Citation Graph (, )][DBLP]
    
    
18. 
    Timed I/O automata: a complete specification theory for real-time systems. [Citation Graph (, )][DBLP]
    
    
19. 
    A Compositional Approach on Modal Specifications for Timed Systems. [Citation Graph (, )][DBLP]
    
    
20. 
    Model checking <u>lots</u> of systems: efficient verification of temporal properties in software product lines. [Citation Graph (, )][DBLP]
    
    
21. 
    µ-calculus Pushdown Module Checking with Imperfect State Information. [Citation Graph (, )][DBLP]
    
    
22. 
    Qualitative Logics and Equivalences for Probabilistic Systems. [Citation Graph (, )][DBLP]
    
    
23. 
    Simulation + Hypothesis Testing for Model Checking of Probabilistic Systems. [Citation Graph (, )][DBLP]
    
    
24. 
    Parameter Synthesis in Nonlinear Dynamical Systems: Application to Systems Biology. [Citation Graph (, )][DBLP]
    
    
25. 
    On Automated Verification of Probabilistic Programs. [Citation Graph (, )][DBLP]
    
    
26. 
    Complexity Bounds for the Verification of Real-Time Software. [Citation Graph (, )][DBLP]
    
    
27. 
    Computing Convex Hulls by Automata Iteration. [Citation Graph (, )][DBLP]
    
    
28. 
    On (Omega-)Regular Model Checking [Citation Graph (, )][DBLP]
    
    
29. 
    A Framework to Handle Linear Temporal Properties in (\omega-)Regular Model Checking [Citation Graph (, )][DBLP]
    
    
30. 
    Qualitative Logics and Equivalences for Probabilistic Systems [Citation Graph (, )][DBLP]
    
    
31. 
    Some Models and Tools for Open Systems [Citation Graph (, )][DBLP]
    
    
32. 
    Proceedings International Workshop on Verification of Infinite-State Systems [Citation Graph (, )][DBLP]
    
    
33. 
    Statistical Model Checking : An Overview [Citation Graph (, )][DBLP]
    
    
34. 
    Model Checking Quantitative Linear Time Logic. [Citation Graph (, )][DBLP]