Abstract is missing.
- Towards declarative programming and querying in a distributed Cyber-Physical System: The i-VISION caseTobias Käfer, Andreas Harth, Sebastien Mamessier. 1-6 [doi]
- WUppaal: A web-service for the Uppaal model-checkerPeter Fogh, Thomas C. Hald, Brian Nielsen. 1-6 [doi]
- A security metric for structured security analysis of cyber-physical systems supporting SAE J3061Marco Steger, Michael Karner, Joachim Hillebrand, Werner Rom, Kay Römer. 1-6 [doi]
- Integrated tool chain for model-based design of Cyber-Physical Systems: The INTO-CPS projectPeter Gorm Larsen, John S. Fitzgerald, Jim Woodcock, Peter Fritzson, Jörg Brauer, Christian Kleijn, Thierry Lecomte, Markus Pfeil, Ole Green, Stylianos Basagiannis, Andrey Sadovykh. 1-6 [doi]
- Dataflow-based modeling and performance analysis for online gesture recognitionFlorian Grützmacher, Benjamin Beichler, Christian Haubelt, Bart D. Theelen. 1-8 [doi]
- Applying the BaaS reference architecture on different classes of devicesBjörn Butzin, Björn Konieczek, Frank Golatowski, Dirk Timmermann, Christoph Fiehe. 1-6 [doi]
- Data-oriented abstraction of virtual sensors for embedded software systemsKaliappa Ravindran, Mohammad Rabby, Michael Iannelli. 1-6 [doi]
- Towards the verification of temporal data consistency in Real-Time Data ManagementSimin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu. 1-6 [doi]