Search the dblp DataBase

Publications of Author

1. Christian Buckl, Alois Knoll, Gerhard Schrott
   The Zerberus Language: Describing the Functional Model of Dependable Real-Time Systems. [Citation Graph (0, 0)][DBLP]
   LADC, 2005, pp:101-120 [Conf]
   
2. Christian Buckl, Alois Knoll, Gerhard Schrott
   Development of Dependable Real-Time Systems with Zerberus. [Citation Graph (0, 0)][DBLP]
   PRDC, 2005, pp:404-408 [Conf]
   
3. Christian Buckl, Alois Knoll, Gerhard Schrott
   Template-Based Development of Fault-Tolerant Embedded Software. [Citation Graph (0, 0)][DBLP]
   ICSEA, 2006, pp:65- [Conf]
   
4. 
   Models for automatic generation of safety-critical real-time systems. [Citation Graph (, )][DBLP]
   
   
5. 
   Services to the Field: An Approach for Resource Constrained Sensor/Actor Networks. [Citation Graph (, )][DBLP]
   
   
6. 
   Service Migration Scenarios for Embedded Networks. [Citation Graph (, )][DBLP]
   
   
7. 
   GAVS: Game Arena Visualization and Synthesis. [Citation Graph (, )][DBLP]
   
   
8. 
   Toward the Design of Robotic Software with Verifiable Safety. [Citation Graph (, )][DBLP]
   
   
9. 
   Modeling and Verification for Timing Satisfaction of Fault-Tolerant Systems with Finiteness. [Citation Graph (, )][DBLP]
   
   
10. 
    WS-AMUSE - web service architecture for multimedia services. [Citation Graph (, )][DBLP]
    
    
11. 
    Model-Based Development of Fault-Tolerant Embedded Software. [Citation Graph (, )][DBLP]
    
    
12. 
    Developing Service Oriented Sensor/Actuator Networks Using a Tailored Middleware. [Citation Graph (, )][DBLP]
    
    
13. 
    Model-to-Metamodel Transformation for the Development of Component-Based Systems. [Citation Graph (, )][DBLP]
    
    
14. 
    Model Based Development of Safety-Critical Systems Using Template Based Code Generation. [Citation Graph (, )][DBLP]
    
    
15. 
    Generic Fault-Tolerance Mechanisms Using the Concept of Logical Execution Time. [Citation Graph (, )][DBLP]
    
    
16. 
    Generating a Tailored Middleware for Wireless Sensor Network Applications. [Citation Graph (, )][DBLP]
    
    
17. 
    Modell-zu-Metamodell-Transformationen zur Entwicklung von komponentenbasierten Systemen. [Citation Graph (, )][DBLP]
    
    
18. 
    FTOS-Verify: Analysis and Verification of Non-Functional Properties for Fault-Tolerant Systems [Citation Graph (, )][DBLP]
    
    
19. 
    Modeling and Verification for Timing Satisfaction of Fault-Tolerant Systems with Finiteness [Citation Graph (, )][DBLP]