Computer Engineering
Computer Engineering is based on an integral approach combining informatics, communications technology and microelectronics. The primary area of research is embedded systems, which are an essential part of many objects in our everyday life.

Contact
- Ulrich Schmid, Coordinator
Research Topics
- Digital Circuits and Hardware Architectures
- Parallel and Distributed, Dependable, Real-time Systems
- Hybrid Systems and Optimal Control
- Quantitative and Runtime Verification
- Computational Modeling and Simulation
- Autonomous Systems, Robotics and Automation Systems Integration
- Cyber-physical Social Systems & Internet of Things
About
Computer Engineering is based on an integral approach combining informatics, communications technology and microelectronics. The primary area of research is embedded systems, which are an essential part of many objects in our everyday life.
The research focus Computer Engineering deals with all aspects of the direct interaction of computer systems and their environment, from the lowest level of circuit and hardware architectures to safety-critical cyber-physical systems like industrial automation and smart grids, healthcare, spacecraft, and automotive.
Designing such systems is challenging, both from a scientific and technological perspective: Many functions are directly implemented in hardware for performance reasons, distributed and parallel processing is omnipresent, digital signal processing is often required, real-time and power/thermal constraints must be met, energy-efficiency is crucial, stopping operation in the case of failures is often not feasible, unique security issues and threats exist, “trial-and-error-style programming” is not an option in many applications, asserting system correctness by means of testing may be insufficient for the required reliability level, emergent behavior originating from autonomous operation must be understood and controlled, integration and complexity issues created by the upcoming Internet of Things must be managed, etc.
Key characteristics of the research focus Computer Engineering are hence (i) an integrative view of a multitude of system aspects, including hardware architectures, continuous/discrete systems, parallelism and communication, dependability, real-time processing, low-power design, energy and resource efficiency, decision and control theory, autonomy, etc., and (ii) interdisciplinarity: Core computer science knowledge and skills like programming, modeling, design and analysis, formal verification and synthesis of both software and hardware are complemented by specific knowledge and skills from other disciplines, in particular, continuous mathematics, system theory and electrical engineering.
Research Units
Four of the faculty’s twenty-three research units are primarily focused on topics related to Computer Engineering. Visit their pages to learn about current projects, publications, courses, and the people involved.
Below is a small selection of recent research activities related to Computer Engineering. To learn more, visit the pages of the research units listed above.
Recent Projects
-
Multimodality Artificial intelligence open-source Tools for Radiation Treatment Optimization in patients with Glioblastoma
2024 – 2027 / Austrian Science Fund (FWF) -
COntext-free model checking for Recursive PrObabilistic pRogrAms
2023 – 2025 / European Commission -
Contextual Deep Learning Framework for Predictive Analytics in Smart Environments
2023 / European Commission -
Semantics-based Explanation of Cyber-physical Systems
2023 – 2025 / Austrian Research Promotion Agency (FFG) -
EdgeAI: Technologies for Optimized Performance - Embedded Processing
2022 – 2025 / Austrian Research Promotion Agency (FFG) -
OPC UA Rule Editor 2.0
2022 / Siemens AG -
Autonomous Race Car Model for Students Rescue Robot, Talente: Praktika für Schülerinnen und Schüler 2022
2022 / Austrian Research Promotion Agency (FFG) -
Reconsidering digital deconstruction, reuse and recycle processes using BIM and Blockchain
2022 – 2025 / Austrian Research Promotion Agency (FFG)
Publications: 150245 / 189685 / 189833 -
Open Building Automation Modeling - Open modeling of building automation over the entire building life cycle
2021 – 2024 / Austrian Research Promotion Agency (FFG)
Publications: 153165 / 189687 -
DigiWind - The digital twin of a wind turbine
2021 – 2022 / VGB PowerTech e.V. -
Offline and Online Autotuning of Parallel Applications
2021 – 2024 / Austrian Science Fund (FWF)
Publications: 136174 / 153709 / 188027 / 188934 / 188980 / 58614 / 135871 -
OPC UA Rule Editor
2021 / Siemens AG -
5D Digital Twin for industrial energy systems
2021 – 2024 / Austrian Research Promotion Agency (FFG)
Publication: 81419 -
Fault Detection and Optimization
2021 – 2024 / Austrian Research Promotion Agency (FFG) -
Autonomous-Driving Examiner
2020 – 2024 / Austrian Research Promotion Agency (FFG)
Publication: 135876 -
Personalised Medicine: Multidisciplinary Research Towards IM
2020 – 2023 / Austrian Science Fund (FWF) -
Automated payment and contract management in construction using blockchain technology and BIM 5D
2019 – 2022 / Austrian Research Promotion Agency (FFG) -
Automated Device Independent Honeypot Generation of IoT and Industrial IoT Devices
2019 – 2022 / Austrian Research Promotion Agency (FFG) -
Power System Cognification
2019 – 2022 / Austrian Research Promotion Agency (FFG)
Publications: 139856 / 139861 / 76395 -
Knowledge-based building management combining human
perception and building automation systems
2019 – 2021 / Austrian Research Promotion Agency (FFG)
Publication: 135852
Recent Publications
- Kernel Methods for Predicting Yields of Chemical Reactions / Haywood, A. L., Redshaw, J., Hanson-Heine, M. W. D., Taylor, A., Brown, A., Mason, A. M., Gärtner, T., & Hirst, J. D. (2022). Kernel Methods for Predicting Yields of Chemical Reactions. Journal of Chemical Information and Modeling, 62(9), 2077–2092. https://doi.org/10.1021/acs.jcim.1c00699
- Probabilistic Hyperproperties with Rewards / Wilke, L., Dobe, O., Abraham, E., Bartocci, E., & Bonakdarpour, B. (2022). Probabilistic Hyperproperties with Rewards. In NFM 2022: NASA Formal Methods (pp. 656–673). Springer. https://doi.org/10.1007/978-3-031-06773-0_35
- One-Shot Learning of Ensembles of Temporal Logic Formulas for Anomaly Detection in Cyber-Physical Systems / Indri, P., Bartoli, A., Medvet, E., & Nenzi, L. (2022). One-Shot Learning of Ensembles of Temporal Logic Formulas for Anomaly Detection in Cyber-Physical Systems. In EuroGP 2022: Genetic Programming (pp. 34–50). Springer-Verlag. https://doi.org/10.1007/978-3-031-02056-8_3
- Flavors of Sequential Information Flow / Bartocci, E., Ferrère, T., Henzinger, T. A., Nickovic, D., & da Costa, A. O. (2022). Flavors of Sequential Information Flow. In Lecture Notes in Computer Science (pp. 1–19). https://doi.org/10.1007/978-3-030-94583-1_1
- (Poly)Logarithmic Time Construction of Round-optimal n-Block Broadcast Schedules for Broadcast and irregular Allgather in MPI / Träff, J. L. (2022). (Poly)Logarithmic Time Construction of Round-optimal n-Block Broadcast Schedules for Broadcast and irregular Allgather in MPI (2205.10072). arXiv. https://doi.org/10.48550/arXiv.2205.10072
- MPI Performance Tools under the Microscope: A Thorough Overhead Analysis / Ajanohoun, J. I., Vardas, I., Träff, J. L., & Hunold, S. (2022). MPI Performance Tools under the Microscope: A Thorough Overhead Analysis. In E. Reiter (Ed.), Austrian-Slovenian HPC Meeting 2022 - ASHPC22 (p. 16). EuroCC Austria. http://hdl.handle.net/20.500.12708/55697
- Performance and programmability comparison of the thick control flow architecture and current multicore processors / Forsell, M., Nikula, S., Roivainen, J., Leppänen, V., & Träff, J. L. (2022). Performance and programmability comparison of the thick control flow architecture and current multicore processors. The Journal of Supercomputing, 78(3), 3152–3183. https://doi.org/10.1007/s11227-021-03985-0
- mpisee: MPI Profiling for Communication and Communicator Structure / Vardas, I., Hunold, S., Ajanohoun, J. I., & Träff, J. L. (2022). mpisee: MPI Profiling for Communication and Communicator Structure. In E. Reiter (Ed.), Austrian-Slovenian HPC Meeting 2022 - ASHPC22 (p. 15). EuroCC Austria. http://hdl.handle.net/20.500.12708/55696
-
CPSDebug: Automatic Failure Explanation in CPS Models
/
Bartocci, E., Manjunath, N., Mariani, L., Mateis, C., & Ničković, D. (2021). CPSDebug: Automatic Failure Explanation in CPS Models. International Journal on Software Tools for Technology Transfer, 23(5), 783–796. https://doi.org/10.1007/s10009-020-00599-4
Download: PDF (1.88 MB)
Project: IoT4CPS (2017–2020) - Safety und Security / Kastner, W., & Sauter, T. (2021). Safety und Security. Elektrotechnik und Informationstechnik : e & i, 138(7), 447–448. https://doi.org/10.1007/s00502-021-00944-8
-
Risk-aware business process management using multi-view modeling: method and tool
/
Thabet, R., Bork, D., Boufaied, A., Lamine, E., Korbaa, O., & Pingaud, H. (2021). Risk-aware business process management using multi-view modeling: method and tool. Requirements Engineering, 26(3), 371–397. https://doi.org/10.1007/s00766-021-00348-2
Download: PDF (5.91 MB) - A Perspective on "CCS Expressions, Finite State Processes, and Three Problems of Equivalence" / Bartocci, E., & Bender, M. A. (2021). A Perspective on “CCS Expressions, Finite State Processes, and Three Problems of Equivalence.” ACM SIGACT News, 52(4), 76–77. https://doi.org/10.1145/3510382.3510394
- A Quantitative Analysis of Interfaces to Time-Triggered Communication Buses / Kirner, R., & Puschner, P. (2021). A Quantitative Analysis of Interfaces to Time-Triggered Communication Buses. IEEE/ACM Transactions on Networking, 29(4), 1786–1797. https://doi.org/10.1109/tnet.2021.3073460
- Towards Informational Self-determination: Data Portability Requests Based on GDPR by Providing Public Platforms for Authorised Minimal Invasive Privacy Protection / Schmelz, D., Pinter, K., Niemeier, P., & Grechenig, T. (2021). Towards Informational Self-determination: Data Portability Requests Based on GDPR by Providing Public Platforms for Authorised Minimal Invasive Privacy Protection. In Blockchain and Applications (pp. 106–116). Springer, Cham. https://doi.org/10.1007/978-3-030-86162-9_11
- Hinweise und Maßnahmen zur Non-Diskriminierung kleinerer Plattformen im Rahmen des aktuellen Kommunikationsplattformengesetz: Unterstützungsmodelle zur Vermeidung von Overblocking in der Cybergovernance / Pinter, K., Schmelz, D., & Grechenig, T. (2021). Hinweise und Maßnahmen zur Non-Diskriminierung kleinerer Plattformen im Rahmen des aktuellen Kommunikationsplattformengesetz: Unterstützungsmodelle zur Vermeidung von Overblocking in der Cybergovernance. In Proceedings of IRIS 2021. Internationales Rechtsinformatik Symposion (IRIS) 2021, Salzburg, Austria. IRIS21. http://hdl.handle.net/20.500.12708/58652
-
MicroBench Maker: Reproduce, Reuse, Improve
/
Hunold, S., Ajanohoun, J. I., & Carpen-Amarie, A. (2021). MicroBench Maker: Reproduce, Reuse, Improve. In 2021 International Workshop on Performance Modeling, Benchmarking and Simulation of High Performance Computer Systems (PMBS). 12th IEEE International Workshop on Performance Modeling, Benchmarking and Simulation of High Performance Computer Systems (PMBS 2021) in conjunction with SC 2021 - Hybrid Conference, St. Louis, Missouri, USA, Non-EU. IEEE. https://doi.org/10.1109/pmbs54543.2021.00013
Project: Autotune (2021–2024) - A Distributed Simplex Architecture for Multi-agent Systems / Usama, M., Stoller, S. D., Grosu, R., Roy, S., Damare, A., & Smolka, S. A. (2021). A Distributed Simplex Architecture for Multi-agent Systems. In Dependable Software Engineering. Theories, Tools, and Applications (pp. 239–257). Springer. https://doi.org/10.1007/978-3-030-91265-9_13
-
Safety und Security - ein Spannungsfeld in der industriellen Praxis
/
Hollerer, S., Kastner, W., & Sauter, T. (2021). Safety und Security - ein Spannungsfeld in der industriellen Praxis. Elektrotechnik Und Informationstechnik, 138(7), 449–453. https://doi.org/10.1007/s00502-021-00930-0
Project: TÜV AUSTRIA Security in Industry Research Lab P1 (2020–2024) -
Communication and container reconfiguration for cyber-physical production systems
/
Denzler, P., Ramsauer, D., Preindl, T., & Kastner, W. (2021). Communication and container reconfiguration for cyber-physical production systems. In 2021 26th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA ). 2021 26th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), Västerås, Sweden, International. https://doi.org/10.1109/etfa45728.2021.9613675
Project: FORA (2017–2021) - A more pragmatic implementation of the lock-free, ordered, linked list / Träff, J. L., & Pöter, M. (2021). A more pragmatic implementation of the lock-free, ordered, linked list. In J. Lee & E. Petrank (Eds.), Proceedings of the 26th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. ACM. https://doi.org/10.1145/3437801.3441579
Recent Theses
-
Robustness Analysis of Continuous-Depth Neural Networks
/
Neubauer, S. (2023). Robustness Analysis of Continuous-Depth Neural Networks [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2023.115404
Download: PDF (1.89 MB) -
Approaching emergent patterns with Kronecker algebra in industrial agents
/
Denzler, P. (2023). Approaching emergent patterns with Kronecker algebra in industrial agents [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2023.115403
Download: PDF (2.54 MB) -
Rule checking methods for OPC UA models
/
Gansterer, P. R. (2023). Rule checking methods for OPC UA models [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2023.109460
Download: PDF (1000 KB) -
Distributed off-chain storage for inter-organizational business process execution
/
Navratil, A. (2023). Distributed off-chain storage for inter-organizational business process execution [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2023.105744
Download: PDF (2.56 MB) -
Erkennung von Mustern in EVM-Bytecode durch XQuery-Abfragen auf Ausführungspfaden im Kontrollflussgraphen
/
Sack, C. (2023). Erkennung von Mustern in EVM-Bytecode durch XQuery-Abfragen auf Ausführungspfaden im Kontrollflussgraphen [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2023.98507
Download: PDF (1.15 MB) -
Online algorithm selection of MPI collective communication operations
/
Steiner, S. (2023). Online algorithm selection of MPI collective communication operations [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2023.105821
Download: PDF (948 KB) -
Automated exploit generation for ethereum smart contracts
/
Kösslbacher, L. (2023). Automated exploit generation for ethereum smart contracts [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2023.98888
Download: PDF (1.13 MB) -
Attention based neural network for autonomous driving agents
/
Ulmer, S. (2023). Attention based neural network for autonomous driving agents [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2023.101600
Download: PDF (4.06 MB) -
Attentional neural network based dynamic object detection for autonomous multi-agent systems
/
Scheuchenstuhl, D. (2023). Attentional neural network based dynamic object detection for autonomous multi-agent systems [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2023.101601
Download: PDF (3.27 MB) -
Comparison of smart contract platforms for decentralized applications development
/
Voloder, A. (2023). Comparison of smart contract platforms for decentralized applications development [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2023.97180
Download: PDF (897 KB) -
Independent wheel offset steering : Analysis of a wheeled robot locomotion system and an odometry based motion model
/
Kaltenegger, E. (2023). Independent wheel offset steering : Analysis of a wheeled robot locomotion system and an odometry based motion model [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2023.93220
Download: PDF (2.05 MB) -
Dynamic deployment of fault detection models - A use case of the asset administration shell
/
Mailer, D. (2023). Dynamic deployment of fault detection models - A use case of the asset administration shell [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2023.103660
Download: PDF (2.63 MB) -
Design and limitations of a software-based TSN end station
/
Lehr, C. (2023). Design and limitations of a software-based TSN end station [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2023.97382
Download: PDF (6.57 MB) -
Comprehensive Characterization of Consensus Solvability in Dynamic Networks with Transient Stability
/
Pacheiner, P. (2023). Comprehensive Characterization of Consensus Solvability in Dynamic Networks with Transient Stability [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2023.86340
Download: PDF (659 KB) -
go2async: A high-level synthesis tool for asynchronous circuits based on click-elements
/
Wiedemann, S. M. (2023). go2async: A high-level synthesis tool for asynchronous circuits based on click-elements [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2023.97424
Download: PDF (1.93 MB) -
Towards Compliance-By-Design for a Decentralized Business Process Execution Engine
/
Lielacher, T. (2023). Towards Compliance-By-Design for a Decentralized Business Process Execution Engine [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2023.99123
Download: PDF (1.91 MB) -
Impact of automation in Software Asset Management Systems
/
Rodríguez-Pastrana Parareda, D. (2023). Impact of automation in Software Asset Management Systems [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2023.111381
Download: PDF (1.96 MB) -
Norm Compliance for Reinforcement Learning Agents
/
Neufeld, E. A. (2023). Norm Compliance for Reinforcement Learning Agents [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2023.112881
Download: PDF (2.42 MB) -
Predictable and performant computer architectures for time-critical systems
/
Platzer, M. (2022). Predictable and performant computer architectures for time-critical systems [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2023.110808
Download: PDF (1.54 MB) -
Evaluating the energy simulations of multicast routing protocols used in wireless sensor networks
/
Lukitsch, D. (2022). Evaluating the energy simulations of multicast routing protocols used in wireless sensor networks [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2023.89001
Download: PDF (1.78 MB)
Recent Awards
-
Sascha Hunold:
Best Short Paper / PMBS@Supercomputing
2022 / USA -
Ezio Bartocci:
Best Paper of QEST 2022 International Conference
2022 / 19th International Conference on Quantitative Evaluation of SysTems / Poland -
Ezio Bartocci:
Best Software Science Paper of the European Joint Conferences on Theory and Practice of Software (ETAPS) 2022
2022 / European Association of Software Science and Technology (EASST) / Germany / Website -
Sascha Hunold:
Best Paper Award IEEE CLUSTER 2020
2020 / Japan -
Jesper Larsson Träff:
Innovation Radar: Innovation Title: PGAS-based MPI with interoperability; Innovation Category: Exploration; FP 7 project EPiGRAM
2018 / Project -
Sascha Hunold:
Best Paper Award EuroMPI/Asia
2014 / Japan -
Jesper Larsson Träff:
Best Paper Award: "Reproducible MPI Micro-Benchmarking Isn't As Easy As You Think", S. Hunold, A. Carpen-Amarie, J. Träff, 21st European MPI Users' Group Meeting, EuroMPI/ASIA 2014, Kyoto, Japan, September 9-12, 2014
2014 / Program Chairs of EuroMPI/ASIA 2014 / Japan -
Wilfried Elmenreich:
E-Learning Award 2006/2007 für ausgezeichnete Leistungen in der Lehrentwicklung (Kategorie für Speziallösungen)
2007 / Austria -
Peter Puschner:
Gründungsmitglied der IFIP 10.2 WG on Embedded Systems
2006 / IFIP -
Hermann Kopetz:
Wilhelm Exner Medaillie
2005 / Austria -
Christopher Krügel:
Wirtschaftskammerpreis
2005 / Wirtschaftskammern / Austria -
Hermann Kopetz:
IEEE Technical Achievement Award
2004 -
Josef Widder:
FIT-IT Embedded Systems Dissertationsstipendium "Distributed Computing in the Presence of Bounded Asynchrony"
2004 / Austria -
Hermann Kopetz:
Vorsitzender d. Wiss. Beirat ACR
2004 / Austria -
Raimund Kirner:
Mobilitätsstipendium der Creditanstalt AG
(wird für aussergewöhnliche Dissertationen
an der Technischen Universität Wien verliehen)
2003 / Austria -
Hermann Kopetz:
IGM-Preis
2001 / Austria -
Christopher Krügel:
EIB Scientific Award for Excellent Diploma Thesis
2000 / Germany -
Hermann Kopetz:
Mitglied "Rat for Forschung und Technologieentwicklung"
2000 / Austria -
Peter Puschner:
Marie-Curie Fellowship
1999 / EC Europäische Komission - Marie Curie -
Hermann Kopetz:
Wirkliches Mitglied der Österr. Akademie der Wissenschaften
1998 / Mitgliedschaft / Austria