Conferences in DBLP

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

1. 
   Embedded Systems Design - Scientific Challenges and Work Directions. [Citation Graph (, )][DBLP]
   
   
2. 
   Antichain Algorithms for Finite Automata. [Citation Graph (, )][DBLP]
   
   
3. 
   Assume-Guarantee Verification for Probabilistic Systems. [Citation Graph (, )][DBLP]
   
   
4. 
   Simple O(m logn) Time Markov Chain Lumping. [Citation Graph (, )][DBLP]
   
   
5. 
   Model Checking Interactive Markov Chains. [Citation Graph (, )][DBLP]
   
   
6. 
   Approximating the Pareto Front of Multi-criteria Optimization Problems. [Citation Graph (, )][DBLP]
   
   
7. 
   An Alternative to SAT-Based Approaches for Bit-Vectors. [Citation Graph (, )][DBLP]
   
   
8. 
   Satisfiability Modulo the Theory of Costs: Foundations and Applications. [Citation Graph (, )][DBLP]
   
   
9. 
   Optimal Tableau Algorithms for Coalgebraic Logics. [Citation Graph (, )][DBLP]
   
   
10. 
    Blocked Clause Elimination. [Citation Graph (, )][DBLP]
    
    
11. 
    Boom: Taking Boolean Program Model Checking One Step Further. [Citation Graph (, )][DBLP]
    
    
12. 
    The OpenSMT Solver. [Citation Graph (, )][DBLP]
    
    
13. 
    Stranger: An Automata-Based String Analysis Tool for PHP. [Citation Graph (, )][DBLP]
    
    
14. 
    When Simulation Meets Antichains. [Citation Graph (, )][DBLP]
    
    
15. 
    On Weak Modal Compatibility, Refinement, and the MIO Workbench. [Citation Graph (, )][DBLP]
    
    
16. 
    Rational Synthesis. [Citation Graph (, )][DBLP]
    
    
17. 
    Efficient Büchi Universality Checking. [Citation Graph (, )][DBLP]
    
    
18. 
    Automated Termination Analysis for Programs with Second-Order Recursion. [Citation Graph (, )][DBLP]
    
    
19. 
    Ranking Function Synthesis for Bit-Vector Relations. [Citation Graph (, )][DBLP]
    
    
20. 
    Fairness for Dynamic Control. [Citation Graph (, )][DBLP]
    
    
21. 
    JTorX: A Tool for On-Line Model-Driven Test Derivation and Execution. [Citation Graph (, )][DBLP]
    
    
22. 
    SLAB: A Certifying Model Checker for Infinite-State Concurrent Systems. [Citation Graph (, )][DBLP]
    
    
23. 
    Tracking Heaps That Hop with Heap-Hop. [Citation Graph (, )][DBLP]
    
    
24. 
    Automatic Analysis of Scratch-Pad Memory Code for Heterogeneous Multicore Processors. [Citation Graph (, )][DBLP]
    
    
25. 
    Simplifying Linearizability Proofs with Reduction and Abstraction. [Citation Graph (, )][DBLP]
    
    
26. 
    A Polymorphic Intermediate Verification Language: Design and Logical Encoding. [Citation Graph (, )][DBLP]
    
    
27. 
    Trace-Based Symbolic Analysis for Atomicity Violations. [Citation Graph (, )][DBLP]
    
    
28. 
    ACS: Automatic Converter Synthesis for SoC Bus Protocols. [Citation Graph (, )][DBLP]
    
    
29. 
    AlPiNA: An Algebraic Petri Net Analyzer. [Citation Graph (, )][DBLP]
    
    
30. 
    PASS: Abstraction Refinement for Infinite Probabilistic Models. [Citation Graph (, )][DBLP]
    
    
31. 
    Arrival Curves for Real-Time Calculus: The Causality Problem and Its Solutions. [Citation Graph (, )][DBLP]
    
    
32. 
    Computing the Leakage of Information-Hiding Systems. [Citation Graph (, )][DBLP]
    
    
33. 
    Statistical Measurement of Information Leakage. [Citation Graph (, )][DBLP]
    
    
34. 
    SAT Based Bounded Model Checking with Partial Order Semantics for Timed Automata. [Citation Graph (, )][DBLP]
    
    
35. 
    Preemption Sealing for Efficient Concurrency Testing. [Citation Graph (, )][DBLP]
    
    
36. 
    Code Mutation in Verification and Automatic Code Correction. [Citation Graph (, )][DBLP]
    
    
37. 
    Efficient Detection of Errors in Java Components Using Random Environment and Restarts. [Citation Graph (, )][DBLP]