Publications
281 Einträge
2021
-
Demystifying Attestation in Intel Trust Domain Extensions via Formal Verification , Juni 2021, S. 83067 - 83079Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
-
Experiences and insights from using Github Classroom to support Project-Based Courses , 1 Mai 2021, Proceedings - 2021 3rd International Workshop on Software Engineering Education for the Next Generation, SEENG 2021. IEEE, New York [u. a.], S. 31-35, 5 S., (Proceedings - 2021 3rd International Workshop on Software Engineering Education for the Next Generation, SEENG 2021)Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Intelligent networks , 1 Jan. 2021, Tactile Internet: with Human-in-the-Loop. Elsevier, S. 131-149, 19 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
-
Tactile computing: Essential building blocks for the Tactile Internet , 1 Jan. 2021, Tactile Internet: with Human-in-the-Loop. Fitzek, F. H., Li, S., Speidel, S., Strufe, T., Simsek, M. & Reisslein, M. (Hrsg.). Academic Press, S. 293-317, 25 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
-
Active replication for latency-sensitive stream processing in Apache Flink , 2021, 11 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
-
ADAM-CS: Advanced Asynchronous Monotonic Counter Service , 2021, S. 426-437, 12 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
-
A Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic , 2021, Frontiers of Combining Systems: 13th International Symposium, FroCoS 2021 Birmingham, UK, September 8–10, 2021 Proceedings. Konev, B. & Reger, G. (Hrsg.). Springer, Berlin [u. a.], S. 3–24Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
BROFY: Towards Essential Integrity Protection for Microservices , 2021, 10 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
-
Machine-Checking Unforgeability Proofs for Signature Schemes with Tight Reductions to the Computational Diffie-Hellman Problem , 2021, 15 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
-
Modeling and Evaluating Personas with Software Explainability Requirements , 2021, Human-Computer Interaction. HCI-COLLAB 2021. Communications in Computer and Information Science. Springer, Cham, Band 1478Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten