Louis-Marie Traonouez

Identifiers

• name variant Louis-Marie Traonouez 0.60 · backfill

Papers (7)

1. Verification of interlocking systems using statistical model checking cs.SE · 2016 · author #5
2. Distributed Verification of Rare Properties using Importance Splitting Observers cs.LO · 2015 · author #4
3. Lightweight Monte Carlo Verification of Markov Decision Processes with Rewards cs.LO · 2014 · author #3
4. Smart Sampling for Lightweight Verification of Markov Decision Processes cs.DS · 2014 · author #4
5. Compositionality for Quantitative Specifications cs.LO · 2014 · author #4
6. Structural Refinement for the Modal nu-Calculus cs.LO · 2014 · author #3
7. Scalable Verification of Markov Decision Processes cs.DS · 2013 · author #3

Mentions

• 1502.01838 #4 · backfill · confidence 0.70 Louis-Marie Traonouez
• 1410.5782 #3 · backfill · confidence 0.70 Louis-Marie Traonouez
• 1409.2116 #4 · backfill · confidence 0.70 Louis-Marie Traonouez
• 1408.1256 #4 · backfill · confidence 0.70 Louis-Marie Traonouez
• 1402.2143 #3 · backfill · confidence 0.70 Louis-Marie Traonouez
• 1310.3609 #3 · backfill · confidence 0.70 Louis-Marie Traonouez

Frequent Coauthors

• Axel Legay 7 shared papers
• Sean Sedwards 4 shared papers
• Uli Fahrenberg 2 shared papers
• Christophe Limbree 1 shared papers
• Cyrille Jegourel 1 shared papers
• Jan K\v{r}et\'insk\'y 1 shared papers
• Jean Quilbeuf 1 shared papers
• Pedro D'Argenio 1 shared papers
• Pierre Schaus 1 shared papers
• Quentin Cappart 1 shared papers