You are here: Home
We are organizing RV 2015 Conference at TU Wien this September. We are organizing CPS Week 2016, the premier event on Cyber-Physical Systems. Galileo satellite Pylon for power distribution grid Very-large scale integrated circuit Microcontroller printed circuit board

Institute of Computer Engineering (E182)

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)
Assoc.Prof. Andreas STEININGER
Assoc.Prof. Josef WIDDER

Description

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

Conferences
Runtime Verification
CPS-Week
read more...
Recent Publications
E. Bartocci, L. Bortolussi, L. Nenzi, G. Sanguinetti: System Design of Stochastic Models using Robustness of Temporal Properties
Theoretical Computer Science, 587 (2015), p. 3 - 25
bib details doi
M. Biely, P. Robinson, U. Schmid: The Generalized Loneliness Detector and Weak System Models for k-Set Agreement
IEEE Transactions on Parallel and Distributed Systems, 25 (2014), p. 1078 - 1088
bib details doi
H. Moser, U. Schmid: Reconciling fault-tolerant distributed algorithms and real-time computing
Distributed Computing, 27 (2014), p. 203 - 230
bib details doi
D. Dolev, M Függer, U. Schmid, C. Lenzen: Fault-tolerant Algorithms for Tick-generation in Asynchronous Logic: Robust Pulse Generation
Journal of the ACM, 61 (2014), p. 1 - 74
bib details doi
I. Ariful, A. Murthy, E. Bartocci, E. Cherry, F. Fenton, J. Glimm, S. Smolka, R. Grosu: Model-Order Reduction of Ion Channel Dynamics Using Approximate Bisimulation
Theoretical Computer Science, In Press (2014)
bib details doi
More publications...