Axel Legay

Université Catholique de Louvain
Belgium

D-Index & Metrics D-index (Discipline H-index) only includes papers and citation values for an examined discipline in contrast to General H-index which accounts for publications across all disciplines.

Discipline name Citations Publications World Ranking National Ranking

Computer Science D-index 46 Citations 9,384 455 World Ranking 4380 National Ranking 50

Overview

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

His studies link Thermal conductivity with Composite material. He performs integrative study on Thermal conductivity and Electrical resistivity and conductivity in his works. He brings together Electrical resistivity and conductivity and Magnetotellurics to produce work in his papers. His research ties Electrical engineering and Magnetotellurics together. His Electrical engineering study frequently draws connections to other fields, such as Electrical resistivity tomography. He conducts interdisciplinary study in the fields of Electrical resistivity tomography and Geophysics through his works. He brings together Geophysics and Borehole to produce work in his papers. His work in Borehole is not limited to one particular discipline; it also encompasses Geotechnical engineering. His work in Geotechnical engineering is not limited to one particular discipline; it also encompasses Petrophysics.

Axel Legay most often published in these fields:

Composite material (80.00%)
Structural engineering (40.00%)
Acoustics (40.00%)

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)

518 Citations

Uppaal SMC tutorial

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

459 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)

400 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)

296 Citations

Symbolic model checking of software product lines

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

283 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)

261 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)

228 Citations

Time for statistical model checking of real-time systems

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

181 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)

178 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)

161 Citations

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

Axel Legay

D-Index & Metrics D-index (Discipline H-index) only includes papers and citation values for an examined discipline in contrast to General H-index which accounts for publications across all disciplines.

Overview

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

Axel Legay most often published in these fields:

Best Publications

Report an issue

Frequent Co-Authors

External Links

Best Scientists Citing Axel Legay

Trending Scientists