Publications

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

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

Journal Papers

D. Ratasich, F. Khalid, F. Geissler, R. Grosu, M. Shafique, E. Bartocci: A Roadmap Toward the Resilient Internet of Things for Cyber-Physical Systems
IEEE Access, 7 (2019); 24 pages
bib details doi pdf

H. Mahyar, R. Hasheminezhad, E. Ghalebi, A. Nazemian, R. Grosu, A. Movaghar, H. Rabiee: Identifying central nodes for information flow in social networks using compressive sensing
Social Network Analysis and Mining, 8 (2018)
bib details doi

P. Gleeson, D. Lung, R. Grosu, R. Hasani, S. Larson: c302: a multiscale framework for modelling the nervous system of Caenorhabditis elegans
Philosophical Transactions of the Royal Society B: Biological Sciences, 373 (2018)
bib details doi

G. Sarma, C. Lee, T. Portegys, V. Ghayoomie, T. Jacobs, B. Alicea, M. Cantarelli, M. Currie, R. Gerkin, S. Gingell, P. Gleeson, R. Gordon, R. Hasani, G. Idili, S. Khayrulin, D. Lung, A. Palyanov, M. Watts, S. Larson: OpenWorm: overview and recent advances in integrative biological simulation of Caenorhabditis elegans
Philosophical Transactions of the Royal Society B: Biological Sciences, 373 (2018)
bib details doi

A. Gurung, R. Ray, E. Bartocci, S. Bogomolov, R. Grosu: Parallel reachability analysis of hybrid systems in XSpeed
International Journal on Software Tools for Technology Transfer, in press (2018), p. 1 - 23
bib details doi

more...

Conference Papers

G. Wang, M. Ben Sassi, R. Grosu: A multi-bias recurrent neural network for modeling milling sensory data
1st IEEE International Conference on Industrial Cyber-Physical Systems (ICPS 2018), St. Petersburg; in: Proc. of ICPS 2018: 1st IEEE International Conference on Industrial Cyber-Physical Systems, IEEE, 2018, ISBN: 978-1-5386-6531-2, p. 71 - 78
bib details doi

H. Isakovic, D. Ratasich, C. Hirsch, M. Platzer, B. Wally, T. Rausch, D. Nickovic, W. Krenn, G. Kappel, S. Dustdar, R. Grosu: CPS/IoT Ecosystem: A Platform for Research and Education
14th Workshop on Embedded and Cyber-Physical Systems Education (WESE 2018), Turin, Italien; in: Cyber Physical Systems. Model-Based Design. 8th International Workshop on Model-Based Design of Cyber Physical Systems (CyPhy 2018), and 14th International Workshop on Embedded and Cyber-Physical Systems Education (WESE 2018), R. Chamberlain, W. Taha, M. Törngren (ed.); Springer International Publishing, 2019, ISBN: 978-3-030-23702-8
bib details doi

E. Ghalebi, B. Mirzasoleiman, R. Grosu, J. Leskovec: Dynamic Network Model from Partial Observations
Neural Information Processing Systems (NIPS 2018), Montreal, Canada; in: Advances in Neural Information Processing Systems 31 (NIPS 2018), Advances in Neural Information Processing Systems 31, 2018
bib details

P. Tulala, H. Mahyar, E. Ghalebi, R. Grosu: Unsupervised Wafermap Patterns Clustering via Variational Autoencoders
IEEE International Joint Conference on Neural Networks (IJCNN), Rio de Janeiro, Brazil; in: Proc. of IJCNN 2018: International Joint Conference on Neural Networks, IEEE, 2018, ISSN: 2161-4407, p. 1 - 8
bib details doi

H. Mahyar, R. Hasheminezhad, E. Ghalebi, R. Grosu, H. Stanley: A Compressive Sensing Framework for Distributed Detection of High Closeness Centrality Nodes in Networks
COMPLEX NETWORKS 2018: 7th International Conference on Complex Networks and Their Applications, Cambridge, United Kingdom; in: Complex Networks and Their Applications VII, Springer, 2018, ISBN: 978-3-030-05413-7, p. 91 - 103
bib details doi

