SyDe Summer School

Publications

2015

Felix Hübner, Jan Peleska
Integrated Model-based Testing and Model Checking with the Benefits of Equivalence Partition Testing. SyDe Summer School (2015)
Paula Herber, Sabine Glesner
Verification of Embedded Real-time Systems. SyDe Summer School (2015)
Gökçe Aydos, Görschwin Fey
In-circuit Error Detection with Software-based Error Correction - An Alternative to TMR. SyDe Summer School (2015)
Christoph Hilken, Jan Peleska
Model-Based Testing Against Complex SysML Models. SyDe Summer School (2015)
Sami Haddadin
Physical Safety in Robotics. SyDe Summer School (2015)
Felix Wenk, Udo Frese
Pose and Posture Estimation using Inertial Sensor Data. SyDe Summer School (2015)
Frédéric Mallet
MARTE/CCSL for Modeling Cyber-Physical Systems. SyDe Summer School (2015)
Matthias Goldhoorn, Frank Kirchner
Constraint-based Handling of Component Networks. SyDe Summer School (2015)
Judith Peters, Rolf Drechsler
Analyzing and Simulating Time Descriptions from UML/MARTE CCSL. SyDe Summer School (2015)
Julia Seiter, Rolf Drechsler
Development of Consistent Formal Models. SyDe Summer School (2015)
Bernd Becker, Matthias Sauer, Christoph Scholl, Ralf Wimmer
Modeling Unknown Values in Test and Verification. SyDe Summer School (2015)
Hendrik Wöhrle, Frank Kirchner
Reconfigurable Hardware-Based Acceleration for Machine Learning and Signal Processing. SyDe Summer School (2015)
Niels Thole, Görschwin Fey
Formal Verification of Robustness. SyDe Summer School (2015)
Melanie Diepenbeck, Rolf Drechsler
Behavior Driven Development for Tests and Verification. SyDe Summer School (2015)
Formal Modeling and Verification of Cyber-Physical Systems, 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015 SyDe Summer School (2015)
Klaus Havelund, Giles Reger
Specification of Parametric Monitors. SyDe Summer School (2015)
Elsa Andrea Kirchner, Jose de Gea Fernandez, Peter Kampmann, Martin Schröer, Jan Hendrik Metzen, Frank Kirchner
Intuitive Interaction with Robots - Technical Approaches and Challenges. SyDe Summer School (2015)
Xian Li, Klaus Schneider
An SMT-based Approach to analyze Non-Linear Relations of Parameters for Hybrid Systems. SyDe Summer School (2015)
Malgorzata Goldhoorn, Frank Kirchner
Semantic Object Recognition Based on Qualitative Probabilistic Spatial Relations. SyDe Summer School (2015)
Eleonora Schönborn, Rolf Drechsler
Design and Synthesis of Reversible Circuits using Hardware Description Languages. SyDe Summer School (2015)
Dennis Schüthe, Udo Frese
Dynamic Rebound Control and Human Robot Interaction of a Ball Playing Robot. SyDe Summer School (2015)
Goran Frehse
An Introduction to Hybrid Automata, Numerical Simulation and Reachability Analysis. SyDe Summer School (2015)
Anne E. Haxthausen, Jan Peleska
Model Checking and Model-Based Testing in the Railway Domain. SyDe Summer School (2015)
Mohamed Ibrahim, Zipeng Li, Krishnendu Chakrabarty
Advances in Design Automation Techniques for Digital-Microfluidic Biochips. SyDe Summer School (2015)