Conferences in DBLP

(fsen)
2009 (conf/fsen/2009)

1. 
   A Process-Theoretic Look at Automata. [Citation Graph (, )][DBLP]
   
   
2. 
   Verification, Performance Analysis and Controller Synthesis for Real-Time Systems. [Citation Graph (, )][DBLP]
   
   
3. 
   rCOS: Theory and Tool for Component-Based Model Driven Development. [Citation Graph (, )][DBLP]
   
   
4. 
   Termination in Higher-Order Concurrent Calculi. [Citation Graph (, )][DBLP]
   
   
5. 
   Typing Asymmetric Client-Server Interaction. [Citation Graph (, )][DBLP]
   
   
6. 
   Equational Reasoning on Ad Hoc Networks. [Citation Graph (, )][DBLP]
   
   
7. 
   Towards a Notion of Unsatisfiable Cores for LTL. [Citation Graph (, )][DBLP]
   
   
8. 
   Rule Formats for Determinism and Idempotence. [Citation Graph (, )][DBLP]
   
   
9. 
   The Complexity of Reachability in Randomized Sabotage Games. [Citation Graph (, )][DBLP]
   
   
10. 
    Applying Step Coverability Trees to Communicating Component-Based Systems. [Citation Graph (, )][DBLP]
    
    
11. 
    Program Logics for Sequential Higher-Order Control. [Citation Graph (, )][DBLP]
    
    
12. 
    Modular Schedulability Analysis of Concurrent Objects in Creol. [Citation Graph (, )][DBLP]
    
    
13. 
    A Timed Calculus for Wireless Systems. [Citation Graph (, )][DBLP]
    
    
14. 
    Model Checking Linear Duration Invariants of Networks of Automata. [Citation Graph (, )][DBLP]
    
    
15. 
    Automata Based Model Checking for Reo Connectors. [Citation Graph (, )][DBLP]
    
    
16. 
    On the Expressiveness of Refinement Settings. [Citation Graph (, )][DBLP]
    
    
17. 
    Bounded Rational Search for On-the-Fly Model Checking of LTL Properties. [Citation Graph (, )][DBLP]
    
    
18. 
    Automated Translation and Analysis of a ToolBus Script for Auctions. [Citation Graph (, )][DBLP]
    
    
19. 
    Executable Interface Specifications for Testing Asynchronous Creol Components. [Citation Graph (, )][DBLP]
    
    
20. 
    Compositional Strategy Mapping. [Citation Graph (, )][DBLP]
    
    
21. 
    A Sound Analysis for Secure Information Flow Using Abstract Memory Graphs. [Citation Graph (, )][DBLP]
    
    
22. 
    Refinement Patterns for Hierarchical UML State Machines. [Citation Graph (, )][DBLP]
    
    
23. 
    Specification and Validation of Behavioural Protocols in the rCOS Modeler. [Citation Graph (, )][DBLP]
    
    
24. 
    The Interplay between Relationships, Roles and Objects. [Citation Graph (, )][DBLP]
    
    
25. 
    A Coordination Model for Interactive Components. [Citation Graph (, )][DBLP]
    
    
26. 
    Evolution Control in MDE Projects: Controlling Model and Code Co-evolution. [Citation Graph (, )][DBLP]
    
    
27. 
    An xADL Extension for Managing Dynamic Deployment in Distributed Service Oriented Architectures. [Citation Graph (, )][DBLP]
    
    
28. 
    A First Step towards Security Policy Compliance of Connectors. [Citation Graph (, )][DBLP]
    
    
29. 
    A Safe Implementation of Dynamic Overloading in Java-Like Languages. [Citation Graph (, )][DBLP]
    
    
30. 
    Fundamental Concepts for the Structuring of Functionality into Modular Parts. [Citation Graph (, )][DBLP]