Publications

Shows all publications by members of the Institute of Computer Engineering.

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

Journal Papers

E. Bartocci, N. Manjunath, L. Mariani, C. Mateis, D. Nickovic: CPSDebug: Automatic Failure Explanation in CPS Models
International Journal on Software Tools for Technology Transfer, 2021
bib details doi pdf

M. Meiyi, E. Bartocci, E. Lifland, J. Stankovic, L. Feng: A Novel Spatial-Temporal Specification-Based Monitoring System for Smart Cities
IEEE Internet of Things Journal, 8 (2021), p. 11793 - 11806
bib details doi pdf

M. Meiyi, J. Stankovic, E. Bartocci, L. Feng: Predictive Monitoring with Logic-Calibrated Uncertainty for Cyber-Physical Systems
ACM Transactions on Embedded Computing Systems, p. 1
bib details

L. Treml, E. Bartocci, A. Gizzi: Modeling and Analysis of Cardiac Hybrid Cellular Automata via GPU-accelerated Monte Carlo Simulation
Mathematics (MDPI), 9 (2021)
bib details doi pdf

K. von Kirchbach, C. Schulz, J. Träff: Better Process Mapping and Sparse Quadratic Assignment
ACM Journal of Experimental Algorithmics, Volume 25 (2020), p. 1.11:1 - 1.11:19
bib details doi

more...

Conference Papers

S. Alsalehi, N. Mehdipour, E. Bartocci, C. Belta: Neural Network-based Control for Multi-Agent Systems from Spatio-Temporal Specifications
CDC 2021: the 60th IEEE Conference on Decision and Control, Austin, Texas; in: Proc. of CDC 2021: the 60th IEEE Conference on Decision and Control, 2021
bib details

E. Bartocci, R. Bloem, B. Maderbacher, N. Manjunath, D. Nickovic: Adaptive Testing for Specification Coverage in CPS Models
7th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS 2021), Brussels, Belgium; in: Proc. of ADHS 2021: the 7th IFAC Conference on Analysis and Design of Hybrid Systems, 2021
bib details

M. Moosbrugger, E. Bartocci, J. Katoen, L. Kovacs: The Probabilistic Termination Tool Amber
FM 2021: the 24th international symposium of Formal Methods, China; in: Proc. of FM 2021: the 24th international symposium of Formal Methods, 2021
bib details

O. Dobe, E. Abraham, E. Bartocci, B. Bonakdarpour: HyperProb: A Model Checker for Probabilistic Hyperproperties
FM 2021: the 24th international symposium of Formal Methods, China; in: Proc. of FM 2021: the 24th international symposium of Formal Methods, 2021
bib details

M. Platzer, P. Puschner: Vicuna: A Timing-Predictable RISC-V Vector Coprocessor for Scalable Parallel Computation
33rd Euromicro Conference on Real-Time Systems (ECRTS 2021), Online; in: 33rd Euromicro Conference on Real-Time Systems (ECRTS 2021), B. Brandenburg (ed.); Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 196 (2021), ISSN: 1868-8969, p. 1 - 18
bib details doi pdf

more...

Presentations

S. Alsalehi, N. Mehdipour, E. Bartocci, C. Belta: Neural Network-based Control for Multi-Agent Systems from Spatio-Temporal Specifications
CDC 2021: the 60th IEEE Conference on Decision and Control, Austin, Texas; in: Proc. of CDC 2021: the 60th IEEE Conference on Decision and Control, 2021
bib details

E. Bartocci, R. Bloem, B. Maderbacher, N. Manjunath, D. Nickovic: Adaptive Testing for Specification Coverage in CPS Models
7th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS 2021), Brussels, Belgium; in: Proc. of ADHS 2021: the 7th IFAC Conference on Analysis and Design of Hybrid Systems, 2021
bib details

M. Moosbrugger, E. Bartocci, J. Katoen, L. Kovacs: The Probabilistic Termination Tool Amber
FM 2021: the 24th international symposium of Formal Methods, China; in: Proc. of FM 2021: the 24th international symposium of Formal Methods, 2021
bib details

O. Dobe, E. Abraham, E. Bartocci, B. Bonakdarpour: HyperProb: A Model Checker for Probabilistic Hyperproperties
FM 2021: the 24th international symposium of Formal Methods, China; in: Proc. of FM 2021: the 24th international symposium of Formal Methods, 2021
bib details

M. Platzer, P. Puschner: Vicuna: A Timing-Predictable RISC-V Vector Coprocessor for Scalable Parallel Computation
33rd Euromicro Conference on Real-Time Systems (ECRTS 2021), Online; in: 33rd Euromicro Conference on Real-Time Systems (ECRTS 2021), B. Brandenburg (ed.); Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 196 (2021), ISSN: 1868-8969, p. 1 - 18
bib details doi pdf

more...

Theses

T. Trautner: Agile Automatisierung von Fertigungszellen - Semiotische Interoperabilität zustandsbehafteter, deterministischer Anlagenkomponenten (PhD Thesis)
reviewers: B. Kittl, W. Kastner, F. Bleicher; E 311-01, 2021; oral examination: 2021-04-25
bib details

