tacas 09 accepted papers

002: The Yogi Project: Software Property Checking via Static Analysis and Testing Nori, Aditya; Thakur, Aditya; Tetali, Saideep; Rajamani, Sriram

007: Parametric Trace Slicing and Monitoring
Chen, Feng; Rosu, Grigore

015: Alpaga: A Tool for Solving Parity Games with Imperfect Information Doyen, Laurent; Berwanger, Dietmar; Chatterjee, Krishnendu; De Wulf, Martin; Henzinger, Thomas A.

016: ITPN-PerfBound: A performance bound tool for Interval Time Petri Nets Pacini, Elina Rocio; Bernardi, Simona; Gribaudo, Marco

017: Boolector: An Efficient SMT Solver for Bit-Vectors and Arrays Brummayer, Robert Daniel; Biere, Armin

022: MoonWalker: verification of .NET programs Ruys, Theo; Aan de Brugh, Niels H.M.; Nguyen, Viet Yen

028: Falsification of LTL Safety Properties in Hybrid Systems
Plaku, Erion; Kavraki, Lydia; Vardi, Moshe

032: Ground Interpolation for the Theory of Equality Krstic, Sava; Fuchs, Alexander; Goel, Amit; Grundy, Jim; Tinelli, Cesare

033: All-Termination(T)
Turon, Aaron; Manolios, Panagiotis

043: Test input generation for programs with pointers
Vanoverberghe, Dries; Tillmann, Nikolai; Piessens, Frank

044: Compositional Predicate Abstraction from Game Semantics
Ghica, Dan; Bakewell, Adam

048: Memoised Garbage Collection for Software Model Checking
Nguyen, Viet Yen; Ruys, Theo

051: Compositional Synthesis of Reactive Systems from Live Sequence Chart Specifications Segall, Itai; Kugler, Hillel

065: Computing Optimized Representations for Non-Convex Polyhedra by Detection and Removal of Redundant Linear Constraints Disch, Stefan; Scholl, Christoph; Pigorsch, Florian; Kupferschmid, Stefan

073: Static Analysis Techniques for Parameterised Boolean Equation Systems Willemse, Tim; Orzan, Simona; Wesselink, Wieger

082: Semantic Reduction of Thread Interleavings for Concurrent Programs
Gupta, Aarti; Kahlon, Vineet; Sankaranarayanan, Sriram

084: Computing Weakest Strategies for Safety Games of Imperfect Information Kuijper, Wouter; Pol, Jaco

085: Buechi Complementation and Size-Change Termination
Fogarty, Seth; Vardi, Moshe

086: Path Feasibility Analysis for String-Manipulating Programs
Bjorner, Nikolaj; Tillmann, Nikolai; Voronkov, Andrei

088: TaPAS : The Talence Presburger Arithmetic Suite
Leroux, Jerome; Point, Gerald

91: Satisfiability Procedures for Combination of Theories Sharing
Integer Offsets
Ringeissen, Christophe; Nicolini, Enrica; Rusinowitch, Michael

094: Hierarchical Adaptive State Space Caching based on Level Sampling
Wijs, Anton; Mateescu, Radu

095: Transition-based Directed Model Checking Kupferschmid, Sebastian; Wehrle, Martin; Podelski, Andreas

101: Context-bounded analysis for concurrent programs with dynamic creation of threads Atig, Mohamed Faouzi; Bouajjani, Ahmed; Qadeer, Shaz

113: Romeo : A Parametric Model-Checker for Petri Nets with Stopwatches Traonouez, Louis-Marie; Lime, Didier; Roux, Olivier (H.); Seidner, Charlotte

117: Verifying Reference Counting Implementations Emmi, Michael; Kohler, Eddie; Jhala, Ranjit; Majumdar, Rupak

118: RBAC-PAT: A Policy Analysis Tool for Role Based Access Control Yang, Ping; Stoller, Scott; Zhang, Yingbin; Solomon, Ayla; Luo, Ruiqi; Gofman, Mikhail

120: Hierachical Set Decision Diagrams and Regular Models Thierry-Mieg, Yann; Poitrenaud, Denis; Hamez, Alexandre; Kordon, Fabrice

137: Inferring Synchronization under Limited Observability Yorsh, Greta; Yahav, Eran; Vechev, Martin

141: Learning Minimal Separating DFA's for Compositional Verification Chen, Yu-Fang; larke, Edmund; Farzan, Azadeh; Tsay, Yih-Kuen; Wang, Bow-Yaw

144: An Efficient Invariant Generator
Majumdar, Rupak; Gupta, Ashutosh; Rybalchenko, Andrey

146: Specification Mining With Few False Positives Le Goues, Claire; Weimer, Westley

149: Symbolic String Verification: Combining String Analysis and Size Analysis Yu, Fang; Ibarra, Oscar H.; Bultan, Tevfik

160: The Complexity of Predicting Atomicity Violations Farzan, Azadeh; Parthasarathy, Madhusudan

169: Iterating Octagons
IOSIF, Radu; Bozga, Marius; Girlea, Codruta