-
Static Analysis – 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings
Podelski, Andreas 2018 Springer International Publishing
-
Machine Learning for Dynamic Software Analysis: Potentials and Limits – International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers
Bennaceur, Amel ; Hähnle, Reiner ; Meinke, Karl 2018 Springer International Publishing
-
Risks and Security of Internet and Systems – 12th International Conference, CRiSIS 2017, Dinard, France, September 19-21, 2017, Revised Selected Papers
Cuppens, Nora ; Cuppens, Frédéric ; Lanet, Jean-Louis ; Legay, Axel ; Garcia-Alfaro, Joaquin 2018 Springer International Publishing
-
Computer Performance Engineering – 14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017, Proceedings
Reinecke, Philipp ; Di Marco, Antinisca 2017 Springer International Publishing
-
Euro-Par 2017: Parallel Processing Workshops – Euro-Par 2017 International Workshops, Santiago de Compostela, Spain, August 28-29, 2017, Revised Selected Papers
Heras, Dora B. ; Bougé, Luc 2018 Springer International Publishing
-
Graph Transformation, Specifications, and Nets – In Memory of Hartmut Ehrig
2018 Springer International Publishing
-
Advanced Parallel Processing Technologies – 12th International Symposium, APPT 2017, Santiago de Compostela, Spain, August 29, 2017, Proceedings
Dou, Yong ; Lin, Haixiang ; Sun, Guangyu ; Wu, Junjie ; Heras, Dora ; Bougé, Luc 2017 Springer International Publishing
-
Runtime Verification – 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings
Shuvendu, Lahiri ; Reger, Giles 2017 Springer Berlin Heidelberg
-
Static Analysis – 24th International Symposium, SAS 2017, New York, NY, USA, August 30 – September 1, 2017, Proceedings
Ranzato, Francesco 2017 Springer International Publishing
-
Logic-Based Program Synthesis and Transformation – 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers
Hermenegildo, Manuel V. ; López García, Pedro 2017 Springer International Publishing
-
Computability and Complexity – Essays Dedicated to Rodney G. Downey on the Occasion of His 60th Birthday
Day, Adam ; Fellows, Michael R. ; Greenberg, Noam ; Khoussainov, Bakhadyr ; Melʹnikov, Aleksandr V. ; Rosamond, Frances 2016 Springer International Publishing
-
Small Dynamic Complexity Classes – An Investigation into Dynamic Descriptive Complexity
Zeume, Thomas 2017 Springer International Publishing
-
Numerical Software Verification – 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers
Bogomolov, Sergiy ; Martel, Matthieu ; Prabhakar, Pavithra 2017 Springer Berlin Heidelberg
-
Systematic Approaches to Advanced Information Flow Analysis – and Applications to Software Security
Mohr, Martin 2023 KIT Scientific Publishing
-
Construction of an evaluation index system for teacher education students’ information literacy: an empirical analysis of Chinese postgraduate programs
Chen, Shi ; Mohamed Salleh, Sabariah ; Mohamad Salleh, Mohd Azul ; Zhou, Fei
-
The Pyttern Program Query Language
Liénard, Julien ; Mens, Kim ; Nijssen, Siegfried 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
-
A Comparison of Three Program Query Languages to Detect Python Programming Misconceptions
Colla, Quentin ; Mens, Kim ; Liénard, Julien 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
-
Fuzzing as Editor Feedback
Garus, Marcel ; Lincke, Jens ; Hirschfeld, Robert 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
-
Are We There Yet? On Security Vulnerabilities Produced by Open Source Generative AI Models and Its Implications for Security Education
Santos Galeano, Maria Camila ; Gasiba, Tiago Espinha ; Amburi, Sathwik ; Pinto-Albuquerque, Maria 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
-
On the Use of Concept Maps to Improve Student Skills in an Introductory Object-Oriented Analysis and Design Course
Vélez, José F. ; Moreno, A. Belén ; Ruiz-Parrado, Victoria ; Sánchez, Ángel 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik