-
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems – 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III
Margaria, Tiziana 2018 Springer International Publishing
-
Leveraging Applications of Formal Methods, Verification and Validation. Verification – 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II
Margaria, Tiziana 2018 Springer International Publishing
-
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice – 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV
Margaria, Tiziana 2018 Springer International Publishing
-
Leveraging Applications of Formal Methods, Verification and Validation. Modeling – 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I
Margaria, Tiziana 2018 Springer International Publishing
-
Automated Technology for Verification and Analysis – 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings
Lahiri, Shuvendu K. 2018 Springer International Publishing
-
Principles of Modeling – Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday
Lohstroh, Marten ; Derler, Patricia ; Sirjani, Marjan 2018 Springer International Publishing
-
Architecture of Computing Systems – ARCS 2018 – 31st International Conference, Braunschweig, Germany, April 9–12, 2018, Proceedings
Bereković, Mladen ; Buchty, Rainer ; Hamann, Heiko ; Koch, Dirk ; Pionteck, Thilo 2018 Springer International Publishing
-
Job Scheduling Strategies for Parallel Processing – 21st International Workshop, JSSPP 2017, Orlando, FL, USA, June 2, 2017, Revised Selected Papers
Klusáček, Dalibor ; Cirne, Walfredo ; Desai, Narayan 2018 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
-
Hardware and Software: Verification and Testing – 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings
Strichman, Ofer ; Tzoref-Brill, Rachel 2017 Springer International Publishing
-
Guest editorial for the special section on MODELS 2022
Bencomo, Nelly ; Sahraoui, Houari ; Syriani, Eugene ; Wimmer, Manuel
-
Interactive Evaluation of Complex Programming Assignments Using LLM Assistant
Kormaník, Tomáš ; Lukáčová, Viktória ; Porubän, Jaroslav 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
-
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
-
Economic Simulations in Swarm: Agent-Based Modelling and Object Oriented Programming
2000 Springer US
-
A model and workflow-driven approach for engineering domain-specific low-code platforms and applications
Martínez-Lasaca, Francisco ; Díez, Pablo ; Guerra, Esther ; Lara, Juan de
-
Architekturbasiertes IT-Alignment – Bezugsrahmen und Framework zur mehrdimensionalen und kontinuierlichen Ausrichtung von Geschäft und IT
Kröschel, Ivonne 2016 Springer Fachmedien Wiesbaden
-
Mathematical modeling of sustainable development goals of India agenda 2030: a Neutrosophic programming approach
Haq, Ahteshamul ; Modibbo, Umar Muhammad ; Ahmed, Aquil ; Ali, Irfan