OPUS 4 | Search

A Structured Approach for the Systematic Test of Embedded Automotive Communication Systems (2005)

Armengaud, Eric ; Rothensteiner, Florian ; Steininger, Andreas ; Pallierer, Roman ; Horauer, Martin ; Zauner, Martin

Using a Duplex Time-to-Digital Converter for Metastability Characterization of an FPGA (2018)

Huemer, Florian ; Polzer, Thomas ; Steininger, Andreas

A Monitoring concept for an Automotive Distributed Network - The Flexray Example (2004)

Armengaud, Eric ; Steininger, Andreas ; Horauer, Martin ; Pallierer, Roman ; Friedl, Hannes

Automated Generation of Explicit Connectors for Component Based Hardware/Software Interaction in Embedded Real-Time Systems (2008)

Forster, Wolfgang ; Kutschera, Christof ; Steininger, Andreas ; Göschka, Karl

Design Trade-Offs for Systematic Tests of Embedded Communication Systems (2004)

Armengaud, Eric ; Steininger, Andreas ; Horauer, Martin ; Pallierer, Roman

Runtime verification of microcontroller binary code (2014)

Reinbacher, Thomas ; Brauer, Jörg ; Horauer, Martin ; Steininger, Andreas ; Kowalewski, Stefan

Past Time LTL Runtime Verification for Microcontroller Binary Code (2011)

Reinbacher, Thomas ; Brauer, Jörg ; Horauer, Martin ; Steininger, Andreas ; Kowalewski, Stefan

Hardware Support for Efficient Testing of Embedded Software (2011)

Reinbacher, Thomas ; Steininger, Andreas ; Müller, Tobias ; Horauer, Martin ; Brauer, Jörg

Test-Case Generation for Embedded Binary Code Using Abstract Interpretation (2010)

Reinbacher, Thomas ; Brauer, Jörg ; Horauer, Martin ; Steininger, Andreas ; Kowalewski, Stefan

Automated Testing of FlexRay Clusters for System Inconsistencies in Automotive Networks (2008)

Milbredt, Paul ; Steininger, Andreas ; Horauer, Martin

Open Access