Journal Article (197)
181.
Journal Article
Non-Parametric Parametricity. Special issue dedicated to ICFP 2009, pp. 497 - 562 (2011)
182.
Journal Article
abs/1004.2884v2, arXiv:1004.2884v2, pp. 1 - 11 (2010)
Refinement type inference via abstract interpretation. CoRR 183.
Journal Article
40 (3), pp. 53 - 56 (2010)
Measurement lab: overview and an invitation to the research community. ACM Sigcomm Computer Communication Review 184.
Journal Article
53 (10), pp. 72 - 82 (2010)
Peer-to-peer systems. Communications of the ACM 185.
Journal Article
Early View, TDSC.2010.52 (2010)
Automatic reconfiguration for large-scale reliable storage systems. Transactions on Dependable and Secure Computing 186.
Journal Article
52 (11), p. 86 - 86 (2009)
Narrowing the semantic gap in distributed programming. Communications of the ACM 187.
Journal Article
17 (5), pp. 1357 - 1370 (2009)
Analyzing the video popularity characteristics of large-scale user generated content systems. IEEE ACM Transactions on Networking 188.
Journal Article
20 (9), pp. 1339 - 1351 (2009)
Full-information lookups for peer-to-peer overlays. IEEE Transactions on Parallel and Distributed Systems 189.
Journal Article
7 (2), pp. 155 - 169 (2008)
Conditional reactive simulatability. International Journal of Information Security 190.
Journal Article
7 (1), pp. 33 - 54 (2008)
Limits of the BRSIM/UC soundness of Dolev-Yao-style XOR. International Journal of Information Security 191.
Journal Article
16 (5), pp. 497 - 530 (2008)
Key-dependent message security under active attacks - BRSIM/UC-soundness of Dolev-Yao-style encryption with key cycles. Journal of Computer Security 192.
Journal Article
20 (6), pp. 415 - 433 (2008)
The weakest failure detectors to boost obstruction-freedom. Distributed Computing 193.
Journal Article
20 (5), pp. 343 - 358 (2008)
Failure detectors as type boosters. Distributed Computing 194.
Journal Article
74 (5), pp. 823 - 830 (2008)
The gap in circumventing the impossibility of consensus. Journal of Computer and System Sciences 195.
Journal Article
20 (4-5), pp. 481 - 505 (2008)
Model checking Duration Calculus: a practical approach. Formal Aspects of Computing 196.
Journal Article
29, 15, pp. 15.1 - 15.31 (2007)
Transition predicate abstraction and fair termination. ACM Transactions on Programming Languages and Systems 197.
Journal Article
24 (1), pp. 39 - 69 (2006)
Performance Analysis of TLS Web Servers. ACM Transactions on Computer Systems Book Chapter (7)
198.
Book Chapter
Multiprocessor Real-Time Locking Protocols. In: Handbook of Real-Time Computing, pp. 1 - 99 (Eds. Tian, Y.-C.; Levy, D. C.). Springer, Singapore (2020)
199.
Book Chapter
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)
200.
Book Chapter
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)