Louis‐Marie Traonouez

Statistics

Publications

Citations

230

H-Index

Active since

2012

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

Aalborg University

IT University of Copenhagen

Louis‐Marie Traonouez is an author at Institut national de recherche en sciences et technologies du numérique specializing in computer science, model checking, and real-time systems design.

Publications per year

2012–2020

Publications

Smart sampling for lightweight verification of Markov decision processes

Pedro R. D’Argenio, Axel Legay, Sean Sedwards et al. · International Journal on Software Tools for Technology Transfer · 2015 · 56 citations · Full text

Computing, Computer Science, Markov Decision Processes +12

Parametric Model-Checking of Stopwatch Petri Nets

Didier Lime, Louis‐Marie Traonouez, Olivier Roux · 2020 · 49 citations · Full text

Computing, Computer Science, Systems Engineering +16

Verification of Interlocking Systems Using Statistical Model Checking

Quentin Cappart, Christophe Limbrée, Pierre Schaus et al. · 2017 · 31 citations · Full text

Engineering, Computer Science, Systems Engineering +17

Real-time specifications

Alexandre David, Kim G. Larsen, Axel Legay et al. · International Journal on Software Tools for Technology Transfer · 2013 · 22 citations · Full text

High-level frameworks for the specification and verification of scheduling problems

Mounir Chadli, Jin Hee Kim, Kim G. Larsen et al. · International Journal on Software Tools for Technology Transfer · 2017 · 17 citations

Computing, Computer Science, Systems Engineering +12

1–5 of 10