2016 2nd International Workshop on Modelling, Analysis, and Control of Complex CPS (CPS Data)

Data-oriented abstraction of virtual sensors for embedded software systems

2016 2nd International Workshop on Modelling, Analysis, and Control of Complex CPS (CPS Data) ◽

10.1109/cpsdata.2016.7496420 ◽

2016 ◽

Cited By ~ 2

Author(s):

Kaliappa Ravindran ◽

Mohammad Rabby ◽

Michael Iannelli

Keyword(s):

Embedded Software ◽

Software Systems ◽

Virtual Sensors

Download Full-text

A security metric for structured security analysis of cyber-physical systems supporting SAE J3061

2016 2nd International Workshop on Modelling, Analysis, and Control of Complex CPS (CPS Data) ◽

10.1109/cpsdata.2016.7496425 ◽

2016 ◽

Cited By ~ 7

Author(s):

Marco Steger ◽

Michael Karner ◽

Joachim Hillebrand ◽

Werner Rom ◽

Kay Romer

Keyword(s):

Security Analysis ◽

Cyber Physical Systems ◽

Physical Systems

Download Full-text

Applying the BaaS reference architecture on different classes of devices

2016 2nd International Workshop on Modelling, Analysis, and Control of Complex CPS (CPS Data) ◽

10.1109/cpsdata.2016.7496419 ◽

2016 ◽

Author(s):

Bjorn Butzin ◽

Bjorn Konieczek ◽

Frank Golatowski ◽

Dirk Timmermann ◽

Christoph Fiehe

Keyword(s):

Reference Architecture

Download Full-text

Towards the verification of temporal data consistency in Real-Time Data Management

2016 2nd International Workshop on Modelling, Analysis, and Control of Complex CPS (CPS Data) ◽

10.1109/cpsdata.2016.7496422 ◽

2016 ◽

Cited By ~ 1

Author(s):

Simin Cai ◽

Barbara Gallina ◽

Dag Nystrom ◽

Cristina Seceleanu

Keyword(s):

Data Management ◽

Real Time ◽

Data Consistency ◽

Temporal Data ◽

Time Data ◽

Real Time Data

Download Full-text

[Copyright notice]

2016 2nd International Workshop on Modelling, Analysis, and Control of Complex CPS (CPS Data) ◽

10.1109/cpsdata.2016.7496417 ◽

2016 ◽

Cited By ~ 1

Keyword(s):

Copyright Notice

Download Full-text

[Title page]

2016 2nd International Workshop on Modelling, Analysis, and Control of Complex CPS (CPS Data) ◽

10.1109/cpsdata.2016.7496416 ◽

2016 ◽

Keyword(s):

Title Page

Download Full-text

Towards declarative programming and querying in a distributed Cyber-Physical System: The i-VISION case

2016 2nd International Workshop on Modelling, Analysis, and Control of Complex CPS (CPS Data) ◽

10.1109/cpsdata.2016.7496418 ◽

2016 ◽

Cited By ~ 3

Author(s):

Tobias Kafer ◽

Andreas Harth ◽

Sebastien Mamessier

Keyword(s):

Physical System ◽

Declarative Programming ◽

Cyber Physical System

Download Full-text

WUppaal: A web-service for the Uppaal model-checker

2016 2nd International Workshop on Modelling, Analysis, and Control of Complex CPS (CPS Data) ◽

10.1109/cpsdata.2016.7496421 ◽

2016 ◽

Author(s):

Peter Fogh ◽

Thomas C. Hald ◽

Brian Nielsen

Keyword(s):

Web Service ◽

Model Checker

Download Full-text

Dataflow-based modeling and performance analysis for online gesture recognition

2016 2nd International Workshop on Modelling, Analysis, and Control of Complex CPS (CPS Data) ◽

10.1109/cpsdata.2016.7496423 ◽

2016 ◽

Author(s):

Florian Grutzmacher ◽

Benjamin Beichler ◽

Christian Haubelt ◽

Bart Theelen

Keyword(s):

Performance Analysis ◽

Gesture Recognition ◽

And Performance

Download Full-text

Integrated tool chain for model-based design of Cyber-Physical Systems: The INTO-CPS project

2016 2nd International Workshop on Modelling, Analysis, and Control of Complex CPS (CPS Data) ◽

10.1109/cpsdata.2016.7496424 ◽

2016 ◽

Cited By ~ 35

Author(s):

Peter Gorm Larsen ◽

John Fitzgerald ◽

Jim Woodcock ◽

Peter Fritzson ◽

Jorg Brauer ◽

...

Keyword(s):

Cyber Physical Systems ◽

Tool Chain ◽

Physical Systems ◽

Model Based

Download Full-text

2016 2nd International Workshop on Modelling, Analysis, and Control of Complex CPS (CPS Data)
Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Data-oriented abstraction of virtual sensors for embedded software systems

A security metric for structured security analysis of cyber-physical systems supporting SAE J3061

Applying the BaaS reference architecture on different classes of devices

Towards the verification of temporal data consistency in Real-Time Data Management

[Copyright notice]

[Title page]

Towards declarative programming and querying in a distributed Cyber-Physical System: The i-VISION case

WUppaal: A web-service for the Uppaal model-checker

Dataflow-based modeling and performance analysis for online gesture recognition

Integrated tool chain for model-based design of Cyber-Physical Systems: The INTO-CPS project

Export Citation Format

2016 2nd International Workshop on Modelling, Analysis, and Control of Complex CPS (CPS Data)Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Data-oriented abstraction of virtual sensors for embedded software systems

A security metric for structured security analysis of cyber-physical systems supporting SAE J3061

Applying the BaaS reference architecture on different classes of devices

Towards the verification of temporal data consistency in Real-Time Data Management

[Copyright notice]

[Title page]

Towards declarative programming and querying in a distributed Cyber-Physical System: The i-VISION case

WUppaal: A web-service for the Uppaal model-checker

Dataflow-based modeling and performance analysis for online gesture recognition

Integrated tool chain for model-based design of Cyber-Physical Systems: The INTO-CPS project

2016 2nd International Workshop on Modelling, Analysis, and Control of Complex CPS (CPS Data)
Latest Publications