Travelled to:1 × Russia
1 × United Kingdom
Collaborated with:A.Legay F.Biondi A.Wasowski D.Lime O.H.Roux C.Seidner E.Cavalcante Jean Quilbeuf F.Oquendo T.Batista
Talks about:model (2) architectur (1) stopwatch (1) parametr (1) statist (1) softwar (1) quantit (1) checker (1) analyz (1) secur (1)
Person: Louis-Marie Traonouez
DBLP: Traonouez:Louis=Marie
Contributed to:
2013
2009
2016Wrote 3 papers:
- CAV-2013-BiondiLTW #imperative #named #security
- QUAIL: A Quantitative Security Analyzer for Imperative Code (FB, AL, LMT, AW), pp. 702–707.
- TACAS-2009-LimeRST #model checking #named #parametricity #petri net
- Romeo: A Parametric Model-Checker for Petri Nets with Stopwatches (DL, OHR, CS, LMT), pp. 54–57.
- ECSA-2016-CavalcanteQTOBL #architecture #model checking #statistics
- Statistical Model Checking of Dynamic Software Architectures (EC, JQ, LMT, FO, TB, AL), pp. 185–200.