Publications

Shows all publications by members of the Institute of Computer Engineering.

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

Theses

M. Spiegel: Linking Simulation and Automation Infrastructure A Study Based on the FMI and IEC 61499 (Master's Thesis)
reviewers: W. Kastner, B. Heinzl; Institute of Computer Engineering, 2018; oral examination: 2018-04-12
bib details

C. Kudera: Negative voltage fault injection attacks on microcontrollers (Master's Thesis)
reviewers: W. Kastner, M. Kammerstetter; Institute of Computer Engineering, 2018; oral examination: 2018-04-12
bib details

A. Ismail: Service oriented manufacturing infrastructure (PhD Thesis)
reviewers: W. Kastner, P. Pop, D. Timmermann; Institute of Computer Engineering, 2018; oral examination: 2018-03-09
bib details

C. Zanabria: Adaptable Engineering Support Framework for Multi-Functional Battery Energy Storage Systems (PhD Thesis)
reviewers: T. Strasser, W. Kastner, A. Zoitl; Institut für Mechanik und Mechatronik, 2018; oral examination: 2018-12-13
bib details pdf

M. Suchi: Meta-heuristic local planning (Master's Thesis)
reviewers: M. Vincze, M. Bader; Automation and Control Institute (ACIN), 2015
bib details

K. Buchegger: Mobile Robotik : safe and efficient autonomous navigation in the presence of humans (Master's Thesis)
reviewers: W. Kastner, M. Bader; Institute of Computer Engineering, 2018; oral examination: 2018-04-11
bib details

G. Todoran: Optimal local path planning and control for mobile robotics (Master's Thesis)
reviewers: M. Bader, W. Kemmetmüller, A. Kugi; Automation and Control Institute (ACIN), 2017; oral examination: 2017-10-06
bib details

F. Beck: People tracking using particle filters and an advanced human motion model on mobile robots (Master's Thesis)
reviewers: J. Blieberger, M. Bader; Institute of Computer Engineering, 2018; oral examination: 2018-04-11
bib details

B. Binder: Spatio-Temporal Prioritized Planning (Master's Thesis)
reviewers: J. Blieberger, M. Bader; Institute of Computer Engineering, 2018; oral examination: 2018-01-11
bib details

M. Lindorfer: Malware Through the Looking Glass: Malware Analysis in an Evolving Threat Landscape (PhD Thesis)
reviewers: E. Weippl, T. Holz, E. Kirda; Institut für Rechnergestützte Automation, 2016; oral examination: 2016-02-02
bib details pdf

M. Lindorfer: Detecting Environment-Sensitive Malware (Master's Thesis)
reviewers: E. Kirda, P. Milani Comparetti, C. Kolbitsch; Institut für Rechnergestützte Automation, 2011
bib details pdf

M. Schwarz: Agreement Algorithms in Directed Dynamic Networks (PhD Thesis)
reviewers: U. Schmid, E. Godard; Institut für Computer Engineering, 2018; oral examination: 2018-06-15
bib details pdf

P. Fimml: Temporal-Epistemic Logic in Byzantine Message-Passing Contexts (Master's Thesis)
reviewer: U. Schmid; Institut für Computer Engineering, 2018; oral examination: 2018-01-08
bib details pdf

D. Pfleger: Knowledge and Communication Complexity in Distributed Systems (Master's Thesis)
reviewer: U. Schmid; Institut für Computer Engineering, 2018; oral examination: 2018-04-11
bib details pdf

D. Schachinger: Building Energy Management Optimization ​ based on a Semantic Abstraction Layer​ (PhD Thesis)
reviewers: W. Kastner, J. Plönnigs, A. Fay; Computer Engineering, 2018; oral examination: 2018-10-15
bib details

J. Pannosch: Reliable Data Forecasting for Building Automation Systems (Master's Thesis)
reviewers: W. Kastner, D. Schachinger; Computer Engineering, 2018; oral examination: 2018-04-12
bib details

M. Pöter: Effective Memory Reclamation for Lock-Free Data Structures in C++ (Master's Thesis)
reviewer: J. Träff; Institute of Computer Engineering, Research Division of Parallel Computing, 2018; oral examination: 2018-03-01
bib details

T. Kainrad: Providing Transparent Remote Access to HPC Resources for Graphical Desktop Applications (Master's Thesis)
reviewer: S. Hunold; Institute of Computer Engineering, Research Division of Parallel Computing, 2018; oral examination: 2018-06-12
bib details

A. Fernbach: Semantic Evolution in Automation Systems Integration (PhD Thesis)
reviewers: W. Kastner, A. Mahdavi, M. Wollschläger; Fakultät für Informatik - Automation Systems Group, 2018; oral examination: 2018-06-27
bib details pdf

F. Pröstl Andrén: Model-Driven Engineering for Smart Grid Automation (PhD Thesis)
reviewers: W. Kastner, T. Strasser; Institut für Computer Engineering, 2018; oral examination: 2018-03-14
bib details pdf

J. Rohringer: Mobile Applikationen in der Industrieautomation (Master's Thesis)
reviewer: W. Kastner; Rechnergestützte Automation, 2017; oral examination: 2017-05-18
bib details

I. Pelesic: Semantic Interoperability Layer for oBIX (Master's Thesis)
reviewers: W. Kastner, A. Fernbach; Rechnergestützte Automation, 2017; oral examination: 2017-02-14
bib details

R. Müller: Centralized Key Exchange for Constrained Devices in Building Automation Systems (Master's Thesis)
reviewers: W. Kastner, A. Fernbach; Rechnergestützte Automation, 2017; oral examination: 2017-04-04
bib details

R. Gschweicher: Web Response Ontology for Data Import in Smart Buildings (Master's Thesis)
reviewer: W. Kastner; Rechnergestützte Automation, 2017; oral examination: 2018-01-10
bib details

C. Pühringer: Analysis of Coupling Strategies and Protocols for Co-Simulation (Master's Thesis)
reviewers: W. Kastner, B. Heinzl; Institut für Rechnergestützte Automation, 2017
bib details

F. Huemer: Protecting 4-Phase Delay-Insensitive Communication Against Transient Faults (Master's Thesis)
reviewer: A. Steininger; Technische Informatik, 2017; oral examination: 2017-02-20
bib details

V. S. Veeravalli: Design of Custom ASIC for Radiation Experiments to Study Single Event Effects (PhD Thesis)
reviewers: C. Metra, M. Krstic; Technische Informatik, 2017; oral examination: 2017-11-24
bib details

E. Ibrahimovic: Life cycle assessment of vehicles with alternative powertrains (Master's Thesis)
reviewers: B. Geringer, C. Six; Institut für Fahrzeugantriebe und Automobiltechnik (IFA), 2017
bib details

C. Hermann: ASCARTS Design of an Asynchronous Processor using a High-Level Specification Language (Master's Thesis)
reviewers: A. Steininger, J. Lechner; Institut für Technische Informatik, 2016
bib details

D. Riepl: Analysis of Scalable Open-source Distributed Storage Systems with an Emphasis on Data Availability and Performance (Master's Thesis)
reviewers: T. Grechenig, A. Ehringfeld; 183-1, 2016
bib details

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

B. Grill: Bootkits revisited - detecting, analysing and mitigating bootkit threats (Master's Thesis)
reviewer: W. Kastner; Rechnergestützte Automation, 2016; oral examination: 2016-11-14
bib details

M. Macsek: Mobile Robotik: EKF-SLAM mit optisch erkannten Marken zur Bestimmung einer Fahrzeugposition (Master's Thesis)
reviewers: W. Kastner, M. Bader; Rechnergestützte Automation, 2016; oral examination: 2016-11-15
bib details

P. Hausberger: IMU-based Smart Fitness Devices for Weight Training (Master's Thesis)
reviewer: W. Kastner; Rechnergestützte Automation, 2016; oral examination: 2016-04-13
bib details

R. Willmann: Ontology matchmaking of product ramp-up knowledge in manufacturing industries - How to transfer a cake-baking recipe between bakeries (PhD Thesis)
reviewers: W. Kastner, S. Biffl, A. Lüder; Rechnergestützte Automation, 2016; oral examination: 2016-12-02
bib details

M. Kammerstetter: Embedded Security Analysis with Emphasis on Critical Infrastructures (PhD Thesis)
reviewers: W. Kastner, T. Güneysu; Rechnergestützte Automation, 2016; oral examination: 2016-10-17
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

B. Heinzl: Hybrid Modeling of Production Systems: Co-simulation and DEVS-based Approach (Master's Thesis)
reviewer: W. Kastner; E183, 2016; oral examination: 2016-11-17
bib details

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

J. Gruber: KLSM: A Relaxed Lock-Free Priority Queue (Master's Thesis)
reviewer: J. Träff; Institute of Information Systems, Parallel Computing Group, 2015; oral examination: 2016-02-29
bib details

N. Mayerhofer: Untersuchung der Implementierbarkeit eines lock-freien binären Suchbaumes (Master's Thesis)
reviewer: J. Träff; Institute of Information Systems, Parallel Computing Group, 2016; oral examination: 2016-10-04
bib details

B. Redl: Extending the Pheet framework for Parallel Pipelined Applications (Master's Thesis)
reviewer: J. Träff; Institute of Information Systems, Parallel Computing Group, 2016; oral examination: 2016-10-04
bib details

R. Mittermayr: Kronecker Algebra Based Analysis of Shared Memory Concurrent Systems (PhD Thesis)
reviewers: J. Blieberger, B. Burgstaller; E 183-1, 2016; oral examination: 2016-10-11
bib details pdf

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

I. Leobner: Modeling of Energy Systems for Complex Simulations (PhD Thesis)
reviewers: K. Ponweiser, W. Kastner; E302 - Institut für Energietechnik und Thermodynamik, 2016; oral examination: 2016-01-26
bib details pdf

L. Krammer: Dependability in building automation networks (PhD Thesis)
reviewers: W. Kastner, T. Sauter; Rechnergestützte Automation, 2015; oral examination: 2015-01-20
bib details

M. Jung: An integration middleware for the Internet of Things (PhD Thesis)
reviewers: W. Kastner, K. Göschka; Rechnergestützte Automation, 2015; oral examination: 2015-02-19
bib details

F. Praus: Secure control applications in smart homes and buildings (PhD Thesis)
reviewers: W. Kastner, P. Palensky; Rechnergestützte Automation, 2015; oral examination: 2015-11-07
bib details

B. Malinowsky: Ein interaktiver Lernansatz für Netzwerkkommunikation in der Automation (Master's Thesis)
reviewer: W. Kastner; Rechnergestützte Automation, 2015; oral examination: 2015-11-23
bib details

L. Weichselbaum: Dynamic Behavior Monitoring of Android Malware (Master's Thesis)
reviewers: W. Kastner, Ch. Platzer; Rechnergestützte Automation, 2015; oral examination: 2015-06-01
bib details

E. Thamm: 05.10.2015 (Master's Thesis)
reviewers: W. Kastner, Ch. Platzer; Rechnergestützte Automation, 2015; oral examination: 2015-11-10
bib details

M. Meisel: Management von Lastflexibilität im elektrischen Energiesystem 2020 (Master's Thesis)
reviewers: W. Kastner, F. Kupzog; Rechnergestützte Automation, 2015; oral examination: 2015-10-05
bib details pdf

S. Gaida: Interface between Smart Buildings and Smart Grids (Master's Thesis)
reviewers: W. Kastner, D. Schachinger; Rechnergestützte Automation, 2015; oral examination: 2015-10-05
bib details

J. Schober: Tunneling Ethernet Traffic via Redundant Low Bandwidth Communication Links (Master's Thesis)
reviewers: W. Kastner, L. Krammer; Rechnergestützte Automation, 2015; oral examination: 2015-10-05
bib details

S. Seifried: Reliable Control Network Gateways - A Case Study for KNX and ZigBee (Master's Thesis)
reviewers: W. Kastner, L. Krammer; Rechnergestützte Automation, 2015; oral examination: 2015-10-05
bib details

H. Glanzer: Highly available KNX networks (Master's Thesis)
reviewers: W. Kastner, L. Krammer; Rechnergestützte Automation, 2015; oral examination: 2015-11-10
bib details

M. Klein: Reliable devices for safe communication in networks (Master's Thesis)
reviewers: W. Kastner, L. Krammer; Rechnergestützte Automation, 2015; oral examination: 2015-11-10
bib details

S. Steyskal: Defining an Actor Ontology for Increasing Energy Efficiency and User Comfort in Smart Homes (Master's Thesis)
reviewers: W. Kastner, M. Kofler; Rechnergestützte Automation, 2015; oral examination: 2015-01-13
bib details

T. Hassler: Datensicherheit in KNX (Master's Thesis)
reviewers: W. Kastner, L. Krammer; Rechnergestützte Automation, 2015; oral examination: 2015-01-12
bib details

P. Raich: Scalability Analysis of a Web-based IoT Stack for Automation Systems (Master's Thesis)
reviewers: W. Kastner, M. Jung; Rechnergestützte Automation, 2015; oral examination: 2015-03-04
bib details

A. Kronabeter: Security and Legal Aspects of Cloud Computing (Master's Thesis)
reviewer: W. Kastner; Rechnergestützte Automation, 2015; oral examination: 2015-03-03
bib details

M. Neumayr: Current State of Browser Extension Security and Extension-based Malware (Master's Thesis)
reviewers: W. Kastner, M. Lindorfer; Rechnergestützte Automation, 2015; oral examination: 2015-04-14
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

M. Kalany: Efficient Construction of Provably Optimal MPI Datatype Representations (Master's Thesis)
reviewer: J. Träff; Institut für Informationssysteme, Parallel Computing Group, 2015; oral examination: 2015-11-10
bib details

L. Haselsteiner: Adaptive Work-Stealing Techniques (Master's Thesis)
reviewers: J. Träff, M. Wimmer; Institut für Informationssysteme, Parallel Computing Group, 2015; oral examination: 2015-06-03
bib details

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

M. Volcic: Energy-efficient Optimization of Railway Operation (PhD Thesis)
reviewers: J. Blieberger, J. Siegmann; 183, 2015; oral examination: 2015-02-04
bib details pdf

M. Neugschwandtner: Mitigating malware communication infrastructures and exploitation techniques (PhD Thesis)
reviewers: Ch. Krügel, E. Kirda; Rechnergestützte Automation, 2014; oral examination: 2014-06-23
bib details

S. Vogl: On Austrian ePassport Security (Master's Thesis)
reviewers: W. Kastner, Ch. Platzer; Rechnergestützte Automation, 2014; oral examination: 2014-10-06
bib details

M. Jauernig: Towards A Write ⊕ Execute Architecture For JIT Interpreters (Master's Thesis)
reviewers: W. Kastner, Ch. Platzer; Rechnergestützte Automation, 2014; oral examination: 2014-10-06
bib details

M. Racz: InjectionCop A Pluggable Type Checker for Inferencing Custom Type Qualifiers (Master's Thesis)
reviewers: W. Kastner, Ch. Platzer; Rechnergestützte Automation, 2014; oral examination: 2014-11-13
bib details

T. Chrenko: Einsatz von mobilen Plattformen als Visualisierungslösung in der Automatisierungstechnik (Master's Thesis)
reviewer: W. Kastner; Rechnergestützte Automation, 2014; oral examination: 2014-11-13
bib details

M. Grabner: Analysis of Testing Methodologies for the Internet of Things (Master's Thesis)
reviewers: W. Kastner, M. Kofler; Rechnergestützte Automation, 2014; oral examination: 2014-11-10
bib details

A. Kößler: Real-Time Performance Analysis of Synchronous Distributed Systems (PhD Thesis)
reviewers: U. Schmid, K. Chatterjee; Institut für Technische Informatik (E182/2), 2014; oral examination: 2014-11-27
bib details pdf

R. Kutschera: Efficient Interfacing Between Timing Domains (Master's Thesis)
reviewer: A. Steininger; Technische Informatik, 2014
bib details

C. Trenkwalder: Effekte von Stuck-At Faults in Delay-Insensitiver Logik (Master's Thesis)
reviewer: A. Steininger; Technische Informatik, 2014
bib details

J. Maier: Online Test Vector Insertion - A Concurrent Built-In Self-Testing (CBIST) Approach for Asynchronous Logic (Master's Thesis)
reviewer: A. Steininger; Technische Informatik, 2014
bib details

A. Heinisch: Selection and Hardware-Implementation of an Efficient Consensus Algorithm for a Mesochronous System (Master's Thesis)
reviewers: T. Polzer, A. Steininger; Technische Informatik, 2015; oral examination: 2015-01-15
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

M. Kofler: An Ontology as Shared Vocabulary for Distributed Intelligence in Smart Homes (PhD Thesis)
reviewers: W. Kastner, G. Suter; Rechnergestützte Automation, 2014; oral examination: 2014-03-24
bib details

J. Kasberger: Reliable IP based communication for Fire Alarm Systems (Master's Thesis)
reviewers: W. Kastner, L. Krammer; Rechnergestützte Automation, 2014; oral examination: 2014-01-14
bib details

A. Judmayer: Security of Building Automation Systems based on KNX and KNXnet/IP Secure (Master's Thesis)
reviewers: W. Kastner, L. Krammer; Rechnergestützte Automation, 2014; oral examination: 2014-01-14
bib details

D. Schachinger: Model-Driven Engineering for Building Automation Systems (Master's Thesis)
reviewers: W. Kastner, M. Jung; Rechnergestützte Automation, 2014; oral examination: 2014-06-02
bib details

I. Friedberg: Anomaly Detection Through Massive Event Correlation in ICT Networks (Master's Thesis)
reviewer: W. Kastner; Rechnergestützte Automation, 2014; oral examination: 2014-06-02
bib details

H. Oberhumer: Simulation-based evaluation of a fault-tolerant IP communication system (Master's Thesis)
reviewers: W. Kastner, L. Krammer; Rechnergestützte Automation, 2014; oral examination: 2014-06-04
bib details

J. Lechner: Building Robust GALS Circuits: Fault-Tolerant and Variation-Aware Design Techniques for Reliable Circuit Operation (PhD Thesis)
reviewers: A. Steininger, J. Sparso; Institut für Technische Informatik, 2014; oral examination: 2014-06-17
bib details pdf

M. Wimmer: Variations on Task Scheduling for Shared Memory Systems (PhD Thesis)
reviewers: J. Träff, K. Agrawal, M. Papatriantafilou; Institut für Informationssysteme, Research Group Parallel Computing, 2014; oral examination: 2014-06-26
bib details

F. Lübbe: Planung und automatische Verfeinerung der Laufzeitmessung von MPI-Operationen (Master's Thesis)
reviewers: R. Vollmar, J. Träff, T. Worsch; KIT Karlsruhe und AB Parallel Computing, Institut für Informationssysteme, TU Wien, 2014
bib details

A. Novak: Location Based Keys, Implementation of an encryption scheme (Master's Thesis)
reviewers: W. Kastner, H. Schweinzer; Institute of Electrodynamics, Microwave and Circuit Engineering, 2013
bib details

S. Naqvi: A Non-Blocking Fault-Tolerant Asynchronous Networks-on-Chip Router (PhD Thesis)
reviewers: A. Steininger, E. Grass, M. Schöberl; Institut für Technische Informatik, 2013
bib details

W. Friesenbichler: Effects and Mitigation of Transient Faults in Quasi Delay-Insensitive Logic (PhD Thesis)
reviewers: A. Steininger, H. Vierhaus; Institut für Technische Informatik, 2012
bib details

T. Panhofer: Self-Healing Asynchronous Circuits for High-Reliability Applications (PhD Thesis)
reviewers: A. Steininger, H. Vierhaus; Institut für Technische Informatik, 2012
bib details

T. Polzer: A Digital Metastability Model for VLSI Circuits (PhD Thesis)
reviewers: A. Steininger, A. Yakovlev; Institut für Technische Informatik, 2013
bib details

T. Reinbacher: Analysis of Embedded Real-Time Systems at Runtime (PhD Thesis)
reviewers: A. Steininger, J. Schumann, S. Kowalewski; Institut für Technische Informatik, 2013
bib details

M. Ferringer: Asynchronous Logic in Real-Time Systems (PhD Thesis)
reviewers: A. Steininger, G. Fohler; Institut für Technische Informatik, 2012
bib details

T. Kottke: Untersuchung von fehlertoleranten Prozessorarchitekturen für sicherheitsrelevante Automobilanwendungen (PhD Thesis)
reviewers: A. Steininger, H. Wunderlich; Institut für Technische Informatik, 2005
bib details

K. Ambrosch: Mapping Stereo Matching Algorithms to Hardware (PhD Thesis)
reviewers: A. Steininger, R. Siegwart; Institut für Technische Informatik, 2009
bib details

A. Hagmann: Performance Aware Hardware Runtime Monitors (Master's Thesis)
reviewer: A. Steininger; Institut für Technische Informatik, 2013
bib details

K. Pados: Design and Evaluation of an AXI4 Bus System (Master's Thesis)
reviewer: A. Steininger; Institut für technische Informatik, 2013
bib details

O. Hechinger: Analysis of the Failure Behavior of Memory Management Units (Master's Thesis)
reviewer: A. Steininger; Institut für technische Informatik, 2013
bib details

M. Perner: Self-Stabilizing Byzantine Fault-Tolerant Clock Distribution in Grids (Master's Thesis)
reviewer: U. Schmid; Institut für technische Informatik, 2013; oral examination: 2013-10-08
bib details pdf

M. Schwarz: Solving k-Set Agreement in Dynamic Networks (Master's Thesis)
reviewer: U. Schmid; Institut für technische Informatik, 2013; oral examination: 2013-10-08
bib details pdf

K. Winkler: Easy Impossibility Proofs for k-Set Agreement (Master's Thesis)
reviewer: U. Schmid; Institut für technische Informatik, 2013; oral examination: 2013-11-22
bib details pdf

M. Hofstätter: Solving the Labeling Problem - A Byzantine Fault-Tolerant Self-Stabilizing FPGA Prototype based on the FATAL+ Protocol (Master's Thesis)
reviewers: U. Schmid, M Függer; Institut für technische Informatik, 2013; oral examination: 2013-10-08
bib details pdf

J. Galler: Content Aware Smart Routing (Master's Thesis)
reviewers: W. Kastner, G. Gridling; Rechnergestützte Automation, 2013; oral examination: 2013-11-20
bib details

V. Habsburg-Lothringen: Extracting economic information from underground marketplaces (Master's Thesis)
reviewers: W. Kastner, G. Wondracek; Rechnergestützte Automation, 2013; oral examination: 2013-03-06
bib details

M. Stütz: Detecting Illicit content in picture streams (Master's Thesis)
reviewers: W. Kastner, Ch. Platzer; Rechnergestützte Automation, 2013; oral examination: 2013-06-14
bib details

J. Weidinger: Integration der Gebäudeautomation in das Internet der Dinge (Master's Thesis)
reviewers: W. Kastner, M. Jung; Rechnergestützte Automation, 2013; oral examination: 2013-05-06
bib details

C. Pfeifhofer: Silent Installs - Studying the Dark Side of the Pay-Per-Install Business (Master's Thesis)
reviewers: W. Kastner, Ch. Platzer; Rechnergestützte Automation, 2013; oral examination: 2013-11-10
bib details

P. Staroch: A Weather Ontology for Predictive Control in Smart Homes (Master's Thesis)
reviewers: W. Kastner, M. Kofler; Rechnergestützte Automation, 2013; oral examination: 2013-10-10
bib details

G. Ryba: Authorization as a service: Evaluating the platform as a service paradigm for XACML policy decision points (Master's Thesis)
reviewers: W. Kastner, M. Jung; Rechnergestützte Automation, 2013; oral examination: 2013-06-12
bib details

F. Bartl: Modelling a multi agent-system for smart homes (Master's Thesis)
reviewers: W. Kastner, C. Reinisch; Rechnergestützte Automation, 2013; oral examination: 2013-06-12
bib details

B. Miller: iHoneyClient - discovery and analysis of malware for Mac OS X (Master's Thesis)
reviewers: W. Kastner, Ch. Platzer; Rechnergestützte Automation, 2013; oral examination: 2013-06-12
bib details

F. Fischer: Automated extraction of economic information from underground marketplaces using machine learning (Master's Thesis)
reviewer: W. Kastner; Rechnergestützte Automation, 2013; oral examination: 2013-06-12
bib details

A. Novak: Location based keys: Implementation of an encryption scheme (Master's Thesis)
reviewers: W. Kastner, H. Schweinzer; Rechnergestützte Automation, 2013; oral examination: 2013-04-22
bib details

S. Riener: Information leakage detection and prevention on Android devices (Master's Thesis)
reviewers: W. Kastner, G. Wondracek; Rechnergestützte Automation, 2013; oral examination: 2013-04-22
bib details

A. Fernbach: Interoperability at the management level of building automation systems: An OPC UA information model for BACnet (Master's Thesis)
reviewer: W. Kastner; Rechnergestützte Automation, 2013; oral examination: 2013-02-20
bib details

C. Eisserer: Embedded Real-Time 3D Stereo Vision on Multicore Digital Signal Processors (Master's Thesis)
reviewer: J. Träff; Institut für Informationssysteme, Arbeitsbereich Parallel Computing, 2013; oral examination: 2013-06-07
bib details

B. Fuchs: Elaboration of a Fault-Tolerant Strategy for Space-born Digital Signal Processing Applications (Master's Thesis)
reviewer: A. Steininger; Technische Informatik, 2012
bib details

A. Ehringfeld: ITIL als Methode gegen Attacken eines Social Engineers im IT-Betrieb (PhD Thesis)
reviewers: T. Grechenig, K. Adlassnig; E183/1, 2012; oral examination: 2012-03-16
bib details

C. Stögerer: Management-Technologien in der Verkehrstelematik (PhD Thesis)
reviewers: W. Kastner, G. Emberger; Rechnergestützte Automation, 2012; oral examination: 2012-03-19
bib details

C. Reinisch: A framework for distributed intelligence for energy efficient operation of smart homes (PhD Thesis)
reviewers: W. Kastner, A. Mahdavi; Rechnergestützte Automation, 2012; oral examination: 2012-12-05
bib details

S. Szucsich: Information Model and Security Concept for Distributed Traffic Management Applications based on Wireless Systems (Master's Thesis)
reviewers: W. Kastner, L. Krammer; Rechnergestützte Automation, 2012; oral examination: 2013-01-14
bib details

A. Klien: Intrusion Detection for Power Utility Automation Networks (Master's Thesis)
reviewer: W. Kastner; Rechnergestützte Automation, 2012; oral examination: 2013-01-14
bib details

A. Dabrowski: Security Analysis of Metropolitan Locking Systems Using the Example of the City of Vienna (Master's Thesis)
reviewers: W. Kastner, G. Wondracek; Rechnergestützte Automation, 2012; oral examination: 2013-01-14
bib details

C. Mauser: Traffic control in industrial automation networks (Master's Thesis)
reviewers: W. Kastner, L. Krammer; Rechnergestützte Automation, 2012; oral examination: 2012-11-20
bib details

T. Hofer: Secure and privacy aware data exchange in a service-oriented architecture (Master's Thesis)
reviewers: W. Kastner, M. Jung; Rechnergestützte Automation, 2012; oral examination: 2012-11-20
bib details

D. Bunyai: ZigBee Network Layer Simulation on top of IEEE 802.15.4 (Master's Thesis)
reviewers: W. Kastner, L. Krammer; Rechnergestützte Automation, 2012; oral examination: 2013-01-14
bib details

F. Iglesias Vazquez: Smart Home Control Based on Behavioural Profiles (PhD Thesis)
reviewers: W. Kastner, D. Dietrich; E384, 2012; oral examination: 2012-12-17
bib details

M. Brunner: Didaktische Entwürfe für den Kompetenzbereich Industrielle Informationstechnik (Master's Thesis)
reviewer: M. Di Angelo; 183.1, 2012; oral examination: 2012-03-22
bib details

U. Dikme: Web 2.0 als digitale Präservierungsmethode gegen linguistische Extinktion (Master's Thesis)
reviewer: M. Di Angelo; 183.1, 2011
bib details

M. Adler: Virtualisierung in Bildungseinrichtungen (Master's Thesis)
reviewer: M. Di Angelo; 183.1, 2009
bib details

J. Yang: Informations- und Kommunikationstechnologie an Chinas Schulen (Master's Thesis)
reviewer: M. Di Angelo; 183.1, 2009
bib details

D. Gruber: Bildungsziele - Ein geschichtlicher Abriss und die Rolle der Informatik und ihrer Vorläufer (Master's Thesis)
reviewer: M. Di Angelo; 183.1, 2009
bib details

E. Pezerovic: Erstellung von E-Learning Einheiten zur Implementierung OGC-konformer Web Clients (Master's Thesis)
reviewer: M. Di Angelo; 183.1, 2009
bib details

R. Zach: Quick-Stick Der komplette PC am USB-Stick (Master's Thesis)
reviewer: M. Di Angelo; 183.1, 2009
bib details

G. Kurz: Unterrichtsveränderungen in Notebookklassen (Master's Thesis)
reviewer: M. Di Angelo; 183.1, 2009
bib details

P. Schmidt: Einsatz von Lego Mindstorms im Unterricht der HTL für Informationstechnologie (Master's Thesis)
reviewer: M. Di Angelo; 183.1, 2009
bib details

A. Mujcinovic: Programmierumgebungen für den Informatikunterricht (Master's Thesis)
reviewer: M. Di Angelo; 183.1, 2009
bib details

D. Nikoll: Didaktische Überlegungen und Entwürfe zum IT-Einsatz im Rechnungswesenunterricht an einer Handelsakademie (Master's Thesis)
reviewer: M. Di Angelo; 183.1, 2009
bib details

L. Kopf: Didaktische Entwürfe für Programmieranfänger im interdisziplinären Informatik-Unterricht (Master's Thesis)
reviewer: M. Di Angelo; 183.1, 2009
bib details

F. Kögler: Informatikunterricht an der AHS mit LEGO® MINDSTORMS NXT (Master's Thesis)
reviewer: M. Di Angelo; 183.1, 2009
bib details

P. Lang: Evaluierung von Google Apps Education für den Einsatz in Bildungseinrichtungen (Master's Thesis)
reviewer: M. Di Angelo; 183.1, 2009
bib details

M. Rybnicek: A Roberta®-based adventure supported by LEGO® MINDSTORMS NXT robots (Master's Thesis)
reviewer: M. Di Angelo; 183.1, 2010
bib details

S. Lajic: Edutainment-Software und Sprachförderung (Master's Thesis)
reviewer: M. Di Angelo; 183.1, 2010
bib details

A. Hofleitner: Unternehmensinterne Weiterbildung und Wissensarbeit mit Unterstützung von moodle (Master's Thesis)
reviewer: M. Di Angelo; 183.1, 2010
bib details

M. Eisenbarth: Audio und Video im Bildungswesen (Master's Thesis)
reviewer: M. Di Angelo; 183.1, 2010
bib details

R. Planinc: Didaktische Aufbereitung bekannter Video-Kompressionsverfahren (Master's Thesis)
reviewer: M. Di Angelo; 183.1, 2010
bib details

B. Zimmermann: Vermittlung von Informations- Sicherheit mittels E-Learning (Master's Thesis)
reviewer: M. Di Angelo; 183.1, 2010
bib details

M. Riszt: Webkonferenzsysteme als e-classroom - Evaluierung, Implementierung und Lehrszenario (Master's Thesis)
reviewer: M. Di Angelo; 183.1, 2010
bib details

M. Unger: Didaktisches Konzept zum Gegenstand "angewandte Datentechnik" an einer HTL (Master's Thesis)
reviewer: M. Di Angelo; 183.1, 2010
bib details

S. Baumgartner: Mobile Learning - eine kritische Betrachtung des State of the Art am Beispiel der Mobile Learning Engine (Master's Thesis)
reviewer: M. Di Angelo; 183.1, 2010
bib details

B. Löwenstein: Vermittlung objektorientierter Konzepte mittels LEGO Mindstorms (Master's Thesis)
reviewer: M. Di Angelo; 183.1, 2010
bib details

P. Smejkal: Informatik an Österreichs Schulen in der Sekundarstufe I (Master's Thesis)
reviewer: M. Di Angelo; 183.1, 2010
bib details

C. Markowitschka: Lua - Skriptsprache für "World of Warcraft" Addons (Master's Thesis)
reviewer: M. Di Angelo; 183.1, 2010
bib details

M. Pehn: Strategieentscheid-Workshop zur Systemlandschaftsänderung (Master's Thesis)
reviewer: M. Di Angelo; 183.1, 2010
bib details

M. Arzberger: Lernprozesse zur Aufklärung und Bewusstseinsbildung bezüglich Energieverbrauch (Master's Thesis)
reviewer: M. Di Angelo; 183.1, 2010
bib details

K. Berger: Begabtenförderung mit Lego Mindstorms (Master's Thesis)
reviewer: M. Di Angelo; 183.1, 2010
bib details

E. Wetzinger: Unterrichtskonzept "Digitales Bild: Bildkompression, Dateiformate und Anwendungen" (Master's Thesis)
reviewer: M. Di Angelo; 183.1, 2011
bib details

A. Suljagic: E-Learning in der Lehrlings- Aus- und Weiterbildung (Master's Thesis)
reviewer: M. Di Angelo; 183.1, 2011
bib details

R. Ansari: Netzwerk-Simulations-Tools für den Einsatz im Unterricht (Master's Thesis)
reviewer: M. Di Angelo; 183.1, 2011
bib details

Z. Pourkalbasi: Lernplattformen für Persisch (Master's Thesis)
reviewer: M. Di Angelo; 183.1, 2011
bib details

I. Kail: Game Based Learning (Master's Thesis)
reviewer: M. Di Angelo; 183.1, 2011
bib details

F. Sohrabi-Moayd: Publishing in der Schule (Master's Thesis)
reviewer: M. Di Angelo; 183.1, 2011
bib details

A. Wagner: Ressourcen zur Unterstützung beim Erlernen von "Unity" zur Entwicklung von 3D-Anwendungen (Master's Thesis)
reviewer: M. Di Angelo; 183.1, 2011
bib details

B. Fritsch: Microsoft Kinect als 3D Tiefenkamera (Master's Thesis)
reviewer: M. Di Angelo; 183.1, 2011
bib details

S. Bachl: Effects of personal displays and transfer techniques on collaboration in multi-touch based multi-display environments (Master's Thesis)
reviewer: T. Grechenig; 183/1, 2011
bib details

C. Kolbitsch: Behavior Based Malware Analysis and Detection (PhD Thesis)
reviewers: Ch. Krügel, E. Kirda; Rechnergestützte Automation, 2011
bib details

M. Egele: Protecting Web Clients from Internet Threats (PhD Thesis)
reviewers: Ch. Krügel, E. Kirda; Rechnergestützte Automation, 2011
bib details

P. Loschmidt: On Enhanced Clock Synchronization Performance Through Dedicated Ethernet Hardware Support (PhD Thesis)
reviewers: W. Kastner, F. Vasques; Rechnergestützte Automation, 2011
bib details

V. Drienovský: On redirection patterns in spam (Master's Thesis)
reviewers: W. Kastner, G. Wondracek; Rechnergestützte Automation, 2011
bib details

M. Kammerstetter: Real-time encrypted speech communication over low bandwidth channels (Master's Thesis)
reviewers: W. Kastner, Ch. Platzer; Rechnergestützte Automation, 2011
bib details

B. Stemer: A model for synchronized distributed test and measurement (Master's Thesis)
reviewer: W. Kastner; Rechnergestützte Automation, 2011
bib details

N. Wageneder: Online configurator for variable message signs (Master's Thesis)
reviewer: W. Kastner; Rechnergestützte Automation, 2011
bib details

T. Abinger: Ansätze für selbstlernendes Systemverhalten in der Heimautomation (Master's Thesis)
reviewer: W. Kastner; Rechnergestützte Automation, 2011
bib details

M. Grössing: Task scheduling in time triggered real time systems (Master's Thesis)
reviewer: W. Kastner; Rechnergestützte Automation, 2011
bib details

M. Steffan: Functional Safety in KNX (Master's Thesis)
reviewer: W. Kastner; Rechnergestützte Automation, 2011
bib details

R. Raschbauer: Methoden zur Positionsbestimmung für autonome Fahrzeuge (Master's Thesis)
reviewers: W. Kastner, L. Krammer; Rechnergestützte Automation, 2011
bib details

F. Schuster: Transmitting video data over narrow bandwidth control networks (Master's Thesis)
reviewers: W. Kastner, W. Granzer; Rechnergestützte Automation, 2011
bib details

M. Rupprechter: IP-based Protocols for Fire Alarm Systems (Master's Thesis)
reviewers: W. Kastner, W. Granzer; Rechnergestützte Automation, 2011
bib details

M. Volcic: Sicherheitskritische Modelleisenbahnsteuerung in Ada (Master's Thesis)
reviewer: J. Blieberger; 183, 2011
bib details

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

T. Nowak: Topology in Distributed Computing (Master's Thesis)
reviewer: U. Schmid; Institut für Technische Informatik - 182/2, 2010
bib details pdf

A. Dielacher: A Pipelined Distributed Fault-Tolerant Clock Generation Algorithm in VLSI - Proofs and Implementation (Master's Thesis)
reviewers: U. Schmid, M Függer; Institut für Technische Informatik - 182/2, 2010
bib details pdf

M Függer: Analysis of On-Chip Fault-Tolerant Distributed Algorithms (PhD Thesis)
reviewers: U. Schmid, L. Welch; Institut für Technische Informatik - 182/2, 2010
bib details pdf

H. Fallmann: Covertly probing underground economy marketplaces (Master's Thesis)
reviewers: W. Kastner, G. Wondracek; Rechnergestützte Automation, Automatisierungssysteme, 2010; oral examination: 2010-05-05
bib details

L. Krammer: Motion Planning for Car-like Robots (Master's Thesis)
reviewers: W. Kastner, W. Granzer; Institut für Rechnergestützte Automation, Automatisierungssysteme, 2010
bib details

W. Granzer: Secure Communication in Home and Building Automation Systems (PhD Thesis)
reviewers: W. Kastner, G. Cena; Institut für Rechnergestützte Automation, Automatisierungssysteme, 2010; oral examination: 2010-03-11
bib details

S. Khattab: Efficient Interference Reduction in Low Complex Digital Direct Sequence Spread Spectrum Systems (PhD Thesis)
reviewers: A. Goiser, U. Schmid; E389, 2010; oral examination: 2010-06-02
bib details

M. Biely: Dynamic Aspects of Modelling Distributed Computations (PhD Thesis)
reviewers: U. Schmid, B. Charron-Bost; Institut für Technische Informatik, 2009; oral examination: 2009-11-30
bib details pdf

P Tummeltshammer: Analysis of Common Cause Faults in Dual Core Architectures (PhD Thesis)
reviewers: A. Steininger, Z. Kotasek; Institut für Technische Informatik, 2009; oral examination: 2009-10-20
bib details pdf

H. Moser: A Model for Distributed Computing in Real-Time Systems (PhD Thesis)
reviewers: U. Schmid, L. Welch; Institut für Technische Informatik, 2009; oral examination: 2009-05-20
bib details pdf

G. Wielander: X-by-Wire (Master's Thesis)
reviewer: G. Schildt; 183/1, 2008
bib details

M. Paier: Konzept zur automatisierten Sensorüberwachung von Wohnungen im Passivhausstil (Master's Thesis)
reviewer: G. Schildt; 183/1, 2008
bib details

C. Nagl: Didaktische Aspekte beim Pilotentraining mittels Flugsimulations-Software aus der Unterhaltungsindustrie (Master's Thesis)
reviewer: G. Schildt; 183/1, 2008
bib details

E. Hirsch: Quantum cryptography applied for safety relevant systems (Master's Thesis)
reviewer: G. Schildt; 183/1, 2008
bib details

G. Fuchs: Fault-Tolerant Distributed Algorithms for On-Chip Tick Generation: Concepts, Implementations and Evaluations (PhD Thesis)
reviewers: A. Steininger, C. Metra; Institut für Technische Informatik, 2009; oral examination: 2009-10-20
bib details pdf

Å. Realfsen: Developing an IT management system compliance assessment model for didactical learning (Master's Thesis)
reviewers: T. Grechenig, A. Ehringfeld; 183/1, 2009
bib details

G. Kienesberger: Detecting Busy Waiting by Means of Static Control Flow Analysis (Master's Thesis)
reviewer: J. Blieberger; 183/1, 2009
bib details pdf

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

B. Malinowsky: Building Information Models in Building Automation Systems (Master's Thesis)
reviewer: W. Kastner; Rechnergestützte Automation, 2009; oral examination: 2009-12-21
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

D. Lechner: Securing backbones for embedded home and building automation networks (Master's Thesis)
reviewers: W. Kastner, W. Granzer; Rechnergestützte Automation, 2009; oral examination: 2009-07-22
bib details

M. Neugschwandtner: dAnubis - dynamic device driver analysis based on virtual machine introspection (Master's Thesis)
reviewers: W. Kastner, E. Kirda, Ch. Krügel, Ch. Platzer; E183-1, Seclab Group, 2009; oral examination: 2009-10-21
bib details

Stefan Mitterhofer: Server-side bot detection for massively multiplayer online games (Master's Thesis)
reviewers: E. Kirda, Ch. Krügel, Ch. Platzer; E183-1, 2009; oral examination: 2009-07-28
bib details

T. Polzer: Fault-Tolerant Hardware Implementation of a Consensus Algorithm (Master's Thesis)
reviewers: A. Steininger, T. Handl; 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

C. Ludl: SWAP (Master's Thesis)
reviewers: E. Kirda, Ch. Krügel; Institut für Informationssysteme, AB Verteilte Systeme u. E183, 2008
bib details

N. Jovanovic: Web Application Security (PhD Thesis)
reviewers: Ch. Krügel, E. Kirda; Institut für Rechnergestützte Automation und Institut für Informationssysteme AB Verteilte Systeme, 2007; oral examination: 2007-10-09
bib details

R. Müller: Ontologies in Automation (Master's Thesis)
reviewer: W. Kastner; Rechnergestützte Automation, 2008; oral examination: 2008-01-22
bib details

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

R. Simon: Mobilizing the Geospatial Web - a framework and conceptual model for spatially aware mobile web applications (PhD Thesis)
reviewers: T. Grechenig, D. Merkl; 183/1, 2008
bib details

C. Kainz: Anwendbarkeit von ITIL Incident Management im Bereich von IT-Betrieben des Banksektors (Master's Thesis)
reviewers: T. Grechenig, A. Ehringfeld; 183/1, 2008
bib details

P. Schindler: Analyse der Schnittstellenproblematik in Banken-IT-Strukturen anhand des Fallbeispiels INPAR (Master's Thesis)
reviewers: T. Grechenig, A. Ehringfeld; 183/1, 2008
bib details

Y. Hren: Identifikation und Analyse sicherheitsrelevanter Kriterien für Mobile Contactless Payment-Systeme zur Förderung der Akzeptanz beim Endanwender (Master's Thesis)
reviewers: T. Grechenig, A. Ehringfeld; 183/1, 2008
bib details

D. Lederer: Untersuchung über die Anwendbarkeit einer EPK-Referenzmodellierung am prototypischen Beispiel der Kreditprozesse einer Universalbank (Master's Thesis)
reviewers: T. Grechenig, A. Ehringfeld; 183/1, 2008
bib details

M. Opitz: Stickware - Portable Applikationen (Fachdidaktische Betrachtungen zum Einsatz von Stickware in der Lehre und Weiterbildung) (Master's Thesis)
reviewer: M. Di Angelo; 183, 2008; oral examination: 2008-01-01
bib details

A. Prein: Didaktische Entwürfe zum Pflichtgegenstand "Angewandte Programmierung" des ersten Jahrganges einer HTL für Informationstechnologie (Master's Thesis)
reviewer: M. Di Angelo; 183, 2008; oral examination: 2008-01-01
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

H. Muhr: Concepts for Virtual Prototyping of Distributed Embedded Systems (PhD Thesis)
reviewers: D. Dietrich, A. Steininger; Institut für Computertechnik, 2008; oral examination: 2008-12-22
bib details

E. Armengaud: A Transparent Online Test Approach for Time-Triggered Communication Protocols (PhD Thesis)
reviewers: A. Steininger, F. Simonot-Lion; Institut für technische Informatik, 2008
bib details

J. Lechner: FSL Tool (Master's Thesis)
reviewer: M. Delvai; Institut f. Technische Informatik, Embedded Computing Systems Group, 2008
bib details

W. Klein: Asynchronous EUART (Master's Thesis)
reviewer: M. Delvai; Institut f. technische Informatik, Embedded Computing Systems Group, 2008
bib details

J. Mosser: AMBA4SPEAR2: An AMBA Extension Module for the SPEAR2 Processor Core (Master's Thesis)
reviewer: M. Delvai; Institut f. Technische Informatik, Embedded Computing Systems Group, 2008
bib details pdf

M. Fletzer: SPEAR2 - An Improved Version of SPEAR (Master's Thesis)
reviewer: M. Delvai; Institut f. Technische Informatik, Embedded Computing Systems Group, 2008
bib details pdf

T. Költringer: Design und Evaluierung von Texteingabesystemen (PhD Thesis)
reviewers: T. Grechenig, S. Dustdar; Institut für Rechnergestützte Automation und Institut für Informationssysteme AB Verteilte Systeme, 2007
bib details

H. Brandstetter: Heimautomationssysteme: Theorie und Praxis (Master's Thesis)
reviewer: W. Kastner; Rechnergestützte Automation, 2008
bib details

T. Flanitzer: Security mechanisms for low-end embedded systems A Proof-of-Concept for Home and Building Automation (Master's Thesis)
reviewer: W. Kastner; Rechnergestützte Automation, 2008
bib details

W. Köhler: Simulation of a KNX network with EIBsec protocol extensions (Master's Thesis)
reviewer: W. Kastner; Rechnergestützte Automation, 2008
bib details

M. Jeitler: Optimization of FSL Gates (Master's Thesis)
reviewer: M. Delvai; Institut für Technische Informatik, 2008
bib details

A. Stamminger: Automated spyware collection and analysis (Master's Thesis)
reviewers: E. Kirda, Ch. Krügel; Institut für Informationssysteme, AB Verteilte Systeme u. 183-1, 2007
bib details

H. Petritsch: Understanding and Replaying Network Traffic in Windows XP for Dynamic Malware Analysis (Master's Thesis)
reviewers: Ch. Krügel, E. Kirda; Institut für Rechnergestützte Automation AG Automatisierungssysteme u. 184-1, 2007
bib details

F. Nentwich: Sicherheitsanalyse von Signatursoftware (Master's Thesis)
reviewers: Ch. Krügel, E. Kirda; Institut für Rechnergestützte Automation AG Automatisierungssysteme u. 184-1, 2007
bib details

G. Bayler: Penetrating Bayesian Spam Filters Using Redundancy in Natural Language (Master's Thesis)
reviewers: W. Kastner, Ch. Krügel, E. Kirda; Institut für Rechnergestützte Automation AG Automatisierungssysteme u. 184-1, 2007
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

D. Brachmair: Texteingabe mit Gamecontrollern: TET4GC - ein Toolkit zur Durchführung von Texteingabeexperimenten (Master's Thesis)
reviewers: T. Grechenig, T. Költringer; 183/1, 2007
bib details

J. Ortmann: Konzeption, Implementierung und Evaluierung eines Web-Tools zur Unterstützung von verteilten heuristischen Evaluierungen (Master's Thesis)
reviewers: T. Grechenig, T. Költringer; 183/1, 2007
bib details

G. Berger: Sociable Reading. Eine empirische Evaluierung einer Software zur Leseförderung im Fremdsprachenunterricht durch digitale Annotationen (Master's Thesis)
reviewers: T. Grechenig, T. Költringer; 183/1, 2007
bib details

D. Pinter: Phishing und die Kunst der Täuschung: Eine empirische Untersuchung zum Thema Authentizität von Internetseiten (Master's Thesis)
reviewers: T. Grechenig, T. Költringer; 183/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

W. Hold: Anwendung, Marktwert und Technik von Smart Homes, sowie eine Analyse von Wireless Systemen (Master's Thesis)
reviewer: W. Kastner; Rechnergestützte Automation, 2007; oral examination: 2007-11-20
bib details

C. Reinisch: Wireless Communication in Home and Building Automation (Master's Thesis)
reviewers: W. Kastner, G. Neugschwandtner; Rechnergestützte Automation, 2007; oral examination: 2007-03-13
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

M. Ngo Van: Evaluierung von Texteingabemethoden für Game Controller: ABC vs. Multi-Tap Selection Keyboard (Master's Thesis)
reviewers: T. Grechenig, T. Költringer; 183/1, 2006
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

Ch. Krügel: Malicious Code Analysis
TU Wien / Fakultät für Informatik, 2006
bib details

S. Kals: SecuBat: A Web Vulnerability Scanner (Master's Thesis)
reviewers: Ch. Krügel, S. Dustdar, E. Kirda; 183/1, 2006
bib details

Ph. Vogt: Cross-Site Scripting (XSS) Attack Prevention with Dynamic Data Tainting on the Client Side (Master's Thesis)
reviewer: Ch. Krügel; 183/1, 2006
bib details

J. Lukasser: Regelungstechnik mit Mathematica (Master's Thesis)
reviewer: W. Kastner; 183/1, 2006
bib details

B. Erb: Safety related mechanisms in networked building automation systems (Master's Thesis)
reviewers: W. Kastner, G. Neugschwandtner; 183/1, 2006
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. Egele: Behavior-Based Spyware Detection Using Dynamic Taint Analysis (Master's Thesis)
reviewers: S. Dustdar, E. Kirda, Ch. Krügel; Institut für Informationssysteme, AB Verteilte Systeme, 2006; oral examination: 2006-10-03
bib details

R. Gallo: Revision and Verification of an Enhanced UART (Master's Thesis)
reviewers: M. Delvai, A. Steininger; Technische Informatik, E182/2, 2005; oral examination: 2005-01-01
bib details

M. Ferringer: An Asynchronous Hardware Design for Distributed Tick Generation (Master's Thesis)
reviewer: A. Steininger; Technische Informatik, E182/2, 2006; oral examination: 2006-01-01
bib details

M Függer: Fault-Tolerant Distributed Clock Generation in VLSI Systems-on-Chip (Master's Thesis)
reviewer: U. Schmid; Technische Informatik, E182/2, 2006; oral examination: 2006-01-01
bib details

H. Stratil: Advantages and Limitations of Position-based Communication in Wireless Ad-hoc Networks (PhD Thesis)
reviewer: U. Schmid; Technische Informatik, E182/2, 2005; oral examination: 2005-01-01
bib details

M. Hutle: Failure Detection in Sparse Networks (PhD Thesis)
reviewer: U. Schmid; Technische Informatik, E182/2, 2005; oral examination: 2005-01-01
bib details

B. Rahbaran: An Experimental Comparison of Robustness between Synchronous and Asynchronous Logic Design (PhD Thesis)
reviewer: A. Steininger; Technische Informatik, E182/2, 2005; oral examination: 2005-01-01
bib details

W. Huber: Design of an Asynchronous Processor Based on Code Alternation Logic - Exploration of Delay Insensitivity (PhD Thesis)
reviewer: A. Steininger; Technische Informatik, E182/2, 2005; oral examination: 2005-01-01
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

M. Oswald: EGSE Palmtop für SCOS-2000 (Master's Thesis)
reviewer: G. Schildt; 183/1, 2005
bib details

Ch. Brandstätter: Optimierung von Kraftfahrzeugen durch Analyse des Beschleunigungsverhaltens (Master's Thesis)
reviewer: G. Schildt; 183/1, 2005
bib details

F. Eckkrammer: Erhebung und Analyse von Requirements für Haustechniksysteme unter Berücksichtigung der Bedürfnisse verschiedener Stakeholder (Master's Thesis)
reviewers: T. Grechenig, T. Költringer; 183/1, 2005
bib details

K. Tolar: rzeugung von graphischen Benutzerschnittstellen für mobile Geräte mit Optimierungsmethoden (Master's Thesis)
reviewers: T. Grechenig, T. Költringer; 183/1, 2005
bib details

M. Klinger: Vergleich von Usability Engineering Methoden (Master's Thesis)
reviewers: T. Grechenig, T. Költringer; 183/1, 2005
bib details

St. Wright: ergleich der Benutzbarkeit von Internet Banking Portalen an Hand einer heuristischen Evaluierung (Master's Thesis)
reviewers: T. Grechenig, T. Költringer; 183/1, 2005
bib details

F. Karlsberger: Aspekte und Kriterien für benutzbare Systeme im eVoting (Master's Thesis)
reviewers: T. Grechenig, T. Költringer; 183/1, 2005
bib details

W. Breitfuss: AFFEKTIV UND EMOTIONAL USER INTERFACE DESIGN (Master's Thesis)
reviewers: T. Grechenig, T. Költringer; 183/1, 2005
bib details

J. Baumgartner: Evaluierung von Chancen und Risiken für e-Health Applikationen in Österreich aus der Sicht des Bürgers (Master's Thesis)
reviewers: T. Grechenig, T. Költringer; 183/1, 2005
bib details

F. Stammer: Evaluierung der Benutzbarkeit von E-Mail Programmen unter der speziellen Betrachtung von Benutzertypen (Master's Thesis)
reviewers: T. Grechenig, T. Költringer; 183/1, 2005
bib details

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

P. Klinkoff: Extending .NET Security to Native Code (Master's Thesis)
reviewer: Ch. Krügel; 183/1, 2005
bib details

F. Praus: A Versatile Networked Embedded Platform for KNX/EIB (Master's Thesis)
reviewer: G. Neugschwandtner; 183/1, 2005
bib details

W. Granzer: Security in Networked Building Automation Systems (Master's Thesis)
reviewer: G. Neugschwandtner; 183/1, 2005
bib details

M. Kögler: Free Development Environment for Bus Coupling Units of the European Installation Bus (Master's Thesis)
reviewer: G. Neugschwandtner; 183/1, 2005
bib details

C. Stögerer: Control and Visualization Software for Dynamic Route Information Panels (DRIPs) (Master's Thesis)
reviewer: W. Kastner; 183/1, 2005
bib details

H. Kulovits: Control and Visualization Software for Dynamic Route Information Panels (DRIPs) (Master's Thesis)
reviewer: W. Kastner; 183/1, 2005
bib details

W. Tumfart: EIB und Computer Aided Facility Management: Entwurf einer Anbindung am Beispiel von SAP R/3 (Master's Thesis)
reviewer: W. Kastner; 183/1, 2005
bib details

U. Bayer: TTAnalyze - A Tool for Analyzing Malware (Master's Thesis)
reviewer: Ch. Krügel; 183, 2005
bib details

R. Mittermayr: Statische Analyse von Multi-Threading Java-Programmen (Master's Thesis)
reviewer: J. Blieberger; 183/1, 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

B. Burgstaller: Symbolic Evaluation of Imperative Programming Languages (PhD Thesis)
reviewers: J. Blieberger, B. Gramlich; 183, 2005
bib details

H. Moser: Distributed Construction of a Fault-Tolerant Wireless Communication Topology for Networked Embedded Systems (Master's Thesis)
reviewer: U. Schmid; Institut für Technische Informatik / Embedded Computing Systems, 2005
bib details pdf

P Tummeltshammer: Multiple Constant Multiplication by Time-Multiplexed Mapping of Addition Chains (Master's Thesis)
reviewer: A. Steininger; Institut für Technische Informatik / Embedded Computing Systems, 2004
bib details pdf

T. Handl: Implementierung eines FPGA-basierten Hardware-Fehlerinjektors (Master's Thesis)
reviewer: A. Steininger; Institut für Technische Informatik / Embedded Computing Systems, 2004
bib details pdf

G. Fuchs: A Superscalar 16 Bit Microcontroller for Real-Time Applications (Master's Thesis)
reviewers: A. Steininger, M. Delvai; Institut für Technische Informatik / Embedded Computing Systems, 2004
bib details pdf

D. Albeseder: Experimentelle Verifikation von Synchronitätsannahmen für Computernetzwerke (Master's Thesis)
reviewer: U. Schmid; Institut für Technische Informatik / Embedded Computing Systems, 2004
bib details pdf

M. Delvai: Design of an Asynchronous Processor Based on Code Alternation Logic - Treatment of Non-Linear Data Paths (PhD Thesis)
reviewers: A. Steininger, R. Eier; Institut für Technische Informatik / Embedded Computing Systems, 2005
bib details pdf

J. Widder: Distributed Computing in the Presence of Bounded Asynchrony (PhD Thesis)
reviewers: U. Schmid, M. Jazayeri; Institut für Technische Informatik / Embedded Computing Systems, 2004
bib details pdf

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

C. Krügel: Network Alertness -- Towards an adaptive, collaborating Intrusion Detectcion (PhD Thesis)
reviewers: M. Jazayeri, W. Kastner; 184, 2002
bib details

S. Soucek: Control Data over IP -- A Tunneling Approach using EIA-709.1 (PhD Thesis)
reviewers: D. Dietrich, W. Kastner; 384, 2002
bib details

P. Skiczuk: Network Protocol Architecture for Home Access Points (PhD Thesis)
reviewers: D. Dietrich, W. Kastner; 384, 2002
bib details

R. Prodan: Experiment Management, Performance Optimisation, and Tool Integration in Grid Computing (PhD Thesis)
reviewers: T. Fahringer, J. Blieberger; Institut für Informatik, Leopold-Franzens Universität Innsbruck, 2004
bib details

R. Dibiasi: Ein Testtool für die Laborübung "Einführung in die Automation" (Master's Thesis)
reviewer: W. Kastner; 183, 2004
bib details

F. Kastner-Masilko: Entwurf und Implementierung eines Interpreter-Plug-Ins für die Electronic Device Description Language (Master's Thesis)
reviewer: W. Kastner; 183, 2004
bib details

G. Neugschwandtner: Integration of EIB within OSGi Environments (Master's Thesis)
reviewer: W. Kastner; 183, 2004
bib details

W. Allgäuer: Design und Implementierung CT-01 Applikation (Master's Thesis)
reviewer: W. Kastner; 183, 2004
bib details

L. Takacs: Topologie elektrischer Netze für Netzleitsysteme in Stromversorgungsunternehmen (Master's Thesis)
reviewer: W. Kastner; 183, 2004
bib details

Ch. Wallner: Neural Networks in the Rock Mechanics Field (Master's Thesis)
reviewer: W. Kastner; 183, 2004
bib details

A. Ehringfeld: Durchführbarkeit und Nutzen von IT-Sicherheitsanalysen nach IT-Grundschutz in KMUs (Master's Thesis)
reviewers: T. Grechenig, C. Brem; 183, 2004
bib details

C. Walter: Aktienkursprognose mit Methoden des Self Organising Data Mining (Master's Thesis)
reviewer: D. Merkl; 183, 2003
bib details

M. Pibernig: Usabilitystudie für ein Suchmaschineninterface (Master's Thesis)
reviewer: D. Merkl; 183, 2003
bib details

H. Brunner: Evaluierung von Textklassifikationsverfahren für die Anwendung als Email-Filter (Master's Thesis)
reviewer: D. Merkl; 183, 2003
bib details

R. Almasy: E-Learning, Lernplattformen, Lernportale - Konzepte, Vergleiche (Master's Thesis)
reviewer: D. Merkl; 183, 2003
bib details

H. Berger: Activation on the Move: Adaptive Information Retrieval via Spreading Activation (PhD Thesis)
reviewer: D. Merkl; 183, 2003
bib details

M. Dittenbach: Mining Semantics from Text: A Connectionist Approach to Ontology Enhancement for a Tourism Information System (PhD Thesis)
reviewer: D. Merkl; 183, 2003
bib details

J. Butz: Lernende E-Mail-Filter (Master's Thesis)
reviewer: D. Merkl; 183, 2003
bib details

A. Aigner: e-commerce: Digitale Zahlungssysteme im Vergleich (Master's Thesis)
reviewer: D. Merkl; 183, 2003
bib details

C. Reichel: Home Automation Systems based on Powerline Communication (Master's Thesis)
reviewer: W. Kastner; 183, 2003
bib details

H. Scheichelbauer: UPnP Connectivity for Home and Building Automation: A Case Study for EIB (Master's Thesis)
reviewer: W. Kastner; 183, 2003
bib details

O. Alt: Entwicklung eines Softwaresystems zur Planung und Inbetriebnahme von Gebäudeautomationssystemen (Master's Thesis)
reviewer: W. Kastner; 183, 2003
bib details

T. Toth: Improving Intrusion Detection Systems (PhD Thesis)
reviewers: M. Jazayeri, W. Kastner; Institut fuer Informationssysteme, 2003
bib details pdf

T. Pedram: Asynchrone Realisierung einer Arithmetic Logic Unit (Master's Thesis)
reviewers: M. Delvai, A. Steininger; Institut für Technische Informatik, 2003
bib details

M. Eggenhofer: Entwicklung eines USB fullspeed VHDL-Cores (Master's Thesis)
reviewers: J. Vilanek, A. Steininger; Institut für Technische Informatik, 2003
bib details

C. El Salloum: Realisierung eines generischen Online Debuggers für Embedded Systems (Master's Thesis)
reviewers: M. Delvai, A. Steininger; Institut für Technische Informatik, 2003
bib details

M. Jankela: Realization of a Re-Usable Offline Debugger for the SPEAR Micro-Controller (Master's Thesis)
reviewers: A. Steininger, M. Delvai; Institut für Technische Informatik, 2002
bib details

K. Schossmaier: Interval-based Clock State and Rate Synchronization (PhD Thesis)
reviewer: U. Schmid; Institut für Automation, 1998
bib details

S. Stöckler: Event-Based Monitoring of Distributed Real-Time Systems (PhD Thesis)
reviewers: U. Schmid, G. Schildt; Institut für Automation, 1994
bib details

C. Wirth: Entwicklung und Aufbau einer Netzinfrastruktur für ein Haushaltssteuernetzwerk (Master's Thesis)
reviewers: W. Kastner, G. Schildt; Institut für Rechnergestützte Automation, 1999
bib details

C. Reinprecht: HomeNetControl v2.0 (Master's Thesis)
reviewers: A. Redlein, G. Schildt; Institut für Rechnergestützte Automation, 1999
bib details

M. Leupold: JINI Conectivity of a LON-based Automation System (Master's Thesis)
reviewers: W. Kastner, G. Schildt; Institut für Rechnergestützte Automation, 2000
bib details

C. Csebits: Fernwartung und Visualisierung eines Profibus-DP Systems unter Linux (Master's Thesis)
reviewers: W. Kastner, G. Schildt; Institut für Rechnergestützte Automation, 1999
bib details

H. Wehofer: Service-Center für Feldbussysteme (Master's Thesis)
reviewers: W. Kastner, G. Schildt; Institut für Rechnergestützte Automation, 2000
bib details

A. Redlein: Erfolgsfaktoren für den Einsatz von CAD im Architektursektor (PhD Thesis)
reviewer: G. Schildt; Institut für Automation, 1997
bib details

G. Leeb: Configuration Management in Home Systems (PhD Thesis)
reviewer: G. Schildt; Institut für Automation, 1998
bib details

M. Ochensthaler: Die multifunktionelle Softwareplattform als Integrationsbasis verteilter HomeNet-Applikationen (PhD Thesis)
reviewer: G. Schildt; Institut für Automation, 1998
bib details

Z. Pato: IMQS - Wertanalyse an praktischen Beispielen (Master's Thesis)
reviewers: A. Redlein, G. Schildt; Institut für Automation, 1996
bib details

A. Winter: Aspekte der Implementierung von Echtzeitsystem-Software auf Mikrocontroller (Master's Thesis)
reviewers: H. Haberstroh, G. Schildt; Institut für Automation, 1993
bib details

R. Zeitlberger: GOLD MINE - Implementierung einer objektorientierten Spezifikationssprache für Event-basiertes Monitoring (Master's Thesis)
reviewers: S. Stöckler, G. Schildt; Institut für Automation, 1993
bib details

H. Zainzinger: Methoden zur Neuro-Fuzzy-Geräuschanalyse an KFZ-Motoren (Master's Thesis)
reviewer: G. Schildt; Institut für Automation, 1997
bib details

S. Stöckler: Rechnergestützte Ermittlung der Antwortfunktion einschleifiger Regelkreise (Master's Thesis)
reviewer: G. Schildt; Institut für Technische Informatik, 1988
bib details

B. Thallner: Ein Linuxtreiber für den Europäischen Installationsbus EIB (Master's Thesis)
reviewers: W. Kastner, G. Schildt; Institut für Rechnergestützte Automation, 2001
bib details

M. Wabel: Spontane Vernetzung von EIB-Systemen (Master's Thesis)
reviewers: W. Kastner, G. Schildt; Institut für Rechnergestützte Automation, 2001
bib details

G. Richter: Device Driver for Real-Time Communication Coprocessor (Master's Thesis)
reviewer: U. Schmid; Institut für Automation, 1997
bib details

E. Rupp: Testrechnersysteme und Testtools zur Validation sicherheitsrelevanter Software (Master's Thesis)
reviewer: G. Schildt; Institut für Technische Informatik, 1989
bib details

H. Scalet: Dreifachvoting in modularen Computersystemen (Master's Thesis)
reviewer: G. Schildt; Institut für Technische Informatik, 1991
bib details

C. Schalhas: Entwicklung eines Hochspracheninterpreters zur Steuerung automatisierter Prozesse (Master's Thesis)
reviewer: G. Schildt; Institut für Automation, 1997
bib details

K. Schossmaier: Spezifikation von diskreten technischen Prozessen zur Echtzeitsimulation (Master's Thesis)
reviewers: S. Stöckler, G. Schildt; Institut für Automation, 1991
bib details

M. Sifel: Graphische Simulation eines flexiblen Fertigungssystems (Master's Thesis)
reviewer: G. Schildt; Institut für Automation, 1996
bib details

S. Spieß: An Error Model of a Laser Tracking System (Master's Thesis)
reviewer: G. Schildt; Institut für Automation, 1994
bib details

G. Stehlik: Offline Simulation for ATM-Switch with Distributed Logic (Master's Thesis)
reviewer: G. Schildt; Institut für Automation, 1997
bib details

A. Pircher: Entwurf zur Automatisierung der Lagerbewirtschaftung von Wertpapierdruckereien (Master's Thesis)
reviewers: J. Blieberger, U. Janner, G. Schildt; Institut für Automation, 1994
bib details

G. Pongratz: Objektorientierte, graphische Projetbearbeitung von Netzwerken in der Prozeßautomatisierung (Master's Thesis)
reviewer: G. Schildt; Institut für Automation, 1996
bib details

A. Pusterhofer: NTSU - Network Timestamp Unit (Master's Thesis)
reviewers: U. Schmid, G. Schildt; Institut für Automation, 1995
bib details

D. Quatember: WWW-Interface zur dynamischen Prozeßvisualisierung (Master's Thesis)
reviewer: G. Schildt; Institut für Automation, 1998
bib details

H. Reiter: "Nuclear Power Plant" - A Process Visualization Relevant to Safety (Master's Thesis)
reviewer: G. Schildt; Institut für Automation, 1995
bib details

A. Resch: Projekt Real-Time Simulator RTS: Vergleich mit bestehenden Systemen (Master's Thesis)
reviewers: S. Stöckler, G. Schildt; Institut für Automation, 1993
bib details

N. Dasti: ITS Intelligent Transport System (Master's Thesis)
reviewer: G. Schildt; Institut für Automation, 1995
bib details

M. Ochensthaler: Anwendungsschnittstellen von Telekommunikationsanlagen (Master's Thesis)
reviewer: G. Schildt; Institut für Automation, 1995
bib details

B. Weiss: Simulation Environment for Clock Synchronization (Master's Thesis)
reviewers: U. Schmid, K. Schoßmaier; Institut für Automation, 1997
bib details

G. Pigel: Eldorado - ein graphischer Verkehrsnetzeditor (Master's Thesis)
reviewers: A. Bezirgan, G. Schildt; Institut für Automation, 1991
bib details

T. Kuhta: Erstellung einer Ablaufsteuerung für ein induktiv gesteuertes, fahrerloses Transportsystem mit Anbindung an ein ASI-Feldbussystem (Master's Thesis)
reviewer: G. Schildt; Institut für Automation, 1995
bib details

M. Kunes: Rechnergestützte Vermessung und Konformitätsprüfung von Absorberhallen - ein objektorientierter Ansatz (Master's Thesis)
reviewer: G. Schildt; Institut für Automation, 1993
bib details

R. Labner: Untersuchung über die Einsetzbarkeit graphischer Programmiermethoden für die On-Line Data Acquisition (Master's Thesis)
reviewers: U. Schmid, G. Schildt; Institut für Automation, 1994
bib details

A. Lobinger: Entwicklungsumgebung einer Fuzzy-Regler Teststrecke (Master's Thesis)
reviewers: W. Kastner, G. Schildt; Institut für Automation, 1996
bib details

R. Masopust: Simulation eines flexiblen Fertigungssystems (Master's Thesis)
reviewers: A. Bezirgan, G. Schildt; Institut für Automation, 1993
bib details

M. Meyenburg: Kommunikation dynamischer Prozesse einer HW-Steuerung (Master's Thesis)
reviewer: G. Schildt; Institut für Automation, 1998
bib details

M. Khosravipour: Rechnergestützte Steuerungssysteme mit Sicherheitsverantwortung (Master's Thesis)
reviewer: G. Schildt; Institut für Technische Informatik, 1990
bib details

R. Kindermann: Protokollsimulation zur Unterstützung (halb)automatischer vermittlungstechnischer Offlinetests am PC (Master's Thesis)
reviewer: G. Schildt; Institut für Automation, 1997
bib details

J. Klasek: Dynamische Software- und Hardware-Instrumentierung (Master's Thesis)
reviewers: U. Schmid, G. Schildt; Institut für Automation, 1994
bib details

G. Klima: Validierung von Computersystemen in der pharmazeutischen Industrie am Beispiel eines Systems für das Kalibirierungs- und Instandhaltungsmanagement (Master's Thesis)
reviewer: G. Schildt; Institut für Automation, 1997
bib details

C. Krügel: Jini Connectivity for Home and Building Automation - A Case Study for EIB (Master's Thesis)
reviewers: W. Kastner, G. Schildt; Institut für Rechnergestützte Automation, 2000
bib details

L. Kripp-Kalnoky: Vergleich verschiedener Verfahren zur temporalen Spezifikation (Master's Thesis)
reviewers: J. Blieberger, A. Bezirgan, G. Schildt; Institut für Technische Informatik, 1990
bib details

N. Huber: CAD-Systeme in der Architektur (Master's Thesis)
reviewers: A. Redlein, G. Schildt; Institut für Automation, 1997
bib details

T. Kassumeh: Integration von ERP- und FM-Systemen (Master's Thesis)
reviewers: A. Redlein, G. Schildt; Institut für Rechnergestützte Automation, 2001
bib details

A. Jedlicka: - NEKU3P - Ein Berechnungsprogramm für 3-polige Kurzschlußströme in Drehstromnetzen (Master's Thesis)
reviewers: A. Bezirgan, G. Schildt; Institut für Automation, 1991
bib details

A. Kainz: Ein allgemeines, generisches Prozeßvisualisierungs- und -leitsystem (Master's Thesis)
reviewers: J. Blieberger, G. Schildt; Institut für Automation, 1994
bib details

W. Kastanek: Externe Prozessynchronisation im Echtzeitbetriebssystem REMUX (Master's Thesis)
reviewers: G. Schildt, U. Schmid; Institut für Automation, 1992
bib details

M. Kathofer: Einsatz von Expertensystemen in der Prozeßleittechnik zur Sicherheitsüberprüfung (Master's Thesis)
reviewer: G. Schildt; Institut für Automation, 1991
bib details

J. Holzer: Entwicklung einer graphischen Oberfläche zur Erstellung von Compound Event Generatoren (Master's Thesis)
reviewers: S. Stöckler, G. Schildt; Institut für Automation, 1994
bib details

A. Greilhuber: Ein Informationssystem in einer CIM-Umgebung (Master's Thesis)
reviewer: G. Schildt; Institut für Automation, 1994
bib details

M. Götz: Automatische Modellerstellung für Industrieroboter (Master's Thesis)
reviewer: G. Schildt; Institut für Automation, 1996
bib details

R. Apel: Ein mobiles Managementwerkzeug für LON, basierend auf dem NSS-10 Modul (Master's Thesis)
reviewer: G. Schildt; Institut für Automation, 1998
bib details

H. Hiesberger: Aufbereitung von Konstruktionsdaten für die Erstellung von Prüfprogrammen für ein "Visual Inspection System" (Master's Thesis)
reviewer: G. Schildt; Institut für Automation, 1997
bib details

F. Holzhauser: HomeNet Control 3D - Ein VRML-Generator für die Heimautomation (Master's Thesis)
reviewers: A. Redlein, H. Reiter, G. Schildt; Institut für Automation, 1997
bib details

T. Hontsch: Sourcecode-Level Monitoring verteilter Echtzeitsysteme (Master's Thesis)
reviewers: U. Schmid, G. Schildt; Institut für Automation, 1991
bib details

K. Eckhardt: Entwicklung eines Fuzzy Logic basierenden Injektionscontrollers (Master's Thesis)
reviewers: W. Kastner, G. Schildt; Institut für Rechnergestützte Automation, 1999
bib details

F. Fajtak: Objektorientierte Spezifikation graphischer Benutzerschnittstellen (Master's Thesis)
reviewers: H. Haberstroh, U. Schmid; Institut für Automation, 1996
bib details

W. Führer: Speziell ausgewählte Offline Testtools und deren Kombinationen zur Testeffizienz- und Qualitätssteigerung (Master's Thesis)
reviewer: G. Schildt; Institut für Automation, 1996
bib details

G. Glaser: Monitoring in Workstation LANs (Master's Thesis)
reviewers: S. Stöckler, G. Schildt; Institut für Automation, 1992
bib details

A. Bezirgan: Gedächtnisbasierte Fertigungsplanung (PhD Thesis)
reviewer: G. Schildt; Institut für Automation, 1993
bib details

U. Bräu: - activeFM - A Demonstration Implementation of Active Facility Management with Aperture (Master's Thesis)
reviewers: A. Redlein, G. Schildt; Institut für Automation, 1998
bib details

J. Divisch: Monitoring in verteilten Echtzeitsystemen (Master's Thesis)
reviewers: U. Schmid, S. Stöckler, G. Schildt; Institut für Automation, 1994
bib details

A. Dluhy: ELDORADO - Ein graphischer Verkehrsnetzeditor - Analyse, Spezifikation und Prototyping (Master's Thesis)
reviewers: A. Bezirgan, G. Schildt; Institut für Automation, 1993
bib details

A. Dörner: Ökologischer Produktvergleich im SAP R/3 (Master's Thesis)
reviewers: A. Redlein, G. Schildt; Institut für Automation, 1996
bib details

A. Edrisi: Development of an Information System based on an Object-Oriented Database Management System for a Nuclear Power Plant (Master's Thesis)
reviewer: G. Schildt; Institut für Automation, 1997
bib details

A. Aichinger: Modellierung Logistik-unterstützender Informationstechnologie in der Lagerautomation (Master's Thesis)
reviewers: W. Kastner, G. Schildt; Institut für Automation, 1997
bib details

R. Alizadeh-Mizani: Entwicklung eines Informationssystems für Kernkraftwerke, basierend auf einem objektorientierten Datenbanksystem (Master's Thesis)
reviewer: G. Schildt; Institu für Automation, 1997
bib details

M. Laubach: Konzepte der Systemadministration in heterogenen Workstation-Netzen (Master's Thesis)
reviewers: G. Schildt, U. Schmid; Institut für Automation, 1997
bib details

W. Kastner: Spezifikation und Verifikation eines zeitbasierenden Protokolls (PhD Thesis)
reviewer: G. Schildt; Institut für Automation, 1996
bib details

W. Kastner: Monitoring in verteilten Systemen (Master's Thesis)
reviewer: S. Stöckler; Institut für Automation, 1992
bib details

U. Schmid: Random trees in queueing systems with deadlines
TU Wien, Technisch-Naturwissenschaftliche Fakultät, 1995
bib details

W. Kastner: Dynamic internet connectivity of automation systems
TU Wien, Technisch-Naturwissenschaftliche Fakultät, 2001
bib details

J. Blieberger: Worst-Case Execution Time Analysis of Real-Time Programs
TU Wien / Technisch-Naturwissenschaftliche Fakultät, 2000
bib details

B. Scholz: Symbolische Verifikation von Echtzeitprogrammen (Master's Thesis)
reviewer: J. Blieberger; Institut für Automation, 1996
bib details

B. Burgstaller: The WOOP Preprocessor - An Impementation of Discrete Loops in Ada95 (Master's Thesis)
reviewer: J. Blieberger; Institut für Automation, 1996
bib details

H. Reinwein: Analytische Untersuchung von Schedulingalgorithmen unter Echtzeitbedingungen (Master's Thesis)
reviewer: J. Blieberger; Institut für Automation, 1996
bib details

R. Lieger: Bounding the Worst-Case Execution Time of General Loops and Recursion (PhD Thesis)
reviewers: J. Blieberger, W. Purgathofer; Institut für Rechnergestützte Automation, 2002
bib details

C. Troger: Realtime-Linux Treiber für den Europäischen Installationbus (Master's Thesis)
reviewer: W. Kastner; 183, 2002
bib details

W. Tumfart: Fernabfrage und -bedienung von EIB-Systemen (Master's Thesis)
reviewer: W. Kastner; 183, 2002
bib details

H. Zainzinger: Lernfähige Temperaturregelungen für Haushaltssysteme (PhD Thesis)
reviewer: G. Schildt; Institut für Rechnergestützte Automation, 2002
bib details

S. Movaghar: Vergleich von Protocol frameworks (Master's Thesis)
reviewer: U. Schmid; 183, 2002
bib details

J. Widder: Switching On - How Processes Initialize for Consistent Broadcast. (Master's Thesis)
reviewer: U. Schmid; 183, 2002
bib details

H. Stratil: Topology Management and Routing in Wireless Networks - An Overview (Master's Thesis)
reviewer: U. Schmid; 183, 2002
bib details

M. Biely: Byzantine agreement under the perception-based fault model (Master's Thesis)
reviewer: U. Schmid; 183, 2002
bib details

B. Weiss: Authenticated Consensus (PhD Thesis)
reviewer: U. Schmid; Institut für Rechnergestützte Automation, 2002
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. Hutle: Constraint Satisfaction Problems - Hyprid Decompostion and Evaluation (Master's Thesis)
reviewer: F. Wotawa; Institut für Informationssysteme, 2002
bib details

J. Vilanek: Synthese eines SAB-R3223 in VHDL und State Charts (Master's Thesis)
Institut für Technische Informatik, 1997
bib details

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

W. Huber: Simulation einer SCSI-Festplatte unter LINUX (Master's Thesis)
reviewer: A. Steininger; Institut für Technische Informatik, 2000
bib details

T. Hinterstoisser: Entwicklung eines Mikroprozessorsmit Built-in Self-Test (Master's Thesis)
reviewer: A. Steininger; Institut für Technische Informatik, 2000
bib details

E. Armengaud: Data Path for a FlrxRay-to-FlexRay Gateway (Master's Thesis)
reviewer: A. Steininger; Institut für Technische Informatik, 2002
bib details

R. Steinwendtner: Experimentelle Verifikation eines Transparent Online Memory Test (Master's Thesis)
reviewer: A. Steininger; Institut für Technische Informatik, 2000
bib details

C. Resanka: Communication protocol test device in VHDL (Master's Thesis)
reviewer: A. Steininger; Institut für Technische Informatik, 2002
bib details

U. Eisenmann: Design and implementation of a highly efficient communication node for real-time applications (Master's Thesis)
reviewers: A. Steininger, M. Delvai; Institut für Technische Informatik, 2002
bib details

K. Thaller: A Transparent Online Memory Test (PhD Thesis)
reviewers: A. Steininger, R. Eier; Institut für Technische Informatik, 2001
bib details

C. Scherrer: Zuverlässigkeit zweifach redundanter Architekturen unter besonderer Berücksichtigung latenter Fehler (PhD Thesis)
reviewers: A. Steininger, R. Patzelt; Institut für Technische Informatik, 2002
bib details pdf

J. Vilanek: Zur Rolle der Verifikation im Designprozess digitaler integrierter Schaltungen (PhD Thesis)
reviewers: A. Steininger, R. Eier; Institut für Technische Informatik, 2001
bib details

T. Novak: Functional Safety and System Security in Building Automation and Control Systems (PhD Thesis)
reviewers: D. Dietrich, W. Kastner; Institut für Computertechnik, 2008; oral examination: 2008-06-19
bib details

Q. Feng: Agent-Based Distributed Measurement System in Advanced Manufacturing (PhD Thesis)
reviewers: D. Dietrich, W. Kastner; Institut für Computertechnik, 2006; oral examination: 2006-11-22
bib details

M. Weihs: Convergence of Real-Time Audio and Video Streaming Technologies (PhD Thesis)
reviewers: D. Dietrich, W. Kastner; Institut für Computertechnik, 2006; oral examination: 2006-11-15
bib details

M. Ziehensack: Dynamische Kopplung von Gerätenetzwerken im Heimbereich (PhD Thesis)
reviewers: D. Dietrich, W. Kastner; Institut für Computertechnik, 2004
bib details

M. Horauer: Clock Synchronization in Distributed Systems (PhD Thesis)
reviewers: R. Eier, U. Schmid; Institut für Computertechnik, 2004
bib details

S. Rahimi Movaghar: Vergleich von Protocol Frameworks (Master's Thesis)
reviewer: U. Schmid; Institut für Rechnergestützte Automation, 2002
bib details

F. Bauer: Ein modulares Konzept für die verteilte Steuerung von Simulatoren zur tribologischen Analyse von Hüfgelenksendoprothesen (PhD Thesis)
reviewers: R. Eier, G. Schildt; E 384, 2001
bib details