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) -
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)
Publication: 203679 -
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 / 200885 -
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. -
Offline and Online Autotuning of Parallel Applications
2021 – 2025 / Austrian Science Fund (FWF)
Publications: 136174 / 153709 / 188027 / 188934 / 188980 / 190663 / 192196 / 204353 / 204481 / 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
- A Doubly-pipelined, Dual-root Reduction-to-all Algorithm and Implementation / Träff, J. L. (2021). A Doubly-pipelined, Dual-root Reduction-to-all Algorithm and Implementation. arXiv. https://doi.org/10.48550/arXiv.2109.12626
- Building Blocks for Flexible Functional Safety in Discrete Manufacturing and Process Industries / Klose, A., Pelzer, F., Etz, D., Strutzenberger, D., Frühwirth, T., Kastner, W., & Urbas, L. (2021). Building Blocks for Flexible Functional Safety in Discrete Manufacturing and Process Industries. 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, Sweden. https://doi.org/10.1109/etfa45728.2021.9613608
- Round-Oblivious Stabilizing Consensus in Dynamic Networks / Schwarz, M., & Schmid, U. (2021). Round-Oblivious Stabilizing Consensus in Dynamic Networks. In Stabilization, Safety, and Security of Distributed Systems 23rd International Symposium, SSS 2021, Virtual Event, November 17–20, 2021, Proceedings (pp. 154–172). Springer. https://doi.org/10.1007/978-3-030-91081-5_11
- 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
-
Experiences from Adjusting Industrial Software for Worst-Case Execution Time Analysis
/
Denzler, P., Frühwirth, T., Kirchberger, A., Schoeberl, M., & Kastner, W. (2021). Experiences from Adjusting Industrial Software for Worst-Case Execution Time Analysis. In 2021 IEEE 24th International Symposium on Real-Time Distributed Computing (ISORC). 2021 IEEE 24th International Symposium on Real-Time Distributed Computing (ISORC), Daegu, Korea (the Republic of). IEEE. https://doi.org/10.1109/isorc52013.2021.00019
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
- A Processor Extension for Time-Predictable Code Execution / Platzer, M., & Puschner, P. (2021). A Processor Extension for Time-Predictable Code Execution. In C. Ceballos (Ed.), 2021 IEEE 24th International Symposium on Real-Time Distributed Computing (ISORC). IEEE. https://doi.org/10.1109/isorc52013.2021.00016
- Synchronizing Real-Time Tasks in Time-Triggered Networks / Kyriakakis, E., Sparso, J., Puschner, P., & Schoeberl, M. (2021). Synchronizing Real-Time Tasks in Time-Triggered Networks. In 2021 IEEE 24th International Symposium on Real-Time Distributed Computing (ISORC) (pp. 11–19). IEEE. http://hdl.handle.net/20.500.12708/58747
- 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
Recent Theses
-
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) -
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) -
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) -
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) -
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) -
Flexible Safety Systems: Use Cases, Requirements, System Design, and Software Architecture
/
Etz, D. (2024). Flexible Safety Systems: Use Cases, Requirements, System Design, and Software Architecture [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2024.124080
Download: PDF (2.89 MB) -
Multi robot route planning with MStar using ROS2
/
Harringer, D. (2024). Multi robot route planning with MStar using ROS2 [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2024.102685
Download: PDF (2.39 MB) -
Simulation of the IPv6 routing protocol RPL
/
Baranyai, A. (2024). Simulation of the IPv6 routing protocol RPL [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2024.100842
Download: PDF (2 MB) -
Increasing Efficiency and Flexibility in Post-Quantum Cryptography
/
Cini, V. (2024). Increasing Efficiency and Flexibility in Post-Quantum Cryptography [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2024.121300
Download: PDF (2.95 MB) -
Robust and Energy Efficient Deep Learning Systems
/
Hanif, M. A. (2024). Robust and Energy Efficient Deep Learning Systems [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2024.122400
Download: PDF (7.41 MB) -
Utilizing and Extending the Inherent Fault Tolerance Properties of Asynchronous QDI Circuits
/
Tabassam, Z. (2024). Utilizing and Extending the Inherent Fault Tolerance Properties of Asynchronous QDI Circuits [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2024.122341
Download: PDF (20.8 MB) -
Waveform Prediction of Digital Circuits by Sigmoidal Approximation
/
Salzmann, J. (2024). Waveform Prediction of Digital Circuits by Sigmoidal Approximation [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2024.96722
Download: PDF (994 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 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