International Symposium on DIStributed Computing (DISC) 2017We are organizing CPS Week 2016, the premier event on Cyber-Physical Systems. 14th International Conference on Computational Methods in Systems Biology,
Cambridge, UK (PC co-Chairs: Ezio Bartocci, Pietro Liò, Nicola Paoletti) Galileo satellite Pylon for power distribution grid Very-large scale integrated circuit Microcontroller printed circuit board

Institute of Computer Engineering (E182)

Treitlstrasse 3, A-1040 Wien (Austria)     [Google Maps]

Head of Institute: Univ.Prof. Radu GROSU

Cyber-Physical Systems Group E182-1 (CPS)

Prof. Radu GROSU (Head)
Asst.Prof. Ezio BARTOCCI
Em.Prof. Herbert GRÜNBACHER
Em.Prof. Hermann KOPETZ
Assoc.Prof. Peter PUSCHNER

Embedded Computing Systems Group E182-2 (ECS)

Prof. Ulrich SCHMID (Head)
Prof. Muhammad SHAFIQUE
Assoc.Prof. Andreas STEININGER
Assoc.Prof. Josef WIDDER


The Institute of Computer Engineering's research and teaching activities focus on the area of cyber-physical systems and dependable embedded systems. Our activities are at the heart of the primary research area Technische Informatik (Computer Engineering) of the Faculty of Informatics, and integrate computer science, discrete and continuous systems theory, and microelectronics in a holistic approach. Major research areas are hybrid systems, real-time systems, fault-tolerant distributed algorithms, and dependable digital circuit architectures. Particular research activities range from formal/mathematical modeling and analysis over SW/HW architectures to microcontroller programming and FPGA/VLSI design.

With respect to teaching, the Institute of Computer Engineering is mainly involved in the Master and Bachelor curricula Technische Informatik (Computer Engineering), which offer a profound scientific-technological education in our fields of expertise.

Institute's mission TI Research Presentations

PowerPoint Slideshow: What is Technische Informatik/Computer Engineering

Recent Publications
  • I. Konnov, V. Veith, J. Widder: On the completeness of bounded model checking for threshold-based distributed algorithms: Reachability
    Information and Computation, 252 (2017), p. 95 - 109
    bib details doi pdf
  • M. Shafique, A. Ivanov, B. Vogel, J. Henkel: Scalable Power Management for On-Chip Systems with Malleable Applications
    IEEE Transactions on Computers, 65 (2016), p. 3398 - 3412
    bib details doi pdf
  • K. Chen, J. Chen, F. Kriebel, S. Rehman, M. Shafique, J. Henkel: Task Mapping for Redundant Multithreading in Multi-Cores with Reliability and Performance Heterogeneity
    IEEE Transactions on Computers, 65 (2016), p. 3441 - 3454
    bib details doi pdf
  • M. Shafique, M. Usman Karim Khan, J. Henkel: Content-Aware Low-Power Configurable Aging Mitigation for SRAM Memories
    IEEE Transactions on Computers, 65 (2016), p. 3617 - 3630
    bib details doi pdf
  • M Függer, T. Nowak, U. Schmid: Unfaithful Glitch Propagation in Existing Binary Circuit Models
    IEEE Transactions on Computers, 65 (2016), p. 964 - 978
    bib details doi