![](https://dblp.org/img/logo.320x120.png)
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
SyDe Summer School 2015: Bremen, Germany
- Rolf Drechsler
, Ulrich Kühne:
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. Springer 2015, ISBN 978-3-658-09993-0 - Paula Herber, Sabine Glesner:
Verification of Embedded Real-time Systems. 1-25 - Frédéric Mallet
:
MARTE/CCSL for Modeling Cyber-Physical Systems. 26-49 - Goran Frehse
:
An Introduction to Hybrid Automata, Numerical Simulation and Reachability Analysis. 50-81 - Anne E. Haxthausen
, Jan Peleska:
Model Checking and Model-Based Testing in the Railway Domain. 82-121 - Bernd Becker
, Matthias Sauer, Christoph Scholl, Ralf Wimmer:
Modeling Unknown Values in Test and Verification. 122-150 - Klaus Havelund, Giles Reger
:
Specification of Parametric Monitors. 151-189 - Mohamed Ibrahim, Zipeng Li, Krishnendu Chakrabarty
:
Advances in Design Automation Techniques for Digital-Microfluidic Biochips. 190-223 - 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. 224-248 - Sami Haddadin
:
Physical Safety in Robotics. 249-271 - Gökçe Aydos
, Görschwin Fey:
In-circuit Error Detection with Software-based Error Correction - An Alternative to TMR. 272-274 - Melanie Diepenbeck, Rolf Drechsler:
Behavior Driven Development for Tests and Verification. 275-277 - Malgorzata Goldhoorn, Frank Kirchner:
Semantic Object Recognition Based on Qualitative Probabilistic Spatial Relations. 278-280 - Matthias Goldhoorn, Frank Kirchner:
Constraint-based Handling of Component Networks. 281-283 - Christoph Hilken, Jan Peleska:
Model-Based Testing Against Complex SysML Models. 284-286 - Felix Hübner, Jan Peleska:
Integrated Model-based Testing and Model Checking with the Benefits of Equivalence Partition Testing. 287-289 - Xian Li, Klaus Schneider:
An SMT-based Approach to analyze Non-Linear Relations of Parameters for Hybrid Systems. 290-292 - Judith Peters, Rolf Drechsler:
Analyzing and Simulating Time Descriptions from UML/MARTE CCSL. 293-295 - Eleonora Schönborn, Rolf Drechsler:
Design and Synthesis of Reversible Circuits using Hardware Description Languages. 296-298 - Dennis Schüthe, Udo Frese:
Dynamic Rebound Control and Human Robot Interaction of a Ball Playing Robot. 299-301 - Julia Seiter, Rolf Drechsler:
Development of Consistent Formal Models. 302-304 - Niels Thole, Görschwin Fey:
Formal Verification of Robustness. 305-307 - Felix Wenk, Udo Frese:
Pose and Posture Estimation using Inertial Sensor Data. 308-310 - Hendrik Wöhrle, Frank Kirchner:
Reconfigurable Hardware-Based Acceleration for Machine Learning and Signal Processing. 311-313
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.