Konferenzbeitrag (30)
21.
Konferenzbeitrag
Verifying liveness for asynchronous programs. In: POPL’09: proceedings of the 36th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, S. 102 - 113. POPL'09, Savannah, GA, 21. Januar 2009 - 23. Januar 2009. ACM, New York, NY (2009)
22.
Konferenzbeitrag
Serving ads from localhost for performance, privacy, and profit. In: Eighth ACM Workshop on SIGCOMM logo Hot Topics in Networks (HotNets-VIII), 27, S. 1 - 6. Eighth ACM Workshop on SIGCOMM logo Hot Topics in Networks (HotNets-VIII), New York, NY, 22. Oktober 2009 - 23. Oktober 2009. ACM, New York, NY (2009)
23.
Konferenzbeitrag
From tests to proofs. In: Tools and Algorithms for the Construction and Analysis of Systems, S. 262 - 276 (Hg. Kowalewski, S.; Philippou, A.). 15th International Conference, TACAS 2009, York, 22. März 2009 - 29. März 2009. Springer, Berlin (2009)
24.
Konferenzbeitrag
InvGen: An efficient invariant generator. In: Computer Aided Verification: 21st International Conference, CAV 2009, S. 634 - 640 (Hg. Bouajjani, A.; Maler, O.). 21st International Conference, CAV 2009, Grenoble, 26. Juni 2009 - 02. Juli 2009. Springer, Berlin (2009)
25.
Konferenzbeitrag
Not all adware is badware: Towards privacy-aware advertising. In: Software Services for e-Business and e-Society, S. 161 - 172 (Hg. Godart, C.; Gronau, N.; Sharma, S.; Canals, G.). 9th IFIP WG 6.1 Conference on e-Business, e-Services and e-Society, I3E 2009, Nancy, 23. September 2009 - 25. September 2009. Springer, Berlin (2009)
26.
Konferenzbeitrag
NetReview: Detecting when interdomain routing goes wrong. In: Proceedings of the 6th USENIX Symposium on Networked Systems Design and Implementation, S. 437 - 452. 6th USENIX Symposium on Networked Systems Design and Implementation (NSDI 2009), Boston, MA, 22. April 2009 - 24. April 2009. USENIX, Berkeley, CA (2009)
27.
Konferenzbeitrag
The fault detection problem. In: Principles of distributed systems, S. 99 - 114 (Hg. Abdelzaher, T.; Raynal, M.; Santoro, N.). 13th International Conference, OPODIS 2009, Nimes, 15. Dezember 2009 - 18. Dezember 2009. Springer, Berlin (2009)
28.
Konferenzbeitrag
A provably secure and efficient countermeasure against timing attacks. In: Proceedings of the 22nd IEEE Computer Security Foundations Symposium CSF 2009, S. 324 - 335. 22nd IEEE Computer Security Foundations Symposium, Port Jefferson, NY, 08. Juli 2009 - 10. Juli 2009. IEEE Computer Society, Los Alamitos, CA (2009)
29.
Konferenzbeitrag
Operational semantics for declarative networking. In: Practical Aspects of Declarative Languages, S. 76 - 90 (Hg. Gill, A.; Swift, T.). 11th International Symposium, PADL 2009, Savannah, GA, 19. Januar 2009 - 20. Januar 2009. Springer, Berlin (2009)
30.
Konferenzbeitrag
Cardinality abstraction for declarative networking applications. In: Computer Aided Verification: 21st International Conference, CAV 2009, S. 584 - 598 (Hg. Bouajjani, A.; Maler, O.). 21st International Conference, CAV 2009, Grenoble, 26. Juni 2009 - 02. Juli 2009. Springer, Berlin (2009)
31.
Konferenzbeitrag
Non-parametric parametricity. In: ICFP’09: proceedings of the 2009 ACM SIGPLAN International Conference on Functional Programming, S. 135 - 148. 2009 ACM SIGPLAN International Conference on Functional Programming, Edinburgh, 31. August 2009 - 02. September 2009. ACM, New York, NY (2009)
32.
Konferenzbeitrag
Subsumer-First: Steering symbolic reachability analysis. In: Model Checking Software, S. 192 - 204 (Hg. Pasareanu, C. S.). 16th International SPIN Workshop, Grenoble, 26. Juni 2009 - 28. Juni 2009. Springer, Berlin (2009)
33.
Konferenzbeitrag
Towards trusted cloud computing. In: Workshop on Hot Topics in Cloud Computing (HotCloud '09), S. 1 - 5. HotCloud 09 / Workshop on Hot Topics in Cloud Computing, San Diego, CA, 15. Juni 2009. USENIX, Berkeley, CA (2009)
34.
Konferenzbeitrag
Zeno: Eventually consistent Byzantine fault tolerance. In: Proceedings of the 6th USENIX Symposium on Networked Systems Design and Implementation, S. 169 - 184. 6th USENIX Symposium on Networked Systems Design and Implementation (NSDI 2009), Boston, MA, 22. April 2009 - 24. April 2009. USENIX, Berkeley, CA (2009)
35.
Konferenzbeitrag
On the evolution of user interaction in facebook. In: SIGCOMM 09: Proceedings of the 2009 SIGCOMM Conference and Co-Located Workshops MobiHeld’09, PRESTO’09, VISA’09, WOSN’09, & WREN’09, S. 37 - 42. 2nd ACM Workshop on Online Social Networks, Barcelon, 17. August 2009 - 21. August 2009. ACM, New York, NY (2009)
Bericht (4)
36.
Bericht
Privad: Rearchitecting online advertising for privacy. Max Planck Institute for Software Systems, Kaiserlautern (2009), 30 S.
37.
Bericht
The fault detection problem. MPI for Software Systems, Saarbrücken (2009), 20 S.
38.
Bericht
The local and global effects of traffic shaping. Max Planck Institute for Software Systems, Saarbrücken (2009), 40 S.
39.
Bericht
Understanding the design tradeoffs for cooperative streaming multicast. Max Planck Institute for Software Systems, Saarbrücken (2009), 17 S.