Login / Signup
TACAS
1995
2000
2010
2016
1995
2016
Keyphrases
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)