-
Static application security testing by abstract interpretation
Kästner, Daniel ; Hahn, Sebastian ; Giet, Josselin ; Herter, Jörg ; Mallon, Christoph ; Mauborgne, Laurent ; Wilhelm, Stephan ; Ferdinand, Christian 2025 Ruhr-Universität Bochum
-
An abstract interpretation for SPMD divergence on reducible control flow graphs
Rosemann, Julian ; Moll, Simon ; Hack, Sebastian 2021 Saarländische Universitäts- und Landesbibliothek
-
Tracking the shape of data frames in R programs using abstract interpretation
Gerstl, Oliver 2025 Universität Ulm
-
Katarzyna Kobro - ruch czasoprzestrzeni
Słoboda, Katarzyna ; Jędrzejczyk, Małgorzata 2021 Muzeum Sztuki w Łodzi
-
Abstraction-Based Decision Making for Statistical Properties (Invited Talk)
Cano, Filip ; Henzinger, Thomas A. ; Könighofer, Bettina ; Kueffner, Konstantin ; Mallik, Kaushik 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
-
Improving WCET Evaluation using Linear Relation Analysis
Raymond, Pascal ; Maiza, Claire ; Parent-Vigouroux, Catherine ; Jahier, Erwan ; Halbwachs, Nicolas ; Carrier, Fabienne ; Asavoae, Mihail ; Boutonnet, Rémy
-
Formalizing Concentration Inequalities in Rocq: Infrastructure and Automation
Affeldt, Reynald ; Bruni, Alessandro ; Cohen, Cyril ; Roux, Pierre ; Saikawa, Takafumi 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
-
Verification, Model Checking, and Abstract Interpretation – 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings
Jobstmann, Barbara ; Leino, K. Rustan M. 2012 Springer Berlin Heidelberg
-
Verification, Model Checking, and Abstract Interpretation – 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings
Dillig, Isil ; Palsberg, Jens 2018 Springer International Publishing
-
Verification, Model Checking, and Abstract Interpretation – 18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedings
Bouajjani, Ahmed ; Monniaux, David 2017 Springer Berlin Heidelberg
-
Theory and Practice of Formal Methods – Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday
Ábrahám, Erika ; Johnsen, Einar Broch ; Bonsangue, Marcello M. 2016 Springer International Publishing
-
Verification, Model Checking, and Abstract Interpretation – 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019, Proceedings
2019 Springer International Publishing
-
Abstract Subtyping for Asynchronous Multiparty Sessions
Bocchi, Laura ; King, Andy ; Murgia, Maurizio ; Thompson, Simon 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
-
Model Checking as Program Verification by Abstract Interpretation
Baldan, Paolo ; Bruni, Roberto ; Ranzato, Francesco ; Rigo, Diletta 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
-
Verification, Model Checking, and Abstract Interpretation – 25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, Proceedings, Part I
2024 Springer Nature Switzerland
-
Verification, Model Checking, and Abstract Interpretation – 25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, Proceedings, Part II
2024 Springer Nature Switzerland
-
Verification, Model Checking, and Abstract Interpretation – 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022, Proceedings
2022 Springer International Publishing
-
Verification, Model Checking, and Abstract Interpretation – 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021, Proceedings
2021 Springer International Publishing
-
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXIII – Selected Papers from FDSE 2014
Hameurlain, Abdelkader ; Küng, Josef ; Wagner, Roland ; Dang, Tran Khanh ; Thoai, Nam 2016 Springer International Publishing
-
Verification, Model Checking, and Abstract Interpretation – 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, Proceedings
2020 Springer International Publishing