Zeitschriftenartikel (191)

181.
Zeitschriftenartikel
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), S. 1357 - 1370 (2009)
182.
Zeitschriftenartikel
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), S. 1339 - 1351 (2009)
183.
Zeitschriftenartikel
Backes, M.; DĂŒrmuth, M.; Hofheinz, D.; KĂŒsters, R.: Conditional reactive simulatability. International Journal of Information Security 7 (2), S. 155 - 169 (2008)
184.
Zeitschriftenartikel
Backes, M.; Pfitzmann, B.: Limits of the BRSIM/UC soundness of Dolev-Yao-style XOR. International Journal of Information Security 7 (1), S. 33 - 54 (2008)
185.
Zeitschriftenartikel
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), S. 497 - 530 (2008)
186.
Zeitschriftenartikel
Guerraoui, R.; Kapalka, M.; Kouznetsov, P.: The weakest failure detectors to boost obstruction-freedom. Distributed Computing 20 (6), S. 415 - 433 (2008)
187.
Zeitschriftenartikel
Guerraoui, R.; Kouznetsov, P.: Failure detectors as type boosters. Distributed Computing 20 (5), S. 343 - 358 (2008)
188.
Zeitschriftenartikel
Guerraoui, R.; Kouznetsov, P.: The gap in circumventing the impossibility of consensus. Journal of Computer and System Sciences 74 (5), S. 823 - 830 (2008)
189.
Zeitschriftenartikel
Meyer, R.; Faber, J.; Hoenicke, J.; Rybalchenko, A.: Model checking Duration Calculus: a practical approach. Formal Aspects of Computing 20 (4-5), S. 481 - 505 (2008)
190.
Zeitschriftenartikel
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)
191.
Zeitschriftenartikel
Coarfa, C.; Druschel, P.; Wallach, D. S.: Performance Analysis of TLS Web Servers. ACM Transactions on Computer Systems 24 (1), S. 39 - 69 (2006)

Buchkapitel (7)

192.
Buchkapitel
Brandenburg, B.: Multiprocessor Real-Time Locking Protocols. In: Handbook of Real-Time Computing, S. 1 - 99 (Hg. Tian, Y.-C.; Levy, D. C.). Springer, Singapore (2020)
193.
Buchkapitel
Bouyer, P.; Fahrenberg, U.; Guldstrand Larsen, K.; Markey, N.; Ouaknine, J.; Worrell, J.: 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)
194.
Buchkapitel
Majumdar, R.; Raskin, J.-F.: 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)
195.
Buchkapitel
Bouyer, P.; Laroussinie, F.; Markey, N.; Ouaknine, J.; Worrell, J.: 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)
196.
Buchkapitel
Kloos, J.; Majumdar, R.; McCabe, F.: Deferrability Analysis for JavaScript. In: Hardware and Software: Verification and Testing, S. 35 - 50 (Hg. Strichmann, O.; Tzoref-Brill, R.). Springer, Berlin (2017)
197.
Buchkapitel
Backes, M.; Berrang, P.; Manoharan, P.: From Zoos to Safaris -- From Closed-World Enforcement to Open-World Assessment of Privacy. In: Foundations of Security Analysis and Design VIII, S. 87 - 138 (Hg. Aldini, A.; Lopez, J.; Martinelli, F.). Springer, Berlin (2016)
198.
Buchkapitel
Hillenbrand, T.; Piskac, R.; Waldmann, U.; Weidenbach, C.: From Search to Computation: Redundancy Criteria and Simplification at Work. In: Programming Logics: Essays in Memory of Harald Ganzinger, S. 169 - 193 (Hg. Voronkov, A.; Weidenbach, C.). Springer, Berlin (2013)

Konferenzband (13)

199.
Konferenzband
Christakis, M.; Polikarpova, N.; Duggirala, P. S.; Schrammel, P. (Hg.): Software Verification (Lecture Notes in Computer Science, 12549). 12th Working Conference on VeriïŹed Software: Theories, Tools, and Experiments , Virtual, 20. Juli 2020 - 21. Juli 2020. Springer, Berlin (2020), XXVI, 239 S.
200.
Konferenzband
Zamani, M.; Zufferey, D. (Hg.): Numerical Software Verification (Lecture Notes in Computer Science, 11652). 12th International Workshop on Numerical Software Verification, New York, NY, USA, 13. Juli 2019 - 14. Juli 2019. Springer, Berlin (2019), XV, 145 S.
Zur Redakteursansicht