ANDREA TURRINI
 | ||
|
I am a Post-Doc researcher in the Dependable Systems and Software group led by Holger Hermanns since February 2011.
I come from Verona, the city of Romeo and Juliet.
My main research interests are formal methods applied to security verification and analysis of concurrent probabilistic systems. I am also interested in non-determinism management and limitation of schedulers' power.
Contact Information
You can find me in room 3.27 (Building E1.3)
e-mail: lastname(at)cs.uni-saarland.de
Publications
Journal Papers
A Quantitative Doxastic Logic for Probabilistic Processes and Applications to Information-Hiding, JANCL 19(4), 2009
Conference Papers
Conditional Automata: A Tool for Safe Removal of Negligible Events, CONCUR'10
Approximated Computationally Bounded Simulation Relations for Probabilistic Automata, CSF'07
Comparative Analysis of Bisimulation Relations on Alternating and Non-Alternating Probabilistic Models, QEST'05
Thesis
Hierarchical and Compositional Verification of Cryptographic Protocols, Dipartimento di Informatica, Università di Verona