Singh, A.; Roscoe, T.; Maniatis, P.; Druschel, P.: Using Queries for Distributed Monitoring and Forensics. In: Proceedings of EuroSys 2006, S. 389 - 402. ACM, New York, USA (2006)

Sit, E.; Haeberlen, A.; Dabek, F.; Chun, B.-G.; Weatherspoon, H.; Morris, R.; Kaashoek, M. F.; Kubiatowicz, J.: Proactive replication for data durability. In: 5th International Workshop on Peer-to-Peer Systems (IPTPS'06), S. 43 - 48. (2006)

Zhang, B.; Ng, T. S. E.; Nandi, A.; Riedi, R.; Druschel, P.; Wang, G.: Measurement-Based Analysis, Modeling, and Synthesis of the Internet Delay Space. In: Proceedings of the 6th ACM SIGCOMM Conference on Internet Measurement 2006, S. 85 - 98. ACM, New York, USA (2006)

Chen, Y.; Acar, U. A.; Tangwongsan, K.: Functional Programming for Dynamic and Large Data with Self-Adjusting Computation. In: ICFP'14, S. 227 - 240. ACM SIGPLAN International Conference on Functional Programming, Gothenburg, Sweden, 01. September 2014 - 03. September 2014. ACM, New York, NY (2014)

Mavroforakis, C.; Valera, I.; Gomez Rodriguez, M.: Hierarchical Dirichlet Hawkes Process for modeling the Dynamics of Online Learning Activity. Workshop on Networks in the Social and Information Sciences, Montréal, Quebec, Canada (2015)

Dischinger, M.; Haeberlen, A.; Gummadi, K. P.; Saroiu, S.: Residential Broadband Networks: Characteristics and Implications. (2008)

Alzayat, M. W. M.: Efficient Request Isolation in Function-as-a-Service. Dissertation, Universität des Saarlandes, Saarbrücken (2024)

Lohar, D.; Nagarakatte, S.: Expanding the Horizons of Finite-precision Analysis. Dissertation, Universität des Saarlandes, Saarbrücken (2024)

Karimov, T.: Algorithmic Verification of Linear Dynamical Systems. Dissertation, vii, 200 pages S., Universität des Saarlandes, Saarbrücken (2023)

Sammler, M.: Automated and Foundational Verification of Low-level Programs. Dissertation, ix, 168 S., Universität des Saarlandes, Saarbrücken (2023)

Stark (Blass), T.: Real-Time Execution Management in the ROS 2 Framework. Dissertation, xvi, 189 p S., Universität des Saarlandes, Saarbrücken (2023)

Becker, H.: Verified Compilation and Optimization of Floating-point Kernels. Dissertation, XIII, 131 S., Universität des Saarlandes, Saarbrücken (2022)

Babaei, M.: Information Consumption on Social Media. Dissertation, 127 S., Universität des Saarlandes, Saarbrücken (2021)

Gujarati, A.: Towards “Ultra-Reliable” CPS. Dissertation, 245 S., Technische Universität Kaiserslautern, Kaiserslautern (2020)

Jung, R.: Understanding and Evolving the Rust Programming Language. Dissertation, VI, 287 S., Universität des Saarlandes, Saarbrücken (2020)

Rajani, V.: A Type-theory for Higher-order Amortized Analysis. Dissertation, XI, 113 S., Universität des Saarlandes, Saarbrücken (2020)

Vanga, M.: High-Throughput and Predictable VM Scheduling for High-Density Workloads. Dissertation, 219 S., Technische Universität Kaiserslautern, Kaiserslautern (2020)

Chakraborty, S.: Correct Compilation of Relaxed Memory Concurrency. Dissertation, 141 S., Technische Universität Kaiserslautern, Kaiserslautern (2019)

Kilpatrick, S.: Non-reformist reform for Haskell Modularity. Dissertation, 248 S., Universität des Saarlandes, Saarbrücken (2019)

Munz, R.: Towards Usability in Private Data Analytics. Dissertation, XXII, 146 S., Technische Universität Kaiserslautern, Kaiserslautern (2019)