Publications

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

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

Journal Papers

E. Bartocci, L. Bortolussi, T. Brazdil, D. Milos, G. Sanguinetti: Policy learning in Continuous-Time Markov Decision Processes using Gaussian Processes
Performance Evaluation, 116 (2017), p. 84 - 100
bib details doi

E. Bartocci, E. Aydin Gol, I. Haghighi, C. Belta: A Formal Methods Approach to Pattern Recognition and Synthesis in Reaction Diffusion Networks
IEEE Transactions on Control of Network Systems, PP (2016), p. 1 - 12
bib details doi pdf

L. Esterle, R. Grosu (invited): Cyber-physical systems: challenge of the 21st century
Elektrotechnik und Informationstechnik, 133 (2016), p. 299 - 303
bib details doi pdf

M. Schoeberl, S. Abbaspour, B. Akesson, N. Audsley, R. Capasso, J. Garside, K. Goossens, S. Goossens, S. Hansen, R. Heckmann, S Hepp, B. Huber, A. Jordan, E. Kasapaki, J. Knoop, Y. Li, D. Prokesch, W. Puffitsch, P. Puschner, A. Rocha, C Silva, J. Sparso, A. Tocchi: T-CREST: Time-Predictable Multi-Core Architecture for Embedded Systems
Journal of Systems Architecture, Volume 61 (2015), p. 449 - 471
bib details doi

E. Bartocci, P. Lio: Computational modeling, formal analysis and tools for systems biology
PLoS Computational Biology, 12 (2016), p. 1 - 22
bib details doi

show all...

Conference Papers

D. Ratasich, O. Hoftberger, H. Isakovic, M. Shafique, R. Grosu: A Self-Healing Framework for Building Resilient Cyber-Physical Systems
20th IEEE International Symposium on Real-Time Computing (ISORC 2017), Toronto, Canada; in: Proc. 20th IEEE International Symposium on Real-Time Computing (ISORC 2017), IEEE, 2017, ISSN: 2375-5261, p. 133 - 140
bib details doi

R. Hasani, M. Fuchs, V. Beneder, R. Grosu: Modeling a Simple Non-Associative Learning Mechanism in the Brain of Caenorhabditis elegans
Workshop on Biomedical Informatics with Optimization and Machine Learning (BOOM), 2017, Melbourne, Australia; in: Proceedings of the Workshop on Biomedical Informatics with Optimization and Machine Learning (BOOM), 2017, 2017; 5 pages
bib details pdf

R. Hasani, V. Beneder, M. Fuchs, D. Lung, R. Grosu: SIM-CE: An Advanced Simulation Platform for Studying the brain of Caenorhabditis elegans
Workshop on Computational Biology at the 34th International Conference on Machine Learning(ICML), 2017, Sydney, Australia; in: Proceedings of the Workshop on Computational Biology at the 34th International Conference on Machine Learning(ICML), 2017, 2017; 5 pages
bib details pdf

M. Fuchs, Z. Zimmer, R. Grosu, R. Hasani: Searching for Biophysically Realistic Parameters for Dynamic Neuron Models by Genetic Algorithms from Calcium Imaging Recording
Workshop on Worm´s Neural Information Processing at the 31st Neural Information Processing Systems (NIPS) Conference, 2017, Long Beach, CA, USA; in: Proceedings of the Workshop on Worm´s Neural Information Processing at the 31st Neural Information Processing Systems (NIPS) Conference, 2017, 2017; 6 pages
bib details pdf

D. Lung, S. Larson, A. Palyanov, S. Khayrulin, P. Gleeson, Z. Zimmer, R. Grosu, R. Hasani: A Simplified Cell Network for the Simulation of C. elegans´ Forward Crawling
Workshop on Worm´s Neural Information Processing at the 31st Neural Information Processing Systems (NIPS) Conference, 2017, Long Beach, CA, USA; in: Proceedings of the Workshop on Worm´s Neural Information Processing at the 31st Neural Information Processing Systems (NIPS) Conference, 2017, 2017; 5 pages
bib details pdf

show all...

Books

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

H. Kopetz, A. Bondavalli, F. Brancati, B. Frömel, O. Höftberger, S. Iacob: Emergence in Cyber-Physical Systems-of-Systems (CPSoSs)
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. 73 - 96
bib details doi pdf

