TACAS

Publications

2016

Alexander John Faithfull, Jesper Bengtson, Enrico Tassi, Carst Tankink
Coqoon - An IDE for Interactive Proof Development in Coq. TACAS (2016)
Martin Avanzini, Georg Moser, Michael Schaper
TcT: Tyrolean Complexity Tool. TACAS (2016)
Rajdeep Mukherjee, Michael Tautschnig, Daniel Kroening
v2c - A Verilog to C Translator. TACAS (2016)
Daniel Poetzl, Daniel Kroening
Formalizing and Checking Thread Refinement for Data-Race-Free Execution Models. TACAS (2016)
Luca Compagna, Daniel Ricardo dos Santos, Serena Elisa Ponta, Silvio Ranise
Cerberus: Automated Synthesis of Enforcement Mechanisms for Security-Sensitive Business Processes. TACAS (2016)
Alexander Nadel, Vadim Ryvchin
Bit-Vector Optimization. TACAS (2016)
Vladimír Still, Petr Rockai, Jiri Barnat
DIVINE: Explicit-State LTL Model Checker - (Competition Contribution). TACAS (2016)
Radu Calinescu, Kenneth Johnson, Colin Paterson
FACT: A Probabilistic Model Checker for Formal Verification with Confidence Intervals. TACAS (2016)
Daniel Neider, Ufuk Topcu
An Automaton Learning Approach to Solving Safety Games over Infinite Graphs. TACAS (2016)
Olli Saarikivi, Keijo Heljanko
LCTD: Tests-Guided Proofs for C Programs on LLVM - (Competition Contribution). TACAS (2016)
Peter Schrammel, Daniel Kroening
2LS for Program Analysis - (Competition Contribution). TACAS (2016)
Benjamin Bittner, Marco Bozzano, Roberto Cavada, Alessandro Cimatti, Marco Gario, Alberto Griggio, Cristian Mattarei, Andrea Micheli, Gianni Zampedri
The xSAP Safety Analysis Platform. TACAS (2016)
Frantisek Blahoudek, Matthias Heizmann, Sven Schewe, Jan Strejcek, Ming-Hsien Tsai
Complementing Semi-deterministic Büchi Automata. TACAS (2016)
Marta Kwiatkowska, David Parker, Clemens Wiltsche
PRISM-Games 2.0: A Tool for Multi-objective Strategy Synthesis for Stochastic Games. TACAS (2016)
Normann Decker, Jannis Harder, Torben Scheffel, Malte Schmitz, Daniel Thoma
Runtime Monitoring with Union-Find Structures. TACAS (2016)
Maria Christakis, K. Rustan M. Leino, Peter Müller, Valentin Wüstholz
Integrated Environment for Diagnosing Verification Errors. TACAS (2016)
Dogan Ulus, Thomas Ferrère, Eugene Asarin, Oded Maler
Online Timed Pattern Matching Using Derivatives. TACAS (2016)
Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
Efficient Syntax-Driven Lumping of Differential Equations. TACAS (2016)
Daniel Neider, Shambwaditya Saha, P. Madhusudan
Synthesizing Piece-Wise Functions by Learning Classifiers. TACAS (2016)
Junkil Park, Miroslav Pajic, Insup Lee, Oleg Sokolsky
Scalable Verification of Linear Controller Software. TACAS (2016)
Cédric Favre, Hagen Völzer, Peter Müller
Diagnostic Information for Control-Flow Analysis of Workflow Graphs (a.k.a. Free-Choice Workflow Nets). TACAS (2016)
Aleksandar Chakarov, Yuen-Lam Voronin, Sriram Sankaranarayanan
Deductive Proofs of Almost Sure Persistence and Recurrence Properties. TACAS (2016)
Ricardo Almeida, Lukás Holík, Richard Mayr
Reduction of Nondeterministic Tree Automata. TACAS (2016)
Radu Iosif, Adam Rogalewicz, Tomás Vojnar
Abstraction Refinement and Antichains for Trace Inclusion of Infinite State Systems. TACAS (2016)
Sebastian Junges, Nils Jansen, Christian Dehnert, Ufuk Topcu, Joost-Pieter Katoen
Safety-Constrained Reinforcement Learning for MDPs. TACAS (2016)
Yaron Velner, Kalev Alpernas, Aurojit Panda, Alexander Rabinovich, Mooly Sagiv, Scott Shenker, Sharon Shoham
Some Complexity Results for Stateful Network Verification. TACAS (2016)
Kasper Søe Luckow, Marko Dimjasevic, Dimitra Giannakopoulou, Falk Howar, Malte Isberner, Temesghen Kahsai, Zvonimir Rakamaric, Vishwanath Raman
JDart: A Dynamic Symbolic Analysis Framework. TACAS (2016)
Sadegh Esmaeil Zadeh Soudjani, Rupak Majumdar, Alessandro Abate
Safety Verification of Continuous-Space Pure Jump Markov Processes. TACAS (2016)
Milan Ceska, Petr Pilar, Nicola Paoletti, Lubos Brim, Marta Z. Kwiatkowska
PRISM-PSY: Precise GPU-Accelerated Parameter Synthesis for Stochastic Systems. TACAS (2016)
Sicun Gao, Damien Zufferey
Interpolants in Nonlinear Theories Over the Reals. TACAS (2016)
Stefan Löwe
CPA-RefSel: CPAchecker with Refinement Selection - (Competition Contribution). TACAS (2016)
Herbert O. Rocha, Raimundo S. Barreto, Lucas C. Cordeiro
Hunting Memory Bugs in C Programs with Map2Check - (Competition Contribution). TACAS (2016)
Gudmund Grov, Vytautas Tumas
Tactics for the Dafny Program Verifier. TACAS (2016)
Souha Ben Rayana, Marius Bozga, Saddek Bensalem, Jacques Combaz
RTD-Finder: A Tool for Compositional Verification of Real-Time Component-Based Systems. TACAS (2016)
Yuhui Lin, Pierre Le Bras, Gudmund Grov
Developing and Debugging Proof Strategies by Tinkering. TACAS (2016)
Yongwang Zhao, David Sanán, Fuyuan Zhang, Yang Liu
Reasoning About Information Flow Security of Separation Kernels with Channel-Based Communication. TACAS (2016)
Rayna Dimitrova, Luis María Ferrer Fioriti, Holger Hermanns, Rupak Majumdar
: The Deductive Way. TACAS (2016)
Zhe Chen, Zhemin Wang, Yunlong Zhu, Hongwei Xi, Zhibin Yang
Parametric Runtime Verification of C Programs. TACAS (2016)
Mohamed Faouzi Atig, K. Narayan Kumar, Prakash Saivasan
Acceleration in Multi-PushDown Systems. TACAS (2016)
Ermenegildo Tomasco, Truc L. Nguyen, Omar Inverso, Bernd Fischer, Salvatore La Torre, Gennaro Parlato
MU-CSeq 0.4: Individual Memory Location Unwindings - (Competition Contribution). TACAS (2016)
Sung-Shik T. Q. Jongmans, Farhad Arbab
PrDK: Protocol Programming with Automata. TACAS (2016)
Filip Konecný
PTIME Computation of Transitive Closures of Octagonal Relations. TACAS (2016)
Tom van Dijk, Jaco van de Pol
Multi-core Symbolic Bisimulation Minimisation. TACAS (2016)
Kedar S. Namjoshi, Richard J. Trefler
Parameterized Compositional Model Checking. TACAS (2016)
Marek Chalupa, Martin Jonás, Jiri Slaby, Jan Strejcek, Martina Vitovská
Symbiotic 3: New Slicer and Error-Witness Generation - (Competition Contribution). TACAS (2016)
Rupak Majumdar
Robots at the Edge of the Cloud. TACAS (2016)
Jan Friso Groote, Anton Wijs
An O(m\log n) Algorithm for Stuttering Equivalence and Branching Bisimulation. TACAS (2016)
Pallavi Maiya, Rahul Gupta, Aditya Kanade, Rupak Majumdar
Partial Order Reduction for Event-Driven Multi-threaded Programs. TACAS (2016)
Michael Blondin, Alain Finkel, Christoph Haase, Serge Haddad
Approaching the Coverability Problem Continuously. TACAS (2016)

volume 9636, 2016

Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings TACAS 9636 (2016)