You are here: Home
Looking for a Drone MS Thesis? Contact Bernhard Frömel and Ezio Bartocci! Looking for a Rover MS Thesis? Contact Oliver Höftberger! 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)

Univ.Prof. Radu GROSU (Head)
O.Univ.Prof. Herbert GRÜNBACHER
Em.O.Univ.Prof. Hermann KOPETZ
Ao.Univ.Prof. Peter PUSCHNER

Embedded Computing Systems Group E182-2 (ECS)

Univ.Prof. Ulrich SCHMID (Head)
Ao.Univ.Prof. Andreas STEININGER


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?

Runtime Verification
Recent Publications
D. Prokesch: Single-Path Code Generation for the Patmos Processor
TACLe 5th Joint WG/MC Meeting, Amsterdam, Niederlande
bib details
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
P. Degasperi, S Hepp, W. Puffitsch, M. Schöberl: A Method Cache for Patmos
17th IEEE International Symposium on Object/Component-Oriented Real-Time Distributed Computing (ISORC), Reno, Nevada, USA; in: Proc. of the 17th IEEE International Symposium on Object/Component-Oriented Real-Time Distributed Computing, 2014, ISSN: 1555-0885, p. 100 - 108
bib details doi
M. Schwarz, K. Winkler, U. Schmid, M. Biely, P. Robinson: Brief Announcement: Gracefully Degrading Consensus and k-Set Agreement under Dynamic Link Failures
33th ACM SIGACTSIGOPS Symposium on Principles of Distributed Computing (PODC), Paris, France; in: Proceedings of the 33th ACM SIGACTSIGOPS Symposium on Principles of Distributed Computing, ACM, 2014, p. 341 - 343
bib details doi
More publications...