Towards a Systematic Test for Embedded Automotive Communication Systems
Armengaud, E., Steininger, A., Horauer, M.
Published in IEEE transactions on industrial informatics (01.08.2008)
Published in IEEE transactions on industrial informatics (01.08.2008)
Get full text
Journal Article
Verification challenges of complex system-on-chip devices
Horauer, Martin, Widhalm, Dominik, Tauner, Stefan, Mirtl, Stefan
Published in Elektrotechnik und Informationstechnik (01.09.2015)
Published in Elektrotechnik und Informationstechnik (01.09.2015)
Get full text
Journal Article
A system-level test for automotive communication subsystems
Horauer, M., Zauner, M., Schuster, H.
Published in Elektrotechnik und Informationstechnik (01.06.2011)
Published in Elektrotechnik und Informationstechnik (01.06.2011)
Get full text
Journal Article
Automatic Parameter Identi cation in FlexRay based Automotive Communication Networks
Armengaud, E., Steininger, A., Horauer, M.
Published in 2006 IEEE Conference on Emerging Technologies and Factory Automation (01.09.2006)
Published in 2006 IEEE Conference on Emerging Technologies and Factory Automation (01.09.2006)
Get full text
Conference Proceeding
NTI: A Network Time Interface M-module for high-accuracy clock synchronization
Horauer, Martin, Schmid, Ulrich, Schossmaier, Klaus
Published in Lecture notes in computer science (01.01.1998)
Published in Lecture notes in computer science (01.01.1998)
Get full text
Book Chapter
Conference Proceeding
Specification and Implementation of the Universal Time Coordinated Synchronization Unit (UTCSU)
Schossmaier, Klaus, Schmid, Ulrich, Horauer, Martin, Loy, Dietmar
Published in Real-time systems (01.05.1997)
Published in Real-time systems (01.05.1997)
Get full text
Journal Article
A runtime verification unit for microcontrollers
Reinbacher, T., Horauer, M., Steininger, A.
Published in Proceedings of the 2012 System, Software, SoC and Silicon Debug Conference (01.09.2012)
Get full text
Published in Proceedings of the 2012 System, Software, SoC and Silicon Debug Conference (01.09.2012)
Conference Proceeding
A Test Suite for System Tests of Distributed Automotive Electronics
Praprotnik, O., Gartner, M., Zauner, M., Horauer, M.
Published in 2009 Second International Conference on Advances in Circuits, Electronics and Micro-electronics (01.10.2009)
Published in 2009 Second International Conference on Advances in Circuits, Electronics and Micro-electronics (01.10.2009)
Get full text
Conference Proceeding
An investigation of the clique problem in FlexRay
Milbredt, P., Horauer, M., Steininger, A.
Published in 2008 International Symposium on Industrial Embedded Systems (01.06.2008)
Published in 2008 International Symposium on Industrial Embedded Systems (01.06.2008)
Get full text
Conference Proceeding
Challenges in embedded model checking - a simulator for the [mc]square model checker
Reinbacher, T., Kramer, M., Horauer, M., Schlich, B.
Published in 2008 International Symposium on Industrial Embedded Systems (01.06.2008)
Published in 2008 International Symposium on Industrial Embedded Systems (01.06.2008)
Get full text
Conference Proceeding
Refining assembly code static analysis for the Intel MCS-51 microcontroller
Reinbacher, T., Brauer, J., Horauer, M., Schlich, B.
Published in 2009 IEEE International Symposium on Industrial Embedded Systems (01.07.2009)
Published in 2009 IEEE International Symposium on Industrial Embedded Systems (01.07.2009)
Get full text
Conference Proceeding
Model Checking Assembly Code of an Industrial Knitting Machine
Reinbacher, T., Horauer, M., Schlich, B., Brauer, J., Scheuer, F.
Published in 2009 Fourth International Conference on Embedded and Multimedia Computing (01.12.2009)
Published in 2009 Fourth International Conference on Embedded and Multimedia Computing (01.12.2009)
Get full text
Conference Proceeding
Development of a Data Collection Platform
Roessler, P., Radlbauer, J., Horauer, M., Lukasch, F., Wimmer, M.
Published in 2008 IEEE International Symposium on Industrial Electronics (01.06.2008)
Published in 2008 IEEE International Symposium on Industrial Electronics (01.06.2008)
Get full text
Conference Proceeding
A Test Tool for FlexRay-based Embedded Systems
Horauer, M., Praprotnik, O., Zauner, M., Holler, R., Milbredt, P.
Published in 2007 International Symposium on Industrial Embedded Systems (01.07.2007)
Published in 2007 International Symposium on Industrial Embedded Systems (01.07.2007)
Get full text
Conference Proceeding