TACAS 2009

36 papers

1. All-Termination(T) · Panagiotis Manolios, Aaron Turon
2. Alpaga: A Tool for Solving Parity Games with Imperfect Information · Dietmar Berwanger, Krishnendu Chatterjee, Martin De Wulf, Laurent Doyen, Thomas A. Henzinger
3. Boolector: An Efficient SMT Solver for Bit-Vectors and Arrays · Robert Brummayer, Armin Biere
4. Bridging the Gap Between Model-Based Development and Model Checking · Steven P. Miller
5. Büchi Complementation and Size-Change Termination · Seth Fogarty, Moshe Y. Vardi
6. Compositional Predicate Abstraction from Game Semantics · Adam Bakewell, Dan R. Ghica
7. Compositional Synthesis of Reactive Systems from Live Sequence Chart Specifications · Hillel Kugler, Itai Segall
8. Computing Optimized Representations for Non-convex Polyhedra by Detection and Removal of Redundant Linear Constraints · Christoph Scholl, Stefan Disch, Florian Pigorsch, Stefan Kupferschmid
9. Computing Weakest Strategies for Safety Games of Imperfect Information · Wouter Kuijper, Jaco van de Pol
10. Context-Bounded Analysis for Concurrent Programs with Dynamic Creation of Threads · Mohamed Faouzi Atig, Ahmed Bouajjani, Shaz Qadeer
11. Falsification of LTL Safety Properties in Hybrid Systems · Erion Plaku, Lydia E. Kavraki, Moshe Y. Vardi
12. From Tests to Proofs · Ashutosh Gupta, Rupak Majumdar, Andrey Rybalchenko
13. Ground Interpolation for the Theory of Equality · Alexander Fuchs, Amit Goel, Jim Grundy, Sava Krstic, Cesare Tinelli
14. Hierarchical Adaptive State Space Caching Based on Level Sampling · Radu Mateescu, Anton Wijs
15. Hierarchical Set Decision Diagrams and Regular Models · Yann Thierry-Mieg, Denis Poitrenaud, Alexandre Hamez, Fabrice Kordon
16. ITPN-PerfBound: A Performance Bound Tool for Interval Time Petri Nets · Elina Pacini Naumovich, Simona Bernardi, Marco Gribaudo
17. Inferring Synchronization under Limited Observability · Martin T. Vechev, Eran Yahav, Greta Yorsh
18. Iterating Octagons · Marius Bozga, Codruta Gîrlea, Radu Iosif
19. Learning Minimal Separating DFA's for Compositional Verification · Yu-Fang Chen, Azadeh Farzan, Edmund M. Clarke, Yih-Kuen Tsay, Bow-Yaw Wang
20. Memoised Garbage Collection for Software Model Checking · Viet Yen Nguyen, Theo C. Ruys
21. MoonWalker: Verification of .NET Programs · Niels H. M. Aan de Brugh, Viet Yen Nguyen, Theo C. Ruys
22. Parametric Trace Slicing and Monitoring · Feng Chen, Grigore Rosu
23. Path Feasibility Analysis for String-Manipulating Programs · Nikolaj S. Bjørner, Nikolai Tillmann, Andrei Voronkov
24. RBAC-PAT: A Policy Analysis Tool for Role Based Access Control · Mikhail I. Gofman, Ruiqi Luo, Ayla C. Solomon, Yingbin Zhang, Ping Yang, Scott D. Stoller
25. Romeo: A Parametric Model-Checker for Petri Nets with Stopwatches · Didier Lime, Olivier H. Roux, Charlotte Seidner, Louis-Marie Traonouez
26. Satisfiability Procedures for Combination of Theories Sharing Integer Offsets · Enrica Nicolini, Christophe Ringeissen, Michaël Rusinowitch
27. Semantic Reduction of Thread Interleavings in Concurrent Programs · Vineet Kahlon, Sriram Sankaranarayanan, Aarti Gupta
28. Specification Mining with Few False Positives · Claire Le Goues, Westley Weimer
29. Static Analysis Techniques for Parameterised Boolean Equation Systems · Simona Orzan, Wieger Wesselink, Tim A. C. Willemse
30. Symbolic String Verification: Combining String Analysis and Size Analysis · Fang Yu, Tevfik Bultan, Oscar H. Ibarra
31. TaPAS: The Talence Presburger Arithmetic Suite · Jérôme Leroux, Gérald Point
32. Test Input Generation for Programs with Pointers · Dries Vanoverberghe, Nikolai Tillmann, Frank Piessens
33. The Complexity of Predicting Atomicity Violations · Azadeh Farzan, P. Madhusudan
34. The YogiProject: Software Property Checking via Static Analysis and Testing · Aditya V. Nori, Sriram K. Rajamani, SaiDeep Tetali, Aditya V. Thakur
35. Transition-Based Directed Model Checking · Martin Wehrle, Sebastian Kupferschmid, Andreas Podelski
36. Verifying Reference Counting Implementations · Michael Emmi, Ranjit Jhala, Eddie Kohler, Rupak Majumdar