2012
R. Dimitrova, Finkbeiner, B., Kovács, M., Rabe, M., and Seidl, H.,
“Model Checking Information Flow in Reactive Systems”, in
Proceedings of the 13th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2012), 2012.
R. Dimitrova, Finkbeiner, B., and Rabe, M. N.,
“Monitoring Temporal Information Flow”, in
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012.