Publications

Export 3 results:
Sort by: Author Title Type [ Year (Desc)]
Filters: Author is Traonouez, Louis-Marie  [Clear All Filters]
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.PDF icon 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.PDF icon main.pdf (187.56 KB)