TACAS 2010: Accepted Papers

• Dana Fisman, Orna Kupferman and Yoad Lustig. Rational Synthesis
• Markus Aderhold. Automated Termination Analysis for Programs with Second-Order Recursion
• Pavel Parizek and Tomas Kalibera. Efficient Detection of Errors in Java Components Using Random Environment and Restarts
• Didier Buchs, Steve Hostettler, Alexis Marechal and Matteo Risoldi. AlPiNA : An Algebraic Petri Net Analyzer (Tool paper)
• Karine Altisen and Matthieu Moy. Arrival Curves for Real-Time Calculus: the Causality Problem and its Solutions
• Thomas Ball, Sebastian Burckhardt, Katherine Coons, Madan Musuvathi and Shaz Qadeer. Preemption Sealing for Efficient Concurrency Testing
• Sebastian S. Bauer, Philip Mayer, Andreas Schroeder and Rolf Hennicker. On Weak Modal Compatibility, Refinement, and the MIO Workbench
• Karin Avnit, Arcot Sowmya and Jorgen Peddersen. ACS: Automatic Converter Synthesis for SoC bus protocols (Tool paper)
• Sebastien Bardin, Philippe Herrmann and Florian Perroud. An Alternative to SAT-based Approaches for Bit-Vectors
• Tayfun Elmas, Shaz Qadeer, ali sezgin, Omer Subasi and Serdar Tasiran. Simplifying Linearizability Proofs with Reduction and Abstraction
• Antti Valmari and Giuliana Franceschinis. Simple O(m log n) Time Markov Chain Lumping
• Janusz Malinowski and Peter Niebert. SAT based Bounded Model Checking with Partial Order Semantics for timed automata
• Parosh Abdulla, Yu-Fang Chen, Lukas Holik, Richard Mayr and Tomas Vojnar. When Simulation Meets Antichains (on Checking Language Inclusion of NFA's)
• Chao Wang, Rhishikesh Limaye Limaye, Malay Ganai and Aarti Gupta. Trace-based Symbolic Analysis for Atomicity Violations
• Matti Järvisalo, Armin Biere and Marijn Heule. Blocked Clause Elimination
• Jochen Hoenicke, Ernst-Rüdiger Olderog and Andreas Podelski. Fairness for Dynamic Control
• Alastair Donaldson, Daniel Kroening and Philipp Ruemmer. Automatic Analysis of Scratch-pad Memory Code for Heterogeneous Multicore Processors
• Konstantinos Chatzikokolakis, Tom Chothia and Apratim Guha. Statistical Measurement of Information Leakage
• Jules Villard, Etienne Lozes and Cristiano Calcagno. Tracking Heaps that Hop with Heap-Hop (Tool paper)
• Julien Legriel, Colas Le Guernic, Scott Cotton and Oded Maler. Approximating the Pareto Surface of Multi-Criteria Optimization Problems
• Ernst Moritz Hahn, Holger Hermanns, Björn Wachter and Lijun Zhang. PASS: Abstraction Refinement for Infinite Probabilistic Models
• Axel Belinfante. JTorX: a tool for on-line model-driven test derivation and execution (Tool paper)
• Roberto Bruttomesso, Edgar Pek, Natasha Sharygina and Aliaksei Tsitovich. The OpenSMT Solver (Tool paper)
• Marta Kwiatkowska, Gethin Norman, David Parker and Hongyang Qu. Assume-Guarantee Verification for Probabilistic Systems
• Gal Katz and Doron Peled. Code Mutation in Verification and Automatic Code Correction
• Seth Fogarty and Moshe Y. Vardi. Efficient Buechi Universality Checking
• Lijun Zhang and Martin R. Neuhäußer. Model Checking Interactive Markov Chains
• Byron Cook, Daniel Kroening, Philipp Ruemmer and Christoph M. Wintersteiger. Ranking Function Synthesis for Bit-Vector Relations
• Rustan Leino and Philipp Ruemmer. A Polymorphic Intermediate Verification Language: Design and Logical Encoding
• Rajeev Gore, Clemens Kupke and Dirk Pattinson. Optimal Tableau Algorithms for Coalgebraic Logics
• Miguel E. Andrés, Catuscia Palamidessi, Peter van Rossum and Geoffrey Smith. Computing the Amount of Leakage in Information-Hiding Systems
• Fang Yu, Muath Alkhalaf and Tevfik Bultan. Stranger: An Automata-based String Analysis Tool for PHP (Tool paper)
• Alessandro Cimatti, Anders Franzen, Alberto Griggio, Roberto Sebastiani and Cristian Stenico. Satisfiability Modulo the Theory of Costs: Foundations and Applications
• Klaus Draeger, Andrey Kupriyanov, Bernd Finkbeiner and Heike Wehrheim. SLAB: A Certifying Model Checker for Infinite-State Concurrent Systems (Tool paper)
• Gerard Basler, Matthew Hague, Daniel Kroening, Luke Ong, Thomas Wahl and Haoxian Zhao. Boom: Analyzing Boolean Programs with Unbounded Concurrency (Tool paper)