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)
Assoc.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
  • H. Abbas, A. Rodionova, K. Mamouras, E. Bartocci, S. Smolka, R. Grosu: Quantitative Regular Expressions for Arrhythmia Detection
    IEEE/ACM Transactions on Computational Biology and Bioinformatics, 16 (2019), p. 1586 - 1597
    bib details doi pdf
  • E. Bartocci, Y. Falcone, B. Bonakdarpour, C. Colombo, N. Decker, K Havelund, Y. Joshi, K. Felix et al.: First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014
    International Journal on Software Tools for Technology Transfer, 21 (2019), p. 31 - 70
    bib details doi pdf
  • C. Sánchez, G. Schneider, W. Ahrendt, E. Bartocci, D. Bianculli, C. Colombo, Y. Falcone, A. Francalanza, S. Krstic, J. Lourenço, D. Nickovic, G. Pace, J. Rufino, S. Signoles, D. Traytel, A. Weiss: A survey of challenges for runtime verification from advanced application domains (beyond software)
    Formal Methods in System Design, 54 (2019), p. 279 - 335
    bib details doi pdf
  • K. Winkler, M. Schwarz, U. Schmid: Consensus in rooted dynamic networks with short-lived stability
    Distributed Computing, 32 (2019), p. 443 - 458
    bib details doi
  • J. Träff: On Optimal Trees for Irregular Gather and Scatter Collectives
    IEEE Transactions on Parallel and Distributed Systems, Volume 30 (2019), p. 2060 - 2074
    bib details doi