Conferences in DBLP

(isola)
2007 (conf/isola/2007)

1. 
   Avionic Software Verification by Abstract Interpretation. [Citation Graph (, )][DBLP]
   
   
2. 
   Model-based development of embedded control systems: historical perspective and recent advances. [Citation Graph (, )][DBLP]
   
   
3. 
   The aeronautical systems development challenges for Airbus. [Citation Graph (, )][DBLP]
   
   
4. 
   Development of Transportation Systems. [Citation Graph (, )][DBLP]
   
   
5. 
   New worst-case analysis technique for real-time transactions. [Citation Graph (, )][DBLP]
   
   
6. 
   A C-space sensitivity analysis of Earliest Deadline First scheduling. [Citation Graph (, )][DBLP]
   
   
7. 
   Formal Functionally Deterministic Scheduling. [Citation Graph (, )][DBLP]
   
   
8. 
   Reliable and Precise WCET and Stack Size Determination for a Real-life Embedded Application. [Citation Graph (, )][DBLP]
   
   
9. 
   Formal models of Fractal Component Based Systems for performance analysis. [Citation Graph (, )][DBLP]
   
   
10. 
    Fault-Tolerance Analysis of Mixed CAN/Switched Ethernet Architecture. [Citation Graph (, )][DBLP]
    
    
11. 
    Seven at one stroke: LTL model checking for High-level Specifications in B, Z, CSP, and more. [Citation Graph (, )][DBLP]
    
    
12. 
    Verification, Diagnosis and Adaptation: Tool supported enhancement of the model-driven verification process. [Citation Graph (, )][DBLP]
    
    
13. 
    Verification of embbeded systems with preemption: a negative result. [Citation Graph (, )][DBLP]
    
    
14. 
    Using Analogy to Promote Conceptual Modeling Reuse. [Citation Graph (, )][DBLP]
    
    
15. 
    Formal Modeling of Data. A Case Study for Space Applications. [Citation Graph (, )][DBLP]
    
    
16. 
    Don't care in SMT-Building flexible yet efficient abstraction/refinement solvers. [Citation Graph (, )][DBLP]
    
    
17. 
    Qualitative Abstraction based Verification for Analog Circuits. [Citation Graph (, )][DBLP]
    
    
18. 
    Preservation of timed properties during an incremental development by components. [Citation Graph (, )][DBLP]
    
    
19. 
    OASIS formal approach for distributed safety-critical real-time system design. [Citation Graph (, )][DBLP]
    
    
20. 
    Proved Development of the Real-Time Properties of the IEEE 1394 Root Contention Protocol with the Event B Method. [Citation Graph (, )][DBLP]
    
    
21. 
    A Simplified Approach for Testing Real-Time Systems Based on Action Refinement. [Citation Graph (, )][DBLP]
    
    
22. 
    Using Formal Methods to increase confidence in one Home Network System implementation: Case study. [Citation Graph (, )][DBLP]
    
    
23. 
    Using Invariant Detection Mechanism in Black Box Inference. [Citation Graph (, )][DBLP]