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

- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/tacas/Sifakis10
- ask others
Joseph Sifakis: Embedded Systems Design - Scientific Challenges and Work Directions. 1
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/tacas/DoyenR10
- ask others
Laurent Doyen, Jean-François Raskin: Antichain Algorithms for Finite Automata. 2-22

Probabilistic Systems and Optimization

- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/tacas/KwiatkowskaNPQ10
- ask others
Marta Z. Kwiatkowska, Gethin Norman, David Parker, Hongyang Qu: Assume-Guarantee Verification for Probabilistic Systems. 23-37
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/tacas/ValmariF10
- ask others
Antti Valmari, Giuliana Franceschinis: Simple O(m logn) Time Markov Chain Lumping. 38-52
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/tacas/ZhangN10
- ask others
Lijun Zhang, Martin R. Neuhäußer: Model Checking Interactive Markov Chains. 53-68
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/tacas/LegrielGCM10
- ask others
Julien Legriel, Colas Le Guernic, Scott Cotton, Oded Maler: Approximating the Pareto Front of Multi-criteria Optimization Problems. 69-83

Decision Procedures

- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/tacas/BardinHP10
- ask others
Sébastien Bardin, Philippe Herrmann, Florian Perroud: An Alternative to SAT-Based Approaches for Bit-Vectors. 84-98
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/tacas/CimattiFGSS10
- ask others
Alessandro Cimatti, Anders Franzén, Alberto Griggio, Roberto Sebastiani, Cristian Stenico: Satisfiability Modulo the Theory of Costs: Foundations and Applications. 99-113
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/tacas/GoreKP10
- ask others
Rajeev Goré, Clemens Kupke, Dirk Pattinson: Optimal Tableau Algorithms for Coalgebraic Logics. 114-128
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/tacas/JarvisaloBH10
- ask others
Matti Järvisalo, Armin Biere, Marijn Heule: Blocked Clause Elimination. 129-144

Tools I

- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/tacas/BaslerHKOWZ10
- ask others
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
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/tacas/BruttomessoPST10
- ask others
Roberto Bruttomesso, Edgar Pek, Natasha Sharygina, Aliaksei Tsitovich: The OpenSMT Solver. 150-153
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/tacas/YuAB10
- ask others
Fang Yu, Muath Alkhalaf, Tevfik Bultan: Stranger: An Automata-Based String Analysis Tool for PHP. 154-157

Automata Theory

- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/tacas/AbdullaCHMV10
- ask others
Parosh Aziz Abdulla, Yu-Fang Chen, Lukás Holík, Richard Mayr, Tomás Vojnar: When Simulation Meets Antichains. 158-174
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/tacas/BauerMSH10
- ask others
Sebastian S. Bauer, Philip Mayer, Andreas Schroeder, Rolf Hennicker: On Weak Modal Compatibility, Refinement, and the MIO Workbench. 175-189
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/tacas/FismanKL10
- ask others
Dana Fisman, Orna Kupferman, Yoad Lustig: Rational Synthesis. 190-204
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/tacas/FogartyV10
- ask others
Seth Fogarty, Moshe Y. Vardi: Efficient Büchi Universality Checking. 205-220

Liveness

- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/tacas/Aderhold10
- ask others
Markus Aderhold: Automated Termination Analysis for Programs with Second-Order Recursion. 221-235
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/tacas/CookKRW10
- ask others
Byron Cook, Daniel Kroening, Philipp Rümmer, Christoph M. Wintersteiger: Ranking Function Synthesis for Bit-Vector Relations. 236-250
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/tacas/HoenickeOP10
- ask others
Jochen Hoenicke, Ernst-Rüdiger Olderog, Andreas Podelski: Fairness for Dynamic Control. 251-265

Tools II

- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/tacas/Belinfante10
- ask others
Axel Belinfante: JTorX: A Tool for On-Line Model-Driven Test Derivation and Execution. 266-270
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/tacas/DragerKFW10
- ask others
Klaus Dräger, Andrey Kupriyanov, Bernd Finkbeiner, Heike Wehrheim: SLAB: A Certifying Model Checker for Infinite-State Concurrent Systems. 271-274
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/tacas/VillardLC10
- ask others
Jules Villard, Étienne Lozes, Cristiano Calcagno: Tracking Heaps That Hop with Heap-Hop. 275-279

Software Verification

- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/tacas/DonaldsonKR10
- ask others
Alastair F. Donaldson, Daniel Kroening, Philipp Rümmer: Automatic Analysis of Scratch-Pad Memory Code for Heterogeneous Multicore Processors. 280-295
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/tacas/ElmasQSST10
- ask others
Tayfun Elmas, Shaz Qadeer, Ali Sezgin, Omer Subasi, Serdar Tasiran: Simplifying Linearizability Proofs with Reduction and Abstraction. 296-311
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/tacas/LeinoR10
- ask others
K. Rustan M. Leino, Philipp Rümmer: A Polymorphic Intermediate Verification Language: Design and Logical Encoding. 312-327
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/tacas/WangLGG10
- ask others
Chao Wang, Rhishikesh Limaye, Malay K. Ganai, Aarti Gupta: Trace-Based Symbolic Analysis for Atomicity Violations. 328-342

Tools III

- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/tacas/AvnitSP10
- ask others
Karin Avnit, Arcot Sowmya, Jorgen Peddersen: ACS: Automatic Converter Synthesis for SoC Bus Protocols. 343-348
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/tacas/BuchsHMR10
- ask others
Didier Buchs, Steve Hostettler, Alexis Marechal, Matteo Risoldi: AlPiNA: An Algebraic Petri Net Analyzer. 349-352
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/tacas/HahnHWZ10
- ask others
Ernst Moritz Hahn, Holger Hermanns, Björn Wachter, Lijun Zhang: PASS: Abstraction Refinement for Infinite Probabilistic Models. 353-357

Real Time and Information Flow

- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/tacas/MoyA10
- ask others
Matthieu Moy, Karine Altisen: Arrival Curves for Real-Time Calculus: The Causality Problem and Its Solutions. 358-372
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/tacas/AndresPRS10
- ask others
Miguel E. Andrés, Catuscia Palamidessi, Peter van Rossum, Geoffrey Smith: Computing the Leakage of Information-Hiding Systems. 373-389
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/tacas/ChatzikokolakisCG10
- ask others
Konstantinos Chatzikokolakis, Tom Chothia, Apratim Guha: Statistical Measurement of Information Leakage. 390-404
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/tacas/MalinowskiN10
- ask others
Janusz Malinowski, Peter Niebert: SAT Based Bounded Model Checking with Partial Order Semantics for Timed Automata. 405-419

Testing

- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/tacas/BallBCMQ10
- ask others
Thomas Ball, Sebastian Burckhardt, Katherine E. Coons, Madanlal Musuvathi, Shaz Qadeer: Preemption Sealing for Efficient Concurrency Testing. 420-434
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/tacas/KatzP10
- ask others
Gal Katz, Doron Peled: Code Mutation in Verification and Automatic Code Correction. 435-450
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/tacas/ParizekK10
- ask others
Pavel Parizek, Tomas Kalibera: Efficient Detection of Errors in Java Components Using Random Environment and Restarts. 451-465