A
Axel Legay
Researcher at Université catholique de Louvain
Publications - 504
Citations - 10662
Axel Legay is an academic researcher from Université catholique de Louvain. The author has contributed to research in topics: Model checking & Probabilistic logic. The author has an hindex of 47, co-authored 479 publications receiving 9617 citations. Previous affiliations of Axel Legay include Microsoft & Carnegie Mellon University.
Papers
More filters
Book ChapterDOI
Statistical model checking: an overview
TL;DR: The model checking problem for stochastic systems with respect to such logics is typically solved by a numerical approach [31,8,35,22,21,5] that iteratively computes (or approximates) the exact measure of paths satisfying relevant subformulas as discussed by the authors.
Journal ArticleDOI
Uppaal SMC tutorial
TL;DR: The modeling features of the Uppaal SMC tool, new verification algorithms and ways of applying them to potentially complex case studies are demonstrated.
Proceedings ArticleDOI
Model checking lots of systems: efficient verification of temporal properties in software product lines
TL;DR: This paper first extends transition systems with features in order to describe the combined behaviour of an entire system family, and defines and implements a model checking technique that allows to verify such transition systems against temporal properties.
Book ChapterDOI
A Bayesian Approach to Model Checking Biological Systems
Sumit Kumar Jha,Edmund M. Clarke,Christopher J. Langmead,Axel Legay,André Platzer,Paolo Zuliani +5 more
TL;DR: This work presents the first algorithm for performing statistical Model Checking using Bayesian Sequential Hypothesis Testing, and shows that this Bayesian approach outperforms current statistical Model checking techniques, which rely on tests from Classical statistics, by requiring fewer system simulations.
Journal ArticleDOI
Featured Transition Systems: Foundations for Verifying Variability-Intensive Systems and Their Application to LTL Model Checking
Andreas Classen,Maxime Cordy,Pierre-Yves Schobbens,Patrick Heymans,Axel Legay,Jean-François Raskin +5 more
TL;DR: This paper proposes an efficient automata-based approach to linear time logic (LTL) model checking of variability-intensive systems, and provides an in-depth treatment of the FTS model checking algorithm.