TI Research Presentation Dates

TI Research Presentations

[Permanently under construction ...]

This page gives information on the research groups that contribute substantially to the research focus and the study programs Technische Informatik/Computer Engineering. The list below is not exhaustive, though, since the work of several other groups in the Faculty of Informatics and in the Faculty of Electrical Engineering and Information Technology also touches upon this area.

[Please contact U. Schmid (s@ecs.tuwien.ac.at) if you are interested to have your group also listed here. ]

Ezio Bartocci E191-01 Cyber-Physical Systems Group CPS verification and synthesis, runtime verification, quantitative evaluation
Pavol Cerny E192-04 Formal Methods in Systems Engineering Group Program synthesis, computer-aided verification
Norbert Görtz E389-03 Signal Processing Group Statistical signal processing, distributed estimation, deconvolution
Radu Grosu E191-01 Cyber-Physical Systems Group Modeling and learning, verification, CPS/IoT
Axel Jantsch E384-02 Systems on Chip Group Network on chips, self-aware and predictive systems on chips, sensor nodes
Wolfgang Kastner E191-03 Automation Systems Group Fault-tolerant real-time systems, distributed automation, automation systems integration
Andreas Kugi E376-02 Complex Dynamical Systems Group Systems and control theory, non-linear and optimal control, distributed-parameter systems
Peter Puschner E191-01 Cyber-Physical Systems Group Real-time systems, timing analysis
Ulrich Schmid E191-02 Embedded Computing Systems Group Fault-tolerant distributed algorithms, modeling and analysis of digital circuits, epistemic logic and topology
Muhammad Shafique E191-02 Embedded Computing Systems Group Robust embedded computing, low-power processing, hardware security, brain-inspired computing
Andreas Steininger E191-02 Embedded Computing Systems Group Asynchronous circuits, fault-tolerant computing, clock domain crossing, metastability
Jesper Larsson Träff E191-04 Parallel Computing Group Parallel machine models, shared-memory algorithms, MPI

Below are the dates for this year's research overviews of researchers working in TI-related fields (these events recur every winter term). These presentations shall make our students aware of these fields and provide an opportunity to get in touch with potentially available supervisors for Bachelor and Master theses, practicals and projects.

[Please contact U. Schmid (s@ecs.tuwien.ac.at) if you are interested to also present TI-relevant research topics conducted in your working group. ]

Day   Date Time    Room
Institute Name              Topic
Thu 24.10.2019 09:15 EI6 E191-2 U. Schmid Fault-Tolerant Distributed Computing
Thu 31.10.2019 09:15 EI6 E191-1 E. Bartocci Model-based Design of Cyber-Physical Systems
Thu 07.11.2019 09:15 EI6 E191-1 R. Grosu Learning, Control, and Verification of CPS
Thu 14.11.2019 09:15 EI6 E191-1 P. Puschner Time-Critical Computing
Thu 21.11.2019 09:15 EI6 E191-2 A. Steininger Fault Tolerance in the System-on-Chip Era
Thu 28.11.2019 09:15 EI6 E191-4 J. Träff Structured data in message-passing models


In the Seminar für Diplomand_innen für Technische Informatik (180.778), we offer 3 presentation days (for Master Thesis Proposals and Master Thesis Results) per semester that are open for everybody:

Day Date Time Room Supervisor Author Title of Master thesis
 Thu  31.10.2019 11:15-11:35  EI6  Schmid Thomas Schlögl Proposal: An Extension Framework for Epistemic Reasoning in Byzantine Distributed Systems
11:35-11:55  EI6  Schmid Nico Schaumberger Proposal: Automatic competitive analysis of real-time scheduling algorithms for firm-deadline tasks with non-preemptible sections and precedence constraints
11:55-12:15  EI6  Poledna Maximilian Rosenblattl Proposal: Construction of a Highly-Integrated ECU Platform by Means of Concept Composition
12:15-12:35  EI6  Poledna Andreas Wolf Proposal: Functional Safety Analyses in the Automotive Software Platform Development
with Focus on Dependent Failures Analyses in the Software Domain
 Thu  28.11.2019 11:00-13:00  EI6      
 Thu  16.01.2020 11:00-13:00  EI6      


To also support our Bachelor students, the table below contains the dates of the forthcoming presentations of TI Bachelor theses :

Day Date Time Room Supervisor Author Title of Bachelor thesis