Institut für Technische Informatik

Organization Name (de) Name der Organisation (de)
E182 - Institut für Technische Informatik
 
Code Kennzahl
E182
 
Type of Organization Organisationstyp
Institute
Parent OrgUnit Übergeordnete Organisation
 
 

SubOrgUnits

Results 1-1 of 1 (Search time: 0.002 seconds).



Results 1-100 of 227 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Ramsl Wolfgang - 2019 - Fault masking in synchronous and in asynchronous logic -...pdf.jpgRamsl, Wolfgang Fault masking in synchronous and in asynchronous logic - a comparsionThesis Hochschulschrift 2019
2Obermüller, Johannes SoC FPGA Oszilloskop : Implementierung eines Oszilloskops auf einem FPGA mit eingebettetem ProzessorThesis Hochschulschrift2018
3Fuchs Magdalena - 2018 - A cell-level neural simulation suite for the analysis...pdf.jpgFuchs, Magdalena A cell-level neural simulation suite for the analysis of learning and adaptive behavior in the C. elegans' nervous systemThesis Hochschulschrift 2018
4Fritz Bernhard - 2018 - Operation and verification framework for the FRad...pdf.jpgFritz, Bernhard Operation and verification framework for the FRad experimental ASICThesis Hochschulschrift 2018
5Treml Lilly Maria - 2018 - Simulating cardiac dynamics using Maxeler dataflow...pdf.jpgTreml, Lilly Maria Simulating cardiac dynamics using Maxeler dataflow super-computingThesis Hochschulschrift 2018
6Selyunin Konstantin - 2017 - Neural models for monitoring and control with...pdf.jpgSelyunin, Konstantin Neural models for monitoring and control with applications in automotive domainThesis Hochschulschrift 2017
7Niederstaetter Ewald - 2017 - Automated synthesis of behavior-driven integration...pdf.jpgNiederstätter, Ewald Automated synthesis of behavior-driven integration tests for embedded systemsThesis Hochschulschrift 2017
8Savulimedu Veeravalli Varadan - 2017 - Design of custom ASIC for radiation...pdf.jpgSavulimedu Veeravalli, Varadan Design of custom ASIC for radiation experiments to study single event effectsThesis Hochschulschrift 2017
9Huemer Florian Ferdinand - 2017 - Protecting 4-phase delay-insensitive...pdf.jpgHuemer, Florian Ferdinand Protecting 4-phase delay-insensitive communication against transient faultsThesis Hochschulschrift 2017
10Fimml Patrik - 2017 - Temporal-epistemic logic in Byzantine message-passing...pdf.jpgFimml, Patrik Temporal-epistemic logic in Byzantine message-passing contextsThesis Hochschulschrift 2017
11Wimmer Bernhard - 2017 - Motion planning for a six-legged robot.pdf.jpgWimmer, Bernhard Motion planning for a six-legged robotThesis Hochschulschrift 2017
12Heindl Mario - 2017 - Systematic testing of analog mixed-signal systems.pdf.jpgHeindl, Mario Systematic testing of analog mixed-signal systemsThesis Hochschulschrift 2017
13Platzer Michael - 2017 - Kostenguenstiges LIDAR Machbarkeitsstudie eines...pdf.jpgPlatzer, Michael Kostengünstiges LIDAR : Machbarkeitsstudie eines einfachen und erschwinglichen 3D LaserscannersThesis Hochschulschrift 2017
14Lechner, Mathias Brain-inspired neural controlThesis Hochschulschrift2017
15Wallner Wolfgang - 2016 - Simulation of time-synchronized networks using IEEE...pdf.jpgWallner, Wolfgang Simulation of time-synchronized networks using IEEE 1588-2008Thesis Hochschulschrift 2016
16Vaczula Csaba - 2016 - The Hobel algorithm SAT Loesung mit GPU ueber DPLL.pdf.jpgVaczula, Csaba The Hobel algorithm : SAT Lösung mit GPU über DPLLThesis Hochschulschrift 2016
17Hermann Claudia - 2016 - ASCARTS - design of an asynchronous processor using a...pdf.jpgHermann, Claudia ASCARTS - design of an asynchronous processor using a high-level specification languageThesis Hochschulschrift 2016
18Alakhras Nazir - 2016 - Model-driven compensation of the effects of...pdf.jpgAlakhras, Nazir Model-driven compensation of the effects of environmental conditions on quartz oscillator based clocksThesis Hochschulschrift 2016
19Balun Ondrej - 2016 - Towards distributed controllers based on caenorhabditis...pdf.jpgBalún, Ondrej Towards distributed controllers based on caenorhabditis elegans locomotory neural networkThesis Hochschulschrift 2016
20Gabriel Christopher - 2016 - Development of an advanced protection concept for...pdf.jpgGabriel, Christopher Development of an advanced protection concept for automotive wire harnessesThesis Hochschulschrift 2016
21Petschina Bernhard - 2016 - Erstellung eines modellbasierten Designprozesses zur...pdf.jpgPetschina, Bernhard Erstellung eines modellbasierten Designprozesses zur Entwicklung von cyber-physischen SystemenThesis Hochschulschrift 2016
22Steiner Dieter - 2016 - Error detection based on execution-time monitoring.pdf.jpgSteiner, Dieter Error detection based on execution-time monitoringThesis Hochschulschrift 2016
23Hoeftberger Oliver - 2015 - Knowledge-based dynamic reconfiguration for embedded...pdf.jpgHöftberger, Oliver Knowledge-based dynamic reconfiguration for embedded real-time systemsThesis Hochschulschrift 2015
24Ayestaran Cipitria Iban - 2015 - Simulated fault injection for time-triggered...pdf.jpgAyestaran Cipitria, Iban Simulated fault injection for time-triggered safety-critical embedded systemsThesis Hochschulschrift 2015
25Grahsl, Julian Hardware / software architecture of a wearable eye tracking systemThesis Hochschulschrift2015
26Kasper Andreas - 2015 - Real-time configuration of a CAN router.pdf.jpgKasper, Andreas Real-time configuration of a CAN routerThesis Hochschulschrift 2015
27Zischka, Wolfram Time-triggered communication in hybrid network toplologiesThesis Hochschulschrift 2015
28Chmelar Markus - 2014 - An adaptive computer-vision-based method to calculate...pdf.jpgChmelar, Markus An adaptive computer-vision-based method to calculate vehicle-motion parametersThesis Hochschulschrift 2014
29Frischenschlager Albin - 2014 - Autonomous path planning using probabilistic...pdf.jpgFrischenschlager, Albin Autonomous path planning using probabilistic mapsThesis Hochschulschrift 2014
30Heinisch Alexander - 2014 - Selection and hardware-implementation of an...pdf.jpgHeinisch, Alexander Selection and hardware-implementation of an efficient consensus algorithm for a mesochronous systemThesis Hochschulschrift 2014
31Frühwirth, Thomas SAE AS6802 SW-based end system for AUTOSARThesis Hochschulschrift2014
32Resch Stefan - 2014 - Composability for fail-safe safety-critical systems.pdf.jpgResch, Stefan Composability for fail-safe safety-critical systemsThesis Hochschulschrift 2014
33Koessler Alexander - 2014 - Real-time performance analysis of synchronous...pdf.jpgKößler, Alexander Real-time performance analysis of synchronous distributed systemsThesis Hochschulschrift 2014
34Degasperi, Philipp Method cache for PatmosThesis Hochschulschrift2014
35Kutschera Robert - 2014 - Efficient interfacing between timing domains.pdf.jpgKutschera, Robert Efficient interfacing between timing domainsThesis Hochschulschrift 2014
36Trenkwalder Christian - 2014 - Effekte von Stuck-At Faults in Delay-Insensitiver...pdf.jpgTrenkwalder, Christian Effekte von Stuck-At Faults in Delay-Insensitiver LogikThesis Hochschulschrift 2014
37Ratasich Denise - 2014 - Generic low-level sensor fusion framework for...pdf.jpgRatasich, Denise Generic low-level sensor fusion framework for cyber-physical systemsThesis Hochschulschrift 2014
38Lechner Jakob - 2014 - Building robust GALS circuits fault-tolerant and...pdf.jpgLechner, Jakob Building robust GALS circuits : fault-tolerant and variation-aware design. Techniques for reliable circuit operationThesis Hochschulschrift 2014
39Maier Juergen - 2014 - Online test vector insertion - a concurrent built-in...pdf.jpgMaier, Jürgen Online test vector insertion - a concurrent built-in self-testing (CBIST) approach for asynchronous logicThesis Hochschulschrift 2014
40Brugger Stephan - 2014 - Integrating probabilistic information of dynamic...pdf.jpgBrugger, Stephan Integrating probabilistic information of dynamic environment into maps for enhanced action planningThesis Hochschulschrift 2014
41Meier Ludwig - 2014 - Compilation for predictable real-time systems.pdf.jpgMeier, Ludwig Compilation for predictable real-time systemsThesis Hochschulschrift 2014
42Macher Dominik - 2014 - Intercommunication framework for autonomous real-time...pdf.jpgMacher, Dominik Intercommunication framework for autonomous real-time systemsThesis Hochschulschrift 2014
43Folie, Simon A framework for automated load balancing of streaming programs on the SCC processorThesis Hochschulschrift2014
44Mödlhamer, Stefan Clock synchronization gateway between SAE AS6802 and IEEE 1588Thesis Hochschulschrift2014
45Perner Martin - 2013 - Self-stabilizing Byzantine fault-tolerant clock...pdf.jpgPerner, Martin Self-stabilizing Byzantine fault-tolerant clock distribution in gridsThesis Hochschulschrift 2013
46Schwarz Manfred - 2013 - Solving k-Set agreement in dynamic networks.pdf.jpgSchwarz, Manfred Solving k-Set agreement in dynamic networksThesis Hochschulschrift 2013
47Froemel Bernhard - 2013 - An application development approach for the...pdf.jpgFrömel, Bernhard An application development approach for the time-triggered system-on-chip architectureThesis Hochschulschrift 2013
48Winkler Kyrill - 2013 - Easy impossibility proofs for k-set agreement.pdf.jpgWinkler, Kyrill Easy impossibility proofs for k-set agreementThesis Hochschulschrift 2013
49Naqvi Syed Rameez - 2013 - A non-blocking fault-tolerant asynchronous...pdf.jpgNaqvi, Syed Rameez A non-blocking fault-tolerant asynchronous networks-on-chip routerThesis Hochschulschrift 2013
50Hechinger Oliver - 2013 - Analysis of the failure behavior of memory management...pdf.jpgHechinger, Oliver Analysis of the failure behavior of memory management unitsThesis Hochschulschrift 2013
51Polzer Thomas - 2013 - A digital metastability model for VLSI circuits.pdf.jpgPolzer, Thomas A digital metastability model for VLSI circuitsThesis Hochschulschrift 2013
52Hofstaetter Markus - 2013 - Solving the labeling problem a Byzantine...pdf.jpgHofstätter, Markus Solving the labeling problem : a Byzantine fault-tolerant self-stabilizing FPGA prototype based on the FATAL+ protocolThesis Hochschulschrift 2013
53Hofbauer, FranzAnaloge Q-Control zur Güteverstärkung von piezoelektrischen MEMS ResonatorenThesis Hochschulschrift2013
54Reinbacher, Thomas Analysis of embedded real-time systems at runtimeThesis Hochschulschrift2013
55Pados, Károly Dávid Design and evaluation of an AXI4 bus systemThesis Hochschulschrift2013
56Hagmann, Andreas Performance aware hardware runtime monitorsThesis Hochschulschrift2013
57Komes, André Redundant Ethernet protocols and IEEE 1588Thesis Hochschulschrift2013
58Broder Juergen - 2013 - Key management in partitioning operating systems.pdf.jpgBroder, Jürgen Key management in partitioning operating systemsThesis Hochschulschrift 2013
59Kreuter, Hans-Peter Virtual current and temperature sensors for smart power switchesThesis Hochschulschrift2012
60Rebernig, Stefan Evaluation and implementation of a mixed TTEthernet and AVB NetworkThesis Hochschulschrift2012
61Zolda Michael - 2012 - Precise measurement-based worst-case execution time...pdf.jpgZolda, Michael Precise measurement-based worst-case execution time estimationThesis Hochschulschrift 2012
62Azkarate-askasua Blazquez Mikel - 2012 - The transient tolerant time-triggered...pdf.jpgAzkarate-askasua Blazquez, Mikel The transient tolerant time-triggered system-on-chip (4tsoc)Thesis Hochschulschrift 2012
63Panhofer Thomas - 2012 - Self-healing asynchronous circuits for high-reliability...pdf.jpgPanhofer, Thomas Self-healing asynchronous circuits for high-reliability applicationsThesis Hochschulschrift 2012
64Puffitsch Wolfgang - 2012 - Hard real-time garbage collection on chip...pdf.jpgPuffitsch, Wolfgang Hard real-time garbage collection on chip multi-processorsThesis Hochschulschrift 2012
65Geyer Clemens Bernhard - 2012 - Instruction set extensions for time-predictable...pdf.jpgGeyer, Clemens Bernhard Instruction set extensions for time-predictable code executionThesis Hochschulschrift 2012
66Operenyi Walther - 2012 - Experimental framework for controller area network...pdf.jpgOperenyi, Walther Experimental framework for controller area network based on a multi-processor-system-on-a-chipThesis Hochschulschrift 2012
67Lampacher Martin - 2012 - An inquiry into gateways for embedded systems and...pdf.jpgLampacher, Martin An inquiry into gateways : for embedded systems and consumer devicesThesis Hochschulschrift 2012
68Ecker Valentin - 2012 - TTEthernet and modeling languages introducing...pdf.jpgEcker, Valentin TTEthernet and modeling languages : introducing methodologiesThesis Hochschulschrift 2012
69Fuchs Bernhard - 2012 - Elaboration of a Fault-tolerance strategy for...pdf.jpgFuchs, Bernhard Elaboration of a Fault-tolerance strategy for space-borne digital signal processing applicationsThesis Hochschulschrift 2012
70Pavlovic, Matej Implementation of a distributed computation frameworkThesis Hochschulschrift2012
71Posch, Markus Selbststabilisierende byzantinisch fehlertolerante Takterzeugung in FPGAsThesis Hochschulschrift2012
72Ferringer Markus - 2012 - Asynchronous logic in real-time systems.pdf.jpgFerringer, Markus Asynchronous logic in real-time systemsThesis Hochschulschrift 2012
73Burker, AlexanderImplementation of the TTP/A protocol and WCET analysis on the SPEAR2 platformThesis Hochschulschrift2011
74Walter, Martin The SPEAR2 Hardware/Software InterfaceThesis Hochschulschrift2011
75Causevic, Emir A secure group communication middleware for time-triggered systemsThesis Hochschulschrift2011
76Suethanuwong Ekarin - 2011 - Performance evaluation and optimization of...pdf.jpgSuethanuwong, Ekarin Performance evaluation and optimization of standard-ethernet traffic in TTEthernet systemsThesis Hochschulschrift 2011
77Helpa Christopher - 2011 - A time-predictable operating system towards a...pdf.jpgHelpa, Christopher A time-predictable operating system : towards a constant execution timeThesis Hochschulschrift 2011
78Elshuber, Martin Evaluation of the suitability of COTS ethernet routers for distributed real-time systemsThesis Hochschulschrift2011
79Friesenbichler Werner - 2011 - Effects and mitigation of transient faults in...pdf.jpgFriesenbichler, Werner Effects and mitigation of transient faults in quasi delay-insensitive logicThesis Hochschulschrift 2011
80Hepp Stefan - 2011 - Worst-case execution time driven method inlining for...pdf.jpgHepp, Stefan Worst-case execution time driven method inlining for embedded Java processorsThesis Hochschulschrift 2011
81Najvirt Robert - 2011 - Description methods for asynchronous circuits a...pdf.jpgNajvirt, RobertDescription methods for asynchronous circuits : a comparisonThesis Hochschulschrift 2011
82Martinek Christoph - 2011 - Minimal preconditions for timing anomalies in WCET...pdf.jpgMartinek, Christoph Minimal preconditions for timing anomalies in WCET calculationsThesis Hochschulschrift 2011
83Mair Thomas - 2011 - Validation middleware for mixed criticality networks.pdf.jpgMair, Thomas Validation middleware for mixed criticality networksThesis Hochschulschrift 2011
84Steffan Marco - 2011 - Functional Safety in KNX.pdf.jpgSteffan, Marco Functional Safety in KNXThesis Hochschulschrift 2011
85Birner Michael - 2011 - SPEAR2C implementation of a cache controller for SPEAR2.pdf.jpgBirner, Michael SPEAR2C : implementation of a cache controller for SPEAR2Thesis Hochschulschrift 2011
86Buchgraber, Ulrich Visualisierung von Prozesssynchronisation mit SemaphorenThesis Hochschulschrift2011
87Resch Stefan - 2011 - Hardware description with timing requirements.pdf.jpgResch, StefanHardware description with timing requirementsThesis Hochschulschrift 2011
88Perez Cerrolaza Juan Martin - 2011 - Executable time-triggered model E-TTM for...pdf.jpgPerez Cerrolaza, Juan Martin Executable time-triggered model (E-TTM) for the development of safety-critical embedded systemsThesis Hochschulschrift 2011
89Wasicek, Armin Rudolf Security in Time-Triggered SystemsThesis Hochschulschrift2011
90Rosensteiner, Sebastian Tool chain qualification for model-based software engineering in the automotive domainThesis Hochschulschrift2011
91Isakovic Haris - 2011 - A secure global time base for time triggered systems.pdf.jpgIsakovic, HarisA secure global time base for time triggered systemsThesis Hochschulschrift 2011
92Jakovljevic Miljenko - 2011 - Particle Swarm Optimization for generating input...pdf.jpgJakovljević, Miljenko Particle Swarm Optimization for generating input data in measurement based Worst-Case Execution Time analysisThesis Hochschulschrift 2011
93Bilic, Kenan Experimenteller Vergleich von Lösungen zur Integration zeitgesteuerter und ereignisgesteuerter Kommunikation auf Basis von FlexRayThesis Hochschulschrift2010
94Pirker Simon - 2010 - Simulation of LEGOR Mindstorms NXT based plants using a...pdf.jpgPirker, Simon Simulation of LEGO® Mindstorms NXT based plants using a distributed automation frameworkThesis Hochschulschrift 2010
95Kandl Susanne - 2010 - A requirement-based systematic test-case generation...pdf.jpgKandl, Susanne A requirement-based systematic test-case generation method for safety-critical embedded systemsThesis Hochschulschrift 2010
96Fischer, Bernhard Modeling techniques and tools for embedded systems - state of the artThesis Hochschulschrift2010
97Fuegger Matthias - 2010 - Analysis of on-chip fault-tolerant distributed...pdf.jpgFügger, Matthias Analysis of on-chip fault-tolerant distributed algorithmsThesis Hochschulschrift 2010
98Manojlovic Nikolaus Alexander - 2010 - Achieving an enhanced worst-case timing...pdf.jpgManojlovic, Nikolaus Alexander Achieving an enhanced worst-case timing prediction and performance for hard real-time codeThesis Hochschulschrift 2010
99Hoeftberger Oliver - 2010 - Evaluation of temporal and spatial partitioning in...pdf.jpgHöftberger, OliverEvaluation of temporal and spatial partitioning in the time-triggered system-on-a-chip architectureThesis Hochschulschrift 2010
100Haas Walter - 2010 - Automatic coverage-profile calculation for code...pdf.jpgHaas, Walter Automatic coverage-profile calculation for code optimizationThesis Hochschulschrift 2010