B. Frömel, H. Kopetz: Interfaces in Evolving Cyber-Physical Systems-of-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. 40 - 72
bib details doi

show all...

Editorials

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

E. Bartocci, R. Majumdar: Runtime Verification - 6th International Conference, {RV} 2015 Vienna, Austria, September 22-25, 2015. Proceedings
Springer International Publishing, Switzerland, 2015, ISBN: 978-3-319-23819-7; 432 pages
bib details doi

E. Bartocci, L. Bortolussi: Proceedings First International Workshop on Hybrid Systems and Biology
Electronic Proceedings in Theoretical Computer Science, 2012, ISSN: 2075-2180
bib details doi

E. Bartocci, C. Ramakrishnan: Model Checking Software - 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings
Springer-Verlag Berlin Heidelberg, Berlin Heidelberg, 2013, ISBN: 978-3-642-39175-0; 377 pages
bib details doi

show all...

Theses

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

W. Zischka: Zeitgesteuerte Kommunikation in Hybriden Netzwerk-Topologien (Master's Thesis)
reviewer: S. Poledna; E182, 2015; oral examination: 2015-11-19
bib details

show all...

Presentations

D. Ratasich, O. Hoftberger, H. Isakovic, M. Shafique, R. Grosu: A Self-Healing Framework for Building Resilient Cyber-Physical Systems
20th IEEE International Symposium on Real-Time Computing (ISORC 2017), Toronto, Canada; in: Proc. 20th IEEE International Symposium on Real-Time Computing (ISORC 2017), IEEE, 2017, ISSN: 2375-5261, p. 133 - 140
bib details doi

R. Hasani, M. Fuchs, V. Beneder, R. Grosu: Modeling a Simple Non-Associative Learning Mechanism in the Brain of Caenorhabditis elegans
Workshop on Biomedical Informatics with Optimization and Machine Learning (BOOM), 2017, Melbourne, Australia; in: Proceedings of the Workshop on Biomedical Informatics with Optimization and Machine Learning (BOOM), 2017, 2017; 5 pages
bib details pdf

R. Hasani, V. Beneder, M. Fuchs, D. Lung, R. Grosu: SIM-CE: An Advanced Simulation Platform for Studying the brain of Caenorhabditis elegans
Workshop on Computational Biology at the 34th International Conference on Machine Learning(ICML), 2017, Sydney, Australia; in: Proceedings of the Workshop on Computational Biology at the 34th International Conference on Machine Learning(ICML), 2017, 2017; 5 pages
bib details pdf

M. Fuchs, Z. Zimmer, R. Grosu, R. Hasani: Searching for Biophysically Realistic Parameters for Dynamic Neuron Models by Genetic Algorithms from Calcium Imaging Recording
Workshop on Worm´s Neural Information Processing at the 31st Neural Information Processing Systems (NIPS) Conference, 2017, Long Beach, CA, USA; in: Proceedings of the Workshop on Worm´s Neural Information Processing at the 31st Neural Information Processing Systems (NIPS) Conference, 2017, 2017; 6 pages
bib details pdf

D. Lung, S. Larson, A. Palyanov, S. Khayrulin, P. Gleeson, Z. Zimmer, R. Grosu, R. Hasani: A Simplified Cell Network for the Simulation of C. elegans´ Forward Crawling
Workshop on Worm´s Neural Information Processing at the 31st Neural Information Processing Systems (NIPS) Conference, 2017, Long Beach, CA, USA; in: Proceedings of the Workshop on Worm´s Neural Information Processing at the 31st Neural Information Processing Systems (NIPS) Conference, 2017, 2017; 5 pages
bib details pdf

show all...

Reports, Miscellaneous

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

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

U. Schmid, H. Kopetz, P. Puschner, L. Mayerhofer, A. Steininger, H. Grünbacher, W. Kastner, A. Krall: Antrag UNI-Infrastruktur III, Embedded Systems Research Cluster
2005
bib details

J. Puchinger, G. Raidl: Models and algorithms for three-stage two-dimensional bin packing.
Technical Report TR 186-1-04-04, submitted to EJOR, 2004
bib details

S. Pitzek: Semantic Meta Information for Improving Comprehension of a Smart Transducer Interface
2004
bib details

show all...

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