Conferences in DBLP

Formal Techniques for Networked and Distributed Systems / (forte)
2009 (conf/forte/2009)

1. 
   The Orc Programming Language. [Citation Graph (, )][DBLP]
   
   
2. 
   Keep It Small, Keep It Real: Efficient Run-Time Verification of Web Service Compositions. [Citation Graph (, )][DBLP]
   
   
3. 
   Approximated Context-Sensitive Analysis for Parameterized Verification. [Citation Graph (, )][DBLP]
   
   
4. 
   Verification of Parameterized Systems with Combinations of Abstract Domains. [Citation Graph (, )][DBLP]
   
   
5. 
   On Model-Checking Optimistic Replication Algorithms. [Citation Graph (, )][DBLP]
   
   
6. 
   Recursive Parametric Automata and epsilon-Removal. [Citation Graph (, )][DBLP]
   
   
7. 
   A Software Platform for Timed Mobility and Timed Interaction. [Citation Graph (, )][DBLP]
   
   
8. 
   Modeling, Validation, and Verification of PCEP Using the IF Language. [Citation Graph (, )][DBLP]
   
   
9. 
   Distinguing Non-deterministic Timed Finite State Machines. [Citation Graph (, )][DBLP]
   
   
10. 
    System Model-Based Definition of Modeling Language Semantics. [Citation Graph (, )][DBLP]
    
    
11. 
    Typing Component-Based Communication Systems. [Citation Graph (, )][DBLP]
    
    
12. 
    Epistemic Logic for the Applied Pi Calculus. [Citation Graph (, )][DBLP]
    
    
13. 
    On Process-Algebraic Proof Methods for Fault Tolerant Distributed Systems. [Citation Graph (, )][DBLP]
    
    
14. 
    Using First-Order Logic to Reason about Submodule Construction. [Citation Graph (, )][DBLP]
    
    
15. 
    A Model-Checking Approach for Service Component Architectures. [Citation Graph (, )][DBLP]
    
    
16. 
    Dynamic Symbolic Execution of Distributed Concurrent Objects. [Citation Graph (, )][DBLP]
    
    
17. 
    Checking the Conformance of Orchestrations with Respect to Choreographies in Web Services: A Formal Approach. [Citation Graph (, )][DBLP]
    
    
18. 
    A Type Graph Model for Java Programs. [Citation Graph (, )][DBLP]
    
    
19. 
    Conformance Testing of Network Simulators Based on Metamorphic Testing Technique. [Citation Graph (, )][DBLP]