TACAS 2008

39 papers

1. A SAT-Based Approach to Size Change Termination with Global Ranking Functions · Amir M. Ben-Amram, Michael Codish
2. Accelerating Interpolation-Based Model-Checking · Nicolas Caniart, Emmanuel Fleury, Jérôme Leroux, Marc Zeitoun
3. Analyzing Stripped Device-Driver Executables · Gogul Balakrishnan, Thomas W. Reps
4. Antichains: Alternative Algorithms for LTL Satisfiability and Model-Checking · Martin De Wulf, Laurent Doyen, Nicolas Maquet, Jean-François Raskin
5. Automatically Refining Abstract Interpretations · Bhargav S. Gulavani, Supratik Chakraborty, Aditya V. Nori, Sriram K. Rajamani
6. Computation and Visualisation of Phase Portraits for Model Checking SPDIs · Gordon J. Pace, Gerardo Schneider
7. Computing Simulations over Tree Automata · Parosh Aziz Abdulla, Ahmed Bouajjani, Lukás Holík, Lisa Kaati, Tomás Vojnar
8. Conditional Probabilities over Probabilistic and Nondeterministic Systems · Miguel E. Andrés, Peter van Rossum
9. Context-Bounded Analysis of Concurrent Queue Systems · Salvatore La Torre, P. Madhusudan, Gennaro Parlato
10. Demand-Driven Compositional Symbolic Execution · Saswat Anand, Patrice Godefroid, Nikolai Tillmann
11. Efficient Automatic STE Refinement Using Responsibility · Hana Chockler, Orna Grumberg, Avi Yadgar
12. Efficient Interpolant Generation in Satisfiability Modulo Theories · Alessandro Cimatti, Alberto Griggio, Roberto Sebastiani
13. Extending Automated Compositional Verification to the Full Class of Omega-Regular Languages · Azadeh Farzan, Yu-Fang Chen, Edmund M. Clarke, Yih-Kuen Tsay, Bow-Yaw Wang
14. Fast Directed Model Checking Via Russian Doll Abstraction · Sebastian Kupferschmid, Jörg Hoffmann, Kim Guldstrand Larsen
15. Formal Pervasive Verification of a Paging Mechanism · Eyad Alkassar, Norbert Schirmer, Artem Starostin
16. GOAL Extended: Towards a Research Tool for Omega Automata and Temporal Logic · Yih-Kuen Tsay, Yu-Fang Chen, Ming-Hsien Tsai, Wen-Chin Chan, Chi-Jian Luo
17. Graph Grammar Modeling and Verification of Ad Hoc Routing Protocols · Mayank Saksena, Oskar Wibling, Bengt Jonsson
18. Hardware Verification: Techniques, Methodology and Solutions · Sharad Malik
19. Interprocedural Analysis of Concurrent Programs Under a Context Bound · Akash Lal, Tayssir Touili, Nicholas Kidd, Thomas W. Reps
20. Model Checking-Based Genetic Programming with an Application to Mutual Exclusion · Gal Katz, Doron A. Peled
21. On Automated Verification of Probabilistic Programs · Axel Legay, Andrzej S. Murawski, Joël Ouaknine, James Worrell
22. On Local Reasoning in Verification · Carsten Ihlemann, Swen Jacobs, Viorica Sofronie-Stokkermans
23. On Verifying Fault Tolerance of Distributed Protocols · Dana Fisman, Orna Kupferman, Yoad Lustig
24. On-the-Fly Techniques for Game-Based Software Model Checking · Adam Bakewell, Dan R. Ghica
25. Peephole Partial Order Reduction · Chao Wang, Zijiang Yang, Vineet Kahlon, Aarti Gupta
26. Proving Ptolemy Right: The Environment Abstraction Framework for Model Checking Concurrent Systems · Edmund M. Clarke, Muralidhar Talupur, Helmut Veith
27. Quantified Invariant Generation Using an Interpolating Saturation Prover · Kenneth L. McMillan
28. RESY: Requirement Synthesis for Compositional Model Checking · Bernd Finkbeiner, Hans-Jörg Peter, Sven Schewe
29. RWset: Attacking Path Explosion in Constraint-Based Test Generation · Peter Boonstoppel, Cristian Cadar, Dawson R. Engler
30. Reasoning Algebraically About P-Solvable Loops · Laura Kovács
31. Revisiting Resistance Speeds Up I/O-Efficient LTL Model Checking · Jiri Barnat, Lubos Brim, Pavel Simecek, M. Weber
32. Rocket-Fast Proof Checking for SMT Solvers · Michal Moskal
33. SDSIrep: A Reputation System Based on SDSI · Ahmed Bouajjani, Javier Esparza, Stefan Schwoon, Dejvuth Suwimonteerabuth
34. SVISS: Symbolic Verification of Symmetric Systems · Thomas Wahl, Nicolas Blanc, E. Allen Emerson
35. Scoot: A Tool for the Analysis of SystemC Models · Nicolas Blanc, Daniel Kroening, Natasha Sharygina
36. Symbolic Model Checking of Hybrid Systems Using Template Polyhedra · Sriram Sankaranarayanan, Thao Dang, Franjo Ivancic
37. The Real-Time Maude Tool · Peter Csaba Ölveczky, José Meseguer
38. Trusted Source Translation of a Total Function Language · Guodong Li, Konrad Slind
39. Z3: An Efficient SMT Solver · Leonardo Mendonça de Moura, Nikolaj S. Bjørner