The SCEAS System
| |||||||

## Search the dblp DataBase
Axel Legay:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- 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] - Bernard Boigelot, Axel Legay, Pierre Wolper
**Iterating Transducers in the Large (Extended Abstract).**[Citation Graph (0, 0)][DBLP] CAV, 2003, pp:223-235 [Conf] - 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] - 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] - Bernard Boigelot, Axel Legay, Pierre Wolper
**Omega-Regular Model Checking.**[Citation Graph (0, 0)][DBLP] TACAS, 2004, pp:561-575 [Conf] - Ahmed Bouajjani, Axel Legay, Pierre Wolper
**Handling Liveness Properties in (**[Citation Graph (0, 0)][DBLP]*omega*-)Regular Model Checking. Electr. Notes Theor. Comput. Sci., 2005, v:138, n:3, pp:101-115 [Journal] - 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] - 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] **ECDAR: An Environment for Compositional Design and Analysis of Real Time Systems.**[Citation Graph (, )][DBLP]**T(O)RMC: A Tool for (omega)-Regular Model Checking.**[Citation Graph (, )][DBLP]**Statistical Model Checking in BioLab: Applications to the Automated Analysis of T-Cell Receptor Signaling Pathway.**[Citation Graph (, )][DBLP]**A Bayesian Approach to Model Checking Biological Systems.**[Citation Graph (, )][DBLP]**An Introduction to the Tool Ticc.**[Citation Graph (, )][DBLP]**Modal interfaces: unifying interface automata and modal specifications.**[Citation Graph (, )][DBLP]**Statistical Abstraction and Model-Checking of Large Heterogeneous Systems.**[Citation Graph (, )][DBLP]**On Timed Alternating Simulation for Concurrent Timed Games.**[Citation Graph (, )][DBLP]**Statistical Model Checking of Mixed-Analog Circuits with an Application to a Third Order Delta-Sigma Modulator.**[Citation Graph (, )][DBLP]**Timed I/O automata: a complete specification theory for real-time systems.**[Citation Graph (, )][DBLP]**A Compositional Approach on Modal Specifications for Timed Systems.**[Citation Graph (, )][DBLP]**Model checking <u>lots</u> of systems: efficient verification of temporal properties in software product lines.**[Citation Graph (, )][DBLP]**µ-calculus Pushdown Module Checking with Imperfect State Information.**[Citation Graph (, )][DBLP]**Qualitative Logics and Equivalences for Probabilistic Systems.**[Citation Graph (, )][DBLP]**Simulation + Hypothesis Testing for Model Checking of Probabilistic Systems.**[Citation Graph (, )][DBLP]**Parameter Synthesis in Nonlinear Dynamical Systems: Application to Systems Biology.**[Citation Graph (, )][DBLP]**On Automated Verification of Probabilistic Programs.**[Citation Graph (, )][DBLP]**Complexity Bounds for the Verification of Real-Time Software.**[Citation Graph (, )][DBLP]**Computing Convex Hulls by Automata Iteration.**[Citation Graph (, )][DBLP]**On (Omega-)Regular Model Checking**[Citation Graph (, )][DBLP]**A Framework to Handle Linear Temporal Properties in (\omega-)Regular Model Checking**[Citation Graph (, )][DBLP]**Qualitative Logics and Equivalences for Probabilistic Systems**[Citation Graph (, )][DBLP]**Some Models and Tools for Open Systems**[Citation Graph (, )][DBLP]**Proceedings International Workshop on Verification of Infinite-State Systems**[Citation Graph (, )][DBLP]**Statistical Model Checking : An Overview**[Citation Graph (, )][DBLP]**Model Checking Quantitative Linear Time Logic.**[Citation Graph (, )][DBLP]
Search in 0.015secs, Finished in 0.016secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |