Abstract is missing.
- Software-based Prediction of Cannula Occlusion During Extracorporeal Blood Circulation Through Networked Medical DataAndré Stollenwerk, Jan Kühn, Marian Walter, Christian Brendle, Nabil Wardeh, Rolf Rossaint, Steffen Leonhardt, Stefan Kowalewski, Rüdiger Kopp. 1-6 [doi]
- A Concept for Fail Safe Robotic Needle Insertion in Soft TissueKevin Schulz, Christoph Otte, Gereon Hüttmann, Alexander Schlaefer. 7-10 [doi]
- Secured SOA for the Safe Interconnection of Medical Devices (Position Paper)Martin Leucker, Malte Schmitz. 11-14 [doi]
- Comparing Model-free Motion Prediction and On-line Model Checking for Respiratory Motion ManagementSven-Thomas Antoni, Jonas Rinast, Sibylle Schupp, Alexander Schlaefer. 15-18 [doi]
- Safety Conflict Analysis in Medical Cyber-Physical Systems Using an SMT-SolverJan Kühn, Pierre Schoonbrood, André Stollenwerk, Christian Brendle, Nabil Wardeh, Marian Walter, Rolf Rossaint, Steffen Leonhardt, Stefan Kowalewski, Rüdiger Kopp. 19-23 [doi]
- Open Software Platform for Cyber-Physical Medical SystemsJörg-Uwe Meyer. 24-30 [doi]
- Using dedicated Review Diagrams to detect Defective Functional Interplay in Function-Centered EngineeringMarian Daun, Andrea Salmon, Thorsten Weyer. 31-40 [doi]
- An Industry Case Study on Semi-automated Generation of Component Fault Trees from Simulink-ModelsSuryo Buono, Viktor Ramich, Bernhard Kaiser, Justyna Zander. 41-50 [doi]
- Integration von Markov Modellen in FehlerbäumeAlexander Prohaska. 51-60 [doi]
- On the Explicit Consideration of Context Variability in the SPES Modeling FrameworkAndré Heuer, Tobias Kaufmann, Mihail Constantinescu-Fomino. 61-70 [doi]
- Variability Exchange Language - A Generic Exchange Format for Variability DataMichael Schulze, Robert Hellebrand. 71-80 [doi]
- A Concept to Guide the System Engineer During the Design Space Exploration ProcessMaike Rosinger, Matthias Büker, Raphael Weber. 81-90 [doi]
- A Model-Based Approach to Formal Verification in Early Development Phases: A Desalination Plant Case StudyAlarico Campetelli, Maximilian Junker, Birthe Böhm, Maria Davidich, Vasileios Koutsoumpas, Xiuna Zhu, Jan Christoph Wehrstedt. 91-100 [doi]
- Challenges in Rendering and Maintaining Trustworthiness for Long-Living Software SystemsAzadeh Alebrahim, Nazila Gol Mohammadi, Maritta Heisel. 103-105 [doi]
- Domain-spanning Maintainability Analysis for Software-intensive SystemsKiana Rostami. 106-108 [doi]
- Konsistenzprüfung von Architekturbeschreibungen mit Anforderungen mittels linguistischer AnalyseKai Niklas, Stefan Gärtner, Kurt Schneider. 109-111 [doi]
- On Enabling Technologies for Longevity in SoftwareMahdi Derakhshanmanesh, Marvin Grieger. 112-114 [doi]
- Documenting Assumptions About the Operational Context of Long-Living Collaborative Embedded SystemsMarian Daun, Bastian Tenbergen, Jennifer Brings, Thorsten Weyer. 115-117 [doi]
- Evolution of the E-Assessment Framework JACKMichael Striewe, Björn Zurmaar, Michael Goedicke. 118-120 [doi]
- Vorwort zur 8. Arbeitstagung Programmiersprachen (ATPS 2015)Clemens Grelck, Baltasar Trancón-y-Widemann. 121-122 [doi]
- Malleable Invasive ApplicationsSebastian Buchwald, Manuel Mohr, Andreas Zwinkau. 123-126 [doi]
- Adding overloading to Java type inferenceAndreas Stadelmeier, Martin Plümicke. 127-132 [doi]
- Equality, Identity, and a Modified ContractBeate Ritterbach, Axel Schmolitzky. 133-139 [doi]
- JoDroid: Adding Android Support to a Static Information Flow Control ToolMartin Mohr, Jürgen Graf, Martin Hecker. 140-145 [doi]
- Towards a Characterisation of Parallel Functional ApplicationsEvgenij Belikov, Hans-Wolfgang Loidl, Greg J. Michaelson. 146-153 [doi]
- Capturing and Manipulating Context-sensitive Program InformationMartin Trapp, Mathias Hedenborg, Jonas Lundberg, Welf Löwe. 154-163 [doi]
- Entwurf und Implementierung einer Programmiersprache im studentischen Projekt Monty's CoconutMarcus Ermler, Berthold Hoffmann, Christian John, Christopher Nottrodt, Carsten Pfeffer. 164-170 [doi]