16. TACAS 2010: Paphos, Cyprus (Part of ETAPS 2010)

Javier Esparza, Rupak Majumdar (Eds.): Tools and Algorithms for the Construction and Analysis of Systems, 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings. Lecture Notes in Computer Science 6015 Springer 2010, ISBN 978-3-642-12001-5

Invited Talks

Joseph Sifakis:
Embedded Systems Design - Scientific Challenges and Work Directions. 1
Laurent Doyen, Jean-François Raskin:
Antichain Algorithms for Finite Automata. 2-22

Probabilistic Systems and Optimization

Marta Z. Kwiatkowska, Gethin Norman, David Parker, Hongyang Qu:
Assume-Guarantee Verification for Probabilistic Systems. 23-37
Antti Valmari, Giuliana Franceschinis:
Simple O(m logn) Time Markov Chain Lumping. 38-52
Lijun Zhang, Martin R. Neuhäußer:
Model Checking Interactive Markov Chains. 53-68
Julien Legriel, Colas Le Guernic, Scott Cotton, Oded Maler:
Approximating the Pareto Front of Multi-criteria Optimization Problems. 69-83

Decision Procedures

Sébastien Bardin, Philippe Herrmann, Florian Perroud:
An Alternative to SAT-Based Approaches for Bit-Vectors. 84-98
Alessandro Cimatti, Anders Franzén, Alberto Griggio, Roberto Sebastiani, Cristian Stenico:
Satisfiability Modulo the Theory of Costs: Foundations and Applications. 99-113
Rajeev Goré, Clemens Kupke, Dirk Pattinson:
Optimal Tableau Algorithms for Coalgebraic Logics. 114-128
Matti Järvisalo, Armin Biere, Marijn Heule:
Blocked Clause Elimination. 129-144

Tools I

Gérard Basler, Matthew Hague, Daniel Kroening, C.-H. Luke Ong, Thomas Wahl, Haoxian Zhao:
Boom: Taking Boolean Program Model Checking One Step Further. 145-149
Roberto Bruttomesso, Edgar Pek, Natasha Sharygina, Aliaksei Tsitovich:
The OpenSMT Solver. 150-153
Fang Yu, Muath Alkhalaf, Tevfik Bultan:
Stranger: An Automata-Based String Analysis Tool for PHP. 154-157

Automata Theory

Parosh Aziz Abdulla, Yu-Fang Chen, Lukás Holík, Richard Mayr, Tomás Vojnar:
When Simulation Meets Antichains. 158-174
Sebastian S. Bauer, Philip Mayer, Andreas Schroeder, Rolf Hennicker:
On Weak Modal Compatibility, Refinement, and the MIO Workbench. 175-189
Dana Fisman, Orna Kupferman, Yoad Lustig:
Rational Synthesis. 190-204
Seth Fogarty, Moshe Y. Vardi:
Efficient Büchi Universality Checking. 205-220

Liveness

Markus Aderhold:
Automated Termination Analysis for Programs with Second-Order Recursion. 221-235
Byron Cook, Daniel Kroening, Philipp Rümmer, Christoph M. Wintersteiger:
Ranking Function Synthesis for Bit-Vector Relations. 236-250
Jochen Hoenicke, Ernst-Rüdiger Olderog, Andreas Podelski:
Fairness for Dynamic Control. 251-265

Tools II

Axel Belinfante:
JTorX: A Tool for On-Line Model-Driven Test Derivation and Execution. 266-270
Klaus Dräger, Andrey Kupriyanov, Bernd Finkbeiner, Heike Wehrheim:
SLAB: A Certifying Model Checker for Infinite-State Concurrent Systems. 271-274
Jules Villard, Étienne Lozes, Cristiano Calcagno:
Tracking Heaps That Hop with Heap-Hop. 275-279

Software Verification

Alastair F. Donaldson, Daniel Kroening, Philipp Rümmer:
Automatic Analysis of Scratch-Pad Memory Code for Heterogeneous Multicore Processors. 280-295
Tayfun Elmas, Shaz Qadeer, Ali Sezgin, Omer Subasi, Serdar Tasiran:
Simplifying Linearizability Proofs with Reduction and Abstraction. 296-311
K. Rustan M. Leino, Philipp Rümmer:
A Polymorphic Intermediate Verification Language: Design and Logical Encoding. 312-327
Chao Wang, Rhishikesh Limaye, Malay K. Ganai, Aarti Gupta:
Trace-Based Symbolic Analysis for Atomicity Violations. 328-342

Tools III

Karin Avnit, Arcot Sowmya, Jorgen Peddersen:
ACS: Automatic Converter Synthesis for SoC Bus Protocols. 343-348
Didier Buchs, Steve Hostettler, Alexis Marechal, Matteo Risoldi:
AlPiNA: An Algebraic Petri Net Analyzer. 349-352
Ernst Moritz Hahn, Holger Hermanns, Björn Wachter, Lijun Zhang:
PASS: Abstraction Refinement for Infinite Probabilistic Models. 353-357

Real Time and Information Flow

Matthieu Moy, Karine Altisen:
Arrival Curves for Real-Time Calculus: The Causality Problem and Its Solutions. 358-372
Miguel E. Andrés, Catuscia Palamidessi, Peter van Rossum, Geoffrey Smith:
Computing the Leakage of Information-Hiding Systems. 373-389
Konstantinos Chatzikokolakis, Tom Chothia, Apratim Guha:
Statistical Measurement of Information Leakage. 390-404
Janusz Malinowski, Peter Niebert:
SAT Based Bounded Model Checking with Partial Order Semantics for Timed Automata. 405-419

Testing

Thomas Ball, Sebastian Burckhardt, Katherine E. Coons, Madanlal Musuvathi, Shaz Qadeer:
Preemption Sealing for Efficient Concurrency Testing. 420-434
Gal Katz, Doron Peled:
Code Mutation in Verification and Automatic Code Correction. 435-450
Pavel Parizek, Tomas Kalibera:
Efficient Detection of Errors in Java Components Using Random Environment and Restarts. 451-465

Last update Mon Feb 13 04:41:54 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page