Galileo satellite Pylon for power distribution grid Very-large scale integrated circuit Microcontroller printed circuit board

Institute of Computer Engineering (E191)

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

Head of Institute: Assoc.Prof. Wolfgang KASTNER

Research Division Cyber-Physical System E191-01 (CPS)

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

Research Division Embedded Computing Systems E191-02 (ECS)

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

Research Division Automation Systems E191-03 (ASG)

Assoc.Prof. Wolfgang KASTNER (Head)
Assoc.Prof. Johann BLIEBERGER

Research Division Parallel Computing E191-04 (PC) [Google Maps]

Prof. Jesper Larsson TRÄFF (Head)
Asst.Prof. Sascha HUNOLD



The Institute of Computer Engineering's research and teaching activities are primarily devoted to 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 & smart grids, healthcare, spacecraft, and automotive. Key characteristics of our work are hence 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 interdisciplinarity: Core computer science knowledge and skills like concurrent 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.

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 this area.

Institute's mission TI Research Presentations

PowerPoint Slideshow: What is Technische Informatik/Computer Engineering

Recent Publications
  • F. Khalid, S. R. Hasan, O. Hasan, F. Awwad: Runtime Hardware Trojan Monitors Through Modeling Burst Mode Communication Using Formal Verification
    Integration the VLSI journal, 61 (2018), p. 62 - 76
    bib details doi
  • S. Iqbal, S. Sardar, F. Khalid, O. Hasan: Statistical Model Checking of Relief Supply Location and Distribution in Natural Disaster Management
    International Journal of Disaster Risk Reduction, 31 (2018), p. 1043 - 1053
    bib details doi
  • K. Chatterjee, A. Pavlogiannis, A. Kößler, U. Schmid: Automated Competitive Analysis of Real-time Scheduling with Graph Games
    Real-Time Systems, 54 (2018), p. 166 - 207
    bib details doi
  • P. Gleeson, D. Lung, R. Grosu, R. Hasani, S. Larson: c302: a multiscale framework for modelling the nervous system of Caenorhabditis elegans
    Philosophical Transactions of the Royal Society B: Biological Sciences, 373 (2018)
    bib details doi
  • G. Sarma, C. Lee, T. Portegys, V. Ghayoomie, T. Jacobs, B. Alicea, M. Cantarelli, M. Currie, R. Gerkin, S. Gingell, P. Gleeson, R. Gordon, R. Hasani, G. Idili, S. Khayrulin, D. Lung, A. Palyanov, M. Watts, S. Larson: OpenWorm: overview and recent advances in integrative biological simulation of Caenorhabditis elegans
    Philosophical Transactions of the Royal Society B: Biological Sciences, 373 (2018)
    bib details doi
  • S. Friedrichs, M Függer, C. Lenzen: Metastability-Containing Circuits
    IEEE Transactions on Computers, 67 (2018), p. 1167 - 1183
    bib details doi pdf
  • O. Akbari, M. Kamal, A. Afzali-Kusha, M. Pedram, M. Shafique: Towards Approximate Computing for Coarse-Grained Reconfigurable Architectures
    IEEE Micro, Early Access (2018), p. 1 - 10
    bib details doi
  • M. Salehi, A. Ejlali, M. Shafique: Run-Time Adaptive Power-Aware Reliability Management for Manycores
    Ieee Design & Test, 35 (2018), p. 36 - 44
    bib details doi
  • F. M. Sampaio, B. Zatt, M. Shafique, J. Henkel, S. Bampi: Hybrid Scratchpad Video Memory Architecture for Energy-Efficient Parallel HEVC
    IEEE Transactions on Circuits and Systems for Video Technology, Early Access (2018), p. 1 - 12
    bib details doi
  • G. A. Gillani, M. Hanif, M. Krone, S. H. Gerez, M. Shafique, A. B. J. Kokkeler: SquASH: Approximate Square-Accumulate with Self-Healing
    IEEE Access, 6 (2018), p. 49112 - 49128
    bib details doi