Name Card

Full name Familienname, Vorname
Horauer, Martin
 

Own Publications Eigene Publikationen

Results 1-20 of 34 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Reinbacher, Thomas ; Brauer, Jörg ; Horauer, Martin ; Steininger, Andreas ; Kowalewski, Stefan Runtime verification of microcontroller binary codeArtikel Article 2014
2Reinbacher, Thomas ; Geist, Johannes ; Moosbrugger, Patrick ; Horauer, Martin ; Steininger, Andreas Parallel Runtime Verification of Temporal Properties for Embedded SoftwareKonferenzbeitrag Inproceedings 2012
3Reinbacher, Thomas ; Horauer, Martin ; Steininger, Andreas A Runtime Verification Unit for MicrocontrollersKonferenzbeitrag Inproceedings 2012
4Reinbacher, Thomas ; Gückel, Dominik ; Horauer, Martin Testing microcontroller software simulatorsKonferenzbeitrag Inproceedings 2011
5Reinbacher, Thomas ; Steininger, Andreas ; Müller, Tobias ; Horauer, Martin ; Brauer, Jörg ; Kowalewski, Stefan Hardware support for efficient testing of embedded softwareKonferenzbeitrag Inproceedings 2011
6Reinbacher, Thomas ; Brauer, Jörg ; Horauer, Martin ; Steininger, Andreas ; Kowalewski, Stefan Past Time LTL Runtime Verification for Microcontroller Binary CodeKonferenzbeitrag Inproceedings 2011
7Reinbacher, Thomas ; Brauer, Jörg ; Horauer, Martin ; Steininger, Andreas ; Kowalewski, Stefan Test-Case Generation for Embedded Binary Code Using Abstract InterpretationKonferenzbeitrag Inproceedings 2010
8Armengaud, Eric ; Steininger, Andreas ; Horauer, Martin Towards a Systematic Test for Embedded Automotive Communication SystemsArtikel Article 15-Aug-2008
9Milbredt, Paul ; Steininger, Andreas ; Horauer, Martin Automated Testing of FlexRay Clusters for System Inconsistencies in Automotive NetworksKonferenzbeitrag Inproceedings 2008
10Milbredt, Paul ; Horauer, Martin ; Steininger, Andreas An investigation of the clique problem in FlexRayKonferenzbeitrag Inproceedings 2008
11Horauer, Martin ; Armengaud, Eric ; Steininger, Andreas Concepts and Tools for the Test of the Communication Sub-System of Time-Triggered Distributed Embedded SystemsKonferenzbeitrag Inproceedings 2007
12Galla, Thomas M. ; Schreiner, Dietmar ; Forster, Wolfgang ; Kutschera, Christof ; Göschka, Karl Michael ; Horauer, Martin Refactoring an Automotive Embedded Software Stack using the Component-Based ParadigmKonferenzbeitrag Inproceedings 2007
13Muhr, Hannes ; Höller, Roland ; Horauer, Martin A Heterogeneous Hardware-Software Co-Simulation Environment Using User Mode Linux and Clock SuppressionKonferenzbeitrag Inproceedings2006
14Pallierer, Roman ; Horauer, Martin ; Zauner, Martin ; Steininger, Andreas ; Armengaud, Eric ; Rothensteiner, Florian A Generic Tool for Systematic Tests in Embedded Automotive Communication SystemsKonferenzbeitrag Inproceedings2005
15Armengaud, Eric ; Steininger, Andreas ; Horauer, Martin An Efficient Test and Diagnosis Environment for Communication ControllersKonferenzbeitrag Inproceedings 2005
16Armengaud, Eric ; Rothensteiner, Florian ; Steininger, Andreas ; Pallierer, Roman ; Horauer, Martin ; Zauner, Martin A Structured Approach for the Systematic Test of Embedded Automotive Communication SystemsKonferenzbeitrag Inproceedings 2005
17Armengaud, Eric ; Rothensteiner, Florian ; Steininger, Andreas ; Horauer, Martin A Flexible Hardware Architecture for Fast Access on Large Non-Volatile MemoriesKonferenzbeitrag Inproceedings 2005
18Armengaud, Eric ; Steininger, Andreas ; Horauer, Martin Efficient Stimulus Genereation for Remote Testing of Distributed Systems - The Flexray ExampleKonferenzbeitrag Inproceedings 2005
19Armengaud, Eric ; Steininger, Andreas ; Horauer, Martin A Method for Bit Level Test and Diagnosis of Communication ServicesKonferenzbeitrag Inproceedings 2005
20Armengaud, Eric ; Rothensteiner, Florian ; Steininger, Andreas ; Horauer, Martin A Flexible Hardware Architecture for Fast Access on Large Non-Volatile MemoriesBericht Report2004