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
Journal ArticleDOI
Performance evaluation of stochastic real-time systems with the SBIP framework
TL;DR: The paper provides a thorough introduction to the SBIP formalism and the associated verification method and surveys several case studies about modelling and verification of real-life systems, including various network protocols and multimedia applications.
Book ChapterDOI
Tutorial: An Overview of Malware Detection and Evasion Techniques
TL;DR: This tutorial presents and motivates various malware detection tools and illustrates their usage on a clear example, and demonstrates how statically-extracted syntactic signatures can be used for quickly detecting simple variants of malware.
Proceedings ArticleDOI
Stochastic modeling and performance analysis of multimedia SoCs
Balaji Raman,Ayoub Nouri,Deepak Gangadharan,Marius Bozga,Ananda Basu,Mayur Maheshwari,Axel Legay,Saddek Bensalem,Samarjit Chakraborty +8 more
TL;DR: This work presents a probabilistic analytical framework and a statistical model checking approach to design system-on-chips for low-cost multimedia systems and applies the modeling techniques to size the output buffer in a video decoder.
Book ChapterDOI
A formal approach for incremental construction with an application to autonomous robotic systems
TL;DR: The methodology is incremental in terms of both the design and the verification process and the approach exploits the hierarchy between components and can detect errors at an early stage of the design.
Analysis, Test and Verification in The Presence of Variability (Dagstuhl Seminar 13091)
TL;DR: The participants were able to classify their approaches with respect to a number of dimensions that helped to identify similarities and differences that have already been useful to improve understanding and foster new collaborations among the participants.