Zeitschriftenartikel (127)

121.
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)
122.
Zeitschriftenartikel
Guerraoui, R.; Kapalka, M.; Kouznetsov, P.: The weakest failure detectors to boost obstruction-freedom. Distributed Computing 20 (6), S. 415 - 433 (2008)
123.
Zeitschriftenartikel
Guerraoui, R.; Kouznetsov, P.: Failure detectors as type boosters. Distributed Computing 20 (5), S. 343 - 358 (2008)
124.
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)
125.
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)
126.
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)
127.
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 (6)

128.
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)
129.
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)
130.
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)
131.
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)
132.
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)
133.
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 (12)

134.
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.
135.
Konferenzband
Darulova, E.; Donaldson, A. F.; Rakamarić, Z.; Rubio-González, C. (Hg.): Analysis and Synthesis of Floating-point Programs (Dagstuhl Reports, 7). Dagstuhl Seminar 17352 "Analysis and Synthesis of Floating-point Programs", Dagstuhl, Germany, 27. August 2017 - 30. August 2017. Schloss Dagstuhl, Wadern (2018), 28 S.
136.
Konferenzband
Belta, C. A.; Majumdar, R.; Zamani, M.; Rungger, M. (Hg.): Formal Synthesis of Cyber-Physical Systems (Dagstuhl Reports, 7). Dagstuhl Seminar 17201 "Formal Synthesis of Cyber-Physical Systems", Dagstuhl, Germany, 14. Mai 2017 - 19. Mai 2017. Schloss Dagstuhl, Wadern (2017), 13 S.
137.
Konferenzband
Bertot, Y.; Vafeiadis, V. (Hg.): CPP'17. 6th ACM SIGPLAN Conference on Certified Programs and Proofs, Paris, France, 16. Januar 2017 - 17. Januar 2017. ACM, New York, NY (2017), VIII, 235 S.
138.
Konferenzband
Chaudhuri, S.; Kannan, S.; Majumdar, R.; Wooldridge, M. J. (Hg.): Game Theory in AI, Logic, and Algorithms (Dagstuhl Reports, 7). Dagstuhl Seminar 17111 "Game Theory in AI, Logic, and Algorithms", Dagstuhl, Germany, 12. März 2017 - 17. März 2017. Schloss Dagstuhl, Wadern (2017), 6 S.
139.
Konferenzband
Bodik, R.; Majumdar, R. (Hg.): POPL'16. 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, St. Petersburg, FL, USA, 20. Januar 2015 - 22. Januar 2015. ACM, New York, NY (2016), XVI, 817 S.
140.
Konferenzband
Majumdar, R.; Murray, R. M.; Prabhakar, P. (Hg.): Verification of Cyber-Physical Systems (Dagstuhl Seminar 14122) (Dagstuhl Reports, 4). Dagstuhl Seminar 14122 "Verification of Cyber-Physical Systems", Wadern, Germany, 16. März 2014 - 21. März 2014. Schloss Dagstuhl, Wadern (2014), 18 S.
Zur Redakteursansicht