default search action
25th TACAS@ETAPS 2019: Prague, Czech Republic
- Tomás Vojnar, Lijun Zhang:
Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part I. Lecture Notes in Computer Science 11427, Springer 2019, ISBN 978-3-030-17461-3
SAT and SMT I
- Martin Blicha
, Antti E. J. Hyvärinen
Decomposing Farkas Interpolants. 3-20 - Muhammad Osama
Parallel SAT Simplification on GPU Architectures. 21-40 - Marijn J. H. Heule
Encoding Redundancy for Satisfaction-Driven Clause Learning. 41-58 - Rahul Gupta, Shubham Sharma, Subhajit Roy, Kuldeep S. Meel:
WAPS: Weighted and Projected Sampling. 59-76
SAT and SMT II
- Martin Brain, Florian Schanda, Youcheng Sun
Building Better Bit-Blasting for Floating-Point Problems. 79-98 - Nils Becker, Peter Müller, Alexander J. Summers:
The Axiom Profiler: Understanding and Debugging SMT Quantifier Instantiations. 99-116 - Thomas Bläsius, Tobias Friedrich, Andrew M. Sutton
On the Empirical Time Complexity of Scale-Free 3-SAT at the Phase Transition. 117-134 - Ludovic Le Frioux, Souheib Baarir, Julien Sopena, Fabrice Kordon:
Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework. 135-151
SAT Solving and Theorem Proving
- Pengfei Gao, Hongyi Xie, Jun Zhang, Fu Song, Taolue Chen
Quantitative Verification of Masked Arithmetic Programs Against Side-Channel Attacks. 155-173 - Wenxi Wang, Kaiyuan Wang, Milos Gligoric, Sarfraz Khurshid:
Incremental Analysis of Evolving Alloy Models. 174-191 - Petar Vukmirovic, Jasmin Christian Blanchette
Extending a Brainiac Prover to Lambda-Free Higher-Order Logic. 192-210
Verification and Analysis
- Junkil Park, Miroslav Pajic, Oleg Sokolsky, Insup Lee:
LCV: A Verification Tool for Linear Controller Software. 213-225 - Maria Christakis, Matthias Heizmann
Semantic Fault Localization and Suspiciousness Ranking. 226-243 - Benjamin Bisping
Computing Coupled Similarity. 244-261 - Christian Sternagel
Reachability Analysis for Termination and Confluence of Rewriting. 262-278
Model Checking
- Gina Belmonte, Vincenzo Ciancia, Diego Latella
VoxLogicA: A Spatial Model Checker for Declarative Image Analysis. 281-298 - Zeinab Ganjei, Ahmed Rezine, Ludovic Henrio, Petru Eles, Zebo Peng:
On Reachability in Parameterized Phaser Programs. 299-315 - Søren Enevoldsen, Kim Guldstrand Larsen
Abstract Dependency Graphs and Their Application to Model Checking. 316-333
Tool Demos
- Florian Meßner, Christian Sternagel
nonreach - A Tool for Nonreachability Analysis. 337-343 - Arnd Hartmanns
The Quantitative Verification Benchmark Set. 344-350 - Bo-Yuan Huang, Hongce Zhang
ILAng: A Modeling and Verification Platform for SoCs Using Instruction-Level Abstractions. 351-357 - Virgile Robles, Nikolai Kosmatov, Virgile Prevosto, Louis Rilling, Pascale Le Gall
MetAcsl: Specification and Verification of High-Level Properties. 358-364 - Yong Li
ROLL 1.0: \omega -Regular Language Learning Library. 365-371 - Olli Saarikivi, Margus Veanes, Tiki Wan, Eric Xu:
Symbolic Regex Matcher. 372-378 - Marco Bozzano, Harold Bruintjes, Alessandro Cimatti, Joost-Pieter Katoen, Thomas Noll
COMPASS 3.0. 379-385 - Gianluca Barbon
Debugging of Behavioural Models with CLEAR. 386-392
Machine Learning
- Ernst Moritz Hahn
Omega-Regular Objectives in Model-Free Reinforcement Learning. 395-412 - Nathan Fulton
Verifiably Safe Off-Model Reinforcement Learning. 413-430
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-24 17:01 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: