TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 2.

Metzler, Patrick (2020):
Verification and Enforcement of Safe Schedules for Concurrent Programs. (Publisher's Version)
Darmstadt, Technische Universität,
DOI: 10.25534/tuprints-00013432,
[Ph.D. Thesis]

Taha, Ahmed and Metzler, Patrick and Trapero, Ruben and Luna, Jesus and Suri, Neeraj (2016):
Identifying and Utilizing Dependencies Across Cloud Security Services.
In: ASIA CCS '16 Proceedings of the 11th ACM on Asia Conference on Computer and Communications Security, pp. 329-340,
ACM, Xi'an, China, ISBN 978-1-4503-4233-9,
DOI: 10.1145/2897845.2897911,
[Conference or Workshop Item]

This list was generated on Sat Feb 27 02:22:47 2021 CET.