The SCEAS System
Navigation Menu

Search the dblp DataBase


Martin Horauer: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Martin Horauer, Ulrich Schmid, Klaus Schossmaier
    NTI: A Network Time Interface M-Module for High-Accuracy Clock-Synchronization. [Citation Graph (0, 0)][DBLP]
    IPPS/SPDP Workshops, 1998, pp:1067-1076 [Conf]
  2. Klaus Schossmaier, Ulrich Schmid, Martin Horauer, Dietmar Loy
    Specification and Implementation of the Universal Time Coordinated Synchronization Unit (UTCSU). [Citation Graph (0, 0)][DBLP]
    Real-Time Systems, 1997, v:12, n:3, pp:295-327 [Journal]
  3. Eric Armengaud, Andreas Steininger, Martin Horauer
    Automatic Parameter Identi cation in FlexRay based Automotive Communication Networks. [Citation Graph (0, 0)][DBLP]
    ETFA, 2006, pp:897-904 [Conf]
  4. Eric Armengaud, Andreas Steininger, Martin Horauer
    Efficient stimulus generation for testing embedded distributed systems the FlexRay example. [Citation Graph (0, 0)][DBLP]
    ETFA, 2005, pp:- [Conf]

  5. Using 3-valued memory representation for state space reduction in embedded assembly code model checking. [Citation Graph (, )][DBLP]

  6. Automated Testing of FlexRay Clusters for System Inconsistencies in Automotive Networks. [Citation Graph (, )][DBLP]

  7. Challenges in embedded model checking - a simulator for the [mc]square model checker. [Citation Graph (, )][DBLP]

  8. Refactoring an Automotive Embedded Software Stack using the Component-Based Paradigm. [Citation Graph (, )][DBLP]

  9. A Test Tool for FlexRay-based Embedded Systems. [Citation Graph (, )][DBLP]

  10. An investigation of the clique problem in FlexRay. [Citation Graph (, )][DBLP]

  11. Refining assembly code static analysis for the Intel MCS-51 microcontroller. [Citation Graph (, )][DBLP]

Search in 0.002secs, Finished in 0.003secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002