Publications

Shows publications by members of the Cyber-Physical Systems group.

Currently viewing all publications in category Theses - back to overwiew...

Theses

O. Balún: Towards Distributed Controllers Based on Caenorhabditis elegans Locomotory Neural Network (Master's Thesis)
reviewers: R. Grosu, R. M. Hasani; Institut für Technische Informatik, 2016; oral examination: 2016-12-22
bib details

C. Vazcula: The Hobel algorithm - SAT Lösung mit GPU über DPLL (Master's Thesis)
reviewers: E. Bartocci, A. Biere; Institute of Computer Engineering, 2016
bib details pdf

C. Gabriel: Development of an Advanced Protection Concept for Automotive Wire Harnesses (Master's Thesis)
reviewers: R. Grosu, H.-P. Kreuter, D. Ratasich, O. Höftberger; Institut für Technische Informatik, 2016; oral examination: 2016-10-04
bib details

K. Pollhammer: Automated Buildings as Energy Storages (PhD Thesis)
reviewers: D. Dietrich, W. Elmenreich; E384, 2016; oral examination: 2016-02-05
bib details

W. Zischka: Zeitgesteuerte Kommunikation in Hybriden Netzwerk-Topologien (Master's Thesis)
reviewer: S. Poledna; E182, 2015; oral examination: 2015-11-19
bib details

S. Resch: Composability for Fail-Safe Safety-Critical Systems (PhD Thesis)
reviewers: A. Steininger, W. Elmenreich; Technische Informatik, 2014; oral examination: 2015-01-26
bib details

D. Ratasich: Generic Low-Level Sensor Fusion Framework for Cyber-Physical Systems (Master's Thesis)
reviewers: R. Grosu, O. Höftberger; Institut für Technische Informatik, 2014; oral examination: 2014-04-29
bib details pdf

D. Macher: Intercommunication framework for autonomous real-time systems (Master's Thesis)
reviewers: R. Grosu, O. Höftberger; Institut für Technische Informatik, 2014; oral examination: 2014-04-29
bib details pdf

S. Brugger: Integrating probabilistic information of dynamic environment into maps for enhanced action planning (Master's Thesis)
reviewers: R. Grosu, O. Höftberger; Institut für Technische Informatik, 2014; oral examination: 2014-03-26
bib details pdf

S. Kandl: A Requirement-Based Systematic Test-Case Generation Method for Safety-Critical Embedded Systems (PhD Thesis)
reviewers: P. Puschner, R. Kirner; 182, 2010; oral examination: 2010-11-17
bib details

A. Benz: Terahertz Quantum-Cascade Lasers: Carrier Transport and Photonic Crystal Cavities (PhD Thesis)
reviewers: K. Unterrainer, G. Bauer; Institut für Photonik, 2009; oral examination: 2009-12-15
bib details

C. Pitter: Time-Predictable Java Chip-Multiprocessor (PhD Thesis)
reviewers: H. Grünbacher, M. Schoeberl; Institut für Technische Informatik - E182, 2009
bib details

B. Huber: Worst-Case Execution Time Analysis for Real-Time Java (Master's Thesis)
reviewers: H. Grünbacher, M. Schoeberl; Institut für Technische Informatik - E182, 2009
bib details

P. Jahn: Automated Regression Testing of Embedded Devices (Master's Thesis)
reviewers: A. Steininger, A. Reisenbauer; Institut für Technische Informatik, 2009
bib details

B. Rieder: Measurement-Based Timing Analysis of Applications written in ANSI-C (PhD Thesis)
reviewers: P. Puschner, J. Knoop; Institut für Technische Informatik, 2009; oral examination: 2009-06-26
bib details

W. Elmenreich: Time-triggered Transducer Networks
Fakultät für Informatik, 2007
bib details

R. Wolfig: A Distributed Platform for an Integrated Modular Avionics (PhD Thesis)
reviewers: S. Poledna, D. Dietrich; 182/1, 2008
bib details

B. Huber: Resource Management in an Integrated Time-Triggered Architecture (PhD Thesis)
reviewers: H. Kopetz, J. Blieberger; Institut 182, 2008; oral examination: 2008-01-01
bib details

M. Schlager: Interface Design for Hardware-in-the-Loop Simulation of Real-Time Systems (PhD Thesis)
reviewers: H. Kopetz, J. Blieberger; Institut 182, 2007; oral examination: 2007-10-09
bib details

M. Wächter: A Self-Checking Pair Architecture for a TT-Ethernet Switch (Master's Thesis)
reviewer: S. Poledna; Institut für Technische Informatik, 2008; oral examination: 2008-10-10
bib details

B. Krizan: A unit-test platform for design tools for fault-tolerant real-time systems (Master's Thesis)
reviewers: P. Puschner, R. Kirner; E188-1, 2007
bib details

C. El Salloum: Interface Design in the Time-Triggered System-on-Chip Architecture (PhD Thesis)
reviewers: H. Kopetz, W. Kastner; Technische Informatik, 2008; oral examination: 2008-01-14
bib details

K. Steinhammer: Design of an FPGA-Based Time-Triggered Ethernet System (PhD Thesis)
reviewers: H. Kopetz, R. Eier; Institut für Technische Informatik, 2007; oral examination: 2007-01-16
bib details

J. Trojer: Requirement Classification of Dependable Real-Time Systems (Master's Thesis)
reviewers: P. Puschner, R. Kirner; Institut für Technische Informatik, 2007
bib details

B. Leiner: A Partitioning Operating System based on RTAI-LXRT Linux (Master's Thesis)
reviewers: H. Kopetz, R. Obermaisser; Institut für Technische Informatik, 2006
bib details

H. Paulitsch: Fault Injection for Diagnosis and Maintenance in the Time-Triggered Architecture (Master's Thesis)
reviewers: H. Kopetz, P. Peti; Institut für Technische Informatik, 2005; oral examination: 2005-01-01
bib details

M. Kirner: Automatic Loop Bound Analysis of Programs written in C (Master's Thesis)
reviewers: P. Puschner, R. Kirner; Institut für Technische Informatik, 2006; oral examination: 2006-01-01
bib details

M. Höller: Gateway Generation for Virtual Networks in the DECOS Integrated Architecture (Master's Thesis)
reviewers: H. Kopetz, R. Obermaisser; Institut für Technische Informatik, 2006
bib details

D. Riezler: Emulating the Programming Interface of Commercial CAN Controllers in a Time-Triggered Environment (Master's Thesis)
reviewers: H. Kopetz, R. Obermaisser; Institut für Technische Informatik, 2006; oral examination: 2006-01-01
bib details

S. V. Krywult: Real-Time Communication Systems for Small Autonomous Robots (Master's Thesis)
reviewers: D. Dietrich, S. Mahlknecht, W. Elmenreich; Institut für Computertechnik, 2006
bib details

C. Paukovits: Applying Model-Integrated Computing on Time-Triggered Application Development (Master's Thesis)
reviewers: H. Kopetz, W. Elmenreich; Institut für Technische Informatik, 2006
bib details

A. Schörgendorfer: Extended Confidence-Weighted Averaging in Sensor Fusion (Master's Thesis)
reviewers: H. Kopetz, W. Elmenreich; Institut für Technische Informatik, 2006
bib details

B. Huber: Wireless Real-Time Communication for Smart Transducer Networks (Master's Thesis)
reviewers: H. Kopetz, W. Elmenreich; Institut für Technische Informatik, 2004
bib details

M. Borovicka: Design of a Gateway for the Interconnection of Real-Time Communication Hierarchies (Master's Thesis)
reviewers: H. Kopetz, R. Obermaisser, W. Elmenreich; Institut für Technische Informatik, 2003
bib details

I. Wenzel: Measurement-Based Timing Analysis of Superscalar Processors (PhD Thesis)
reviewers: P. Puschner, J. Knoop; Institut für Technische Informatik, 2007; oral examination: 2007-01-16
bib details

M. Schöberl: JOP: A Java Optimized Processor for Embedded Real-Time Systems (PhD Thesis)
reviewers: A. Steininger, P. Puschner; Technische Informatik, E182, 2005; oral examination: 2005-01-01
bib details

I. Wenzel: Principles of Timing Anomalies in Superscalar Processors (Master's Thesis)
reviewers: P. Puschner, R. Kirner; Institut für Technische Informatik, 2003
bib details

P. Peti: Diagnosis and Maintenance in an Integrated Time-Triggered Architecture (PhD Thesis)
reviewers: H. Kopetz, W. Kastner; 182, 2005
bib details

I. Smaili: Real-Time Monitoring for the Time-Triggered Architecture (PhD Thesis)
reviewers: P. Puschner, U. Egly; Institut für Technische Informatik, 2004
bib details

R. Obermaisser: An Integrated Architecture for Event-Triggered and Time-Triggered Control Paradigms (PhD Thesis)
reviewers: H. Kopetz, W. Kastner; 182, 2003
bib details

R. Pallierer: Validation of Distributed Algorithms in Time-Triggered Systems by Simulation (PhD Thesis)
reviewer: H. Kopetz; Institut für Technische Informatik, 2000
bib details pdf

R. Kirner: Integration of Static Runtime Analysis and Program Compilation (Master's Thesis)
reviewer: P. Puschner; Institut für Technische Informatik, 2000
bib details pdf

C. Glawan: Monitoring of Real-Time Operating Systems (Master's Thesis)
reviewers: H. Kopetz, S. Poledna; Institut für Technische Informatik, 2000
bib details

M. Mayer: Design and Implementation of a File-System Based Monitoring Interface for the Time-Triggered Communications Protocol TTP/C under Linux (Master's Thesis)
reviewers: H. Kopetz, T. Galla; Institut für Technische Informatik, 2000
bib details pdf

W. Elmenreich: Sensor Fusion in Time-Triggered Systems (PhD Thesis)
reviewers: H. Kopetz, E. Gratz; Institut für Technische Informatik, 2002
bib details pdf

M. Paulitsch: Fault-Tolerant Clock Synchronization for Embedded Distributed Multi-Cluster Systems (PhD Thesis)
reviewer: H. Kopetz; Institut für Technische Informatik, 2002
bib details pdf

G. Bauer: Transparent Fault Tolerance in a Time-Triggered Architecture (PhD Thesis)
reviewer: H. Kopetz; Institut für Technische Informatik, 2001
bib details pdf

L Müller: Performance Demonstrator (Master's Thesis)
reviewers: P. Puschner, R. Kirner; Institut für Technische Informatik, 2002
bib details pdf

S. Pitzek: Description Mechanisms Supporting the Configuration and Management of TTP/A Fieldbus Systems (Master's Thesis)
reviewers: H. Kopetz, W. Elmenreich; Institut für Technische Informatik, 2002
bib details pdf

C. Trödhandl: Architectural Requirements for TTP/A Nodes (Master's Thesis)
reviewers: H. Kopetz, W. Elmenreich; Institut für Technische Informatik, 2002
bib details pdf

C. Eder: Designing a High-Performant Real-Time Architecture Based on COTS-Components (Master's Thesis)
reviewer: H. Kopetz; Institut für Technische Informatik, 2002
bib details pdf

M. Weiskirchner: JAVA in Echtzeitsystemen mit Bezug auf die WCET und Analysierbarkeit des Java Bytecodes (Master's Thesis)
reviewer: P. Puschner; Institut für Technische Informatik, 2001
bib details pdf

G. Freiberger: Integration of Worst-Case Execution Time Analysis and C Code Synthesis (Master's Thesis)
reviewers: P. Puschner, R. Lang; Institut für Technische Informatik, 2001
bib details pdf

P. Peti: Monitoring and Configuration of a TTP/A Cluster in an Autonomous Mobile Robot (Master's Thesis)
reviewers: H. Kopetz, W. Elmenreich; Institut für Technische Informatik, 2001
bib details pdf

L. Schneider: Real Time Robot Navigation with a Smart Transducer Network (Master's Thesis)
reviewers: H. Kopetz, W. Elmenreich; Institut für Technische Informatik, 2001
bib details pdf

R. Kapeller: Design and Implementation of a TTP/A Master and Gateway Controller on a 32-bit Microcontroller (Master's Thesis)
reviewers: H. Kopetz, W. Haidinger; Institut für Technische Informatik, 2001
bib details pdf

R. Obermaisser: Design and Implementation of a Smart Transducer Network (Master's Thesis)
reviewers: H. Kopetz, W. Elmenreich; Institut für Technische Informatik, 2001
bib details pdf

W. Steiner: Start-Up of TTP/C: Analysis and Simulation (Master's Thesis)
reviewers: H. Kopetz, M. Paulitsch; Institut für Technische Informatik, 2001
bib details pdf

M. Delvai: Entwicklung eines Mikrokontrollers für das Echtzeitprotokoll TTP/A (Master's Thesis)
reviewers: A. Steininger, W. Elmenreich; Institut für Technische Informatik, 2000
bib details