H-Index & Metrics Best Publications

H-Index & Metrics

Discipline name H-index Citations Publications World Ranking National Ranking
Computer Science D-index 45 Citations 8,914 338 World Ranking 3582 National Ranking 41

Overview

What is he best known for?

The fields of study he is best known for:

  • Programming language
  • Operating system
  • Artificial intelligence

His primary areas of investigation include Theoretical computer science, Model checking, Programming language, Algorithm and Software. His study in Theoretical computer science is interdisciplinary in nature, drawing from both Correctness and Semantics. His Model checking research is multidisciplinary, incorporating perspectives in Sequence and Product.

He has researched Programming language in several fields, including Reliability engineering and Simulation. His research in Algorithm focuses on subjects like Probabilistic logic, which are connected to Polynomial, Markov chain, Algebra, Process calculus and Discrete mathematics. His Software research includes themes of Scalability and Product.

His most cited work include:

  • Statistical model checking: an overview (307 citations)
  • Model checking lots of systems: efficient verification of temporal properties in software product lines (284 citations)
  • A Bayesian Approach to Model Checking Biological Systems (234 citations)

What are the main themes of his work throughout his whole career to date?

His primary scientific interests are in Theoretical computer science, Model checking, Automaton, Algorithm and Software. His Theoretical computer science research incorporates elements of Programming language, Semantics and Probabilistic logic. His Model checking research includes elements of Formal verification, Distributed computing and Software verification.

His Automaton study combines topics from a wide range of disciplines, such as Decidability, Rotation formalisms in three dimensions, Algebra and Reachability. His work in Algorithm tackles topics such as Set which are related to areas like Relation. Axel Legay interconnects Feature, Software engineering and Product in the investigation of issues within Software.

He most often published in these fields:

  • Theoretical computer science (33.14%)
  • Model checking (22.42%)
  • Automaton (17.74%)

What were the highlights of his more recent work (between 2017-2021)?

  • Theoretical computer science (33.14%)
  • Statistical model checking (11.11%)
  • Model checking (22.42%)

In recent papers he was focusing on the following fields of study:

Axel Legay mainly focuses on Theoretical computer science, Statistical model checking, Model checking, Software and Probabilistic logic. Axel Legay studies Reachability, a branch of Theoretical computer science. His research on Statistical model checking concerns the broader Programming language.

His Model checking research is multidisciplinary, relying on both Scalability and Semantics. His Software research incorporates themes from Embedded system, Robustness and Systems engineering. The study incorporates disciplines such as Algorithm, Data mining and Statistical model in addition to Probabilistic logic.

Between 2017 and 2021, his most popular works were:

  • On the Performance of Convolutional Neural Networks for Side-Channel Analysis (31 citations)
  • A Framework for Quantitative Modeling and Analysis of Highly (Re)configurable Systems (18 citations)
  • Statistical Model Checking (15 citations)

In his most recent research, the most cited papers focused on:

  • Programming language
  • Operating system
  • Artificial intelligence

His primary areas of study are Statistical model checking, Theoretical computer science, Probabilistic logic, Software and Statistical model. His biological study spans a wide range of topics, including Risk analysis, Resource and Temporal logic. His study in Theoretical computer science focuses on Formal verification in particular.

His Probabilistic logic research focuses on Data mining and how it relates to Feature and Markov chain. His studies deal with areas such as Model checking, Systems engineering and Robustness as well as Software. The concepts of his Model checking study are interwoven with issues in Process calculus, Feature and Semantics.

This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.

Best Publications

Statistical model checking: an overview

Axel Legay;Benoît Delahaye;Saddek Bensalem.
runtime verification (2010)

480 Citations

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

Andreas Classen;Patrick Heymans;Pierre-Yves Schobbens;Axel Legay.
international conference on software engineering (2010)

383 Citations

Uppaal SMC tutorial

Alexandre David;Kim G. Larsen;Axel Legay;Marius Mikuăionis.
International Journal on Software Tools for Technology Transfer (2015)

313 Citations

A Bayesian Approach to Model Checking Biological Systems

Sumit K. Jha;Edmund M. Clarke;Christopher J. Langmead;Axel Legay.
computational methods in systems biology (2009)

288 Citations

Symbolic model checking of software product lines

Andreas Classen;Patrick Heymans;Pierre-Yves Schobbens;Axel Legay.
international conference on software engineering (2011)

276 Citations

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.
IEEE Transactions on Software Engineering (2013)

236 Citations

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

Alexandre David;Kim G. Larsen;Axel Legay;Ulrik Nyman.
acm international conference hybrid systems computation and control (2010)

204 Citations

Time for statistical model checking of real-time systems

Alexandre David;Kim G. Larsen;Axel Legay;Marius Mikučionis.
computer aided verification (2011)

172 Citations

Statistical model checking for networks of priced timed automata

Alexandre David;Kim G. Larsen;Axel Legay;Marius Mikučionis.
formal modeling and analysis of timed systems (2011)

171 Citations

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

Peter E. Bulychev;Alexandre David;Kim Guldstrand Larsen;Marius Mikucionis.
10th Workshop on Quantitative Aspects of Programming Languages and Systems (2012)

152 Citations

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

Contact us

Best Scientists Citing Axel Legay

Kim Guldstrand Larsen

Kim Guldstrand Larsen

Aalborg University

Publications: 63

Parosh Aziz Abdulla

Parosh Aziz Abdulla

Uppsala University

Publications: 40

Marius Bozga

Marius Bozga

Grenoble Alpes University

Publications: 38

Sven Apel

Sven Apel

Saarland University

Publications: 36

Ina Schaefer

Ina Schaefer

Technische Universität Braunschweig

Publications: 34

Joost-Pieter Katoen

Joost-Pieter Katoen

RWTH Aachen University

Publications: 34

Marta Kwiatkowska

Marta Kwiatkowska

University of Oxford

Publications: 33

Christel Baier

Christel Baier

TU Dresden

Publications: 27

Stefania Gnesi

Stefania Gnesi

Institute of Information Science and Technologies

Publications: 27

Holger Hermanns

Holger Hermanns

Saarland University

Publications: 26

Thomas A. Henzinger

Thomas A. Henzinger

Institute of Science and Technology Austria

Publications: 25

Christian Kästner

Christian Kästner

Carnegie Mellon University

Publications: 24

Alessandro Abate

Alessandro Abate

University of Oxford

Publications: 24

Bernhard Steffen

Bernhard Steffen

TU Dortmund University

Publications: 21

Roberto Passerone

Roberto Passerone

University of Trento

Publications: 21

Marsha Chechik

Marsha Chechik

University of Toronto

Publications: 19

Something went wrong. Please try again later.