Backes, M.; Pfitzmann, B.: Limits of the BRSIM/UC soundness of Dolev-Yao-style XOR. International Journal of Information Security 7 (1), S. 33 - 54 (2008)

Backes, M.; Pfitzmann, B.; Scedrov, A.: Key-dependent message security under active attacks - BRSIM/UC-soundness of Dolev-Yao-style encryption with key cycles. Journal of Computer Security 16 (5), S. 497 - 530 (2008)

Guerraoui, R.; Kapalka, M.; Kouznetsov, P.: The weakest failure detectors to boost obstruction-freedom. Distributed Computing 20 (6), S. 415 - 433 (2008)

Guerraoui, R.; Kouznetsov, P.: Failure detectors as type boosters. Distributed Computing 20 (5), S. 343 - 358 (2008)

Guerraoui, R.; Kouznetsov, P.: The gap in circumventing the impossibility of consensus. Journal of Computer and System Sciences 74 (5), S. 823 - 830 (2008)

Meyer, R.; Faber, J.; Hoenicke, J.; Rybalchenko, A.: Model checking Duration Calculus: a practical approach. Formal Aspects of Computing 20 (4-5), S. 481 - 505 (2008)

Podelski, A.; Rybalchenko, A.: Transition predicate abstraction and fair termination. ACM Transactions on Programming Languages and Systems 29, 15, S. 15.1 - 15.31 (2007)

Coarfa, C.; Druschel, P.; Wallach, D. S.: Performance Analysis of TLS Web Servers. ACM Transactions on Computer Systems 24 (1), S. 39 - 69 (2006)

Bollig, B.; Leucker, M.; Neider, D.: A Survey of Model Learning Techniques for Recurrent Neural Networks. In: A Journey from Process Algebra via Timed Automata to Model Learning, S. 81 - 97 (Hg. Jansen, N.; Stoelinga, M.; van den Bos, P.). Springer, Berlin (2022)

Brandenburg, B.: Multiprocessor Real-Time Locking Protocols. In: Handbook of Real-Time Computing, S. 347 - 446 (Hg. Tian, Y.-C.; Levy, D. C.). Springer, Singapore (2022)

Karimov, T.; Kelmendi, E.; Ouaknine, J.; Warrell, J.: What's Decidable About Discrete Linear Dynamical Systems? In: Principles of Systems Design, S. 21 - 38 (Hg. Raskin, J.-F.; Chatterjee, K.; Doyen, L.; Majumdar, R.). Springer, Berlin (2022)

Redmiles, E. M.: The Need for Respectful Technologies: Going Beyond Privacy. In: Perspectives on Digital Humanism, S. 309 - 313 (Hg. Werthner, H.; Prem, E.; Lee, E. A.; Ghezzi, C.). Springer, Cham (2022)

Bouyer, P.; Fahrenberg, U.; Guldstrand Larsen, K.; Markey, N.; Ouaknine, J.; Worrell, J.: Model Checking Real-Time Systems. In: Handbook of Model Checking, S. 1001 - 1046 (Hg. Clarke, E. M.; Henzinger, T. A.; Veith, H.; Bloem, R.). Springer, Cham (2018)

Majumdar, R.; Raskin, J.-F.: Symbolic Model Checking in Non-Boolean Domains. In: Handbook of Model Checking, S. 1111 - 1147 (Hg. Clarke, E. M.; Henzinger, T. A.; Veith, H.; Bloem, R.). Springer, Cham (2018)

Bouyer, P.; Laroussinie, F.; Markey, N.; Ouaknine, J.; Worrell, J.: Timed Temporal Logics. In: Models, Algorithms, Logics and Tools, S. 211 - 230 (Hg. Aceto, L.; Bacci, G.; Bacci, G.; Ingólfsdóttir, A.; Legay, A. et al.). Springer, Berlin (2017)

Kloos, J.; Majumdar, R.; McCabe, F.: Deferrability Analysis for JavaScript. In: Hardware and Software: Verification and Testing, S. 35 - 50 (Hg. Strichmann, O.; Tzoref-Brill, R.). Springer, Berlin (2017)

Backes, M.; Berrang, P.; Manoharan, P.: From Zoos to Safaris -- From Closed-World Enforcement to Open-World Assessment of Privacy. In: Foundations of Security Analysis and Design VIII, S. 87 - 138 (Hg. Aldini, A.; Lopez, J.; Martinelli, F.). Springer, Berlin (2016)

Hillenbrand, T.; Piskac, R.; Waldmann, U.; Weidenbach, C.: From Search to Computation: Redundancy Criteria and Simplification at Work. In: Programming Logics: Essays in Memory of Harald Ganzinger, S. 169 - 193 (Hg. Voronkov, A.; Weidenbach, C.). Springer, Berlin (2013)

Flinn, J.; Seltzer, M.; Druschel, P.; Kaufmann, A.; Mace, J. (Hg.): SOSP '23. 29th Symposium on Operating Systems Principles, Koblenz, Germany, 23. Oktober 2023 - 26. Oktober 2023. ACM, New York, NY (2023)

Chisnall, D.; Garg, D.; Hriţcu, C.; Payer, M. (Hg.): Secure Compilation (Dagstuhl Reports, 11). Dagstuhl Seminar 21481 "Secure Compilation", Dagstuhl, Germany, 28. November 2021 - 03. Dezember 2021. Schloss Dagstuhl, Wadern (2022)