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

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?

Recent Publications
S. Kandl, M. Elshuber, P. Puschner: Formal Verification at System Level
HiPEAC 2014 (International Conference on High-Performance and Embedded Architectures and Compilers), Vienna
bib details
O. Melnychenko, H.-P. Kreuter: Interfacing UVM Test Bench and Laboratory Equipment for Power Devices Verification
21st Austrian Workshop on Microelectronics (Austrochip), Linz; in: Austrochip 2013. Tagungsband, 2013, p. 17 - 21
bib details pdf
O. Melnychenko, H.-P. Kreuter: A Metric Driven Verification and Validation Approach for Smart Power Devices
9th Conference on Ph.D. Research in Microelectronics and Electronics (PRIME), Villach; in: Conference Proceedings. 9th Conference on Ph.D. Research in Microelectronics and Electronics (PRIME), 2013, ISBN: 978-1-4673-4580-4, p. 289 - 292
bib details doi
P. Puschner, D. Prokesch, B. Huber, J. Knoop, S Hepp, G. Gebhard (invited): The T-CREST Approach of Compiler and WCET-Analysis Integration
9th Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS 2013), Paderborn, Deutschland; in: Proceedings of the 9th Workshop on Software Technologies for Future Embedded and Ubiquitous Systems, 2013
bib details
C. Geyer, B. Huber, D. Prokesch, P. Puschner: Time-Predictable Code Execution - Instruction-Set Support for the Single-Path Approach
16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC 2013), Paderborn, Deutschland; in: Proc. 16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC 2013), 2013
bib details
More publications...