SE/SWM

Publications

2019

Yannic Noller, Rody Kersten, Corina S. Pasareanu
Badger: Complexity Analysis with Fuzzing and Symbolic Execution. SE/SWM (2019)
Mario Gleirscher
Risk Mitigation Strategies in High Automation. SE/SWM (2019)
Stefanie Betz
Keynote: Prof. Dr. Stefanie Betz (Sozioinformatik, Hochschule Furtwangen). SE/SWM (2019)
Alexander Knüppel, Thomas Thüm, Carsten Immanuel Pardylla, Ina Schaefer
Understanding Parameters of Deductive Verification: An Empirical Investigation of KeY. SE/SWM (2019)
Zoltán Ádám Mann
Architecture and Quality of Cloud Simulators. SE/SWM (2019)
Holger Knoche, Wilhelm Hasselbring
Experience with Microservices for Legacy Software Modernization. SE/SWM (2019)
Jacob Krüger, Jens Wiemann, Wolfram Fenske, Gunter Saake, Thomas Leich
Understanding How Programmers Forget. SE/SWM (2019)
Mukelabai Mukelabai, Damir Nesic, Salome Maro, Thorsten Berger, Jan-Philipp Steghöfer
Tackling combinatorial explosion: a study of industrial needs and practices for analyzing highly configurable systems. SE/SWM (2019)
Rick Rabiser, Jürgen Thanhofer-Pilisch, Michael Vierhauser, Paul Grünbacher, Alexander Egyed
Developing and Evolving a DSL-based Approach for Runtime Monitoring of Systems of Systems. SE/SWM (2019)
Arnab Sharma, Heike Wehrheim
Testing Balancedness of ML Algorithms. SE/SWM (2019)
Jan Ole Johanssen, Anja Kleebaum, Barbara Paech, Bernd Bruegge
The Eye of Continuous Software Engineering. SE/SWM (2019)
Diego Marmsoler
Verifying Dynamic Architectures using Model Checking and Interactive Theorem Proving. SE/SWM (2019)
Jens Bürger, Daniel Strüber, Stefan Gärtner, Thomas Ruhroth, Jan Jürjens, Kurt Schneider
A Framework for Semi-Automated Co-Evolution of Security Knowledge and System Models (Summary). SE/SWM (2019)
Ronny Seiger, Steffen Huber, Peter Heisig, Uwe Assmann
A Framework for Self-adaptive Workflows in Cyber-physical Systems. SE/SWM (2019)
Software Engineering and Software Management, SE/SWM 2019, Stuttgart, Germany, February 18-22, 2019 SE/SWM (2019)
Abdullah M. Alshanqiti, Reiko Heckel, Timo Kehrer
Inferring Visual Contracts from Java Programs. SE/SWM (2019)
Daniela S. Cruzes, Michael Felderer, Tosin Daniel Oyetoyan, Matthias Gander, Irdin Pekaric
How is security testing done in agile teams? A cross-case analysis of four software teams. SE/SWM (2019)
Jennifer Brings, Marian Daun, Markus Kempe, Thorsten Weyer
Validierung und Verifikation von emergentem Verhalten im Software Engineering - Ergebnisse eines Vergleichs unterschiedlicher Suchmethoden. SE/SWM (2019)
Andreas Helferich, Katharina Peine
Designing an App that promotes Sustainable Mobility - Agile and user-centered development of an app and corresponding business model. SE/SWM (2019)
Regina Hebig, Christoph Seidl, Thorsten Berger, John Kook Pedersen, Andrzej Wasowski
Model Transformation Languages under a Magnifying Glass: A Controlled Experiment with Xtend, ATL, and QVT. SE/SWM (2019)
Gabriele Taentzer, Timo Kehrer, Christopher Pietsch, Udo Kelter
A Formal Framework for Incremental Model Slicing. SE/SWM (2019)
Christoph Stanik, Lloyd Montgomery, Daniel Martens, Davide Fucci, Walid Maalej
A Simple NLP-based Approach to Support Onboarding and Retention in Open Source Communities. SE/SWM (2019)
Mohamed Soliman, Amr Rekaby Salama, Matthias Galster, Olaf Zimmermann, Matthias Riebisch
Improving the Search for Architecture Knowledge in Online Developer Communities. SE/SWM (2019)
Steffen Helke, Ina Schaefer, Andreas Vogelsang
16. Workshop Automotive Software Engineering. SE/SWM (2019)
Salome Maro, Jan-Philipp Steghöfer, Miroslaw Staron
Software Traceability in the Automotive Domain: Challenges and Solutions. SE/SWM (2019)
Arne N. Johanson, Wilhelm Hasselbring
Software Engineering for Computational Science. SE/SWM (2019)
Sebastian Baltes, Stephan Diehl
Towards a Theory of Software Development Expertise. SE/SWM (2019)
Marian Daun, Bastian Tenbergen, Jennifer Brings, Patricia Aluko Obe
Sichtenbasierte Kontextmodellierung für die Entwicklung kollaborativer cyber-physischer Systeme. SE/SWM (2019)
Marian Daun, Jennifer Brings, Kevin Keller, Sarah Brinckmann, Thorsten Weyer
Erfolgreicher Technologietransfer im Software Engineering - Transferansätze, Erfolgsfaktoren und Fallstricke. SE/SWM (2019)
Micha Bosler, Christopher Jud, Georg Herzwurm
Connected-Car-Services: eine Klassifikation der Plattformen für das vernetzte Automobil. SE/SWM (2019)
Christian Kröher, Lea Gerling, Klaus Schmid
Identifying the Intensity of Variability Changes in Software Product Line Evolution. SE/SWM (2019)
Michael Rath, Jacob Rendall, Jin L. C. Guo, Jane Cleland-Huang, Patrick Mäder
Traceability in the Wild: Automatically Augmenting Incomplete Trace Links. SE/SWM (2019)
Qusai Ramadan, Amir Shayan Ahmadian, Jan Jürjens, Steffen Staab, Daniel Strüber
Explaining Algorithmic Decisions with respect to Fairness. SE/SWM (2019)
Olaf Kolditz
Keynote: Prof. Dr. Olaf Kolditz (Umweltinformatik, Helmholzzentrum für Umweltforschung). SE/SWM (2019)
Dimitri Petrik, Georg Herzwurm
Stakeholderanalyse in plattformbasierten Ökosystemen für industrielle IoT-Plattformen. SE/SWM (2019)
Jonas Huthmacher
Keynote: Jonas Huthmacher (Senior Product Manager beim Lab1886, Daimler AG). SE/SWM (2019)
Sinem Getir, André van Hoorn, Timo Kehrer, Yannic Noller, Matthias Tichy
Supporting Semi-Automatic Co-Evolution of Architecture and Fault Tree Models. SE/SWM (2019)
Markus Voelter
Using Language Workbenches and Domain-Specific Languages for Safety-critical Software Development. SE/SWM (2019)
Harry M. Sneed
Checking Consistency and Completeness of Software Systems. SE/SWM (2019)
Morten Mossige, Arnaud Gotlieb, Helge Spieker, Hein Meling, Mats Carlsson
Time-aware Test Execution Scheduling for Cyber-Physical Systems. SE/SWM (2019)
Robert Heinrich, Reiner Jung, Marco Konersmann, Eric Schmieders
6th Collaborative Workshop on Evolution and Maintenance of Long-Living Systems. SE/SWM (2019)
Leen Lambers, Daniel Strüber, Gabriele Taentzer, Kristopher Born, Jevgenij Huebert
Multi-Granular Conflict and Dependency Analysis in Software Engineering based on Graph Transformation (Summary). SE/SWM (2019)
Eckhart Hanser
Wandel der Vorgehensmodelle im Zeitalter der digitalen Transformation - Warum IT-Projekte agil werden müssen. SE/SWM (2019)
Rüdiger Ehlers, Jörg Grieser, Christoph Knieke, Andreas Rausch, Mirco Schindler
Quality Assurance of Machine Learned Models by Integrating Domain Knowledge and Formal Verification. SE/SWM (2019)
Thorsten Haendler, Gustaf Neumann
Serious Games for Software Refactoring. SE/SWM (2019)
Oliver Karras, Alexandra Risch, Kurt Schneider
Linking Use Cases and Associated Requirements: On the Impact of Linking Variants on Reading Behavior. SE/SWM (2019)
Harald Foidl, Michael Felderer
Integrating software quality models into risk-based testing. SE/SWM (2019)
Sardar Muhammad Sulaman, Armin Beer, Michael Felderer, Martin Höst
Comparison of the FMEA and STPA safety analysis methods-a case study. SE/SWM (2019)
Sebastian Krieter, Thomas Thüm, Sandro Schulze, Reimar Schröter, Gunter Saake
Propagating Configuration Decisions with Modal Implication Graphs. SE/SWM (2019)
Jil Klünder, Philipp Hohl, Kurt Schneider
Software-Produktlinien agilisieren: Ein Transformationsmodell für große Unternehmen. SE/SWM (2019)