Dieses Bild zeigt SE|19

Programm

Diese Seite beinhaltet alle aktuellen Informationen rund um das Programm der SE und SWM 2019.
[Foto: Prof. Dr. Michael Goedicke, Universität Duisburg-Essen]

Programmübersicht

Das folgende Bild zeigt den groben Planungsstand des Programms der SE 2019 (Stand 4.1.2019).

Montag und Dienstag finden die vier geplanten Workshops statt. Mittwoch bis Freitag ist dann im Anschluss die Hauptkonferenz mit all ihren Teilen sowie dem Empfang und dem Dinner am Donnerstag, unserem "Industrietag", inklusive Paneldiskussion zum Konferenzmotto "Software und Umwelt". Am Freitag gibt es ein Lunchbag zum Abschied.

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.

Übersicht über das Programm der SE 2019 (Stand: 4.1.2019) (c) Steffen Becker

Bild in voller Auflösung

Detailprogramm

+-
Zeitslot 9.00 - 17.00

Programm der Workshops EMLS 19 & ASE 19

Zeitslot 9.00 - 17.00

Programm der Workshops AvioSE 19 & ISEE 19.

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: TBA
(Olaf Kolditz, Helmholtz Centre for Environmental Research (UFZ), V38.04)

Zeitslot 10.00 - 10.30
Emergentes Verhalten
(SE19, V38.04, Session Chair: TBA)
Computational Science
(SE19, 0.363, Session Chair: TBA)
Jennifer Brings, Marian Daun, Markus Kempe and Thorsten Weyer: Validierung und Verifikation von emergentem Verhalten im Software Engineering - Ergebnisse eines Vergleichs unterschiedlicher Suchmethoden Arne Johanson and Wilhelm Hasselbring: Software Engineering for Computational Science 
Zeitslot 10.30 - 11.00

Kaffeepause

Zeitslot 11.00 - 13.00
Programmanalyse und Verifikation I und Funktionale Sicherheit 
(SE19, V38.04, Session Chair: TBA)
Traceability, Performanz und Continuous SE 
(SE19, 0.363, Session Chair: TBA)
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
Open and Inner Source 
(SE19, V38.04, Session Chair: TBA)
Konfiguration 
(SE19, 0.363, Session Chair: TBA)
Maximilian Capraro and Dirk Riehle: Inner Source Definition, Benefits, and Challenges Sebastian Krieter, Thomas Thüm, Sandro Schulze, Reimar Schroeter and Gunter Saake: Propagating Configuration Decisions with Modal Implication Graphs
Christoph Stanik, Lloyd Montgomery, Daniel Martens, Davide Fucci and Walid Maalej: A Simple NLP-based Approach to Support Onboarding and Retention in Open Source Communities
Mukelabai Mukelabai, Damir Nešić, Salome Maro, Thorsten Berger and Jan-Philipp Steghöfer: Tackling combinatorial explosion: a study of industrial needs and practices for analyzing highly configurable systems
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: TBA)
Modelle und Anforderungen
(SE19, 0.363, Session Chair: TBA)
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: TBA
(TBA, 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: TBA)

Software Management I
(SWM19, 0.363, Session Chair: TBA)

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: TBA)
Software Management II, Security und Technologietransfer 
(SWM19, 0.363, Session Chair: TBA)
Architektur und DSLs 
(SE19, 0.463, Session Chair: TBA)
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: TBA
(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: TBA)
Erklärbare Software 
(Erklärbare Software, 0.363, Session Chair: TBA)
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

Dieses Bild zeigt Becker
Prof. Dr.-Ing.

Steffen Becker

Abteilungsleiter Abteilung Zuverlässige Softwaresysteme

[Foto: U. Regenscheit / Universität Stuttgart]