Software Engineering (Workshops) C

28 papers

YearTitle / Authors
2015A Concept for Fail Safe Robotic Needle Insertion in Soft Tissue.
Kevin Schulz, Christoph Otte, Gereon Hüttmann, Alexander Schlaefer
2015A Concept to Guide the System Engineer During the Design Space Exploration Process.
Maike Rosinger, Matthias Büker, Raphael Weber
2015A Model-Based Approach to Formal Verification in Early Development Phases: A Desalination Plant Case Study.
Alarico Campetelli, Maximilian Junker, Birthe Böhm, Maria Davidich, Vasileios Koutsoumpas, Xiuna Zhu, Jan Christoph Wehrstedt
2015Adding overloading to Java type inference.
Andreas Stadelmeier, Martin Plümicke
2015An Industry Case Study on Semi-automated Generation of Component Fault Trees from Simulink-Models.
Suryo Buono, Viktor Ramich, Bernhard Kaiser, Justyna Zander
2015Capturing and Manipulating Context-sensitive Program Information.
Martin Trapp, Mathias Hedenborg, Jonas Lundberg, Welf Löwe
2015Challenges in Rendering and Maintaining Trustworthiness for Long-Living Software Systems.
Azadeh Alebrahim, Nazila Gol Mohammadi, Maritta Heisel
2015Comparing Model-free Motion Prediction and On-line Model Checking for Respiratory Motion Management.
Sven-Thomas Antoni, Jonas Rinast, Sibylle Schupp, Alexander Schlaefer
2015Documenting Assumptions About the Operational Context of Long-Living Collaborative Embedded Systems.
Marian Daun, Bastian Tenbergen, Jennifer Brings, Thorsten Weyer
2015Domain-spanning Maintainability Analysis for Software-intensive Systems.
Kiana Rostami
2015Entwurf und Implementierung einer Programmiersprache im studentischen Projekt Monty's Coconut.
Marcus Ermler, Berthold Hoffmann, Christian John, Christopher Nottrodt, Carsten Pfeffer
2015Equality, Identity, and a Modified Contract.
Beate Ritterbach, Axel Schmolitzky
2015Evolution of the E-Assessment Framework JACK.
Michael Striewe, Björn Zurmaar, Michael Goedicke
2015Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2015, Dresden, Germany, 17.-18. März 2015.
Wolf Zimmermann, Wolfgang Böhm, Clemens Grelck, Robert Heinrich, Reiner Jung, Marco Konersmann, Alexander Schlaefer, Eric Schmieders, Sibylle Schupp, Baltasar Trancón y Widemann, Thorsten Weyer
2015Integration von Markov Modellen in Fehlerbäume.
Alexander Prohaska
2015JoDroid: Adding Android Support to a Static Information Flow Control Tool.
Martin Mohr, Jürgen Graf, Martin Hecker
2015Konsistenzprüfung von Architekturbeschreibungen mit Anforderungen mittels linguistischer Analyse.
Kai Niklas, Stefan Gärtner, Kurt Schneider
2015Malleable Invasive Applications.
Sebastian Buchwald, Manuel Mohr, Andreas Zwinkau
2015On Enabling Technologies for Longevity in Software.
Mahdi Derakhshanmanesh, Marvin Grieger
2015On the Explicit Consideration of Context Variability in the SPES Modeling Framework.
André Heuer, Tobias Kaufmann, Mihail Constantinescu-Fomino
2015Open Software Platform for Cyber-Physical Medical Systems.
Jörg-Uwe Meyer
2015Safety Conflict Analysis in Medical Cyber-Physical Systems Using an SMT-Solver.
Jan Kühn, Pierre Schoonbrood, André Stollenwerk, Christian Brendle, Nabil Wardeh, Marian Walter, Rolf Rossaint, Steffen Leonhardt, Stefan Kowalewski, Rüdiger Kopp
2015Secured SOA for the Safe Interconnection of Medical Devices (Position Paper).
Martin Leucker, Malte Schmitz
2015Software-based Prediction of Cannula Occlusion During Extracorporeal Blood Circulation Through Networked Medical Data.
André Stollenwerk, Jan Kühn, Marian Walter, Christian Brendle, Nabil Wardeh, Rolf Rossaint, Steffen Leonhardt, Stefan Kowalewski, Rüdiger Kopp
2015Towards a Characterisation of Parallel Functional Applications.
Evgenij Belikov, Hans-Wolfgang Loidl, Greg J. Michaelson
2015Using dedicated Review Diagrams to detect Defective Functional Interplay in Function-Centered Engineering.
Marian Daun, Andrea Salmon, Thorsten Weyer
2015Variability Exchange Language - A Generic Exchange Format for Variability Data.
Michael Schulze, Robert Hellebrand
2015Vorwort zur 8. Arbeitstagung Programmiersprachen (ATPS 2015).
Clemens Grelck, Baltasar Trancón y Widemann