Axel Legay

Statistics

Publications

Citations

H-Index

Active since

2013

Affiliations

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

Centre Inria de l'Université de Rennes

Centre National de la Recherche Scientifique

Université Grenoble Alpes

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.

Publications per year

2013–2018

Publications

Statistical model checking QoS properties of systems with SBIP

Ayoub Nouri, Saddek Bensalem, Marius Bozga et al. · International Journal on Software Tools for Technology Transfer · 2014 · 44 citations · Full text

Computing, Computer Science, Computer Systems +12

Contracts and Behavioral Patterns for SoS: The EU IP DANSE approach

Alexandre Arnold, Benoît Boyer, Axel Legay · Electronic Proceedings in Theoretical Computer Science · 2013 · 19 citations · Full text

Computing, Computer Science, Systems Engineering +16

Performance evaluation of stochastic real-time systems with the SBIP framework

Saddek Bensalem, Jacques Combaz, Axel Legay et al. · International Journal of Critical Computer-Based Systems · 2018 · 13 citations

Computing, Computer Science, Systems Engineering +17

Sequential Relational Decomposition

Dror Fried, Axel Legay, Joël Ouaknine et al. · 2018 · 10 citations · Full text

Computing, Computer Engineering, Computer Science +11

1–4 of 4