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
Proceedings ArticleDOI
Estimating Rewards & Rare Events in Nondeterministic Systems
TL;DR: It is shown how importance sampling can significantly improve estimation when probabilities are low, but it is found it is not a panacea for rare schedulers.
Proceedings ArticleDOI
A complexity tale: web configurators
TL;DR: This work presents the experience in analysing web configurators and formalising configuration options in terms of feature models or product configuration matrices, and considers behavioural issues and perspectives on their architectural design.
Journal ArticleDOI
Compositionality for quantitative specifications
TL;DR: In this paper, a framework for compositional and iterative design and verification of non-deterministic systems with quantitative information, such as rewards, time or energy, is presented.
Book ChapterDOI
On the Expressiveness of Symmetric Communication
Thomas Given-Wilson,Axel Legay +1 more
TL;DR: By means of possibility/impossibility of encodings, this paper shows that the exchange approach is related to, or more expressive than, many previously considered languages.
Proceedings ArticleDOI
Simulation + Hypothesis Testing for Model Checking of Probabilistic Systems
Axel Legay,Mahesh Viswanatha +1 more
TL;DR: Tutorial on using hypothesis testing for solving the probabilistic model checking problem and how it can be used for solving inequality problems.