Niksic, F.: Combinatorial Constructions for Effective Testing. Dissertation, 125 pp., Technische Universität Kaiserslautern, Kaiserslautern (2019)

Zafar, M. B.: Discrimination in Algorithmic Decision Making: From Principles to Measures and Mechanisms. Dissertation, 111 pp., Universität des Saarlandes, Saarbrücken (2019)

Aditya, P.: Towards privacy-compliant mobile computing. Dissertation, 133 pp., Universität des Saarlandes, Saarbrücken (2018)

Kloos, J.: Heap-based reasoning about asynchronous programs. Dissertation, 156 pp., Technische Universität Kaiserslautern, Kaiserslautern (2018)

Neis, G.: Compositional compiler correctness via parametric simulations. Dissertation, 269 pp., Universität des Saarlandes, Saarbrücken (2018)

Ҫiҫek, E.: Relational Cost Analysis. Dissertation, XV, 459 pp., Universität des Saarlandes, Saarbrücken (2018)

Mondal, M.: Understanding & Controlling User Privacy in Social Media via Exposure. Dissertation, xxi, 205 pp., Universität des Saarlandes, Saarbrücken (2017)

Wieder, A.: Blocking analysis of spin locks under partitioned fixed-priority scheduling. Dissertation, 260 pp., Universität des Saarlandes, Saarbrücken (2017)

Akkus, I. E.: Towards A Non-tracking Web. Dissertation, XIV, 200 pp., Technische Universität Kaiserslautern, Kaiserslautern (2016)

Li, C.: Building fast and consistent (geo-)replicated systems. Dissertation, 182 pp., Universität des Saarlandes, Saarbrücken (2016)

Wang, Z.: Algorithms and Tools for Verification and Testing of Asynchronous Programs. Dissertation, 157 pp., Technische Universität Kaiserslautern, Kaiserslautern (2016)

Bhatotia, P. K.: Incremental Parallel and Distributed Systems. Dissertation, XVII, 176 pp., Universität des Saarlandes, Saarbrücken (2015)

Bhatotia, P.: Incremental Parallel and Distributed Systems. Dissertation, 193 pp., Universität des Saarlandes, Saarbrücken (2015)

Sousa da Fonseca, P. J.: Effective Testing for Concurrency Bugs. Dissertation, 152 pp., Universität des Saarlandes, Saarbrücken (2015)

Ziliani, B.: Interactive Typed Tactic Programming in the Coq Proof Assistant. Dissertation, XVI, 197 pp., Universität des Saarlandes, Saarbrücken (2015)

Reznichenko, A.: Private-by-design Advertising and Analytics: From Theory to Practice. Dissertation, VIII, 124 pp., Technische Universität Kaiserslautern, Kaiserslautern (2014)

Santos, N. M. C.: Improving Trust in Cloud, Enterprise, and Mobile Computing Platforms. Dissertation, XVII, 151 pp., Universität des Saarlandes, Saarbrücken (2013)

Marcon, M.: System Designs for Bulk and User-generated Content Delivery in the Internet. Dissertation, XVI, 112 pp., Universität des Saarlandes, Saarbrücken (2011)

Dischinger, M.: Making Broadband Access Networks Transparent to Researchers, Developers, and Users. Dissertation, 148 pp., Universität des Saarlandes, Saarbrücken (2010)

Banerjee, T.; Majumdar, R.; Mallik, K.; Schmuck, A.-K.; Soudjani, S.: Fast Symbolic Algorithms for Omega-Regular Games under Strong Transition Fairness. (2022), 68 pp.