Publications

Shows publications by members of the Cyber-Physical Systems group.

Currently giving an overview of all categories - show all...

Journal Papers

P. Puschner, R. Kirner: Asynchronous vs. synchronous interfacing to time-triggered communication systems
Journal of Systems Architecture, 103 (2020)
bib details doi pdf

A. Islam, R. Cleaveland, F. Fenton, R. Grosu, P. Jones, S. Smolka: Probabilistic reachability for multi-parameter bifurcation analysis of cardiac alternans
Theoretical Computer Science, . (2019), p. 158 - 169
bib details

S. Grünbacher, J. Cyranka, A. Islam, M. Tschaikowski, S. Smolka, R. Grosu: Under the Hood of a Stand-Alone Lagrangian Reachability Tool
EPiC Series in Computing, . (2019), p. 211 - 219
bib details

E. Ghalebi, H. Mayhar, R. Grosu, G. Taylor, S. Williamson: Sequential Edge Clustering in Temporal Multigraphs
ArXiv, . (2019); 6 pages
bib details

D. Phan, N. Paoletti, R. Grosu, N. Jansen, S. Smolka, S. Stoller: Neural Simplex Architecture
ArXiv, . (2019)
bib details

more...

Editorials

H. Kopetz: Simplicity is Complex
Springer, 2019, ISBN: 978-3-030-20410-5; 148 pages
bib details doi

E. Bartocci, R. Cleaveland, R. Grosu, O. Sokolsky: From Reactive Systems to Cyber-Physical Systems - Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday
Springer-Verlag Berlin Heidelberg, Berlin Heidelberg, 2019, ISBN: 978-3-030-31513-9; 301 pages
bib details doi

E. Bartocci, Y. Falcone: Lectures on Runtime Verification - Introductory and Advanced Topics
Springer-Verlag Berlin Heidelberg, Berlin Heidelberg, 2018, ISBN: 978-3-319-75631-8; 232 pages
bib details doi

E. Bartocci, P. Lio, N. Paoletti: Guest Editors' Introduction to the Special Section on the 14th International Conference on Computational Methods in Systems Biology (CMSB 2016)
IEEE/ACM Transactions on Computational Biology and Bioinformatics, 15 (2018), p. 1122 - 1123
bib details doi

A. Bondavalli, S. Bouchenak, H. Kopetz: Cyber-Physical Systems of Systems, Foundations - A Conceptual Model and Some Derivations: The AMADEOS Legacy
Lecture Notes in Computer Science, series editors: D. Hutchison, T. Kanade, J. Kittler, J. Kleinberg, F. Mattern, J. Mitchell, M. Naor, C. Pandu Rangan, B. Steffen, D. Terzopoulos, D. Tygar, G. Weikum et al., Springer International Publishing, 2016, ISBN: 978-3-319-47589-9; 257 pages
bib details doi

more...

Books

A. Legay, A. Lukina, L. Traonouez, J. Yang, S. Smolka, R. Grosu: Statistical model checking
Computing and Software Science, Springer LNCS, 2019, p. 478 - 504
bib details

E. Bartocci, R.G. Deshmukh, D. Donze, G. Fainekos, O. Maler, D. Nickovic, S. Sankaranarayanan: Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications
Lectures on Runtime Verification - Introductory and Advanced Topics, Springer-Verlag Berlin Heidelberg, 10457 (2018), ISBN: 978-3-319-75631-8, p. 135 - 175
bib details doi

E. Bartocci, Y. Falcone, A. Francalanza, G. Reger: Introduction to Runtime Verification
Lectures on Runtime Verification - Introductory and Advanced Topics, Springer-Verlag Berlin Heidelberg, 10457 (2018), ISBN: 978-3-319-75631-8, p. 1 - 33
bib details doi

H. Isakovic, R. Grosu (invited): A Mixed-Criticality Integration in Cyber-Physical Systems: A Heterogeneous Time-Triggered Architecture on a Hybrid SoC Platform
Solutions for Cyber-Physical Systems Ubiquity, IGI Global, Hershey PA, USA 17033, 1 (2018), ISBN: 9781522528456, p. 169 - 194
bib details doi

T. Amorim, D. Ratasich, G. Macher, A. Ruiz, D. Schneider, M. Driussi, R. Grosu: Runtime Safety Assurance for Adaptive Cyber-Physical Systems: ConSerts M and Ontology-Based Runtime Reconfiguration Applied to an Automotive Case Study
Solutions for Cyber-Physical Systems Ubiquity, N. Druml, A. Genser, A. Krieg, M. Menghin, A. Höller (ed.); IGI Global, Hershey, Pennsylvania, USA, 1 (2017), ISBN: 9781522528456, p. 137 - 168
bib details doi

