|
| | Preview | Author(s) | Title | Type | Issue Date |
| 1 |  | Ramsl, Wolfgang | Fault masking in synchronous and in asynchronous logic - a comparsion | Thesis Hochschulschrift  | 2019 |
| 2 | | Obermüller, Johannes | SoC FPGA Oszilloskop : Implementierung eines Oszilloskops auf einem FPGA mit eingebettetem Prozessor | Thesis Hochschulschrift | 2018 |
| 3 |  | Fuchs, Magdalena | A cell-level neural simulation suite for the analysis of learning and adaptive behavior in the C. elegans' nervous system | Thesis Hochschulschrift  | 2018 |
| 4 |  | Fritz, Bernhard | Operation and verification framework for the FRad experimental ASIC | Thesis Hochschulschrift  | 2018 |
| 5 |  | Treml, Lilly Maria | Simulating cardiac dynamics using Maxeler dataflow super-computing | Thesis Hochschulschrift  | 2018 |
| 6 |  | Selyunin, Konstantin | Neural models for monitoring and control with applications in automotive domain | Thesis Hochschulschrift  | 2017 |
| 7 |  | Niederstätter, Ewald | Automated synthesis of behavior-driven integration tests for embedded systems | Thesis Hochschulschrift  | 2017 |
| 8 |  | Savulimedu Veeravalli, Varadan | Design of custom ASIC for radiation experiments to study single event effects | Thesis Hochschulschrift  | 2017 |
| 9 |  | Huemer, Florian Ferdinand | Protecting 4-phase delay-insensitive communication against transient faults | Thesis Hochschulschrift  | 2017 |
| 10 |  | Fimml, Patrik | Temporal-epistemic logic in Byzantine message-passing contexts | Thesis Hochschulschrift  | 2017 |
| 11 |  | Wimmer, Bernhard | Motion planning for a six-legged robot | Thesis Hochschulschrift  | 2017 |
| 12 |  | Heindl, Mario | Systematic testing of analog mixed-signal systems | Thesis Hochschulschrift  | 2017 |
| 13 |  | Platzer, Michael | Kostengünstiges LIDAR : Machbarkeitsstudie eines einfachen und erschwinglichen 3D Laserscanners | Thesis Hochschulschrift  | 2017 |
| 14 | | Lechner, Mathias | Brain-inspired neural control | Thesis Hochschulschrift | 2017 |
| 15 |  | Wallner, Wolfgang | Simulation of time-synchronized networks using IEEE 1588-2008 | Thesis Hochschulschrift  | 2016 |
| 16 |  | Vaczula, Csaba | The Hobel algorithm : SAT Lösung mit GPU über DPLL | Thesis Hochschulschrift  | 2016 |
| 17 |  | Hermann, Claudia | ASCARTS - design of an asynchronous processor using a high-level specification language | Thesis Hochschulschrift  | 2016 |
| 18 |  | Alakhras, Nazir | Model-driven compensation of the effects of environmental conditions on quartz oscillator based clocks | Thesis Hochschulschrift  | 2016 |
| 19 |  | Balún, Ondrej | Towards distributed controllers based on caenorhabditis elegans locomotory neural network | Thesis Hochschulschrift  | 2016 |
| 20 |  | Gabriel, Christopher | Development of an advanced protection concept for automotive wire harnesses | Thesis Hochschulschrift  | 2016 |
| 21 |  | Petschina, Bernhard | Erstellung eines modellbasierten Designprozesses zur Entwicklung von cyber-physischen Systemen | Thesis Hochschulschrift  | 2016 |
| 22 |  | Steiner, Dieter | Error detection based on execution-time monitoring | Thesis Hochschulschrift  | 2016 |
| 23 |  | Höftberger, Oliver | Knowledge-based dynamic reconfiguration for embedded real-time systems | Thesis Hochschulschrift  | 2015 |
| 24 |  | Ayestaran Cipitria, Iban | Simulated fault injection for time-triggered safety-critical embedded systems | Thesis Hochschulschrift  | 2015 |
| 25 | | Grahsl, Julian | Hardware / software architecture of a wearable eye tracking system | Thesis Hochschulschrift | 2015 |
| 26 |  | Kasper, Andreas | Real-time configuration of a CAN router | Thesis Hochschulschrift  | 2015 |
| 27 | | Zischka, Wolfram | Time-triggered communication in hybrid network toplologies | Thesis Hochschulschrift  | 2015 |
| 28 |  | Chmelar, Markus | An adaptive computer-vision-based method to calculate vehicle-motion parameters | Thesis Hochschulschrift  | 2014 |
| 29 |  | Frischenschlager, Albin | Autonomous path planning using probabilistic maps | Thesis Hochschulschrift  | 2014 |
| 30 |  | Heinisch, Alexander | Selection and hardware-implementation of an efficient consensus algorithm for a mesochronous system | Thesis Hochschulschrift  | 2014 |
| 31 | | Frühwirth, Thomas | SAE AS6802 SW-based end system for AUTOSAR | Thesis Hochschulschrift | 2014 |
| 32 |  | Resch, Stefan | Composability for fail-safe safety-critical systems | Thesis Hochschulschrift  | 2014 |
| 33 |  | Kößler, Alexander | Real-time performance analysis of synchronous distributed systems | Thesis Hochschulschrift  | 2014 |
| 34 | | Degasperi, Philipp | Method cache for Patmos | Thesis Hochschulschrift | 2014 |
| 35 |  | Kutschera, Robert | Efficient interfacing between timing domains | Thesis Hochschulschrift  | 2014 |
| 36 |  | Trenkwalder, Christian | Effekte von Stuck-At Faults in Delay-Insensitiver Logik | Thesis Hochschulschrift  | 2014 |
| 37 |  | Ratasich, Denise | Generic low-level sensor fusion framework for cyber-physical systems | Thesis Hochschulschrift  | 2014 |
| 38 |  | Lechner, Jakob | Building robust GALS circuits : fault-tolerant and variation-aware design. Techniques for reliable circuit operation | Thesis Hochschulschrift  | 2014 |
| 39 |  | Maier, Jürgen | Online test vector insertion - a concurrent built-in self-testing (CBIST) approach for asynchronous logic | Thesis Hochschulschrift  | 2014 |
| 40 |  | Brugger, Stephan | Integrating probabilistic information of dynamic environment into maps for enhanced action planning | Thesis Hochschulschrift  | 2014 |
| 41 |  | Meier, Ludwig | Compilation for predictable real-time systems | Thesis Hochschulschrift  | 2014 |
| 42 |  | Macher, Dominik | Intercommunication framework for autonomous real-time systems | Thesis Hochschulschrift  | 2014 |
| 43 | | Folie, Simon | A framework for automated load balancing of streaming programs on the SCC processor | Thesis Hochschulschrift | 2014 |
| 44 | | Mödlhamer, Stefan | Clock synchronization gateway between SAE AS6802 and IEEE 1588 | Thesis Hochschulschrift | 2014 |
| 45 |  | Perner, Martin | Self-stabilizing Byzantine fault-tolerant clock distribution in grids | Thesis Hochschulschrift  | 2013 |
| 46 |  | Schwarz, Manfred | Solving k-Set agreement in dynamic networks | Thesis Hochschulschrift  | 2013 |
| 47 |  | Frömel, Bernhard | An application development approach for the time-triggered system-on-chip architecture | Thesis Hochschulschrift  | 2013 |
| 48 |  | Winkler, Kyrill | Easy impossibility proofs for k-set agreement | Thesis Hochschulschrift  | 2013 |
| 49 |  | Naqvi, Syed Rameez | A non-blocking fault-tolerant asynchronous networks-on-chip router | Thesis Hochschulschrift  | 2013 |
| 50 |  | Hechinger, Oliver | Analysis of the failure behavior of memory management units | Thesis Hochschulschrift  | 2013 |
| 51 |  | Polzer, Thomas | A digital metastability model for VLSI circuits | Thesis Hochschulschrift  | 2013 |
| 52 |  | Hofstätter, Markus | Solving the labeling problem : a Byzantine fault-tolerant self-stabilizing FPGA prototype based on the FATAL+ protocol | Thesis Hochschulschrift  | 2013 |
| 53 | | Hofbauer, Franz | Analoge Q-Control zur Güteverstärkung von piezoelektrischen MEMS Resonatoren | Thesis Hochschulschrift | 2013 |
| 54 | | Reinbacher, Thomas | Analysis of embedded real-time systems at runtime | Thesis Hochschulschrift | 2013 |
| 55 | | Pados, Károly Dávid | Design and evaluation of an AXI4 bus system | Thesis Hochschulschrift | 2013 |
| 56 | | Hagmann, Andreas | Performance aware hardware runtime monitors | Thesis Hochschulschrift | 2013 |
| 57 | | Komes, André | Redundant Ethernet protocols and IEEE 1588 | Thesis Hochschulschrift | 2013 |
| 58 |  | Broder, Jürgen | Key management in partitioning operating systems | Thesis Hochschulschrift  | 2013 |
| 59 | | Kreuter, Hans-Peter | Virtual current and temperature sensors for smart power switches | Thesis Hochschulschrift | 2012 |
| 60 | | Rebernig, Stefan | Evaluation and implementation of a mixed TTEthernet and AVB Network | Thesis Hochschulschrift | 2012 |
| 61 |  | Zolda, Michael | Precise measurement-based worst-case execution time estimation | Thesis Hochschulschrift  | 2012 |
| 62 |  | Azkarate-askasua Blazquez, Mikel | The transient tolerant time-triggered system-on-chip (4tsoc) | Thesis Hochschulschrift  | 2012 |
| 63 |  | Panhofer, Thomas | Self-healing asynchronous circuits for high-reliability applications | Thesis Hochschulschrift  | 2012 |
| 64 |  | Puffitsch, Wolfgang | Hard real-time garbage collection on chip multi-processors | Thesis Hochschulschrift  | 2012 |
| 65 |  | Geyer, Clemens Bernhard | Instruction set extensions for time-predictable code execution | Thesis Hochschulschrift  | 2012 |
| 66 |  | Operenyi, Walther | Experimental framework for controller area network based on a multi-processor-system-on-a-chip | Thesis Hochschulschrift  | 2012 |
| 67 |  | Lampacher, Martin | An inquiry into gateways : for embedded systems and consumer devices | Thesis Hochschulschrift  | 2012 |
| 68 |  | Ecker, Valentin | TTEthernet and modeling languages : introducing methodologies | Thesis Hochschulschrift  | 2012 |
| 69 |  | Fuchs, Bernhard | Elaboration of a Fault-tolerance strategy for space-borne digital signal processing applications | Thesis Hochschulschrift  | 2012 |
| 70 | | Pavlovic, Matej | Implementation of a distributed computation framework | Thesis Hochschulschrift | 2012 |
| 71 | | Posch, Markus | Selbststabilisierende byzantinisch fehlertolerante Takterzeugung in FPGAs | Thesis Hochschulschrift | 2012 |
| 72 |  | Ferringer, Markus | Asynchronous logic in real-time systems | Thesis Hochschulschrift  | 2012 |
| 73 | | Burker, Alexander | Implementation of the TTP/A protocol and WCET analysis on the SPEAR2 platform | Thesis Hochschulschrift | 2011 |
| 74 | | Walter, Martin | The SPEAR2 Hardware/Software Interface | Thesis Hochschulschrift | 2011 |
| 75 | | Causevic, Emir | A secure group communication middleware for time-triggered systems | Thesis Hochschulschrift | 2011 |
| 76 |  | Suethanuwong, Ekarin | Performance evaluation and optimization of standard-ethernet traffic in TTEthernet systems | Thesis Hochschulschrift  | 2011 |
| 77 |  | Helpa, Christopher | A time-predictable operating system : towards a constant execution time | Thesis Hochschulschrift  | 2011 |
| 78 | | Elshuber, Martin | Evaluation of the suitability of COTS ethernet routers for distributed real-time systems | Thesis Hochschulschrift | 2011 |
| 79 |  | Friesenbichler, Werner | Effects and mitigation of transient faults in quasi delay-insensitive logic | Thesis Hochschulschrift  | 2011 |
| 80 |  | Hepp, Stefan | Worst-case execution time driven method inlining for embedded Java processors | Thesis Hochschulschrift  | 2011 |
| 81 |  | Najvirt, Robert | Description methods for asynchronous circuits : a comparison | Thesis Hochschulschrift  | 2011 |
| 82 |  | Martinek, Christoph | Minimal preconditions for timing anomalies in WCET calculations | Thesis Hochschulschrift  | 2011 |
| 83 |  | Mair, Thomas | Validation middleware for mixed criticality networks | Thesis Hochschulschrift  | 2011 |
| 84 |  | Steffan, Marco | Functional Safety in KNX | Thesis Hochschulschrift  | 2011 |
| 85 |  | Birner, Michael | SPEAR2C : implementation of a cache controller for SPEAR2 | Thesis Hochschulschrift  | 2011 |
| 86 | | Buchgraber, Ulrich | Visualisierung von Prozesssynchronisation mit Semaphoren | Thesis Hochschulschrift | 2011 |
| 87 |  | Resch, Stefan | Hardware description with timing requirements | Thesis Hochschulschrift  | 2011 |
| 88 |  | Perez Cerrolaza, Juan Martin | Executable time-triggered model (E-TTM) for the development of safety-critical embedded systems | Thesis Hochschulschrift  | 2011 |
| 89 | | Wasicek, Armin Rudolf | Security in Time-Triggered Systems | Thesis Hochschulschrift | 2011 |
| 90 | | Rosensteiner, Sebastian | Tool chain qualification for model-based software engineering in the automotive domain | Thesis Hochschulschrift | 2011 |
| 91 |  | Isakovic, Haris | A secure global time base for time triggered systems | Thesis Hochschulschrift  | 2011 |
| 92 |  | Jakovljević, Miljenko | Particle Swarm Optimization for generating input data in measurement based Worst-Case Execution Time analysis | Thesis Hochschulschrift  | 2011 |
| 93 | | Bilic, Kenan | Experimenteller Vergleich von Lösungen zur Integration zeitgesteuerter und ereignisgesteuerter Kommunikation auf Basis von FlexRay | Thesis Hochschulschrift | 2010 |
| 94 |  | Pirker, Simon | Simulation of LEGO® Mindstorms NXT based plants using a distributed automation framework | Thesis Hochschulschrift  | 2010 |
| 95 |  | Kandl, Susanne | A requirement-based systematic test-case generation method for safety-critical embedded systems | Thesis Hochschulschrift  | 2010 |
| 96 | | Fischer, Bernhard | Modeling techniques and tools for embedded systems - state of the art | Thesis Hochschulschrift | 2010 |
| 97 |  | Függer, Matthias | Analysis of on-chip fault-tolerant distributed algorithms | Thesis Hochschulschrift  | 2010 |
| 98 |  | Manojlovic, Nikolaus Alexander | Achieving an enhanced worst-case timing prediction and performance for hard real-time code | Thesis Hochschulschrift  | 2010 |
| 99 |  | Höftberger, Oliver | Evaluation of temporal and spatial partitioning in the time-triggered system-on-a-chip architecture | Thesis Hochschulschrift  | 2010 |
| 100 |  | Haas, Walter | Automatic coverage-profile calculation for code optimization | Thesis Hochschulschrift  | 2010 |