Abstract is missing.
- Software Engineering and Software Management 2019 [doi]
- Keynote: Prof. Dr. Olaf Kolditz (Umweltinformatik, Helmholzzentrum für Umweltforschung)Olaf Kolditz. 21-22 [doi]
- Keynote: Jonas Huthmacher (Senior Product Manager beim Lab1886, Daimler AG)Jonas Huthmacher. 23 [doi]
- Keynote: Prof. Dr. Stefanie Betz (Sozioinformatik, Hochschule Furtwangen)Stefanie Betz. 25-26 [doi]
- 6th Collaborative Workshop on Evolution and Maintenance of Long-Living SystemsRobert Heinrich, Reiner Jung, Marco Konersmann, Eric Schmieders. 29-30 [doi]
- 16. Workshop Automotive Software EngineeringSteffen Helke, Ina Schaefer, Andreas Vogelsang. 31-32 [doi]
- 1st Workshop on Avionics Systems and Software Engineering (AVIOSE'19)Björn Annighöfer, Andreas Schweiger, Marina Reich. 33-35 [doi]
- 2nd Workshop on Innovative Software Engineering EducationStephan Krusche, Marco Kuhrmann, Kurt Schneider. 37-38 [doi]
- Software Engineering for Computational ScienceArne N. Johanson, Wilhelm Hasselbring. 43-44 [doi]
- Validierung und Verifikation von emergentem Verhalten im Software Engineering - Ergebnisse eines Vergleichs unterschiedlicher SuchmethodenJennifer Brings, Marian Daun, Markus Kempe, Thorsten Weyer. 47-48 [doi]
- A Unified Lattice Model and Framework for Purity AnalysesDominik Helm, Florian Kübler, Michael Eichberg, Michael Reif, Mira Mezini. 51-52 [doi]
- Inferring Visual Contracts from Java ProgramsAbdullah M. Alshanqiti, Reiko Heckel, Timo Kehrer. 53-54 [doi]
- Risk Mitigation Strategies in High AutomationMario Gleirscher. 55-56 [doi]
- Supporting Semi-Automatic Co-Evolution of Architecture and Fault Tree ModelsSinem Getir, André van Hoorn, Timo Kehrer, Yannic Noller, Matthias Tichy. 57-58 [doi]
- Software Traceability in the Automotive Domain: Challenges and SolutionsSalome Maro, Jan-Philipp Steghöfer, Miroslaw Staron. 61-62 [doi]
- Traceability in the Wild: Automatically Augmenting Incomplete Trace LinksMichael Rath 0002, Jacob Rendall, Jin L. C. Guo, Jane Cleland-Huang, Patrick Mäder. 63 [doi]
- Badger: Complexity Analysis with Fuzzing and Symbolic ExecutionYannic Noller, Rody Kersten, Corina S. Pasareanu. 65-66 [doi]
- The Eye of Continuous Software EngineeringJan Ole Johanssen, Anja Kleebaum, Barbara Paech, Bernd Bruegge. 67-68 [doi]
- Inner Source Definition, Benefits, and ChallengesMaximilian Capraro, Dirk Riehle. 71-72 [doi]
- A Simple NLP-based Approach to Support Onboarding and Retention in Open Source CommunitiesChristoph Stanik, Lloyd Montgomery, Daniel Martens, Davide Fucci, Walid Maalej. 73-74 [doi]
- Propagating Configuration Decisions with Modal Implication GraphsSebastian Krieter, Thomas Thüm, Sandro Schulze, Reimar Schröter, Gunter Saake. 77-78 [doi]
- Tackling combinatorial explosion: a study of industrial needs and practices for analyzing highly configurable systemsMukelabai Mukelabai, Damir Nesic, Salome Maro, Thorsten Berger, Jan-Philipp Steghöfer. 79-80 [doi]
- Towards a Theory of Software Development ExpertiseSebastian Baltes, Stephan Diehl 0001. 83-84 [doi]
- Understanding How Programmers ForgetJacob Krüger, Jens Wiemann, Wolfram Fenske, Gunter Saake, Thomas Leich. 85-86 [doi]
- Positive affect through interactions in meetings: The role of proactive and supportive statementsKurt Schneider, Jil Klünder, Fabian Kortum, Lisa Handke, Julia Straube, Simone Kauffeld. 87-88 [doi]
- Model Transformation Languages under a Magnifying Glass: A Controlled Experiment with Xtend, ATL, and QVTRegina Hebig, Christoph Seidl, Thorsten Berger, John Kook Pedersen, Andrzej Wasowski. 91-92 [doi]
- How are Conceptual Models used in Industrial Software Development? A Descriptive SurveyHarald Störrle. 93-94 [doi]
- Linking Use Cases and Associated Requirements: On the Impact of Linking Variants on Reading BehaviorOliver Karras, Alexandra Risch, Kurt Schneider. 95-96 [doi]
- TeaStore: A Micro-Service Reference Application for Benchmarking, Modeling and Resource Management ResearchJóakim von Kistowski, Simon Eismann, Norbert Schmitt, André Bauer, Johannes Grohmann, Samuel Kounev. 99-100 [doi]
- Experience with Microservices for Legacy Software ModernizationHolger Knoche, Wilhelm Hasselbring. 101-102 [doi]
- Software-Produktlinien agilisieren: Ein Transformationsmodell für große UnternehmenJil Klünder, Philipp Hohl, Kurt Schneider. 103-104 [doi]
- Identifying the Intensity of Variability Changes in Software Product Line EvolutionChristian Kröher, Lea Gerling, Klaus Schmid. 105-106 [doi]
- Connected-Car-Services: eine Klassifikation der Plattformen für das vernetzte AutomobilMischa Bosler, Christopher Jud, Georg Herzwurm. 109-111 [doi]
- Stakeholderanalyse in plattformbasierten Ökosystemen für industrielle IoT-PlattformenDimitri Petrik, Georg Herzwurm. 113-114 [doi]
- Wandel der Vorgehensmodelle im Zeitalter der digitalen Transformation - Warum IT-Projekte agil werden müssenEckhart Hanser. 115-116 [doi]
- Designing an App that promotes Sustainable Mobility - Agile and user-centered development of an app and corresponding business modelAndreas Helferich, Katharina Peine. 117-118 [doi]
- Time-aware Test Execution Scheduling for Cyber-Physical SystemsMorten Mossige, Arnaud Gotlieb, Helge Spieker, Hein Meling, Mats Carlsson. 121-122 [doi]
- Sichtenbasierte Kontextmodellierung für die Entwicklung kollaborativer cyber-physischer SystemeMarian Daun, Bastian Tenbergen, Jennifer Brings, Patricia Aluko Obe. 123-124 [doi]
- A Framework for Self-adaptive Workflows in Cyber-physical SystemsRonny Seiger, Steffen Huber, Peter Heisig, Uwe Assmann. 125-126 [doi]
- Checking Consistency and Completeness of Software SystemsHarry M. Sneed. 129-132 [doi]
- How is security testing done in agile teams? A cross-case analysis of four software teamsDaniela S. Cruzes, Michael Felderer, Tosin Daniel Oyetoyan, Matthias Gander, Irdin Pekaric. 133-134 [doi]
- Erfolgreicher Technologietransfer im Software Engineering - Transferansätze, Erfolgsfaktoren und FallstrickeMarian Daun, Jennifer Brings, Kevin Keller, Sarah Brinckmann, Thorsten Weyer. 135-136 [doi]
- Improving the Search for Architecture Knowledge in Online Developer CommunitiesMohamed Soliman, Amr Rekaby Salama, Matthias Galster, Olaf Zimmermann, Matthias Riebisch. 139-140 [doi]
- Developing and Evolving a DSL-based Approach for Runtime Monitoring of Systems of SystemsRick Rabiser, Jürgen Thanhofer-Pilisch, Michael Vierhauser, Paul Grünbacher, Alexander Egyed. 141-142 [doi]
- Using Language Workbenches and Domain-Specific Languages for Safety-critical Software DevelopmentMarkus Voelter. 143-144 [doi]
- A Formal Framework for Incremental Model SlicingGabriele Taentzer, Timo Kehrer, Christopher Pietsch, Udo Kelter. 147-149 [doi]
- Combining Verifiers in Conditional Model Checking via ReducersDirk Beyer 0001, Marie-Christine Jakobs, Thomas Lemberger 0002, Heike Wehrheim. 151-152 [doi]
- Multi-Granular Conflict and Dependency Analysis in Software Engineering based on Graph Transformation (Summary)Leen Lambers, Daniel Strüber 0001, Gabriele Taentzer, Kristopher Born, Jevgenij Huebert. 153-154 [doi]
- Testing Balancedness of ML AlgorithmsArnab Sharma, Heike Wehrheim. 157-158 [doi]
- Quality Assurance of Machine Learned Models by Integrating Domain Knowledge and Formal VerificationRüdiger Ehlers, Jörg Grieser, Christoph Knieke, Andreas Rausch, Mirco Schindler. 159-160 [doi]
- Explaining Algorithmic Decisions with respect to FairnessQusai Ramadan, Amir Shayan Ahmadian, Jan Jürjens, Steffen Staab, Daniel Strüber 0001. 161-162 [doi]
- Understanding Parameters of Deductive Verification: An Empirical Investigation of KeYAlexander Knüppel, Thomas Thüm, Carsten Immanuel Pardylla, Ina Schaefer. 165-166 [doi]
- Verifying Dynamic Architectures using Model Checking and Interactive Theorem ProvingDiego Marmsoler. 167-169 [doi]
- Metrics for Analyzing Variability and Its Implementation in Software Product Lines: A Systematic Literature ReviewSascha El-Sharkawy, Nozomi Yamagishi-Eichler, Klaus Schmid. 171-172 [doi]
- Integrating software quality models into risk-based testingHarald Foidl, Michael Felderer. 173-174 [doi]
- Comparison of the FMEA and STPA safety analysis methods-a case studySardar Muhammad Sulaman, Armin Beer, Michael Felderer, Martin Höst. 175-176 [doi]
- Architecture and Quality of Cloud SimulatorsZoltan Mann. 177-178 [doi]
- A Framework for Semi-Automated Co-Evolution of Security Knowledge and System Models (Summary)Jens Bürger, Daniel Strüber 0001, Stefan Gärtner 0001, Thomas Ruhroth, Jan Jürjens, Kurt Schneider. 179-180 [doi]
- Serious Games for Software RefactoringThorsten Haendler, Gustaf Neumann. 181-182 [doi]