more...

Conference Papers

A. Lukina, A. Tiwari, S. Smolka, R. Grosu: Distributed adaptive-neighborhood control for stochastic reachability in multi-agent systems
SAC '19: Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, Association for Computing Machinery, New YorkNYUnited States, 2019, ISBN: 978-1-4503-5933-7, p. ##
bib details

P. Puschner, B. Frömel: Composable Component Interfaces for Time-Triggered Systems
8th Mediterranean Conference on Embedded Computing (MECO), Budva, Montenegro; in: 8th Mediterranean Conference on Embedded Computing (MECO), IEEE, 2019; 4 pages
bib details doi pdf

P. Puschner, R. Kirner: Interfacing to Time-Triggered Communication Systems
IEEE 22nd International Symposium on Real-Time Distributed Computing (ISORC), Valencia, Spain; in: Proceedings IEEE 22nd International Symposium on Real-Time Distributed Computing (ISORC), IEEE, 2019, ISSN: 2375-5261; 8 pages
bib details doi pdf

N. TaheriNejad, P. Lewis, A. Jantsch, A. Rahmani, L. Esterle: Resource Constrained Self-Aware Cyber-Physical Systems (Tutorial)
2019 IEEE 4th International Workshops on Foundations and Applications of Self* Systems (FAS*W), IEEE, Umea, 2019, ISBN: 978-1-7281-2406-3, p. 259 - 260
bib details doi

H. Isakovic, R. Grosu, A. Fasching, L. Punzenberger: CPS/IoT Ecosystem: Indoor Vertical Farming System
2019 IEEE 23rd International Symposium on Consumer Technologies (ISCT), Ancona, Italien; in: 2019 IEEE 23rd International Symposium on Consumer Technologies (ISCT), IEEE Xplore, 2019, ISSN: 0747-668x, p. #
bib details doi pdf

more...

Presentations

M. Lechner, R. Hasani, Z. Zimmer, T. Henzinger, R. Grosu: Designing Worm-inspired Neural Networks for Interpretable Robotic Control
2019 International Conference on Robotics and Automation (ICRA), Montreal, Canada
bib details

R. Hasani, A. Amini, M. Lechner, F. Naser, R. Grosu, D. Rus: Response Characterization for Auditing Cell Dynamics in Long Short-term Memory Networks
IEEE International Joint Conference on Neural Networks (IJCNN), Budapest, Hungary
bib details

R. Hasani, G. Wang, R. Grosu: A Machine Learning Suite for Machine Components´ Health-Monitoring
AAAI 2019 - 33rd Conference on Artificial Intelligence, Honolulu, Hawaii, USA
bib details

P. Puschner, B. Frömel: Composable Component Interfaces for Time-Triggered Systems
8th Mediterranean Conference on Embedded Computing (MECO), Budva, Montenegro; in: 8th Mediterranean Conference on Embedded Computing (MECO), IEEE, 2019; 4 pages
bib details doi pdf

P. Puschner, R. Kirner: Interfacing to Time-Triggered Communication Systems
IEEE 22nd International Symposium on Real-Time Distributed Computing (ISORC), Valencia, Spain; in: Proceedings IEEE 22nd International Symposium on Real-Time Distributed Computing (ISORC), IEEE, 2019, ISSN: 2375-5261; 8 pages
bib details doi pdf

more...

Theses

M. Kratochwill: Increased Efficiency through Test Automation in Electronics Development (Master's Thesis)
reviewers: S. Poledna, W. Steiner; E191, 2019; oral examination: 2019-11-20
bib details

F. Genco: Intermediate logics and concurrent lambda-calculi: a proof theoretic approach (PhD Thesis)
reviewers: A. Ciabattoni, E. Bartocci; Institut für Logic und Computation, 2019; oral examination: 2019-05-08
bib details

A. Brandstätter: Local Positioning System for Quadcopters (Master's Thesis)
reviewers: R. Grosu, C. Hirsch, B. Frömel; Institute of Computer Engineering, 2019; oral examination: 2019-06-07
bib details pdf

E. Ibrahimovic: Life cycle assessment of vehicles with alternative powertrains (Master's Thesis)
reviewers: B. Geringer, C. Six; Institut für Fahrzeugantriebe und Automobiltechnik (IFA), 2017
bib details

O. Balún: Towards Distributed Controllers Based on Caenorhabditis elegans Locomotory Neural Network (Master's Thesis)
reviewers: R. Grosu, R. M. Hasani; Institut für Technische Informatik, 2016; oral examination: 2016-12-22
bib details

more...

Older and additional publications may be found on an external server at http://www.vmars.tuwien.ac.at/papers/papers.html.