TACAS 2010

37 papers

1. A Polymorphic Intermediate Verification Language: Design and Logical Encoding · K. Rustan M. Leino, Philipp Rümmer
2. ACS: Automatic Converter Synthesis for SoC Bus Protocols · Karin Avnit, Arcot Sowmya, Jorgen Peddersen
3. AlPiNA: An Algebraic Petri Net Analyzer · Didier Buchs, Steve Hostettler, Alexis Marechal, Matteo Risoldi
4. An Alternative to SAT-Based Approaches for Bit-Vectors · Sébastien Bardin, Philippe Herrmann, Florian Perroud
5. Antichain Algorithms for Finite Automata · Laurent Doyen, Jean-François Raskin
6. Approximating the Pareto Front of Multi-criteria Optimization Problems · Julien Legriel, Colas Le Guernic, Scott Cotton, Oded Maler
7. Arrival Curves for Real-Time Calculus: The Causality Problem and Its Solutions · Matthieu Moy, Karine Altisen
8. Assume-Guarantee Verification for Probabilistic Systems · Marta Z. Kwiatkowska, Gethin Norman, David Parker, Hongyang Qu
9. Automated Termination Analysis for Programs with Second-Order Recursion · Markus Aderhold
10. Automatic Analysis of Scratch-Pad Memory Code for Heterogeneous Multicore Processors · Alastair F. Donaldson, Daniel Kroening, Philipp Rümmer
11. Blocked Clause Elimination · Matti Järvisalo, Armin Biere, Marijn Heule
12. Boom: Taking Boolean Program Model Checking One Step Further · Gérard Basler, Matthew Hague, Daniel Kroening, C.-H. Luke Ong, Thomas Wahl, Haoxian Zhao
13. Code Mutation in Verification and Automatic Code Correction · Gal Katz, Doron A. Peled
14. Computing the Leakage of Information-Hiding Systems · Miguel E. Andrés, Catuscia Palamidessi, Peter van Rossum, Geoffrey Smith
15. Efficient Büchi Universality Checking · Seth Fogarty, Moshe Y. Vardi
16. Efficient Detection of Errors in Java Components Using Random Environment and Restarts · Pavel Parízek, Tomas Kalibera
17. Embedded Systems Design - Scientific Challenges and Work Directions · Joseph Sifakis
18. Fairness for Dynamic Control · Jochen Hoenicke, Ernst-Rüdiger Olderog, Andreas Podelski
19. JTorX: A Tool for On-Line Model-Driven Test Derivation and Execution · Axel Belinfante
20. Model Checking Interactive Markov Chains · Lijun Zhang, Martin R. Neuhäußer
21. On Weak Modal Compatibility, Refinement, and the MIO Workbench · Sebastian S. Bauer, Philip Mayer, Andreas Schroeder, Rolf Hennicker
22. Optimal Tableau Algorithms for Coalgebraic Logics · Rajeev Goré, Clemens Kupke, Dirk Pattinson
23. PASS: Abstraction Refinement for Infinite Probabilistic Models · Ernst Moritz Hahn, Holger Hermanns, Björn Wachter, Lijun Zhang
24. Preemption Sealing for Efficient Concurrency Testing · Thomas Ball, Sebastian Burckhardt, Katherine E. Coons, Madanlal Musuvathi, Shaz Qadeer
25. Ranking Function Synthesis for Bit-Vector Relations · Byron Cook, Daniel Kroening, Philipp Rümmer, Christoph M. Wintersteiger
26. Rational Synthesis · Dana Fisman, Orna Kupferman, Yoad Lustig
27. SAT Based Bounded Model Checking with Partial Order Semantics for Timed Automata · Janusz Malinowski, Peter Niebert
28. SLAB: A Certifying Model Checker for Infinite-State Concurrent Systems · Klaus Dräger, Andrey Kupriyanov, Bernd Finkbeiner, Heike Wehrheim
29. Satisfiability Modulo the Theory of Costs: Foundations and Applications · Alessandro Cimatti, Anders Franzén, Alberto Griggio, Roberto Sebastiani, Cristian Stenico
30. Simple O(m logn) Time Markov Chain Lumping · Antti Valmari, Giuliana Franceschinis
31. Simplifying Linearizability Proofs with Reduction and Abstraction · Tayfun Elmas, Shaz Qadeer, Ali Sezgin, Omer Subasi, Serdar Tasiran
32. Statistical Measurement of Information Leakage · Konstantinos Chatzikokolakis, Tom Chothia, Apratim Guha
33. Stranger: An Automata-Based String Analysis Tool for PHP · Fang Yu, Muath Alkhalaf, Tevfik Bultan
34. The OpenSMT Solver · Roberto Bruttomesso, Edgar Pek, Natasha Sharygina, Aliaksei Tsitovich
35. Trace-Based Symbolic Analysis for Atomicity Violations · Chao Wang, Rhishikesh Limaye, Malay K. Ganai, Aarti Gupta
36. Tracking Heaps That Hop with Heap-Hop · Jules Villard, Étienne Lozes, Cristiano Calcagno
37. When Simulation Meets Antichains · Parosh Aziz Abdulla, Yu-Fang Chen, Lukás Holík, Richard Mayr, Tomás Vojnar