Formal Modeling and Verification of Cyber-Physical Systems
Latest Publications

TOTAL DOCUMENTS

23

(FIVE YEARS 0)

H-INDEX

5

(FIVE YEARS 0)

Published By Springer Fachmedien Wiesbaden

9783658099930, 9783658099947

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Model-Based Testing Against Complex SysML Models

Formal Modeling and Verification of Cyber-Physical Systems ◽

10.1007/978-3-658-09994-7_14 ◽

2015 ◽

pp. 284-286 ◽

Author(s):

Christoph Hilken ◽

Jan Peleska

Keyword(s):

Model Based ◽

Model Based Testing

Download Full-text

Constraint-based Handling of Component Networks

Formal Modeling and Verification of Cyber-Physical Systems ◽

10.1007/978-3-658-09994-7_13 ◽

2015 ◽

pp. 281-283

Author(s):

Matthias Goldhoorn ◽

Frank Kirchner

Download Full-text

Verification of Embedded Real-time Systems

Formal Modeling and Verification of Cyber-Physical Systems ◽

10.1007/978-3-658-09994-7_1 ◽

2015 ◽

pp. 1-25 ◽

Author(s):

Paula Herber ◽

Sabine Glesner

Keyword(s):

Real Time ◽

Real Time Systems ◽

Download Full-text

Analyzing and Simulating Time Descriptions from UML/MARTE CCSL

Formal Modeling and Verification of Cyber-Physical Systems ◽

10.1007/978-3-658-09994-7_17 ◽

2015 ◽

pp. 293-295

Author(s):

Judith Peters ◽

Rolf Drechsler

Keyword(s):

Download Full-text

Development of Consistent Formal Models

Formal Modeling and Verification of Cyber-Physical Systems ◽

10.1007/978-3-658-09994-7_20 ◽

2015 ◽

pp. 302-304

Author(s):

Julia Seiter ◽

Rolf Drechsler

Keyword(s):

Download Full-text

Advances in Design Automation Techniques for Digital-Microfluidic Biochips

Formal Modeling and Verification of Cyber-Physical Systems ◽

10.1007/978-3-658-09994-7_7 ◽

2015 ◽

pp. 190-223 ◽

Author(s):

Mohamed Ibrahim ◽

Zipeng Li ◽

Krishnendu Chakrabarty

Keyword(s):

Design Automation ◽

Microfluidic Biochips ◽

Digital Microfluidic ◽

Automation Techniques

Download Full-text

Intuitive Interaction with Robots – Technical Approaches and Challenges

Formal Modeling and Verification of Cyber-Physical Systems ◽

10.1007/978-3-658-09994-7_8 ◽

2015 ◽

pp. 224-248 ◽

Author(s):

Elsa Andrea Kirchner ◽

Jose de Gea Fernandez ◽

Peter Kampmann ◽

Martin Schröer ◽

Jan Hendrik Metzen ◽

...

Download Full-text

MARTE/CCSL for Modeling Cyber-Physical Systems

Formal Modeling and Verification of Cyber-Physical Systems ◽

10.1007/978-3-658-09994-7_2 ◽

2015 ◽

pp. 26-49 ◽

Author(s):

Frédéric Mallet

Keyword(s):

Cyber Physical Systems ◽

Physical Systems

Download Full-text

Dynamic Rebound Control and Human Robot Interaction of a Ball Playing Robot

Formal Modeling and Verification of Cyber-Physical Systems ◽

10.1007/978-3-658-09994-7_19 ◽

2015 ◽

pp. 299-301

Author(s):

Dennis Schüthe ◽

Udo Frese

Keyword(s):

Human Robot Interaction ◽

Robot Interaction

Download Full-text

Semantic Object Recognition Based on Qualitative Probabilistic Spatial Relations

Formal Modeling and Verification of Cyber-Physical Systems ◽

10.1007/978-3-658-09994-7_12 ◽

2015 ◽

pp. 278-280

Author(s):

Malgorzata Goldhoorn ◽

Frank Kirchner

Keyword(s):

Object Recognition ◽

Spatial Relations ◽

Semantic Object

Download Full-text