Zeitschriftenartikel (252)
241.
Zeitschriftenartikel
52 (11), S. 86 - 86 (2009)
Narrowing the semantic gap in distributed programming. Communications of the ACM 242.
Zeitschriftenartikel
17 (5), S. 1357 - 1370 (2009)
Analyzing the video popularity characteristics of large-scale user generated content systems. IEEE ACM Transactions on Networking 243.
Zeitschriftenartikel
20 (9), S. 1339 - 1351 (2009)
Full-information lookups for peer-to-peer overlays. IEEE Transactions on Parallel and Distributed Systems 244.
Zeitschriftenartikel
7 (2), S. 155 - 169 (2008)
Conditional reactive simulatability. International Journal of Information Security 245.
Zeitschriftenartikel
7 (1), S. 33 - 54 (2008)
Limits of the BRSIM/UC soundness of Dolev-Yao-style XOR. International Journal of Information Security 246.
Zeitschriftenartikel
16 (5), S. 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 247.
Zeitschriftenartikel
20 (6), S. 415 - 433 (2008)
The weakest failure detectors to boost obstruction-freedom. Distributed Computing 248.
Zeitschriftenartikel
20 (5), S. 343 - 358 (2008)
Failure detectors as type boosters. Distributed Computing 249.
Zeitschriftenartikel
74 (5), S. 823 - 830 (2008)
The gap in circumventing the impossibility of consensus. Journal of Computer and System Sciences 250.
Zeitschriftenartikel
20 (4-5), S. 481 - 505 (2008)
Model checking Duration Calculus: a practical approach. Formal Aspects of Computing 251.
Zeitschriftenartikel
29, 15, S. 15.1 - 15.31 (2007)
Transition predicate abstraction and fair termination. ACM Transactions on Programming Languages and Systems 252.
Zeitschriftenartikel
24 (1), S. 39 - 69 (2006)
Performance Analysis of TLS Web Servers. ACM Transactions on Computer Systems Buchkapitel (11)
253.
Buchkapitel
Fairness and Liveness Under Weak Consistency. In: Taming the Infinities of Concurrency, S. 1 - 21 (Hg. Kiefer, S.; Křetínský, J.; Kučera, A.). Springer, Berlin (2024)
254.
Buchkapitel
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)
255.
Buchkapitel
Multiprocessor Real-Time Locking Protocols. In: Handbook of Real-Time Computing, S. 347 - 446 (Hg. Tian, Y.-C.; Levy, D. C.). Springer, Singapore (2022)
256.
Buchkapitel
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)
257.
Buchkapitel
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)
258.
Buchkapitel
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)
259.
Buchkapitel
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)
260.
Buchkapitel
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)