Conferences in DBLP

Ada-Europe (adaEurope)
2009 (conf/adaEurope/2009)

1. 
   Requirements on the Target Programming Language for High-Integrity MDE. [Citation Graph (, )][DBLP]
   
   
2. 
   A Restricted Middleware Profile for High-Integrity Distributed Real-Time Systems. [Citation Graph (, )][DBLP]
   
   
3. 
   Validating Safety and Security Requirements for Partitioned Architectures. [Citation Graph (, )][DBLP]
   
   
4. 
   On Comparing Testing Criteria for Logical Decisions. [Citation Graph (, )][DBLP]
   
   
5. 
   Model Checking Techniques for Test Generation from Business Process Models. [Citation Graph (, )][DBLP]
   
   
6. 
   An Experience on Ada Programming Using On-Line Judging. [Citation Graph (, )][DBLP]
   
   
7. 
   Weak Fairness Semantic Drawbacks in Java Multithreading. [Citation Graph (, )][DBLP]
   
   
8. 
   Implementation of the Ada 2005 Task Dispatching Model in MaRTE OS and GNAT. [Citation Graph (, )][DBLP]
   
   
9. 
   Combining EDF and FP Scheduling: Analysis and Implementation in Ada 2005. [Citation Graph (, )][DBLP]
   
   
10. 
    Predicated Worst-Case Execution-Time Analysis. [Citation Graph (, )][DBLP]
    
    
11. 
    Implementing Reactive Systems with UML State Machines and Ada 2005. [Citation Graph (, )][DBLP]
    
    
12. 
    Modelling and Evaluating Real-Time Software Architectures. [Citation Graph (, )][DBLP]
    
    
13. 
    A Formal Foundation for Metamodeling. [Citation Graph (, )][DBLP]
    
    
14. 
    Modeling AADL Data Communication with BIP. [Citation Graph (, )][DBLP]
    
    
15. 
    Formal Verification of AADL Specifications in the Topcased Environment. [Citation Graph (, )][DBLP]
    
    
16. 
    Process-Algebraic Interpretation of AADL Models. [Citation Graph (, )][DBLP]
    
    
17. 
    Ocarina : An Environment for AADL Models Analysis and Automatic Code Generation for High Integrity Applications. [Citation Graph (, )][DBLP]
    
    
18. 
    Conceptual Modeling for System Requirements Enhancement. [Citation Graph (, )][DBLP]
    
    
19. 
    Coloured Petri Nets for Chronicle Recognition. [Citation Graph (, )][DBLP]