TACAS 2011

34 papers

1. Abstractions and Pattern Databases: The Quest for Succinctness and Accuracy · Sebastian Kupferschmid, Martin Wehrle
2. Applying CEGAR to the Petri Net State Equation · Harro Wimmel, Karsten Wolf
3. Biased Model Checking Using Flows · Muralidhar Talupur, Hyojung Han
4. Boosting Lazy Abstraction for SystemC with Partial Order Reduction · Alessandro Cimatti, Iman Narasamdya, Marco Roveri
5. Büchi Store: An Open Repository of Büchi Automata · Yih-Kuen Tsay, Ming-Hsien Tsai, Jinn-Shu Chang, Yi-Wen Chang
6. CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes · Hubert Garavel, Frédéric Lang, Radu Mateescu, Wendelin Serwe
7. Canonized Rewriting and Ground AC Completion Modulo Shostak Theories · Sylvain Conchon, Evelyne Contejean, Mohamed Iguernelala
8. Compositionality Entails Sequentializability · Pranav Garg, P. Madhusudan
9. Confluence Reduction for Probabilistic Systems · Mark Timmer, Mariëlle Stoelinga, Jaco van de Pol
10. Efficient CTMC Model Checking of Linear Real-Time Objectives · Benoît Barbot, Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre
11. Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic · Alberto Griggio, Thi Thieu Hoa Le, Roberto Sebastiani
12. Enforcing Structural Invariants Using Dynamic Frames · Diego Garbervetsky, Daniel Gorín, Ariel Neisen
13. GAVS+: An Open Platform for the Research of Algorithmic Game Solving · Chih-Hong Cheng, Alois C. Knoll, Michael Luttenberger, Christian Buckl
14. GameTime: A Toolkit for Timing Analysis of Software · Sanjit A. Seshia, Jonathan Kotker
15. Generalized Craig Interpolation for Stochastic Boolean Satisfiability Problems · Tino Teige, Martin Fränzle
16. Invariant Generation in Vampire · Krystof Hoder, Laura Kovács, Andrei Voronkov
17. Litmus: Running Tests against Hardware · Jade Alglave, Luc Maranget, Susmit Sarkar, Peter Sewell
18. Loop Summarization and Termination Analysis · Aliaksei Tsitovich, Natasha Sharygina, Christoph M. Wintersteiger, Daniel Kroening
19. Model Repair for Probabilistic Systems · Ezio Bartocci, Radu Grosu, Panagiotis Katsaros, C. R. Ramakrishnan, Scott A. Smolka
20. Modelling and Verification of Web Services Business Activity Protocol · Anders P. Ravn, Jirí Srba, Muhammad Saleem Vighio
21. Next Generation LearnLib · Maik Merten, Bernhard Steffen, Falk Howar, Tiziana Margaria
22. Off-Line Test Selection with Test Purposes for Non-deterministic Timed Automata · Nathalie Bertrand, Thierry Jéron, Amélie Stainer, Moez Krichen
23. On Probabilistic Parallel Programs with Process Creation and Synchronisation · Stefan Kiefer, Dominik Wojtczak
24. Optimal Base Encodings for Pseudo-Boolean Constraints · Michael Codish, Yoav Fekete, Carsten Fuhs, Peter Schneider-Kamp
25. Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference · Yungbum Jung, Wonchan Lee, Bow-Yaw Wang, Kwangkeun Yi
26. QUASY: Quantitative Synthesis Tool · Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann, Rohit Singh
27. Quantitative Multi-objective Verification for Probabilistic Systems · Vojtech Forejt, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Hongyang Qu
28. Reliable Software Development: Analysis-Aware Design · Gerard J. Holzmann
29. S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems · Yashwanth Annpureddy, Che Liu, Georgios Fainekos, Sriram Sankaranarayanan
30. Sound and Complete Monitoring of Sequential Consistency for Relaxed Memory Models · Jacob Burnim, Koushik Sen, Christos Stergiou
31. Specification-Based Program Repair Using SAT · Divya Gopinath, Muhammad Zubair Malik, Sarfraz Khurshid
32. The ACL2 Sedan Theorem Proving System · Harsh Raju Chamarthi, Peter C. Dillinger, Panagiotis Manolios, Daron Vroon
33. Transition Invariants and Transition Predicate Abstraction for Program Termination · Andreas Podelski, Andrey Rybalchenko
34. Unbeast: Symbolic Bounded Synthesis · Rüdiger Ehlers