Reliably Secure Software Systems (RS3) –
DFG Priority Programme 1496

Export 3 results:
Author Title [ Type(Asc)] Year
Filters: Author is M. N. Rabe  [Clear All Filters]
Journal Article
M. N. Rabe, Lammich, P., and Popescu, A., “A shallow embedding of HyperCTL”, Archive of Formal Proofs, 2014.
Conference Paper
M. R. Clarkson, Finkbeiner, B., Koleini, M., Micinski, K. K., Rabe, M. N., and Sánchez, C., “Temporal Logics for Hyperproperties”, in Proceedings of the 3rd Conference on Principles of Security and Trust (POST 2014), 2014.
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.