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-four 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
-
Praktika für Schüler:innen 2024
2024 / Austrian Research Promotion Agency (FFG) -
Erasmus+ - Accredited projects for mobility of learners and staff in vocational education and training
2024 / European Commission -
Multimodality Artificial intelligence open-source Tools for Radiation Treatment Optimization in patients with Glioblastoma
2024 – 2027 / Austrian Science Fund (FWF)
Publication: 202604 -
Unleashing Sector-coupling Flexibility by means of an Energy Data Space
2023 – 2027 / Austrian Research Promotion Agency (FFG)
Publication: 210874 -
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)
Publications: 203679 / 210486 / 208720 / 213429 -
EdgeAI: Technologies for Optimized Performance - Embedded Processing
2022 – 2025 / Austrian Research Promotion Agency (FFG)
Publication: 208706 -
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 / 200885 / 210874 -
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 / 193999 / 204052 / 205729 -
DigiWind - The digital twin of a wind turbine
2021 – 2022 / VGB PowerTech e.V.
Publication: 209335 -
Offline and Online Autotuning of Parallel Applications
2021 – 2025 / Austrian Science Fund (FWF)
Publications: 136174 / 153709 / 188027 / 188934 / 188980 / 190663 / 192196 / 204353 / 204481 / 209941 / 58614 / 135871 -
OPC UA Rule Editor
2021 / Siemens AG
Publication: 190612 -
Fault Detection and Optimization
2021 – 2024 / Austrian Research Promotion Agency (FFG)
Publication: 191934 -
5D Digital Twin for industrial energy systems
2021 – 2024 / Austrian Research Promotion Agency (FFG)
Publication: 81419 -
Autonomous-Driving Examiner
2020 – 2024 / Austrian Research Promotion Agency (FFG)
Publications: 135876 / 190645 -
Personalised Medicine: Multidisciplinary Research Towards IM
2020 – 2023 / Austrian Science Fund (FWF)
Publication: 192590 -
Automated payment and contract management in construction using blockchain technology and BIM 5D
2019 – 2022 / Austrian Research Promotion Agency (FFG)
Recent Publications
- (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. arXiv. https://doi.org/10.48550/arXiv.2205.10072
- 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 Verification, Model Checking, and Abstract Interpretation : 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022, Proceedings (pp. 1–19). Springer. https://doi.org/10.1007/978-3-030-94583-1_1
- 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
- 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
- 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
- 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
- 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
-
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) - Uniform interpolation via nested sequents and hypersequents / van der Giessen, I., Jalali, R., & Kuznets, R. (2021). Uniform interpolation via nested sequents and hypersequents. arXiv. https://doi.org/10.48550/arXiv.2105.10930
- Adaptive Testing for Specification Coverage in CPS Models / Bartocci, E., Bloem, R., Maderbacher, B., Manjunath, N., & Ničković, D. (2021). Adaptive Testing for Specification Coverage in CPS Models. In IFAC-PapersOnLine (pp. 229–234). 54. https://doi.org/10.1016/j.ifacol.2021.08.503
- Automated Termination Analysis of Polynomial Probabilistic Programs / Moosbrugger, M., Bartocci, E., Katoen, J.-P., & Kovács, L. (2021). Automated Termination Analysis of Polynomial Probabilistic Programs. In Programming Languages and Systems (pp. 491–518). Springer. https://doi.org/10.1007/978-3-030-72019-3_18
- HyperProb: A Model Checker for Probabilistic Hyperproperties / Dobe, O., Ábrahám, E., Bartocci, E., & Bonakdarpour, B. (2021). HyperProb: A Model Checker for Probabilistic Hyperproperties. In Formal Methods (pp. 657–666). https://doi.org/10.1007/978-3-030-90870-6_35
- A Normative Supervisor for Reinforcement Learning Agents / Neufeld, E., Bartocci, E., Ciabattoni, A., & Governatori, G. (2021). A Normative Supervisor for Reinforcement Learning Agents. In Automated Deduction – CADE 28 (pp. 565–576). https://doi.org/10.1007/978-3-030-79876-5_32
- Online monitoring of spatio-temporal properties for imprecise signals / Visconti, E., Bartocci, E., Loreti, M., & Nenzi, L. (2021). Online monitoring of spatio-temporal properties for imprecise signals. In Proceedings of the 19th ACM-IEEE International Conference on Formal Methods and Models for System Design. MEMOCODE’21: the 19th ACM-IEEE International Conference on Formal Methods and Models for System Design, Beijing, China (Online due to Covid), China. https://doi.org/10.1145/3487212.3487344
- QoS for Dynamic Deployment of IoT Services / Isakovic, H., Ferreira, L. L., Okic, I., Dukkon, A., Tucakovic, Z., & Grosu, R. (2021). QoS for Dynamic Deployment of IoT Services. In 2021 22nd IEEE International Conference on Industrial Technology (ICIT). IEEE. https://doi.org/10.1109/icit46573.2021.9453670
- Mining Shape Expressions with ShapeIt / Bartocci, E., Deshmukh, J., Mateis, C., Nesterini, E., Ničković, D., & Qin, X. (2021). Mining Shape Expressions with ShapeIt. In Software Engineering and Formal Methods (pp. 110–117). 13085. https://doi.org/10.1007/978-3-030-92124-8_7
-
An Automated Setup for Large-Scale Simulation-Based Fault-Injection Experiments on Asynchronous Digital Circuits
/
Behal, P., Huemer, F. F., Najvirt, R., & Steininger, A. (2021). An Automated Setup for Large-Scale Simulation-Based Fault-Injection Experiments on Asynchronous Digital Circuits. In 2021 24th Euromicro Conference on Digital System Design (DSD). 24th Euromicro Conference on Digital System Design, Palermo, Italy, EU. https://doi.org/10.34726/4044
Download: PDF (506 KB) - Collision-Free 3D Flocking Using the Distributed Simplex Architecture / Mehmood, U., Stoller, S. D., Grosu, R., & Smolka, S. A. (2021). Collision-Free 3D Flocking Using the Distributed Simplex Architecture. In Formal Methods in Outer Space : Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday (pp. 147–156). Springer. https://doi.org/10.1007/978-3-030-87348-6_9
Recent Theses
-
Verfication of concurrent programs in weak memory models
/
Dallinger, H. (2025). Verfication of concurrent programs in weak memory models [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2025.110724
Download: PDF (1.13 MB) -
Reentrancy in Ethereum Smart Contracts : methods and tools for detection
/
Fürst, L. (2025). Reentrancy in Ethereum Smart Contracts : methods and tools for detection [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2025.110824
Download: PDF (1.31 MB) -
AI-Powered Rule Generation for Automated Fault Detection and Diagnostics
/
Fischer, J. (2025). AI-Powered Rule Generation for Automated Fault Detection and Diagnostics [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2025.121348
Download: PDF (1.4 MB) -
Enhancing Fault Diagnosis in Safety-Critical Cyber-Physical Systems
/
Yadav, D. (2025). Enhancing Fault Diagnosis in Safety-Critical Cyber-Physical Systems [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2025.125790
Download: PDF (5.14 MB) -
Establishing Formal Behavioral Guarantees for Trained Neural Networks
/
Naseer, M. (2025). Establishing Formal Behavioral Guarantees for Trained Neural Networks [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2025.128782
Download: PDF (3.43 MB) -
An Efficient Data Store for a Dependable Distributed Control Unit
/
Achleitner, D. (2024). An Efficient Data Store for a Dependable Distributed Control Unit [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2024.115921
Download: PDF (1.86 MB) -
Analysis of front running vulnerabilities in solidity smart contracts
/
Zecirovic, H. (2024). Analysis of front running vulnerabilities in solidity smart contracts [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2024.117646
Download: PDF (1.22 MB) -
Comparison of QDI adders
/
Haschke, O. (2024). Comparison of QDI adders [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2024.107664
Download: PDF (1.28 MB) -
A hybrid quantum-classical framework for reinforcement learning of atari games
/
Freinberger, D. (2024). A hybrid quantum-classical framework for reinforcement learning of atari games [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2024.112162
Download: PDF (2.11 MB) -
Design and Verification of Information Flows
/
Oliveira Da Costa, A. A. (2024). Design and Verification of Information Flows [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2024.124622
Download: PDF (1.37 MB) -
Compiling for Time-Predictability and Performance
/
Maroun, E. J. (2024). Compiling for Time-Predictability and Performance [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2024.123754
Download: PDF (2.06 MB) -
Deep off-policy evaluation with autonomous racing cars
/
Kresse, F. G. (2024). Deep off-policy evaluation with autonomous racing cars [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2024.117422
Download: PDF (3.66 MB) -
Simulating chemical reactions with a well-founded lattice Boltzmann approach
/
Baumann, D. (2024). Simulating chemical reactions with a well-founded lattice Boltzmann approach [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2024.120609
Download: PDF (2.05 MB) -
Data Driven Detection of Misconfigurations in Power Distribution Systems
/
Fellner, D. (2024). Data Driven Detection of Misconfigurations in Power Distribution Systems [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2024.120150
Download: PDF (6.71 MB) -
Coordinated control of ground and aerial vehicle during takeoff and landing
/
Engl, M. (2024). Coordinated control of ground and aerial vehicle during takeoff and landing [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2024.108801
Download: PDF (2.07 MB) -
Interprocedural constant loop bound propagation for patmos architecture
/
Hue, J. (2024). Interprocedural constant loop bound propagation for patmos architecture [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2024.112348
Download: PDF (531 KB) -
Time-aware container-based virtualization
/
Walser, S. (2024). Time-aware container-based virtualization [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2024.95844
Download: PDF (2.14 MB) -
Agents’ Knowledge and Its Limits in Byzantine Fault-Tolerant Distributed Systems
/
Fruzsa, K. (2024). Agents’ Knowledge and Its Limits in Byzantine Fault-Tolerant Distributed Systems [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2024.124621
Download: PDF (1.68 MB) -
Implementation of an automated fault-injection framework for QDI circuits
/
Spitzer, J. (2024). Implementation of an automated fault-injection framework for QDI circuits [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2024.107665
Download: PDF (1.05 MB) -
Modeling resource utilization for spiking neural networks in FPGAs
/
Müllner, M. (2024). Modeling resource utilization for spiking neural networks in FPGAs [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2024.94824
Download: PDF (1.28 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 Dissertationenan 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