Abstract is missing.
- Verification of Embedded Real-time SystemsPaula Herber, Sabine Glesner. 1-25 [doi]
- MARTE/CCSL for Modeling Cyber-Physical SystemsFrédéric Mallet. 26-49 [doi]
- An Introduction to Hybrid Automata, Numerical Simulation and Reachability AnalysisGoran Frehse. 50-81 [doi]
- Model Checking and Model-Based Testing in the Railway DomainAnne Elisabeth Haxthausen, Jan Peleska. 82-121 [doi]
- Modeling Unknown Values in Test and VerificationBernd Becker, Matthias Sauer, Christoph Scholl, Ralf Wimmer. 122-150 [doi]
- Specification of Parametric MonitorsKlaus Havelund, Giles Reger. 151-189 [doi]
- Advances in Design Automation Techniques for Digital-Microfluidic BiochipsMohamed Ibrahim, Zipeng Li, Krishnendu Chakrabarty. 190-223 [doi]
- Intuitive Interaction with Robots - Technical Approaches and ChallengesElsa Andrea Kirchner, Jose de Gea Fernandez, Peter Kampmann, Martin Schröer, Jan Hendrik Metzen, Frank Kirchner. 224-248 [doi]
- Physical Safety in RoboticsSami Haddadin. 249-271 [doi]
- In-circuit Error Detection with Software-based Error Correction - An Alternative to TMRGökçe Aydos, Görschwin Fey. 272-274 [doi]
- Behavior Driven Development for Tests and VerificationMelanie Diepenbeck, Rolf Drechsler. 275-277 [doi]
- Semantic Object Recognition Based on Qualitative Probabilistic Spatial RelationsMalgorzata Goldhoorn, Frank Kirchner. 278-280 [doi]
- Constraint-based Handling of Component NetworksMatthias Goldhoorn, Frank Kirchner. 281-283 [doi]
- Model-Based Testing Against Complex SysML ModelsChristoph Hilken, Jan Peleska. 284-286 [doi]
- Integrated Model-based Testing and Model Checking with the Benefits of Equivalence Partition TestingFelix Hübner, Jan Peleska. 287-289 [doi]
- An SMT-based Approach to analyze Non-Linear Relations of Parameters for Hybrid SystemsXian Li, Klaus Schneider 0001. 290-292 [doi]
- Analyzing and Simulating Time Descriptions from UML/MARTE CCSLJudith Peters, Rolf Drechsler. 293-295 [doi]
- Design and Synthesis of Reversible Circuits using Hardware Description LanguagesEleonora Schönborn, Rolf Drechsler. 296-298 [doi]
- Dynamic Rebound Control and Human Robot Interaction of a Ball Playing RobotDennis Schüthe, Udo Frese. 299-301 [doi]
- Development of Consistent Formal ModelsJulia Seiter, Rolf Drechsler. 302-304 [doi]
- Formal Verification of RobustnessNiels Thole, Görschwin Fey. 305-307 [doi]
- Pose and Posture Estimation using Inertial Sensor DataFelix Wenk, Udo Frese. 308-310 [doi]
- Reconfigurable Hardware-Based Acceleration for Machine Learning and Signal ProcessingHendrik Wöhrle, Frank Kirchner. 311-313 [doi]