Cyber Physical Systems. Design, Modeling, and Evaluation - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783319517377, 9783319517384

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Ontological Reasoning as an Enabler of Contract-Based Co-design

Cyber Physical Systems. Design, Modeling, and Evaluation - Lecture Notes in Computer Science ◽

10.1007/978-3-319-51738-4_8 ◽

2017 ◽

pp. 101-115

Author(s):

Ken Vanherpen ◽

Joachim Denil ◽

Paul De Meulenaere ◽

Hans Vangheluwe

Keyword(s):

Ontological Reasoning

Download Full-text

SysML to NuSMV Model Transformation via Object-Orientation

Cyber Physical Systems. Design, Modeling, and Evaluation - Lecture Notes in Computer Science ◽

10.1007/978-3-319-51738-4_3 ◽

2017 ◽

pp. 31-45 ◽

Cited By ~ 4

Author(s):

Georgiana Caltais ◽

Florian Leitner-Fischer ◽

Stefan Leue ◽

Jannis Weiser

Keyword(s):

Model Transformation ◽

Object Orientation

Download Full-text

Automated Verification of Switched Systems Using Hybrid Identification

Cyber Physical Systems. Design, Modeling, and Evaluation - Lecture Notes in Computer Science ◽

10.1007/978-3-319-51738-4_7 ◽

2017 ◽

pp. 87-100

Author(s):

Stefan Schwab ◽

Bernd Holzmüller ◽

Sören Hohmann

Keyword(s):

Switched Systems ◽

Automated Verification ◽

Hybrid Identification

Download Full-text

Proving Correctness of Refactorings for Hybrid Simulink Models with Control Flow

Cyber Physical Systems. Design, Modeling, and Evaluation - Lecture Notes in Computer Science ◽

10.1007/978-3-319-51738-4_6 ◽

2017 ◽

pp. 71-86

Author(s):

Sebastian Schlesinger ◽

Paula Herber ◽

Thomas Göthel ◽

Sabine Glesner

Keyword(s):

Control Flow

Download Full-text

CyFuzz: A Differential Testing Framework for Cyber-Physical Systems Development Environments

Cyber Physical Systems. Design, Modeling, and Evaluation - Lecture Notes in Computer Science ◽

10.1007/978-3-319-51738-4_4 ◽

2017 ◽

pp. 46-60 ◽

Cited By ~ 4

Author(s):

Shafiul Azam Chowdhury ◽

Taylor T. Johnson ◽

Christoph Csallner

Keyword(s):

Systems Development ◽

Cyber Physical Systems ◽

Physical Systems ◽

Testing Framework

Download Full-text

Ardán: Using 3D Game Engines in Cyber-Physical Simulations (Tool Paper)

Cyber Physical Systems. Design, Modeling, and Evaluation - Lecture Notes in Computer Science ◽

10.1007/978-3-319-51738-4_5 ◽

2017 ◽

pp. 61-70

Author(s):

Fergus Leahy ◽

Naranker Dulay

Keyword(s):

3D Game ◽

Game Engines ◽

Physical Simulations

Download Full-text

A Model-Driven Framework for Hardware-Software Co-design of Dataflow Applications

Cyber Physical Systems. Design, Modeling, and Evaluation - Lecture Notes in Computer Science ◽

10.1007/978-3-319-51738-4_1 ◽

2017 ◽

pp. 1-16 ◽

Cited By ~ 2

Author(s):

Waheed Ahmad ◽

Bugra M. Yildiz ◽

Arend Rensink ◽

Mariëlle Stoelinga

Keyword(s):

Model Driven

Download Full-text

CPS Specifier – A Specification Tool for Safety-Critical Cyber-Physical Systems

Cyber Physical Systems. Design, Modeling, and Evaluation - Lecture Notes in Computer Science ◽

10.1007/978-3-319-51738-4_9 ◽

2017 ◽

pp. 116-125

Author(s):

Jonas Westman ◽

Mattias Nyberg ◽

Oscar Thydén

Keyword(s):

Cyber Physical Systems ◽

Physical Systems ◽

Safety Critical

Download Full-text

Symbolic Analysis of Hybrid Systems Involving Numerous Discrete Changes Using Loop Detection

Cyber Physical Systems. Design, Modeling, and Evaluation - Lecture Notes in Computer Science ◽

10.1007/978-3-319-51738-4_2 ◽

2017 ◽

pp. 17-30 ◽

Cited By ~ 2

Author(s):

Kenichi Betsuno ◽

Shota Matsumoto ◽

Kazunori Ueda

Keyword(s):

Hybrid Systems ◽

Symbolic Analysis ◽

Loop Detection

Download Full-text

Cyber Physical Systems. Design, Modeling, and Evaluation - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

Ontological Reasoning as an Enabler of Contract-Based Co-design

SysML to NuSMV Model Transformation via Object-Orientation

Automated Verification of Switched Systems Using Hybrid Identification

Proving Correctness of Refactorings for Hybrid Simulink Models with Control Flow

CyFuzz: A Differential Testing Framework for Cyber-Physical Systems Development Environments

Ardán: Using 3D Game Engines in Cyber-Physical Simulations (Tool Paper)

A Model-Driven Framework for Hardware-Software Co-design of Dataflow Applications

CPS Specifier – A Specification Tool for Safety-Critical Cyber-Physical Systems

Symbolic Analysis of Hybrid Systems Involving Numerous Discrete Changes Using Loop Detection

Cyber Physical Systems. Design, Modeling, and Evaluation - Lecture Notes in Computer Science
Latest Publications