Publications
Filters: Author is Axel Legay [Clear All Filters]
, “Smart sampling for lightweight verification of Markov decision processes”, {STTT}, vol. 17, p. 469–484, 2015.
, “From Hierarchical {BIP} to Petri Calculus”, in From Programs to Systems. The Systems perspective in Computing - {ETAPS} Workshop, {FPS} 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings, 2014.
, “Information Leakage of Non-Terminating Processes”, in FSTTCS, 2014.
, “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)
FMDS2014.pdf (175.6 KB) , “Abstract Probabilistic Automata”, Information and Computation, vol. 232, p. 66 - 116, 2013.
, “Maximizing Entropy over Markov Processes”, in Language and Automata Theory and Applications - 7th International Conference, {LATA} 2013, Bilbao, Spain, April 2-5, 2013. Proceedings, 2013.main.pdf (268.88 KB)
main.pdf (268.88 KB) , “{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)
main.pdf (187.56 KB) , “Quantifying Information Leakage of Randomized Protocols”, in Verification, Model Checking, and Abstract Interpretation, 14th International Conference, {VMCAI} 2013, Rome, Italy, January 20-22, 2013. Proceedings, 2013.vmcai2013.pdf (865.61 KB)
vmcai2013.pdf (865.61 KB) , “State-of-the-art tools and techniques for quantitative modeling and analysis of embedded systems”, in 2012 Design, Automation {&} Test in Europe Conference {&} Exhibition, DATE 2012, Dresden, Germany, March 12-16, 2012, 2012.
