Export 27 results:
Author Title Type [ Year
] Filters: First Letter Of Last Name is T [Clear All Filters]
, “Monitoring Hyperproperties”, in Proceedings of the 17th International Conference on Runtime Verification (RV), 2017.
, “Taming Message-passing Communication in Compositional Reasoning about Confidentiality”, in Proceedings of the 15th Asian Symposium on Programming Languages and Systems (APLAS), 2017.