Searching for authors named "Axel Legay" – sorted by Relevance.
-
Model checking Quantitative Linear Time Logic
- “Federico II”, Italy Axel Legay University of Liège, Belgium Mariëlle Stoelinga University of Twente
- Add To MetaCart
-
µ-calculus Pushdown Module Checking with Imperfect State Information
- of the system with all possible environments.2 Benjamin Aminof, Axel Legay, Aniello Murano, and Olivier Serre
- Add To MetaCart
-
Iterating Transducers in the Large (Extended Abstract)
- Iterating Transducers in the Large ⋆ (extended abstract) Bernard Boigelot, Axel Legay, and Pierre
- Cited by 4 (0 self) – Add To MetaCart
-
Parameter Synthesis in Nonlinear Dynamical Systems: Application to Systems Biology
- 1 , Gilles Clermont 2 , Axel Legay 1 , and Christopher J. Langmead 1,3⋆ 1 Computer Science
- Add To MetaCart
-
A.Rezine. Simulation-Based Iteration of Tree Transducers
- Simulation-Based Iteration of Tree Transducers Parosh Aziz Abdulla 1 , Axel Legay 2⋆ , Julien d
- Cited by 7 (0 self) – Add To MetaCart
-
Ticc, a tool for interface compatibility and composition
- , Leandro Dias Da Silva 2 , Marco Faella 3 , Axel Legay 1,4 , Vishwanath Raman 1 , and Pritam Roy 1 1 School
- Cited by 3 (2 self) – Add To MetaCart
-
Statistical Model Checking in BioLab: Applications to the automated analysis of T-Cell Receptor Signaling Pathway ⋆
- , Sumit Kumar Jha 1 , and Axel Legay 1 1 Computer Science Department, Carnegie Mellon University
- Cited by 3 (3 self) – Add To MetaCart
-
A Bayesian Approach to Model Checking Biological Systems ⋆
- , Christopher J. Langmead 1,2 , Axel Legay 3 , André Platzer 1 , and Paolo Zuliani 1 1 Computer Science
- Cited by 1 (1 self) – Add To MetaCart

