TU Wien Informatics

Overview and Contact Computer Engineering (CE) Information Systems Engineering (ISE) Logic and Computation (LC) Visual Computing and Human-Centered Technology (VC+HCT)

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.

Computer Engineering

Contact

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

Six of the faculty’s twenty-six 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.

  • 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. 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
  • 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
  • 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). 22nd IEEE International Conference on Industrial Technology (ICIT2021), Valencia, Spain. IEEE. https://doi.org/10.1109/icit46573.2021.9453670
  • Identifying Scenarios to Guide Transformations from DEMO to BPMN / De Vries, M., & Bork, D. (2021). Identifying Scenarios to Guide Transformations from DEMO to BPMN. In D. Aveiro, D. Guizzardi, R. Pergl, & H. A. Proper (Eds.), Advances in Enterprise Engineering XIV (pp. 92–110). Springer Nature Switzerland AG 2021. https://doi.org/10.1007/978-3-030-74196-9_6
  • Foreword / Sekanina, L., Shafique, M., Krstic, M., Steininger, A., & Stojanovic, G. (2021). Foreword. In 2021 24th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS). 24th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS 2021), Vienna, Austria. IEEE. https://doi.org/10.1109/ddecs52668.2021.9417019
  • TUW-Inf at GermEval2021: Rule-based and Hybrid Methods for Detecting Toxic, Engaging, and Fact-Claiming Comments / Gemes, K. A., & Recski, G. (2021). TUW-Inf at GermEval2021: Rule-based and Hybrid Methods for Detecting Toxic, Engaging, and Fact-Claiming Comments. In Proceedings of the GermEval 2021 Workshop on the Identification of Toxic, Engaging, and Fact-Claiming Comments : 17th Conference on Natural Language Processing KONVENS 2021 (pp. 69–75). netlibrary. http://hdl.handle.net/20.500.12708/58499
  • Adaptive Signal Filtering Platform for a CPS/IoT Ecosystem / Isakovic, H., Dangl, S., Tucakovic, Z., & Grosu, R. (2021). Adaptive Signal Filtering Platform for a CPS/IoT Ecosystem. In 2021 22nd IEEE International Conference on Industrial Technology (ICIT). 22nd IEEE International Conference on Industrial Technology (ICIT2021), Valencia, Spain. IEEE. https://doi.org/10.1109/icit46573.2021.9453496
  • 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 7th IFAC Conference on Analysis and Design of Hybrid Systems ADHS 2021: Brussels, Belgium, 7-9 July 2021 (pp. 229–234). Elsevier. https://doi.org/10.1016/j.ifacol.2021.08.503
  • 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) (pp. 25–33). IEEE. https://doi.org/10.34726/3945
    Download: PDF (717 KB)
  • 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
  • Optimizing Reachability Probabilities for a Restricted Class of Stochastic Hybrid Automata via Flowpipe-Construction / Pilch, C., Schupp, S., & Remke, A. (2021). Optimizing Reachability Probabilities for a Restricted Class of Stochastic Hybrid Automata via Flowpipe-Construction. In Quantitative Evaluation of Systems (pp. 435–456). 12846. https://doi.org/10.1007/978-3-030-85172-9_23
  • Luca Marzari: PROVE-IT
    2026 / Austria / Website / Project
  • Daniel Bernhard May: Science Award
    2025 / TÜV AUSTRIA Group / Austria / Website
  • Sabrina Herbst: Netidee Scholarship
    2025 / NetIdee Foundation / Austria / Website
  • Ezio Bartocci: Best Paper Award of EMSOFT 2025
    2025 / Embedded Systems Week (ESWEEK) 2025 (EMSOFT) / Taiwan
  • Daniel Müller-Gritschneder: Best Paper Award: Moritz Thoma, Tobias Preintner, Emad Aghajanzadeh, Shambhavi Balamuthu Sampath, Pierpaolo Mori, Nael Fasfous, Manoj-Rohit Vemparala, Alexander Frickenstein, Daniel Mueller-Gritschneder, Ulf Schlichtmann; Uncertainty Aware Training to Improve Uncertainty Active Learning for Semantic Segmentation Proceedings of the Computer Vision and Pattern Recognition Conference (CVPR) Workshops, 2025
    2025 / SAIAD Workshop, CVPR25 / USA / Website
  • Sabrina Herbst: Andreas Dieberger-Peter Skalicky Scholarship
    2025 / Andreas Dieberger – Peter Skalicky Scholarship Foundation / Austria
  • Daniel Bernhard May: netidee Scholarship
    2024 / Internet Foundation Austria / Austria / Website
  • Daniel Müller-Gritschneder: Best Student Paper Award: Pierpaolo Mori, Lukas Frickenstein, Shambhavi Balamuthu Sampath, Moritz Thoma, Nael Fasfous, Manoj Rohit Vemparala, Alexander Frickenstein, Christian Unger, Walter Stechele, Daniel Mueller-Gritschneder, Claudio Passerone "Wino Vidi Vici: Conquering Numerical Instability of 8-Bit Winograd Convolution for Accurate Inference Acceleration on Edge"
    2024 / IEEE/CVF Winter Conference on Applications of Computer Vision 2024 / USA
  • Ivona Brandic: Best Paper Award at the premier annual conference on Utility and Cloud Computing, 16th IEEE/ACM UCC
    2023 / UCC 2023 / USA
  • Sabrina Herbst: Siemens Awards for Excellence
    2023 / Siemens AG / Austria
  • Daniel Müller-Gritschneder: Best Paper Award: Samira Ahmadi, Rafael Stahl, Philipp van Kempen, Daniel Mueller-Gritschneder and Ulf Schlichtmann. "Towards Rapid Exploration of Heterogeneous TinyML Systems using Virtual Platforms and TVM’s UMA."
    2023 / Workshop on Compilers, Deployment, and Tooling for Edge AI. / Germany
  • Ezio Bartocci: Radhia Cousot Young Researcher Best Paper Award
    2022 / The Static Analysis Symposia / New Zealand / Website
  • 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
  • Daniel Müller-Gritschneder: Habilitationspreis
    2019 / Bund der Freunde der technischen Universität München / Germany / Website
  • Daniel Müller-Gritschneder: Best Paper Award for Paper: Saman Payvar, Mir Khan, Rafael Stahl, Daniel Mueller-Gritschneder, Jani Boutellier "Neural Network-based Vehicle Image Classification for IoT Devices"
    2019 / IEEE International Workshop on Signal Processing Systems, SiPS 2019 / China
  • Daniel Müller-Gritschneder: Senior Member
    2019 / IEEE / USA
  • Jesper Larsson Träff: Innovation Radar: Innovation Title: PGAS-based MPI with interoperability; Innovation Category: Exploration; FP 7 project EPiGRAM
    2018 / Project