Publications

2021

• CLoF: A Compositional Lock Framework for Multi-level NUMA SystemsDe Lima Chehab, R. L., Paolillo, A., Behrens, D., Fu, M., Härtig, H. & Chen, H., 26 Okt. 2021, SOSP 2021 - Proceedings of the 28th ACM Symposium on Operating Systems Principles. Association for Computing Machinery, Inc, S. 851-865, 15 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Advancing Design and Runtime Management of AI Applications with AI-SPRINT (Position Paper)Sedghani, H., Ardagna, D., Matteucci, M., Fontana, G., Verticale, G., Amarilli, F., M. Badia, R. & 4 weitere, Juli 2021, S. 1455-1462, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• ADAM-CS: Advanced Asynchronous Monotonic Counter ServiceMartin, A., Lian, C., Gregor, F., Krahn, R., Schiavoni, V., Felber, P. & Fetzer, C., Juni 2021, S. 426-437, 12 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• Demystifying Attestation in Intel Trust Domain Extensions via Formal VerificationSardar, M. U., Musaev, S. & Fetzer, C., Juni 2021, S. 83067 - 83079, 13 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• Experiences and insights from using Github Classroom to support Project-Based CoursesNelson, M. A. & Ponciano, L., 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., 9474647. (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 networksCabrera G., J. A., Fitzek, F. H., Hanisch, S., Itting, S. A., Zhang, J., Zimmermann, S., Strufe, T. & 2 weitere, 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 InternetAßmann, U., Baier, C., Dubslaff, C., Grzelak, D., Hanisch, S., Hartono, A. P. P., Köpsell, S. & 2 weitere, 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 FlinkRosniosky, G., Schmidt, F., Bodunov, O., Fetzer, C. & Martin, A., 2021, S. 56-66, 11 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• A Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear ArithmeticBromberger, M., Dragoste, I., Faqeh, R., Fetzer, C., Krötzsch, M. & Weidenbach, C., 2021, Frontiers of Combining Systems - 13th International Symposium, FroCoS 2021, Proceedings: 13th International Symposium, FroCoS 2021 Birmingham, UK, September 8–10, 2021 Proceedings. Konev, B. & Reger, G. (Hrsg.). Springer, Berlin [u. a.], S. 3–24, 22 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• BROFY: Towards Essential Integrity Protection for MicroservicesHartono, A. P. P. & Fetzer, C., 2021, S. 154-163, 10 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper