Programm
Konferenzbegleiter
Jeder/Jede TeilnehmerIn erhält bei der Registrierung ein Konferenzbegeleiter mit nütlichen Informationen zur Konferenz wie z.B. dem Programm, den Keynotes, Empfang und Dinner, etc. Wer möchte, kann aber den Konferenzbegeleiter auch bereits im Vorfeld als PDF herunterladen.
Programmübersicht
Das folgende Bild zeigt eine Übersicht über das Programm der SE 2019 (ohne GI Gremientreffen).
Montag und Dienstag finden die vier geplanten Workshops statt. Mittwoch bis Freitag findet dann im Anschluss die Hauptkonferenz statt - mit ihren Keynotes zu den Mottos der SE und SWM 2019 und den Fachvorträgen sowie dem Empfang und dem Dinner am Donnerstag, unserem "Industrietag", inklusive Paneldiskussion zum Konferenzmotto der SE19 "Software und Umwelt". Am Freitag gibt es ein Lunchbag zum Abschied. Das Detailprogramm findet sich unter dem Übersichtsbild auf dieser Seite.
Alle Vorträge finden im Informatikbau, Universitätsstraße 38, EG, statt.
Für News bietet es sich an, unserem Twitter Account unter @seconf19 zu folgen.
Detailprogramm
Programm der Workshops
Bitte beachten Sie die Zeitpläne auf den jeweiligen Workshop-Webseiten!
- EMLS '19: 6th Collaborative Workshop on Evolution and Maintenance of Long-Living Systems
- Ort: Universitätsstraße 38, Raum 0.457
- Workshop-Webseite mit Zeitplan: https://emls.paluno.uni-due.de/
- ASE '19: 16th Workshop on Automotive Software Engineering
- Ort: Universitätsstraße 38, Raum 0.363
- Workshop-Webseite: https://www.informatik.tu-cottbus.de/ase2019
Programm der Workshops
Bitte beachten Sie die Zeitpläne auf den jeweiligen Workshop-Webseiten!
- AvioSE '19: 1st Workshop on Avionics Systems and Software Engineering
- Ort: Universitätsstraße 38, Raum 0.457
- Workshop-Webseite: https://aviose2019.github.io/
- ISEE '19: 2nd Workshop on Innovative Software Engineering Education
- Bitte beachten: Start um 11:00! (Siehe Details auf der Workshop-Webseite)
- Ort: Universitätsstraße 38, Raum 0.363
- Workshop-Webseite: https://www1.in.tum.de/isee2019/
Zeitslot 8.00 - 8.30
Registrierung (V38.03)
Zeitslot 8.30 - 9.00
Eröffnung der Multikonferenz SE & SWM 2019
(Prof. Wagner, Prof. Becker, V38.04)
Zeitslot 9.00 - 10.00
Keynote: Workflow development for the open-source porous media simulator OpenGeoSys
(Olaf Kolditz, Helmholtz Centre for Environmental Research (UFZ), V38.04)
Zeitslot 10.00 - 10.30
| Computational Science (SE19, V38.04, Session Chair: Steffen Becker) |
Emergentes Verhalten (SE19, 0.363, Session Chair: Matthias Tichy) |
| Arne Johanson and Wilhelm Hasselbring: Software Engineering for Computational Science |
Jennifer Brings, Marian Daun, Markus Kempe and Thorsten Weyer: Validierung und Verifikation von emergentem Verhalten im Software Engineering - Ergebnisse eines Vergleichs unterschiedlicher Suchmethoden |
Zeitslot 10.30 - 11.00
Kaffeepause
Zeitslot 11.00 - 13.00
| Programmanalyse und Verifikation I und Funktionale Sicherheit (SE19, V38.04, Session Chair: Gabriele Taentzer) |
Traceability, Performanz und Continuous SE (SE19, 0.363, Session Chair: Walter Tichy) |
| Dominik Helm, Florian Kübler, Michael Eichberg, Michael Reif and Mira Mezini: A Unified Lattice Model and Framework for Purity Analyses | Jan-Philipp Steghöfer, Salome Maro and Miroslaw Staron: Software Traceability in the Automotive Domain: Challenges and Solutions |
| Abdullah Alshanqiti, Reiko Heckel and Timo Kehrer: Inferring Visual Contracts from Java Programs |
Michael Rath, Jacob Rendall, Jin L.C. Guo, Jane Cleland-Huang and Patrick Mäder: Traceability in the Wild: Automatically Augmenting Incomplete Trace Links |
| Mario Gleirscher: Risk Mitigation Strategies in High Automation |
Yannic Noller, Rody Kersten and Corina Pasareanu: Complexity Analysis with Fuzzing and Symbolic Execution |
| Sinem Getir, André van Hoorn, Timo Kehrer, Yannic Noller and Matthias Tichy: Supporting Semi-Automatic Co-Evolution of Architecture and Fault Tree Models |
Jan Ole Johanssen, Anja Kleebaum, Barbara Paech and Bernd Bruegge: The Eye of Continuous Software Engineering |
Zeitslot 13.00 - 14.00
Mittagessen im Campus.Guest
Zeitslot 14.00 - 15.00
Zeitslot 15.00 - 15.30
Kaffeepause inkl. SE 2019 Poster Session (V38.03)
Zeitslot 15.30 - 17.00
| Behavioural Software Engineering (SE19, V38.04, Session Chair: Klaus Schmid) |
Modelle und Anforderungen (SE19, 0.363, Session Chair: Michael Felderer) |
| Sebastian Baltes and Stephan Diehl: Towards a Theory of Software Development Expertise | Regina Hebig, Christoph Seidl, Thorsten Berger, John Kook Pedersen and Andrzej Wasowski: Model Transformation Languages under a Magnifying Glass: A Controlled Experiment with Xtend, ATL, and QVT |
| Jacob Krüger, Jens Wiemann, Wolfram Fenske, Gunter Saake and Thomas Leich: Understanding How Programmers Forget | Harald Störrle: How are Conceptual Models used in Industrial Software Development? A Descriptive Survey |
| Kurt Schneider, Jil Klünder, Fabian Kortum, Lisa Handke, Julia Straube and Simone Kauffeld: Positive affect through interactions in meetings: The role of proactive and supportive statements | Oliver Karras, Alexandra Risch and Kurt Schneider: Linking Use Cases and Associated Requirements: On the Impact of Linking Variants on Reading Behavior |
17.00 Ende Tag 1, Abendprogramm zur freien Verfügung
Zeitslot 8.30 - 9.00
Registrierung
Zeitslot 9.00 - 10.30
Keynote: Lab1886 – der Inkubator der Daimler AG. Wie wir neue, digitale Geschäftsmodelle entwickeln an einem Beispiel aus der Praxis
(Jonas Huthmacher, Daimler AG, V38.04)
Talk des Platin Sponsors: #NoEstimates – nie wieder schätzen
(Anis Ben Hamidene, Novatec, V38.04)
Zeitslot 10.30 - 11.00
Kaffeepause inkl. SE 2019 Poster Session (V38.03)
Zeitslot 11.00 - 13.00
| Microservices und Produktlinien (SE19, V38.04, Session Chair: Rick Rabiser) |
Software Management I (SWM19, 0.363, Session Chair: Harry Sneed) |
| Jóakim von Kistowski, Simon Eismann, Norbert Schmitt, André Bauer, Johannes Grohmann and Samuel Kounev: TeaStore: A Micro-Service Reference Application for Benchmarking, Modeling and Resource Management Research | Micha Bosler, Christopher Jud and Georg Herzwurm: Connected-Car-Services: eine Klassifikation der Plattformen für das vernetzte Automobil |
| Holger Knoche and Wilhelm Hasselbring: Experience with Microservices for Legacy Software Modernization | Dimitri Petrik and Georg Herzwurm: Stakeholderanalyse in plattformbasierten Ökosystemen für industrielle IoT-Plattformen |
| Jil Klünder, Philipp Hohl and Kurt Schneider: Software-Produktlinien agilisieren: Ein Transformationsmodell für große Unternehmen | Eckhart Hanser: Wandel der Vorgehensmodelle im Zeitalter der digitalen Transformation - Warum IT-Projekte agil werden müssen |
| Christian Kröher, Lea Gerling and Klaus Schmid: Identifying the Intensity of Variability Changes in Software Product Line Evolution | Andreas Helferich and Katharina Peine: Designing an App that promotes Sustainable Mobility - Agile and user-centered development of an app and corresponding business model |
Zeitslot 13.00 - 14.00
Mittagessen im Campus.Guest
Zeitslot 14.00 - 15.00
Panel zum Konferenzmotto: "Software und Umwelt"
Moderation: Markus Müller
Panelisten:
- Wilhelm Hasselbring,
- Felix Lösch,
- Jan Jürjens,
- Bernhard Rumpe,
- Jonathan Streit
(V38.04)
Zeitslot 15.00 - 15.30
Kaffeepause
Zeitslot 15.30 - 17.00
| Cyber-physische Systeme (SE19, V38.04, Session Chair: Ivan Bogicevic) |
Software Management II, Security und Technologietransfer (SWM19, 0.363, Session Chair: Andreas Helferich) |
Architektur und DSLs (SE19, 0.463, Session Chair: Wilhelm Hasselbring) |
| Morten Mossige, Arnaud Gotlieb, Helge Spieker, Hein Meling and Mats Carlsson: Time-aware Test Execution Scheduling for Cyber Physical Systems | Harry Sneed: Checking Consistency and Completeness of Software Systems | Mohamed Soliman, Amr Rekaby, Matthias Galster, Olaf Zimmermann and Matthias Riebisch: Improving the Search for Architecture Knowledge in Online Developer Communities |
| Marian Daun, Bastian Tenbergen, Jennifer Brings and Patricia Aluko Obe: Sichtenbasierte Kontextmodellierung für die Entwicklung kollaborativer cyber-physischer Systeme | Daniela S. Cruzes, Michael Felderer, Tosin Daniel Oyetoyan, Matthias Gander and Irdin Pekaric: How is security testing done in agile Teams? A cross-case analysis of four software teams | Rick Rabiser, Jürgen Thanhofer-Pilisch, Michael Vierhauser, Paul Grünbacher and Alexander Egyed: Developing and Evolving a DSL-based Approach for Runtime Monitoring of Systems of Systems |
| Ronny Seiger, Steffen Huber, Peter Heisig and Uwe Assmann: A Framework for Self-adaptive Workflows in Cyber-physical Systems | Marian Daun, Jennifer Brings, Kevin Keller, Sarah Brinckmann and Thorsten Weyer: Erfolgreicher Technologietransfer im Software Engineering - Transferansätze, Erfolgsfaktoren und Fallstricke | Markus Voelter: Using Language Workbenches and Domain-Specific Languages for Safety-Critical Software Development |
Parallel auf Einladung:
Sitzung des Fachausschusses SWM der GI e.V.
(GI Sitzungen, 0.457, Prof. Herzwurm)
Zeitslot 17.00 - 18.00
Fahrt mit der S-Bahn zum Rathaus Stuttgart (von Haltestelle "Universität" nach "Stadtmitte", Fußweg zum Rathaus)
Zeitslot 18.00 - 19.15
Empfang der Stadt Stuttgart inkl. Ansprache und Get Together
Zeitslot 19.15 - 19.30
Fußweg zum "Cube" am Schlossplatz
Zeitslot 19.30 - 22.00
Konferenzdinner inkl. Verkündung des Software-Engineering-Preises
Gegen 22.30 Ende Tag 2
Zeitslot 9.00 - 10.30
Keynote: Sustainability Debt und Entscheidungen im Software Engineering
(Prof. Dr. Stefanie Betz, Hochschule Furtwangen, V38.04)
Talk des Software Engineering Preisträgers
(V38.04)
Zeitslot 10.30 - 11.00
Kaffeepause inkl. SE 2019 Poster Session (V38.03)
Zeitslot 11.00 - 12.30
| Programmanalyse und Verifikation II (SE19, V38.04, Session Chair: Ralf Reussner) |
Erklärbare Software (Erklärbare Software, 0.363, Session Chair: Matthias Riebisch) |
| Gabriele Taentzer, Timo Kehrer, Christopher Pietsch and Udo Kelter: A Formal Framework for Incremental Model Slicing | Arnab Sharma and Heike Wehrheim: Testing Balancedness of ML Algorithms |
| Dirk Beyer, Marie-Christine Jakobs, Thomas Lemberger and Heike Wehrheim: Combining Verifiers in Conditional Model Checking via Reducers | Rüdiger Ehlers, Jörg Grieser, Christoph Knieke, Andreas Rausch and Mirco Schindler: Quality Assurance of Machine Learned Models by Integrating Domain Knowledge and Formal Verification |
| Leen Lambers, Daniel Strüber, Gabriele Taentzer, Kristopher Born and Jevgenij Huebert: Multi-Granular Conflict and Dependency Analysis in Software Engineering based on Graph Transformation | Qusai Ramadan, Amir Shayan Ahmadian, Jan Jürjens, Steffen Staab and Daniel Strüber: Explaining Algorithmic Decisions with Respect to Fairness |
Zeitslot 12.30 - 13.00
Ende der Konferenz, Ankündigung SE 2020, Verabschiedung mit Lunch Bags
Programm
Steffen Becker
Prof. Dr.-Ing.Abteilungsleiter Abteilung Softwarequalität und -architektur
[Foto: U. Regenscheit / Universität Stuttgart]