Publications

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

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

Conference Papers

M. Platzer, P. Puschner: A Real-Time Application with Fully Predictable Task Timing
2020 IEEE 23rd International Symposium on Real-Time Distributed Computing (ISORC), Nashville, TN, USA; in: 2020 IEEE 23rd International Symposium on Real-Time Distributed Computing (ISORC), 2020, p. 43 - 46
bib details doi

G. Roda, J. Tait, F. Piroi, V. Zenz: CLEF-IP 2009: Retrieval Experiments in the Intellectual Property Domain
Multilingual Information Access Evaluation I. Text Retrieval Experiments, Springer, Lecture Notes in Computer Science (2010), ISBN: 978-3-642-15753-0, p. 385 - 409
bib details doi

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

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; in: Robotics and Automation (ICRA), IEEE International Conference on, 2019, p. 87 - 94
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; in: 2019 IEEE International Joint Conference on Neural Networks (IJCNN), 2019, ISSN: 2161-4407, p. 1 - 8
bib details doi

more...

Presentations

M. Platzer, P. Puschner: A Real-Time Application with Fully Predictable Task Timing
2020 IEEE 23rd International Symposium on Real-Time Distributed Computing (ISORC), Nashville, TN, USA; in: 2020 IEEE 23rd International Symposium on Real-Time Distributed Computing (ISORC), 2020, p. 43 - 46
bib details doi

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; in: Robotics and Automation (ICRA), IEEE International Conference on, 2019, p. 87 - 94
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; in: 2019 IEEE International Joint Conference on Neural Networks (IJCNN), 2019, ISSN: 2161-4407, p. 1 - 8
bib details doi

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; in: 33rd AAAI Conference on Artificial Intelligence, AAAI 2019, 31st Innovative Applications of Artificial Intelligence Conference, IAAI 2019, 9th AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2019, 2019, ISSN: 2374-3468, p. 9472 - 9477
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

more...

Journal Papers

G. Roda, V. Zenz, M. Lupu, K. Järvelin, M. Sanderson, C. Womser-Hacker:: So many topics, so little time
SIGIR Forum, ACM (2009), p. 9 - 16
bib details doi

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

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...

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...

Reports, Miscellaneous

O. Höftberger: Report on the AMADEOS Workshop on Emergence in Cyber-Physical Systems-of-Systems (CPSoS)
2016
bib details pdf

H. Kopetz (invited): Why a Global Time is Needed in a Dependable SoS
Engineering Dependable Systems of Systems (EDSoS) 2014, Newcastle upon Tyne, United Kingdom
bib details

H. Kopetz (invited): From Embedded Systems to Systems of Systems
10th IEEE/IFIP Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS), Reno, Nevada, USA
bib details doi

H. Kopetz (invited): Systems of Systems Need a Global Time
23rd NIST-ATIS Synchronization Workshop, San Jose, California, USA
bib details

M. Schoeberl: Instruction Cache für Echtzeitsysteme
patent: Österreich, no. 500858, submitted: 2004-08-17, granted: 2006-04-15
bib details

more...

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