Publications

Filters: Author is Traonouez, Louis-Marie [Clear All Filters]

2015

P. R. D'Argenio, A. Legay, S. Sedwards, and L. - M. Traonouez, “Smart sampling for lightweight verification of Markov decision processes”, {STTT}, vol. 17, p. 469–484, 2015.

2014

A. Legay, S. Sedwards, and L. - M. Traonouez, “Scalable Verification of Markov Decision Processes”, in 4th Workshop on Formal Methods in the Development of Software (FMDS 2014), Grenoble, 2014.

FMDS2014.pdf (175.6 KB)

2013

F. Biondi, A. Legay, L. - M. Traonouez, and A. Wasowski, “{QUAIL:} {A} Quantitative Security Analyzer for Imperative Code”, in Computer Aided Verification - 25th International Conference, {CAV} 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings, 2013.

main.pdf (187.56 KB)