N. Roth: The Causes of Run Time Variability in HPC, How to Pin Them down, and How to Handle Them (Master's Thesis)
reviewer: S. Hunold; Institute of Computer Engineering, Research Division of Parallel Computing, 2021; oral examination: 2021-03-10
bib details doi

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

S. Sturm: Industrietaugliche Umsetzung von komplexen Reglern auf Automatisierungsplattformen (Master's Thesis)
reviewers: W. Kastner, A. Zoitl; E191, 2020; oral examination: 2020-06-19
bib details

B. Heinzl: Methods for Hybrid Modeling and Simulation-Based Optimization in Energy-Aware Production Planning (PhD Thesis)
reviewers: F. Breitenecker, W. Kastner, T. Pawletta; Institut für Analysis und Scientific Computing, 2020; oral examination: 2020-06-16
bib details

more...

Editorials

T. Theocharides, M. Shafique, J. Choi, O. Mutlu: Guest Editors´ Introduction: Robust Resource-Constrained Machine Learning
Ieee Design & Test, 37 (2020), p. 5 - 7
bib details doi

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

P. Jayanti, N. Lynch, B. Patt-Shamir, U. Schmid: 2019 Principles of Distributed Computing Doctoral Dissertation Award
Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing (PODC'19), ACM, 2019, p. 2
bib details doi pdf

M. Krstic, I. Jones, A. Steininger, M Függer: Special Issue "Selected Papers from the 24th IEEE International Symposium on Asynchronous Circuits and Systems - ASYNC 2018"
Journal of Low Power Electronics and Applications, 9 (2019); 2 pages
bib details

S. Reda, M. Shafique: Approximate Circuits: Methodologies and CAD
Springer International Publishing, Switzerland, 2019, ISBN: 978-3-319-99321-8; 495 pages
bib details doi

more...

Books

M. Hanif, F. Khalid, R. Putra, M. T. Teimoori, F. Kriebel, J. Zhang, K. Liu, S. Rehman, T. Theocharides, A. Artusi, S. Garg, M. Shafique: Robust Computing for Machine Learning-Based Systems
Dependable Embedded Systems, J. Henkel, N. Dutt (ed.); Springer Nature Switzerland AG, Switzerland, 2020, ISBN: 978-3-030-52016-8, p. 479 - 503
bib details doi

M. Salehi, F. Kriebel, S. Rehman, M. Shafique: Power-Aware Fault-Tolerance for Embedded Systems
Dependable Embedded Systems, J. Henkel, N. Dutt (ed.); Springer Nature Switzerland AG, Switzerland, 2020, ISBN: 978-3-030-52016-8, p. 565 - 588
bib details doi

F. Kriebel, F. Khalid, B. Prabakaran, S. Rehman, M. Shafique: Fault-Tolerant Computing with Heterogeneous Hardening Modes
Dependable Embedded Systems, J. Henkel, N. Dutt (ed.); Springer Nature Switzerland AG, Switzerland, 2020, ISBN: 978-3-030-52016-8, p. 161 - 180
bib details doi

F. Kriebel, K. Chen, S. Rehman, J. Henkel, J. Chen, M. Shafique: Dependable Software Generation and Execution on Embedded Systems
Dependable Embedded Systems, J. Henkel, N. Dutt (ed.); Springer Nature Switzerland AG, Switzerland, 2020, ISBN: 978-3-030-52016-8, p. 139 - 160
bib details doi

A. Herkersdorf, M. Engel, M. Glaß, J. Henkel, V. Kleeberger, J. Kühn, P. Marwedel, D. Mueller-Gritschneder, S. Nassif, S. Rehman, W. Rosenstiel, U. Schlichtmann, M. Shafique, J. Teich, N. Wehn, C. Weis: RAP Model-Enabling Cross-Layer Analysis and Optimization for System-on-Chip Resilience
Dependable Embedded Systems, J. Henkel, N. Dutt (ed.); Springer Nature Switzerland AG, Switzerland, 2020, ISBN: 978-3-030-52016-8, p. 1 - 27
bib details doi

more...

Reports, Miscellaneous

J. Träff, M. Pöter: A more Pragmatic Implementation of the Lock-free, Ordered, Linked List
CoRR - Computing Research Repository, arXiv:2010.15755, 2020; 14 pages
bib details

J. Träff: k-ported vs. k-lane Broadcast, Scatter, and Alltoall Algorithms
CoRR - Computing Research Repository, arXiv:2008.12144, 2020; 55 pages
bib details

S. Hunold, K. von Kirchbach, M. Lehr, C. Schulz, J. Träff: Efficient Process-to-Node Mapping Algorithms for Stencil Computations
CoRR - Computing Research Repository, arXiv:2005.09521, 2020; 18 pages
bib details

M. Faraj, A. van der Grinten, H. Meyerhenke, J. Träff, C. Schulz: High-Quality Hierarchical Process Mapping
CoRR - Computing Research Repository, arXiv:2001.07134, 2020; 21 pages
bib details

S. Hunold, B. Przybylski: Scheduling.jl - Collaborative and Reproducible Scheduling Research with Julia
CoRR - Computing Research Repository, arXiv:2003.05217, 2020; 5 pages
bib details

more...

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