Wissenschaftliche Publikationen

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)

Dischinger, M.; Haeberlen, A.; Gummadi, K. P.; Saroiu, S.: Characterizing Residential Broadband Networks. In: IMC'07: proceedings of the 2007 ACM SIGCOMM, S. 43 - 56. ACM, New York, USA (2007)

Haeberlen, A.; Kuznetsov, P.; Druschel, P.: PeerReview: practical accountability for distributed systems. In: SOSP’07: proceedings of the 21st ACM Symposium on, S. 175 - 188. ACM, New York, NY (2007)

Miklas, A. G.; Gollu, K. K.; Chan, K. K. W.; Saroiu, S.; Gummadi, K. P.; de Lara, E.: Exploiting Social Interactions in Mobile Systems. In: UbiComp 2007: 9th International Conference, UbiComp 2007, S. 409 - 428 (Hg. Krumm, J.; Abowd, G. D.; Seneviratne, A.; Strang, T.). Springer, Berlin, Germany (2007)

Mislove, A.; Marcon, M.; Gummadi, K. P.; Druschel, P.; Bhattacharjee, B.: Measurement and Analysis of Online Social Networks. In: IMC'07: proceedings of the 2007 ACM SIGCOMM, S. 29 - 42. ACM, New York, NY, USA (2007)

Nandi, A.; Ganjam, A.; Druschel, P.; Ng, T.S.E.; Stoica, I.; Zhang, H.; Bhattacharjee, B.: SAAR: A Shared Control Plane for Overlay Multicast. In: Proceedings of the 4th USENIX Symposium on Networked Systems Design & Implementation (NSDI'07), S. 57 - 72. USENIX, Berkeley, USA (2007)