Axel Legay

Statistics

Publications

103

Citations

3.2K

H-Index

Active since

2003

Affiliations

Institut national de recherche en sciences et technologies du numérique(Current)

Centre Inria de l'Université de Rennes

Institut de Recherche en Informatique et Systèmes Aléatoires

UCLouvain

Aalborg University

Axel Legay is an author at Institut national de recherche en sciences et technologies du numérique specializing in computer science, computing, and formal methods.

ORCID

Publications per year

2003–2024

103

Publications

103

Uppaal SMC tutorial

Alexandre David, Kim G. Larsen, Axel Legay et al. · International Journal on Software Tools for Technology Transfer · 2015 · 462 citations

Timed I/O automata

Alexandre David, Kim G. Larsen, Axel Legay et al. · 2010 · 173 citations · Full text

Computing, Computer Science, Computer Systems +17

UPPAAL-SMC: Statistical Model Checking for Priced Timed Automata

Peter Bulychev, Alexandre David, Kim G. Larsen et al. · Electronic Proceedings in Theoretical Computer Science · 2012 · 150 citations · Full text

Computing, Computer Engineering, Computer Science +17

A Modal Interface Theory for Component-based Design

Jean-Baptiste Raclet, Éric Badouel, Albert Benveniste et al. · Fundamenta Informaticae · 2011 · 99 citations · Full text

Computing, Computer Science, Design +15

Incremental Component-based Construction and Verification using Invariants

Saddek Bensalem, Marius Bozga, Axel Legay et al. · HAL (Le Centre pour la Communication Scientifique Directe) · 2010 · 80 citations · Full text

Computing, Computer Engineering, Computer Science +17

1–5 of 103