Journal Article (201)

Journal Article
Coarfa, C.; Druschel, P.; Wallach, D. S.: Performance Analysis of TLS Web Servers. ACM Transactions on Computer Systems 24 (1), pp. 39 - 69 (2006)

Book Chapter (8)

Book Chapter
Redmiles, E. M.: The Need for Respectful Technologies: Going Beyond Privacy. In: Perspectives on Digital Humanism, pp. 309 - 313 (Eds. Werthner, H.; Prem, E.; Lee, E. A.; Ghezzi, C.). Springer, Cham (2022)
Book Chapter
Brandenburg, B.: Multiprocessor Real-Time Locking Protocols. In: Handbook of Real-Time Computing, pp. 1 - 99 (Eds. Tian, Y.-C.; Levy, D. C.). Springer, Singapore (2020)
Book Chapter
Bouyer, P.; Fahrenberg, U.; Guldstrand Larsen, K.; Markey, N.; Ouaknine, J.; Worrell, J.: 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)
Book Chapter
Majumdar, R.; Raskin, J.-F.: 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)
Book Chapter
Bouyer, P.; Laroussinie, F.; Markey, N.; Ouaknine, J.; Worrell, J.: Timed Temporal Logics. In: Models, Algorithms, Logics and Tools, pp. 211 - 230 (Eds. Aceto, L.; Bacci, G.; Bacci, G.; Ingólfsdóttir, A.; Legay, A. et al.). Springer, Berlin (2017)
Book Chapter
Kloos, J.; Majumdar, R.; McCabe, F.: Deferrability Analysis for JavaScript. In: Hardware and Software: Verification and Testing, pp. 35 - 50 (Eds. Strichmann, O.; Tzoref-Brill, R.). Springer, Berlin (2017)
Book Chapter
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, pp. 87 - 138 (Eds. Aldini, A.; Lopez, J.; Martinelli, F.). Springer, Berlin (2016)
Book Chapter
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, pp. 169 - 193 (Eds. Voronkov, A.; Weidenbach, C.). Springer, Berlin (2013)

Proceedings (19)

Chisnall, D.; Garg, D.; Hriţcu, C.; Payer, M. (Eds.): Secure Compilation (Dagstuhl Reports, 11). Dagstuhl Seminar 21481 "Secure Compilation", Dagstuhl, Germany, November 28, 2021 - December 03, 2021. Schloss Dagstuhl, Wadern (2022)
Bjørner, N. S.; Christakis, M.; Maffei, M.; Rosu, G. (Eds.): Rigorous Methods for Smart Contracts (Dagstuhl Reports, 11). Dagstuhl Seminar 21431 "Rigorous Methods for Smart Contracts", Dagstuhl, Germany, October 24, 2021 - October 29, 2021. Schloss Dagstuhl, Wadern (2021)
Ensuring the Reliability and Robustness of Database Management Systems (Dagstuhl Reports, 11). Dagstuhl Seminar 21442 "Ensuring the Reliability and Robustness of Database Management Systems", Dagstuhl, Germany, November 01, 2021 - November 04, 2021. Schloss Dagstuhl, Wadern (2021)
Georgiou, C.; Majumdar, R. (Eds.): Network Systems (Lecture Notes in Computer Science, 12129). 8th International Conference on Networked Systems, Marrakech, Morocco, June 03, 2020 - June 05, 2020. Springer, Berlin (2021), XVII, 376 pp.
Christakis, M.; Polikarpova, N.; Duggirala, P. S.; Schrammel, P. (Eds.): Software Verification (Lecture Notes in Computer Science, 12549). 12th Working Conference on Verified Software: Theories, Tools, and Experiments , Virtual, July 20, 2020 - July 21, 2020. Springer, Berlin (2020), XXVI, 239 pp.
Zamani, M.; Zufferey, D. (Eds.): Numerical Software Verification (Lecture Notes in Computer Science, 11652). 12th International Workshop on Numerical Software Verification, New York, NY, USA, July 13, 2019 - July 14, 2019. Springer, Berlin (2019), XV, 145 pp.
Darulova, E.; Donaldson, A. F.; Rakamarić, Z.; Rubio-González, C. (Eds.): Analysis and Synthesis of Floating-point Programs (Dagstuhl Reports, 7). Dagstuhl Seminar 17352 "Analysis and Synthesis of Floating-point Programs", Dagstuhl, Germany, August 27, 2017 - August 30, 2017. Schloss Dagstuhl, Wadern (2018), 28 pp.
Belta, C. A.; Majumdar, R.; Zamani, M.; Rungger, M. (Eds.): Formal Synthesis of Cyber-Physical Systems (Dagstuhl Reports, 7). Dagstuhl Seminar 17201 "Formal Synthesis of Cyber-Physical Systems", Dagstuhl, Germany, May 14, 2017 - May 19, 2017. Schloss Dagstuhl, Wadern (2017), 13 pp.
Bertot, Y.; Vafeiadis, V. (Eds.): CPP'17. 6th ACM SIGPLAN Conference on Certified Programs and Proofs, Paris, France, January 16, 2017 - January 17, 2017. ACM, New York, NY (2017), VIII, 235 pp.
Chaudhuri, S.; Kannan, S.; Majumdar, R.; Wooldridge, M. J. (Eds.): Game Theory in AI, Logic, and Algorithms (Dagstuhl Reports, 7). Dagstuhl Seminar 17111 "Game Theory in AI, Logic, and Algorithms", Dagstuhl, Germany, March 12, 2017 - March 17, 2017. Schloss Dagstuhl, Wadern (2017), 6 pp.
Bodik, R.; Majumdar, R. (Eds.): POPL'16. 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, St. Petersburg, FL, USA, January 20, 2015 - January 22, 2015. ACM, New York, NY (2016), XVI, 817 pp.
Go to Editor View