Conferences in DBLP

Fundamental Approaches to Software Engineering (FASE) (fase)
2009 (conf/fase/2009)

1. 
   Scalable Analysis of Scalable Systems. [Citation Graph (, )][DBLP]
   
   
2. 
   Rewriting Logic Semantics and Verification of Model Transformations. [Citation Graph (, )][DBLP]
   
   
3. 
   Confluence in Domain-Independent Product Line Transformations. [Citation Graph (, )][DBLP]
   
   
4. 
   Object Flow Definition for Refined Activity Diagrams. [Citation Graph (, )][DBLP]
   
   
5. 
   A Category-Theoretical Approach to the Formalisation of Version Control in MDE. [Citation Graph (, )][DBLP]
   
   
6. 
   Controller Synthesis from LSC Requirements. [Citation Graph (, )][DBLP]
   
   
7. 
   Interface Generation and Compositional Verification in JavaPathfinder. [Citation Graph (, )][DBLP]
   
   
8. 
   A Formal Way from Text to Code Templates. [Citation Graph (, )][DBLP]
   
   
9. 
   Context-Aware Adaptive Services: The PLASTIC Approach. [Citation Graph (, )][DBLP]
   
   
10. 
    Synchronous Modeling and Validation of Priority Inheritance Schedulers. [Citation Graph (, )][DBLP]
    
    
11. 
    Describing and Analyzing Behaviours over Tabular Specifications Using (Dyn)Alloy. [Citation Graph (, )][DBLP]
    
    
12. 
    Reducing the Costs of Bounded-Exhaustive Testing. [Citation Graph (, )][DBLP]
    
    
13. 
    Logical Testing. [Citation Graph (, )][DBLP]
    
    
14. 
    Cross-Entropy-Based Replay of Concurrent Programs. [Citation Graph (, )][DBLP]
    
    
15. 
    Control Dependence for Extended Finite State Machines. [Citation Graph (, )][DBLP]
    
    
16. 
    Proving Consistency of Pure Methods and Model Fields. [Citation Graph (, )][DBLP]
    
    
17. 
    On the Implementation of @pre. [Citation Graph (, )][DBLP]
    
    
18. 
    Formal Specification and Analysis of Timing Properties in Software Systems. [Citation Graph (, )][DBLP]
    
    
19. 
    Formal Foundation for Pattern-Based Modelling. [Citation Graph (, )][DBLP]
    
    
20. 
    Problem-Oriented Documentation of Design Patterns. [Citation Graph (, )][DBLP]
    
    
21. 
    Certification of Smart-Card Applications in Common Criteria. [Citation Graph (, )][DBLP]
    
    
22. 
    Transformation of Type Graphs with Inheritance for Ensuring Security in E-Government Networks. [Citation Graph (, )][DBLP]
    
    
23. 
    A Formal Connection between Security Automata and JML Annotations. [Citation Graph (, )][DBLP]
    
    
24. 
    Algorithms for Automatically Computing the Causal Paths of Failures. [Citation Graph (, )][DBLP]
    
    
25. 
    Mining API Error-Handling Specifications from Source Code. [Citation Graph (, )][DBLP]
    
    
26. 
    SNIFF: A Search Engine for Java Using Free-Form Queries. [Citation Graph (, )][DBLP]
    
    
27. 
    Inquiry and Introspection for Non-deterministic Queries in Mobile Networks. [Citation Graph (, )][DBLP]
    
    
28. 
    hol-TestGen. [Citation Graph (, )][DBLP]
    
    
29. 
    CADS*: Computer-Aided Development of Self-* Systems. [Citation Graph (, )][DBLP]
    
    
30. 
    HAVE: Detecting Atomicity Violations via Integrated Dynamic and Static Analysis. [Citation Graph (, )][DBLP]
    
    
31. 
    Accurate and Efficient Structural Characteristic Feature Extraction for Clone Detection. [Citation Graph (, )][DBLP]
    
    
32. 
    Enhanced Property Specification and Verification in BLAST. [Citation Graph (, )][DBLP]
    
    
33. 
    Finding Loop Invariants for Programs over Arrays Using a Theorem Prover. [Citation Graph (, )][DBLP]