more...

Presentations

G. Wang, M. Ben Sassi, R. Grosu: A multi-bias recurrent neural network for modeling milling sensory data
1st IEEE International Conference on Industrial Cyber-Physical Systems (ICPS 2018), St. Petersburg; in: Proc. of ICPS 2018: 1st IEEE International Conference on Industrial Cyber-Physical Systems, IEEE, 2018, ISBN: 978-1-5386-6531-2, p. 71 - 78
bib details doi

H. Isakovic, D. Ratasich, C. Hirsch, M. Platzer, B. Wally, T. Rausch, D. Nickovic, W. Krenn, G. Kappel, S. Dustdar, R. Grosu: CPS/IoT Ecosystem: A Platform for Research and Education
14th Workshop on Embedded and Cyber-Physical Systems Education (WESE 2018), Turin, Italien; in: Cyber Physical Systems. Model-Based Design. 8th International Workshop on Model-Based Design of Cyber Physical Systems (CyPhy 2018), and 14th International Workshop on Embedded and Cyber-Physical Systems Education (WESE 2018), R. Chamberlain, W. Taha, M. Törngren (ed.); Springer International Publishing, 2019, ISBN: 978-3-030-23702-8
bib details doi

C. Hirsch, M. Redl, R. Grosu: Towards an Agricultural IoT-Infrastructure for Micro-climate Measurements
Workshop on Smart Farming, Porto, Portugal
bib details pdf

E. Ghalebi, B. Mirzasoleiman, R. Grosu, J. Leskovec: Dynamic Network Model from Partial Observations
Neural Information Processing Systems (NIPS 2018), Montreal, Canada; in: Advances in Neural Information Processing Systems 31 (NIPS 2018), Advances in Neural Information Processing Systems 31, 2018
bib details

P. Tulala, H. Mahyar, E. Ghalebi, R. Grosu: Unsupervised Wafermap Patterns Clustering via Variational Autoencoders
IEEE International Joint Conference on Neural Networks (IJCNN), Rio de Janeiro, Brazil; in: Proc. of IJCNN 2018: International Joint Conference on Neural Networks, IEEE, 2018, ISSN: 2161-4407, p. 1 - 8
bib details doi

more...

Books

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

A. Ceccarelli, F. Brancati, B. Frömel, O. Höftberger: Time and Resilient Master Clocks in Cyber-Physical Systems
Cyber-Physical Systems of Systems, Foundations - A Conceptual Model and Some Derivations: The AMADEOS Legacy, Springer International Publishing, 10099 (2016), ISBN: 978-3-319-47589-9, p. 165 - 185
bib details doi

more...

Editorials

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

E. Bartocci, C. Ramakrishnan: Preface of the special issue on Model Checking of Software - Selected papers of the 20th International SPIN Symposium on Model Checking of Software
International Journal on Software Tools for Technology Transfer, 18 (2016), p. 355 - 357
bib details doi

E. Bartocci, P. Lio, N. Paoletti: Computational Methods in Systems Biology - 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings
Springer International Publishing, Switzerland, 2016, ISBN: 978-3-319-45176-3; 356 pages
bib details doi

more...

Theses

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

C. Vazcula: The Hobel algorithm - SAT Lösung mit GPU über DPLL (Master's Thesis)
reviewers: E. Bartocci, A. Biere; Institute of Computer Engineering, 2016
bib details pdf

C. Gabriel: Development of an Advanced Protection Concept for Automotive Wire Harnesses (Master's Thesis)
reviewers: R. Grosu, H.-P. Kreuter, D. Ratasich, O. Höftberger; Institut für Technische Informatik, 2016; oral examination: 2016-10-04
bib details

K. Pollhammer: Automated Buildings as Energy Storages (PhD Thesis)
reviewers: D. Dietrich, W. Elmenreich; E384, 2016; oral examination: 2016-02-05
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.