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
-
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) -
Unleashing Sector-coupling Flexibility by means of an Energy Data Space
2023 – 2027 / Austrian Research Promotion Agency (FFG) -
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 – 2025 / Austrian Science Fund (FWF)
Publications: 136174 / 153709 / 188027 / 188934 / 188980 / 190663 / 192196 / 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) -
IEA HPT Annex 56: Digitalization and Internet of Things for Heat Pump Technologies
2019 – 2023 / FFG - Österr. Forschungsförderungs- gesellschaft mbH
Recent Publications
- 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
- (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
- 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
- Towards Explaining the Fault Sensitivity of Different QDI Pipeline Styles / Behal, P., Huemer, F., Najvirt, R., Steininger, A., & Tabassam, Z. (2021). Towards Explaining the Fault Sensitivity of Different QDI Pipeline Styles. In 2021 27th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC) (pp. 25–33). IEEE. https://doi.org/10.1109/async48570.2021.00012
-
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) -
Input/Output-Interlocking for Fault Mitigation in QDI Pipelines
/
Tabassam, Z., Behal, P., Najvirt, R., & Steininger, A. (2021). Input/Output-Interlocking for Fault Mitigation in QDI Pipelines. In 2021 Austrochip Workshop on Microelectronics (Austrochip) (pp. 17–20). https://doi.org/10.34726/3943
Download: PDF (267 KB) -
Towards Explaining the Fault Sensitivity of Different QDI Pipeline Styles
/
Behal, P., Huemer, F., Najvirt, R., Tabassam, Z., & Steininger, A. (2021). Towards Explaining the Fault Sensitivity of Different QDI Pipeline Styles. In 2021 27th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC). 27th IEEE International Symposium on Asynchronous Circuits and Systems, online, Austria. https://doi.org/10.34726/3945
Download: PDF (717 KB) -
Analysis of State Corruption caused by Permanent Faults in WCHB-based Quasi Delay-Insensitive Pipelines
/
Elshehaby, R., & Steininger, A. (2021). Analysis of State Corruption caused by Permanent Faults in WCHB-based Quasi Delay-Insensitive Pipelines. In 2021 24th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS). 24th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems, Wien, Austria. Ieee Cs. https://doi.org/10.34726/4046
Download: PDF (497 KB) -
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) - Vicuna: A Timing-Predictable RISC-V Vector Coprocessor for Scalable Parallel Computation / Platzer, M., & Puschner, P. (2021). Vicuna: A Timing-Predictable RISC-V Vector Coprocessor for Scalable Parallel Computation. In B. Brandenburg (Ed.), 33rd Euromicro Conference on Real-Time Systems (ECRTS 2021) (pp. 1–18). Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.ECRTS.2021.1
- Adversarial Training is Not Ready for Robot Learning / Lechner, M., Hasani, R., Grosu, R., Rus, D., & Henzinger, T. A. (2021). Adversarial Training is Not Ready for Robot Learning. In In Proc. of ICRA’21, the International Conference on Robotics and Automation (pp. 1–8). IEEE. http://hdl.handle.net/20.500.12708/55648
- 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
- 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
- Mining Interpretable Spatio-Temporal Logic Properties for Spatially Distributed Systems / Mohammadinejad, S., Deshmukh, J. V., & Nenzi, L. (2021). Mining Interpretable Spatio-Temporal Logic Properties for Spatially Distributed Systems. In Automated Technology for Verification and Analysis (pp. 91–107). 12971. https://doi.org/10.1007/978-3-030-88885-5_7
Recent Theses
-
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) -
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) -
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) -
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) -
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) -
Normative Compliance in Lexicographic Multi-Objective Reinforcement Learning Agents
/
Schiehl, B. (2023). Normative Compliance in Lexicographic Multi-Objective Reinforcement Learning Agents [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2023.113064
Download: PDF (943 KB) -
Cross-Layer Optimizations for Energy-Efficiency and Robustness of Advanced Machine Learning Architectures
/
Marchisio, A. (2023). Cross-Layer Optimizations for Energy-Efficiency and Robustness of Advanced Machine Learning Architectures [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2023.117496
Download: PDF (12.6 MB) -
pSTL-Bench: Evaluating the Capabilities of ISO C++ Parallel STL Implementations on Modern Parallel Hardware using Microbenchmarking
/
Krupitza, D. (2023). pSTL-Bench: Evaluating the Capabilities of ISO C++ Parallel STL Implementations on Modern Parallel Hardware using Microbenchmarking [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2023.113280
Download: PDF (5.86 MB) -
Using zero-knowledge proofs for the confidential execution of collaborative business processes on blockchain
/
Petto, O. (2023). Using zero-knowledge proofs for the confidential execution of collaborative business processes on blockchain [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2023.109980
Download: PDF (1.36 MB) -
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) -
Autonomous racing with attention-based neural networks
/
Resch, F. (2023). Autonomous racing with attention-based neural networks [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2023.101602
Download: PDF (2.86 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) -
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) -
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)
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