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
P. Robinson: Weak System Models for Fault-Tolerant Distributed Agreement Problems (PhD Thesis)
reviewers: U. Schmid, M. Raynal; Institut für Technische Informatik (E182/2), 2011; oral examination: 2011-01-31
bib details pdf
S. Kandl et al.: Applicability of Formal Methods for Safety-Critical Systems in the Context of ISO 26262
Safety-critical Systems Symposium (SSS 2015), Bristol, UK; in: Engineering Systems for Safety: Proceedings of the Twenty-third Safety-critical Systems Symposium, M. Parson, T. Anderson (ed.); 2015, ISBN: 978-1505689082, p. 95 - 115
bib details
S. Kandl: Cost Effectiveness of Coverage-Guided Test-Suite Reduction for Safety-Relevant Systems
Progress in Systems Engineering (Advances in Intelligent Systems and Computing), Springer International Publishing, Switzerland, 2015, ISBN: 978-3-319-08421-3, p. 595 - 601
bib details doi
D. Prokesch: Single-Path Code Generation for the Patmos Processor
TACLe 5th Joint WG/MC Meeting, Amsterdam, Niederlande
bib details
A. Pavlogiannis, K. Chatterjee, U. Schmid, A. Kößler: A Framework for Automated Competitive Analysis of On-line Scheduling of Firm-Deadline Tasks
35th IEEE Real-Time Systems Symposium, Rome; in: Proccedings IEEE Real-Time Systems Symposium (RTSS'14), 2014, ISSN: 1052-8725, p. 118 - 127
bib details doi
More publications...