Conferences in DBLP

Tools and Algorithms for Construction and Analysis of Systems (TACAS) (tacas)
2009 (conf/tacas/2009)

1. 
   Hierarchical Set Decision Diagrams and Regular Models. [Citation Graph (, )][DBLP]
   
   
2. 
   Büchi Complementation and Size-Change Termination. [Citation Graph (, )][DBLP]
   
   
3. 
   Learning Minimal Separating DFA's for Compositional Verification. [Citation Graph (, )][DBLP]
   
   
4. 
   RBAC-PAT: A Policy Analysis Tool for Role Based Access Control. [Citation Graph (, )][DBLP]
   
   
5. 
   ITPN-PerfBound: A Performance Bound Tool for Interval Time Petri Nets. [Citation Graph (, )][DBLP]
   
   
6. 
   Romeo: A Parametric Model-Checker for Petri Nets with Stopwatches. [Citation Graph (, )][DBLP]
   
   
7. 
   Alpaga: A Tool for Solving Parity Games with Imperfect Information. [Citation Graph (, )][DBLP]
   
   
8. 
   Compositional Predicate Abstraction from Game Semantics. [Citation Graph (, )][DBLP]
   
   
9. 
   Compositional Synthesis of Reactive Systems from Live Sequence Chart Specifications. [Citation Graph (, )][DBLP]
   
   
10. 
    Computing Weakest Strategies for Safety Games of Imperfect Information. [Citation Graph (, )][DBLP]
    
    
11. 
    Context-Bounded Analysis for Concurrent Programs with Dynamic Creation of Threads. [Citation Graph (, )][DBLP]
    
    
12. 
    Semantic Reduction of Thread Interleavings in Concurrent Programs. [Citation Graph (, )][DBLP]
    
    
13. 
    Inferring Synchronization under Limited Observability. [Citation Graph (, )][DBLP]
    
    
14. 
    The Complexity of Predicting Atomicity Violations. [Citation Graph (, )][DBLP]
    
    
15. 
    MoonWalker: Verification of .NET Programs. [Citation Graph (, )][DBLP]
    
    
16. 
    Boolector: An Efficient SMT Solver for Bit-Vectors and Arrays. [Citation Graph (, )][DBLP]
    
    
17. 
    The YogiProject: Software Property Checking via Static Analysis and Testing. [Citation Graph (, )][DBLP]
    
    
18. 
    TaPAS: The Talence Presburger Arithmetic Suite. [Citation Graph (, )][DBLP]
    
    
19. 
    Transition-Based Directed Model Checking. [Citation Graph (, )][DBLP]
    
    
20. 
    Memoised Garbage Collection for Software Model Checking. [Citation Graph (, )][DBLP]
    
    
21. 
    Hierarchical Adaptive State Space Caching Based on Level Sampling. [Citation Graph (, )][DBLP]
    
    
22. 
    Static Analysis Techniques for Parameterised Boolean Equation Systems. [Citation Graph (, )][DBLP]
    
    
23. 
    Parametric Trace Slicing and Monitoring. [Citation Graph (, )][DBLP]
    
    
24. 
    From Tests to Proofs. [Citation Graph (, )][DBLP]
    
    
25. 
    Test Input Generation for Programs with Pointers. [Citation Graph (, )][DBLP]
    
    
26. 
    Specification Mining with Few False Positives. [Citation Graph (, )][DBLP]
    
    
27. 
    Path Feasibility Analysis for String-Manipulating Programs. [Citation Graph (, )][DBLP]
    
    
28. 
    Symbolic String Verification: Combining String Analysis and Size Analysis. [Citation Graph (, )][DBLP]
    
    
29. 
    Iterating Octagons. [Citation Graph (, )][DBLP]
    
    
30. 
    Verifying Reference Counting Implementations. [Citation Graph (, )][DBLP]
    
    
31. 
    Falsification of LTL Safety Properties in Hybrid Systems. [Citation Graph (, )][DBLP]
    
    
32. 
    Computing Optimized Representations for Non-convex Polyhedra by Detection and Removal of Redundant Linear Constraints. [Citation Graph (, )][DBLP]
    
    
33. 
    All-Termination(T). [Citation Graph (, )][DBLP]
    
    
34. 
    Ground Interpolation for the Theory of Equality. [Citation Graph (, )][DBLP]
    
    
35. 
    Satisfiability Procedures for Combination of Theories Sharing Integer Offsets. [Citation Graph (, )][DBLP]
    
    
36. 
    Bridging the Gap Between Model-Based Development and Model Checking. [Citation Graph (, )][DBLP]