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-seven 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.

  • 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
  • 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
  • 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
  • Comparative Analysis and Enhancement of CFG-based Hardware-Assisted CFI Schemes / Tauner, S., & Telesklav, M. (2021). Comparative Analysis and Enhancement of CFG-based Hardware-Assisted CFI Schemes. In ACM Transactions on Embedded Computing Systems (pp. 1–25). Association for Computing Machinery. https://doi.org/10.1145/3476989
  • Fire! / Fruzsa, K., Kuznets, R., & Schmid, U. (2021). Fire! In Electronic Proceedings in Theoretical Computer Science (pp. 139–153). Electronic Proceedings in Theoretical Computer Science. https://doi.org/10.4204/eptcs.335.13
    Project: ByzDEL (2020–2025)
  • 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
  • Preface / Bartocci, E., Falcone, Y., & Leucker, M. (2021). Preface. In E. Bartocci, Y. Falcone, & M. Leucker (Eds.), Formal Methods in Outer Space. Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday (pp. vii–viii). Springer, Lecture Notes in Computer Science. http://hdl.handle.net/20.500.12708/55665
  • 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
  • TACoS: A Tool for MTL Controller Synthesis / Hofmann, T., & Schupp, S. (2021). TACoS: A Tool for MTL Controller Synthesis. In Software Engineering and Formal Methods (pp. 372–379). 13085. https://doi.org/10.1007/978-3-030-92124-8_21
  • 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
  • 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
  • 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
  • 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
  • Daniel Müller-Gritschneder: Outstanding Paper Award - Memory Latency Distribution-Driven Regulation for Temporal Isolation in MPSoCs (doi) Ahsan Saeed (Robert Bosch GmbH), Denis Hoornaert (Technical University of Munich), Dakshina Dasari (Robert Bosch GmbH), Dirk Ziegenbein (Robert Bosch GmbH), Daniel Mueller-Gritschneder (Technical University of Munich), Ulf Schlichtmann (Technical University of Munich), Andreas Gerstlauer (The University of Texas at Austin), Renato Mancuso (Boston University)
    2023 / Euromicro Conference on Real-time Systems (ECRTS) / Austria / Website
  • 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