World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
56
Citations
11650
World Ranking
4107
National Ranking
47

Overview

Axel Legay is affiliated with the Université Catholique de Louvain in Belgium and specializes in Computer Science with an emphasis on Software. Their research covers multiple subfields, including Software, Artificial Intelligence, Computational Theory and Mathematics, Information Systems, and Signal Processing.

Legay has contributed extensively to a variety of topics within computer science research. Key areas of work include:

  • Formal Methods in Verification
  • Software Testing and Debugging Techniques
  • Software Reliability and Analysis Research
  • Advanced Malware Detection Techniques
  • Advanced Software Engineering Methodologies
  • Software Engineering Research
  • Model-Driven Software Engineering Techniques

Their publication record spans 233 papers, with frequent publications in venues such as:

  • arXiv (Cornell University)
  • International Journal on Software Tools for Technology Transfer
  • Zenodo (CERN European Organization for Nuclear Research)
  • Science of Computer Programming
  • Computers & Security

Selected recent papers illustrate the diversity of their research contributions:

  • "A framework for quantitative modeling and analysis of highly (re)configurable systems," 2020, Digital Access to Libraries
  • "Optimizing symbolic execution for malware behavior classification," 2020, Computers & Security
  • "Exploring the ERTMS/ETCS full moving block specification: an experience with formal methods," 2022, International Journal on Software Tools for Technology Transfer
  • "Combined software and hardware fault injection vulnerability detection," 2020, Innovations in Systems and Software Engineering
  • "Statistical Model Checking of Dynamic Networks of Stochastic Hybrid Automata," 2024, Technische Universität Berlin - Universitätsbibliothek

Axel Legay has collaborated extensively with several frequent coauthors, including:

  • Charles-Henry Bertrand Van Ouytsel
  • Eduard Baranov
  • Thomas Given-Wilson
  • Maurice H. ter Beek
  • Kim G. Larsen

Throughout their career, Legay's work intersects formal verification techniques, software testing, and advanced methodologies for software engineering and malware behavior understanding. Their research outputs contribute to both theoretical foundations and applied aspects in these domains.

Best Publications

  • Statistical model checking: an overview

    Axel Legay;Benoît Delahaye;Saddek Bensalem

  • Uppaal SMC tutorial

    Alexandre David;Kim G. Larsen;Axel Legay;Marius Mikuăionis

  • Model checking lots of systems: efficient verification of temporal properties in software product lines

    Andreas Classen;Patrick Heymans;Pierre-Yves Schobbens;Axel Legay

  • A Bayesian Approach to Model Checking Biological Systems

    Sumit K. Jha;Edmund M. Clarke;Christopher J. Langmead;Axel Legay

  • Featured Transition Systems: Foundations for Verifying Variability-Intensive Systems and Their Application to LTL Model Checking

    A. Classen;M. Cordy;Pierre-Yves Schobbens;P. Heymans

  • Symbolic model checking of software product lines

    Andreas Classen;Patrick Heymans;Pierre-Yves Schobbens;Axel Legay

  • Timed I/O automata: a complete specification theory for real-time systems

    Alexandre David;Kim G. Larsen;Axel Legay;Ulrik Nyman

  • Statistical model checking for networks of priced timed automata

    Alexandre David;Kim G. Larsen;Axel Legay;Marius Mikučionis

  • Time for statistical model checking of real-time systems

    Alexandre David;Kim G. Larsen;Axel Legay;Marius Mikučionis

  • UPPAAL-SMC: Statistical Model Checking for Priced Timed Automata ∗

    Peter E. Bulychev;Alexandre David;Kim Guldstrand Larsen;Marius Mikucionis

  • Iterating Transducers in the Large

    Bernard Boigelot;Axel Legay;Pierre Wolper

  • Model checking software product lines with SNIP

    Andreas Classen;Maxime Cordy;Patrick Heymans;Patrick Heymans;Axel Legay;Axel Legay

  • Statistical Model Checking in BioLab: Applications to the Automated Analysis of T-Cell Receptor Signaling Pathway

    Edmund M. Clarke;James R. Faeder;Christopher J. Langmead;Leonard A. Harris

  • A Modal Interface Theory for Component-based Design

    Jean-Baptiste Raclet;Eric Badouel;Albert Benveniste;Benoît Caillaud

  • Moving from specifications to contracts in component-based design

    Sebastian S. Bauer;Alexandre David;Rolf Hennicker;Kim Guldstrand Larsen

  • On the Performance of Convolutional Neural Networks for Side-Channel Analysis

    Stjepan Picek;Ioannis Petros Samiotis;Jaehun Kim;Annelie Heuser

  • Statistical abstraction and model-checking of large heterogeneous systems

    Ananda Basu;Saddek Bensalem;Marius Bozga;Benoît Caillaud

  • PLASMA-lab: a flexible, distributable statistical model checking library

    Benoît Boyer;Kevin Corre;Axel Legay;Sean Sedwards

  • Beyond boolean product-line model checking: dealing with feature attributes and multi-features

    Maxime Cordy;Pierre-Yves Schobbens;Patrick Heymans;Axel Legay

  • Importance Splitting for Statistical Model Checking Rare Properties

    Cyrille Jegourel;Axel Legay;Sean Sedwards

  • Stochastic Semantics and Statistical Model Checking for Networks of Priced Timed Automata

    Alexandre David;Kim Guldstrand Larsen;Marius Mikucionis;Danny Bøgsted Poulsen

Frequent Co-Authors

Kim Guldstrand Larsen
Kim Guldstrand Larsen Aalborg University
Alexandre David
Alexandre David Aalborg University
Patrick Heymans
Patrick Heymans University of Namur
Marius Bozga
Marius Bozga Grenoble Alpes University
Saddek Bensalem
Saddek Bensalem Grenoble Alpes University
Andrzej Wąsowski
Andrzej Wąsowski IT University of Copenhagen
Pierre Wolper
Pierre Wolper University of Liège
Roberto Passerone
Roberto Passerone University of Trento
Luca de Alfaro
Luca de Alfaro University of California, Santa Cruz
Christian Laugier
Christian Laugier French Institute for Research in Computer Science and Automation - INRIA

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Exploring online degrees in Computer Science opens up a diverse range of career pathways and specializations. Many students are now considering flexible learning options such as one-year master's programs, which allow for rapid skill-building and quicker entry into the workforce. For those interested in fast-tracking their education, a 1 year masters degree online can be an effective way to gain advanced credentials in a short timeframe.

Affordability is another key factor for prospective students. Choosing from the most affordable online MBA options can significantly reduce the financial burden while still providing access to high-quality education and broader business career prospects. Similarly, students focused on emerging tech trends can pursue the best online master's in artificial intelligence to prepare for roles in AI and machine learning, fields with excellent future growth.

For learners prioritizing both speed and salary, there are online programs that pay well and deliver strong job prospects upon graduation. Exploring these related online degrees offers convenient, affordable, and rewarding paths for anyone looking to start or advance a career in Computer Science or related tech fields.

Best Scientists Citing Axel Legay

Trending Scientists

Recently Published Articles