Neis, G.; Dreyer, D.; Rossberg, A.: Non-Parametric Parametricity. Special issue dedicated to ICFP 2009, pp. 497 - 562 (2011)

Jhala, R.; Majumdar, R.; Rybalchenko, A.: Refinement type inference via abstract interpretation. CoRR abs/1004.2884v2, arXiv:1004.2884v2, pp. 1 - 11 (2010)

Dovrolis, C.; Gummadi, K. P.; Kuzmanovic, A.; Meinrath, S. D.: Measurement lab: overview and an invitation to the research community. ACM Sigcomm Computer Communication Review 40 (3), pp. 53 - 56 (2010)

Rodrigues, R.; Druschel, P.: Peer-to-peer systems. Communications of the ACM 53 (10), pp. 72 - 82 (2010)

Rodrigues, R.; Liskov, B.; Chen, K.; Liskov, M.; Schultz, D.: Automatic reconfiguration for large-scale reliable storage systems. Transactions on Dependable and Secure Computing Early View, TDSC.2010.52 (2010)

Druschel, P.: Narrowing the semantic gap in distributed programming. Communications of the ACM 52 (11), p. 86 - 86 (2009)

Cha, M.; Kwak, H.; Rodriguez, P.; Ahn, Y.-Y.; Moon, S.: Analyzing the video popularity characteristics of large-scale user generated content systems. IEEE ACM Transactions on Networking 17 (5), pp. 1357 - 1370 (2009)

Fonseca, P.; Rodrigues, R.; Gupta, A.; Liskov, B.: Full-information lookups for peer-to-peer overlays. IEEE Transactions on Parallel and Distributed Systems 20 (9), pp. 1339 - 1351 (2009)

Backes, M.; Dürmuth, M.; Hofheinz, D.; Küsters, R.: Conditional reactive simulatability. International Journal of Information Security 7 (2), pp. 155 - 169 (2008)

Backes, M.; Pfitzmann, B.: Limits of the BRSIM/UC soundness of Dolev-Yao-style XOR. International Journal of Information Security 7 (1), pp. 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), pp. 497 - 530 (2008)

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

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

Guerraoui, R.; Kouznetsov, P.: The gap in circumventing the impossibility of consensus. Journal of Computer and System Sciences 74 (5), pp. 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), pp. 481 - 505 (2008)

Podelski, A.; Rybalchenko, A.: Transition predicate abstraction and fair termination. ACM Transactions on Programming Languages and Systems 29, 15, pp. 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), pp. 39 - 69 (2006)

Brandenburg, B.: Multiprocessor Real-Time Locking Protocols. In: Handbook of Real-Time Computing, pp. 1 - 99 (Eds. Tian, Y.-C.; Levy, D. C.). Springer, Singapore (2020)

Bouyer, P.; Fahrenberg, U.; Guldstrand Larsen, K.; Markey, N.; Ouaknine, J.; Worrell, J.: Model Checking Real-Time Systems. In: Handbook of Model Checking, pp. 1001 - 1046 (Eds. 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, pp. 1111 - 1147 (Eds. Clarke, E. M.; Henzinger, T. A.; Veith, H.; Bloem, R.). Springer, Cham (2018)