Proceedings (13)

201.
Proceedings
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.
202.
Proceedings
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.
203.
Proceedings
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.
204.
Proceedings
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.
205.
Proceedings
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.
206.
Proceedings
Majumdar, R.; Murray, R. M.; Prabhakar, P. (Eds.): Verification of Cyber-Physical Systems (Dagstuhl Seminar 14122) (Dagstuhl Reports, 4). Dagstuhl Seminar 14122 "Verification of Cyber-Physical Systems", Wadern, Germany, March 16, 2014 - March 21, 2014. Schloss Dagstuhl, Wadern (2014), 18 pp.
207.
Proceedings
Sala, A.; Goel, A.; Gummadi, K. (Eds.): COSN'14: Proceedings of the Second ACM Conference on Online Social Networks. Second ACM Conference on Online Social Networks, Dublin, Ireland, October 01, 2014 - October 02, 2014. ACM, New York, NY (2014), 278 pp.
208.
Proceedings
Papagiannaki, K.; Gummadi, K.; Partridge, C. (Eds.): Internet Measurement Conference, IMC'13, Barcelona, Spain, October 23-25, 2013. 2013 Conference on Internet Measurement, Barcelona, Spain, October 23, 2013 - October 25, 2013. ACM, New York, NY (2013), 470 pp.
209.
Proceedings
Franz, M.; Holzer, A.; Majumdar, R.; Parno, B.; Veith, H. (Eds.): PETShop '13: Proceedings of the First ACM Workshop on Language Support for Privacy-enhancing Technologies. First ACM Workshop on Language Support for Privacy-enhancing Technologies, Berlin, Germany, November 04, 2013. ACM, New York, NY (2013), 30 pp.
210.
Proceedings
Backes, M.; Ning, P. (Eds.): Computer Security – ESORICS 2009 (Lecture notes in computer science, 5789). 14th European Symposium on Research in Computer Security, Saint-Malo, September 21, 2009 - September 23, 2009. Springer, Berlin (2009), XVI, 706 pp.
211.
Proceedings
Frid, A.; Morozov, A.; Rybalchenko, A.; Wagner, K. W. (Eds.): Computer science - theory and applications (Lecture notes in computer science, 5675). 4th International Computer Science Symposium in Russia, Novosibirsk, August 18, 2009 - August 23, 2009. Springer, Berlin (2009), XIII, 367 pp.

Conference Paper (774)

212.
Conference Paper
Banerjee, T.; Majumdar, R.; Mallik, K.; Schmuck, A.-K.; Soudjani, S.: A Direct Symbolic Algorithm for Solving Stochastic Rabin Games. In: Tools and Algorithms for the Construction and Analysis of Systems, pp. 81 - 98 (Eds. Fisman, D.; Rosu, G.). 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Munich, Germany, April 02, 2022 - April 07, 2022. Springer, Berlin (2022)
213.
Conference Paper
Finkbeiner, B.; Mallik, K.; Passing, N.; Schledjewski, M.; Schmuck, A.-K.: BOCoSy: Small but Powerful Symbolic Output-Feedback Control. In: HSCC 2022, 24 (Eds. Bartocci, E.; Putot, S.). 25th ACM International Conference on Hybrid Systems: Computation and Control, Milan, Italy (Virtual Event), May 04, 2022 - May 06, 2022. ACM, New York, NY (2022)
214.
Conference Paper
Lahoti, P.; Gummadi, K.; Weikum, G.: Detecting and Mitigating Test-time Failure Risks via Model-agnostic Uncertainty Learning. In: 21st IEEE International Conference on Data Mining, pp. 1174 - 1179 (Eds. Bailey, J.; Miettinen, P.; Koh, Y. S.; Tao, D.; Wu, X.). 21st IEEE International Conference on Data Mining , Auckland, New Zealand (Virtual Conference), December 07, 2021 - December 10, 2021. IEEE, Piscataway, NJ (2022)
215.
Conference Paper
Shashidhara, R.; Stamler, T.; Kaufmann, A.; Peter, S.: FlexTOE: Flexible TCP Offload with Fine-Grained Parallelism. In: 19th USENIX Symposium on Networked Systems Design and Implementation, pp. 87 - 102. 19th USENIX Symposium on Networked Systems Design and Implementation, Renton, WA, USA, April 04, 2022 - April 06, 2022. USENIX (2022)
216.
Conference Paper
Wesley, S.; Christakis, M.; Navas, J. A.; Trefler, R.; Wüstholz, V.; Gurfinkel, A.: Verifying Solidity Smart Contracts via Communication Abstraction in SmartACE. In: Verification, Model Checking, and Abstract Interpretation, pp. 425 - 449 (Eds. Finkbeiner, B.; Wies, T.). 23rd International Conference on Verification, Model Checking, and Abstract Interpretation, Philadelphia, PA, USA, January 16, 2022 - January 18, 2022. Springer, Berlin (2022)
217.
Conference Paper
33rd Euromicro Conference on Real-Time Systems. In: 33nd Euromicro Conference on Real-Time Systems, pp. 1 - 12. 33nd Euromicro Conference on Real-Time Systems, Virtual Conference, July 07, 2020 - July 10, 2020. Schloss Dagstuhl, Wadern (2021)
218.
Conference Paper
Abbasi, R.; Schiffl, J.; Darulova, E.; Ulbrich, M.; Ahrendt, W.: Deductive Verification of Floating-Point Java Programs in KeY. In: Tools and Algorithms for the Construction and Analysis of Systems, pp. 242 - 261 (Eds. Groote, J. F.; Guldstrand Larsen, K.). 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Luxembourg City, Luxembourg, March 27, 2021 - April 01, 2021. Springer, Berlin (2021)
219.
Conference Paper
Abdulla, P. A.; Atig, M. F.; Godbole, A.; Krishna, S. N.; Vafeiadis, V.: The Decidability of Verification under PS 2.0. In: Programming Languages and Systems, pp. 1 - 29 (Ed. Yoshida, N.). 24th European Joint Conferences on Theory and Practice of Software, Luxembourg City, Luxembourg, March 27, 2021 - April 01, 2021. Springer, Berlin (2021)
220.
Conference Paper
Akgul, O.; Abu-Salma, R.; Bai, W.; Redmiles, E. M.; Mazurek, M. L.; Ur, B.: From Secure to Military-Grade: Exploring the Effect of App Descriptions on User Perceptions of Secure Messaging. In: WPES '21, pp. 119 - 135 (Ed. Livraga, G.). 20th Workshop on Workshop on Privacy in the Electronic Society, Virtual Event, Republic of Korea, November 15, 2021. ACM, New York, NY (2021)
Go to Editor View