CPS Data

Publications

2016

Peter Gorm Larsen, John S. Fitzgerald, Jim Woodcock, Peter Fritzson, Jörg Brauer, Christian Kleijn, Thierry Lecomte, Markus Pfeil, Ole Green, Stylianos Basagiannis, Andrey Sadovykh
Integrated tool chain for model-based design of Cyber-Physical Systems: The INTO-CPS project. CPS Data (2016)
Marco Steger, Michael Karner, Joachim Hillebrand, Werner Rom, Kay Römer
A security metric for structured security analysis of cyber-physical systems supporting SAE J3061. CPS Data (2016)
Peter Fogh, Thomas C. Hald, Brian Nielsen
WUppaal: A web-service for the Uppaal model-checker. CPS Data (2016)
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu
Towards the verification of temporal data consistency in Real-Time Data Management. CPS Data (2016)
Tobias Käfer, Andreas Harth, Sebastien Mamessier
Towards declarative programming and querying in a distributed Cyber-Physical System: The i-VISION case. CPS Data (2016)
Kaliappa Ravindran, Mohammad Rabby, Michael Iannelli
Data-oriented abstraction of virtual sensors for embedded software systems. CPS Data (2016)
Florian Grützmacher, Benjamin Beichler, Christian Haubelt, Bart D. Theelen
Dataflow-based modeling and performance analysis for online gesture recognition. CPS Data (2016)
Björn Butzin, Björn Konieczek, Frank Golatowski, Dirk Timmermann, Christoph Fiehe
Applying the BaaS reference architecture on different classes of devices. CPS Data (2016)
2016 2nd International Workshop on Modelling, Analysis, and Control of Complex CPS, CPS Data 2016, Vienna, Austria, April 11, 2016 CPS Data (2016)