Conferences in DBLP

International Colloquium on Theoretical Aspects of Computing (ictac)
2008 (conf/ictac/2008)

1. 
   Using Design Patterns in Formal Methods: An Event-B Approach. [Citation Graph (, )][DBLP]
   
   
2. 
   A Unified Approach to Abstract Interpretation, Formal Verification and Testing of C/C++ Modules. [Citation Graph (, )][DBLP]
   
   
3. 
   The Three Platonic Models of Divergence-Strict CSP. [Citation Graph (, )][DBLP]
   
   
4. 
   Monotonic Abstraction in Action. [Citation Graph (, )][DBLP]
   
   
5. 
   Non-interleaving Semantics with Causality for Nondeterministic Dataflow. [Citation Graph (, )][DBLP]
   
   
6. 
   Symbolic Reachability for Process Algebras with Recursive Data Types. [Citation Graph (, )][DBLP]
   
   
7. 
   Inclusion Test Algorithms for One-Unambiguous Regular Expressions. [Citation Graph (, )][DBLP]
   
   
8. 
   Refinement of Kripke Models for Dynamics. [Citation Graph (, )][DBLP]
   
   
9. 
   Tomorrow and All our Yesterdays: MTL Satisfiability over the Integers. [Citation Graph (, )][DBLP]
   
   
10. 
    A Theory of Pointers for the UTP. [Citation Graph (, )][DBLP]
    
    
11. 
    Recasting Constraint Automata into Büchi Automata. [Citation Graph (, )][DBLP]
    
    
12. 
    A Complete Realisability Semantics for Intersection Types and Arbitrary Expansion Variables. [Citation Graph (, )][DBLP]
    
    
13. 
    Towards Efficient Verification of Systems with Dynamic Process Creation. [Citation Graph (, )][DBLP]
    
    
14. 
    An Observational Model for Transactional Calculus of Services Orchestration. [Citation Graph (, )][DBLP]
    
    
15. 
    Everything Is PSPACE-Complete in Interaction Systems. [Citation Graph (, )][DBLP]
    
    
16. 
    A New Approach for the Construction of Multiway Decision Graphs. [Citation Graph (, )][DBLP]
    
    
17. 
    Congruence Results of Scope Equivalence for a Graph Rewriting Model of Concurrent Programs. [Citation Graph (, )][DBLP]
    
    
18. 
    Guided Test Generation from CSP Models. [Citation Graph (, )][DBLP]
    
    
19. 
    Relaxing Goodness Is Still Good. [Citation Graph (, )][DBLP]
    
    
20. 
    Benchmarking Model- and Satisfiability-Checking on Bi-infinite Time. [Citation Graph (, )][DBLP]
    
    
21. 
    Formal Analysis of Workflows Using UML 2.0 Activities and Graph Transformation Systems. [Citation Graph (, )][DBLP]
    
    
22. 
    Testing Concurrent Objects with Application-Specific Schedulers. [Citation Graph (, )][DBLP]
    
    
23. 
    A Theory of Bounded Fair Scheduling. [Citation Graph (, )][DBLP]
    
    
24. 
    Fair Exchange Is Incomparable to Consensus. [Citation Graph (, )][DBLP]
    
    
25. 
    Automatic Generation of CSP || B Skeletons from xUML Models. [Citation Graph (, )][DBLP]
    
    
26. 
    Bounded Model Checking for Partial Kripke Structures. [Citation Graph (, )][DBLP]
    
    
27. 
    Verification of Linear Duration Invariants by Model Checking CTL Properties. [Citation Graph (, )][DBLP]
    
    
28. 
    Exact Response Time Scheduling Analysis of Accumulatively Monotonic Multiframe Real Time Tasks. [Citation Graph (, )][DBLP]
    
    
29. 
    Endomorphisms for Non-trivial Non-linear Loop Invariant Generation. [Citation Graph (, )][DBLP]
    
    
30. 
    Instantiation for Parameterised Boolean Equation Systems. [Citation Graph (, )][DBLP]