default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSyDe 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
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.
last updated on 2026-01-29 02:06 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
