Search the dblp DataBase

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]