Searching for authors named "Axel Legay" – sorted by Relevance.
8 documents found, showing 1 through 8.
-
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
Showing 1 through 8.
