Publications

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

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

Conference Papers

A. Kofnov, M. Moosbrugger, S. Stankovic, E. Bartocci, E. Bura: Moment-based Invariants for Probabilistic Loops with non-polynomial assignments
Proc. of QEST 2022: the 19th International Conference on Quantitative Evaluation of SysTems, Warsaw, Poland; in: Proc. of QEST'22: the 19th International Conference on Quantitative Evaluation of SysTems, 2022
bib details

A. Karimi, S. Stankovic, M. Moosbrugger, L. Kovacs, E. Bartocci, E. Bura: Distribution Estimation for Probabilistic Loops
Proc. of QEST 2022: the 19th International Conference on Quantitative Evaluation of SysTems, Warsaw, Poland; in: Proc. of QEST'22: the 19th International Conference on Quantitative Evaluation of SysTems, 2022
bib details

L. Wilke, O. Dobe, E. Abraham, E. Bartocci, B. Bonakdarpour: Probabilistic Hyperproperties with Rewards
Proc. of NFM 2022: the 13th International Symposium of NASA Formal Methods, Pasadena, California, USA; in: Proc. of NFM 2022: the 13th International Symposium of NASA Formal Methods, 2022; 25 pages
bib details

A. Brunnbauer, L. Berducci, A. Brandstätter, M. Lechner, R. Hasani, D. Rus, R. Grosu: Latent Imagination Facilitates Zero-Shot Transfer in Autonomous Racing
IEEE International Conference on Robotics and Automation, Philadelphia (PA), USA; 2022
bib details pdf

E. Bartocci, T. Ferrere, T. Henzinger, D. Nickovic, A. Oliveira da Costa: Information-Flow Interfaces
Proc. of FASE 2022: the 25th International Conference on Fundamental Approaches to Software Engineering, Munich, Germany; in: Proc. of FASE 2022: the 25th International Conference on Fundamental Approaches to Software Engineering, 2022
bib details

more...

Presentations

more...

Journal Papers

L. Nenzi, E. Bartocci, L. Bortolussi, S. Silvetti, M. Loreti: MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties
International Journal on Software Tools for Technology Transfer
bib details

D. Yadav: Criteria for Good Qualitative Research: A Comprehensive Review
Asia-Pacific Education Researcher, - (2021); 1 pages
bib details doi

D. Yadav: Blood Coagulation Algorithm: A Novel Bio-Inspired Meta-Heuristic Algorithm for Global Optimization
Mathematics (MDPI), 9 (2021); 3011 pages
bib details doi

R. Kirner, P. Puschner: A Quantitative Analysis of Interfaces to Time-Triggered Communication Buses
IEEE-ACM Transactions on Networking, 29 (2021), p. 1786 - 1797
bib details doi pdf

S. Stankovic, E. Bartocci, L. Kovacs: Moment-based analysis of Bayesian network properties
Theoretical Computer Science, 903 (2022), p. 113 - 133
bib details doi

more...

Editorials

E. Bartocci, Y. Falcone, M. Leucker (invited): Preface
Formal Methods in Outer Space - Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday., Springer, Lecture Notes in Computer Science, Rhodes, Greece, 13065 (2021), ISBN: 978-3-030-87348-6, p. 1
bib details doi

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

more...

Theses

C. Kloimüllner: Algorithmic approaches for Optimization problems in bike sharing and security control (PhD Thesis)
reviewers: G. Raidl, K. Sörensen, N. Musliu; Institute of Logic and Computation, 2019; oral examination: 2019-01-31
bib details doi pdf

R. Schorn: Fail-Operational Strategies for Highly-Integrated Automotive ECUs (Master's Thesis)
reviewer: W. Steiner; E191, 2021; oral examination: 2021-01-21
bib details

D. Haslauer: Modulares Echtzeit-Testsystem für Layer 2 Ethernet (Master's Thesis)
reviewer: W. Steiner; E384, 2021; oral examination: 2021-10-07
bib details

L. Reier: Security Konzept und Evaluierung einer Off-Highway Electronic Control Unit (Master's Thesis)
reviewer: W. Steiner; E191, 2020; oral examination: 2020-09-24
bib details

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

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

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.