The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "TACAS (1)"( http://dblp.L3S.de/Venues/TACAS_(1) )

URL (DBLP): http://dblp.uni-trier.de/db/conf/tacas

Publication years (Num. hits)
2017 (35) 2018 (23) 2019 (29)
Publication types (Num. hits)
inproceedings(84) proceedings(3)
Venues (Conferences, Journals, ...)
TACAS (1)(87)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 87 publication records. Showing 87 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Martin Blicha, Antti E. J. Hyvärinen, Jan Kofron, Natasha Sharygina Decomposing Farkas Interpolants. Search on Bibsonomy TACAS (1) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Christian Sternagel, Akihisa Yamada 0002 Reachability Analysis for Termination and Confluence of Rewriting. Search on Bibsonomy TACAS (1) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Florian Meßner, Christian Sternagel nonreach - A Tool for Nonreachability Analysis. Search on Bibsonomy TACAS (1) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Pengfei Gao, Hongyi Xie, Jun Zhang, Fu Song, Taolue Chen Quantitative Verification of Masked Arithmetic Programs Against Side-Channel Attacks. Search on Bibsonomy TACAS (1) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Bo-Yuan Huang, Hongce Zhang, Aarti Gupta, Sharad Malik ILAng: A Modeling and Verification Platform for SoCs Using Instruction-Level Abstractions. Search on Bibsonomy TACAS (1) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Wenxi Wang, Kaiyuan Wang, Milos Gligoric, Sarfraz Khurshid Incremental Analysis of Evolving Alloy Models. Search on Bibsonomy TACAS (1) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Rahul Gupta, Shubham Sharma, Subhajit Roy, Kuldeep S. Meel WAPS: Weighted and Projected Sampling. Search on Bibsonomy TACAS (1) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Tomás Vojnar, Lijun Zhang 0001 (eds.) 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 Search on Bibsonomy TACAS (1) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Arnd Hartmanns, Michaela Klauck, David Parker 0001, Tim Quatmann, Enno Ruijters The Quantitative Verification Benchmark Set. Search on Bibsonomy TACAS (1) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Gina Belmonte, Vincenzo Ciancia, Diego Latella, Mieke Massink VoxLogicA: A Spatial Model Checker for Declarative Image Analysis. Search on Bibsonomy TACAS (1) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Thomas Bläsius, Tobias Friedrich 0001, Andrew M. Sutton On the Empirical Time Complexity of Scale-Free 3-SAT at the Phase Transition. Search on Bibsonomy TACAS (1) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Maria Christakis, Matthias Heizmann, Muhammad Numair Mansur, Christian Schilling, Valentin Wüstholz Semantic Fault Localization and Suspiciousness Ranking. Search on Bibsonomy TACAS (1) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi 0001, Dominik Wojtczak Omega-Regular Objectives in Model-Free Reinforcement Learning. Search on Bibsonomy TACAS (1) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Marco Bozzano, Harold Bruintjes, Alessandro Cimatti, Joost-Pieter Katoen, Thomas Noll, Stefano Tonetta COMPASS 3.0. Search on Bibsonomy TACAS (1) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Benjamin Bisping, Uwe Nestmann Computing Coupled Similarity. Search on Bibsonomy TACAS (1) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Martin Brain, Florian Schanda, Youcheng Sun Building Better Bit-Blasting for Floating-Point Problems. Search on Bibsonomy TACAS (1) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Ludovic Le Frioux, Souheib Baarir, Julien Sopena, Fabrice Kordon Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework. Search on Bibsonomy TACAS (1) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Nils Becker, Peter Müller 0001, Alexander J. Summers The Axiom Profiler: Understanding and Debugging SMT Quantifier Instantiations. Search on Bibsonomy TACAS (1) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Søren Enevoldsen, Kim Guldstrand Larsen, Jirí Srba Abstract Dependency Graphs and Their Application to Model Checking. Search on Bibsonomy TACAS (1) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Gianluca Barbon, Vincent Leroy 0001, Gwen Salaün Debugging of Behavioural Models with CLEAR. Search on Bibsonomy TACAS (1) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Marijn J. H. Heule, Benjamin Kiesl, Armin Biere Encoding Redundancy for Satisfaction-Driven Clause Learning. Search on Bibsonomy TACAS (1) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Zeinab Ganjei, Ahmed Rezine, Ludovic Henrio, Petru Eles, Zebo Peng On Reachability in Parameterized Phaser Programs. Search on Bibsonomy TACAS (1) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Petar Vukmirovic, Jasmin Christian Blanchette, Simon Cruanes, Stephan Schulz 0001 Extending a Brainiac Prover to Lambda-Free Higher-Order Logic. Search on Bibsonomy TACAS (1) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Nathan Fulton, André Platzer Verifiably Safe Off-Model Reinforcement Learning. Search on Bibsonomy TACAS (1) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Olli Saarikivi, Margus Veanes, Tiki Wan, Eric Xu Symbolic Regex Matcher. Search on Bibsonomy TACAS (1) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Virgile Robles, Nikolai Kosmatov, Virgile Prevosto, Louis Rilling, Pascale Le Gall MetAcsl: Specification and Verification of High-Level Properties. Search on Bibsonomy TACAS (1) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Yong Li 0031, Xuechao Sun, Andrea Turrini, Yu-Fang Chen, Junnan Xu ROLL 1.0: \omega -Regular Language Learning Library. Search on Bibsonomy TACAS (1) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Muhammad Osama, Anton Wijs Parallel SAT Simplification on GPU Architectures. Search on Bibsonomy TACAS (1) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Junkil Park, Miroslav Pajic, Oleg Sokolsky, Insup Lee LCV: A Verification Tool for Linear Controller Software. Search on Bibsonomy TACAS (1) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Seonmo Kim, Stephen McCamant Bit-Vector Model Counting Using Statistical Estimation. Search on Bibsonomy TACAS (1) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Randal E. Bryant Chain Reduction for Binary and Zero-Suppressed Decision Diagrams. Search on Bibsonomy TACAS (1) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Daniel Neider, Pranav Garg 0001, P. Madhusudan, Shambwaditya Saha, Daejun Park 0001 Invariant Synthesis for Incomplete Verification Engines. Search on Bibsonomy TACAS (1) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Chuan Jiang, Gianfranco Ciardo Generation of Minimum Tree-Like Witnesses for Existential CTL. Search on Bibsonomy TACAS (1) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Matthew Wicker, Xiaowei Huang, Marta Kwiatkowska Feature-Guided Black-Box Safety Testing of Deep Neural Networks. Search on Bibsonomy TACAS (1) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Bohua Zhan Efficient Verification of Imperative Programs Using Auto2. Search on Bibsonomy TACAS (1) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Alexander J. Summers, Peter Müller 0001 Automating Deductive Verification for Weak-Memory Programs. Search on Bibsonomy TACAS (1) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Dirk Beyer 0001, Marieke Huisman (eds.) Tools and Algorithms for the Construction and Analysis of Systems - 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I Search on Bibsonomy TACAS (1) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Quang Loc Le, Jun Sun 0001, Shengchao Qin Frame Inference for Inductive Entailment Proofs in Separation Logic. Search on Bibsonomy TACAS (1) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Kshitij Bansal, Eric Koskinen, Omer Tripp Automatic Generation of Precise and Useful Commutativity Conditions. Search on Bibsonomy TACAS (1) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Shrawan Kumar, Amitabha Sanyal, R. Venkatesh, Punit Shah Property Checking Array Programs Using Loop Shrinking. Search on Bibsonomy TACAS (1) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Adrien Champion, Tomoya Chiba, Naoki Kobayashi 0001, Ryosuke Sato ICE-Based Refinement Type Discovery for Higher-Order Functional Programs. Search on Bibsonomy TACAS (1) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Eva Darulova, Anastasiia Izycheva, Fariha Nasir, Fabian Ritter 0002, Heiko Becker, Robert Bastian Daisy - Framework for Analysis and Optimization of Numerical Programs (Tool Paper). Search on Bibsonomy TACAS (1) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Raphaël Cauderlier, Mihaela Sighireanu A Verified Implementation of the Bounded List Container. Search on Bibsonomy TACAS (1) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Hakan Metin, Souheib Baarir, Maximilien Colange, Fabrice Kordon CDCLSym: Introducing Effective Symmetry Breaking in SAT Solving. Search on Bibsonomy TACAS (1) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Rohit Dureja, Kristin Yvonne Rozier More Scalable LTL Model Checking via Discovering Design-Space Dependencies ( D^3 D 3 ). Search on Bibsonomy TACAS (1) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Grigory Fedyukovich, Rastislav Bodík Accelerating Syntax-Guided Invariant Synthesis. Search on Bibsonomy TACAS (1) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Tom van Dijk Oink: An Implementation and Evaluation of Modern Parity Game Solvers. Search on Bibsonomy TACAS (1) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Simon Wimmer, Peter Lammich Verified Model Checking of Timed Automata. Search on Bibsonomy TACAS (1) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Tomás Brázdil, Krishnendu Chatterjee, Jan Kretínský, Viktor Toman Strategy Representation by Decision Trees in Reactive Synthesis. Search on Bibsonomy TACAS (1) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Giles Reger, Martin Suda 0001, Andrei Voronkov Unification with Abstraction and Theory Instantiation in Saturation-Based Reasoning. Search on Bibsonomy TACAS (1) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Maximilian P. L. Haslbeck, Tobias Nipkow Hoare Logics for Time Bounds - A Study in Meta Theory. Search on Bibsonomy TACAS (1) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Gabriele Costa, David A. Basin, Chiara Bodei, Pierpaolo Degano, Letterio Galletta From Natural Projection to Partial Model Checking and Back. Search on Bibsonomy TACAS (1) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Filippo Bonchi, Barbara König 0001, Sebastian Küpper Up-To Techniques for Weighted Systems. Search on Bibsonomy TACAS (1) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Loris D'Antoni, Margus Veanes Forward Bisimulations for Nondeterministic Symbolic Finite Automata. Search on Bibsonomy TACAS (1) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri, Roberto Sebastiani Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF. Search on Bibsonomy TACAS (1) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ocan Sankur, Jean-Pierre Talpin An Abstraction Technique for Parameterized Model Checking of Leader Election Protocols: Application to FTSP. Search on Bibsonomy TACAS (1) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Axel Legay, Tiziana Margaria (eds.) Tools and Algorithms for the Construction and Analysis of Systems - 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I Search on Bibsonomy TACAS (1) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Davide G. Cavezza, Dalal Alrajeh Interpolation-Based GR(1) Assumptions Refinement. Search on Bibsonomy TACAS (1) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Chih-Hong Cheng, Edward A. Lee, Harald Ruess autoCode4: Structural Controller Synthesis. Search on Bibsonomy TACAS (1) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Rajeev Alur, Arjun Radhakrishna, Abhishek Udupa Scaling Enumerative Program Synthesis via Divide and Conquer. Search on Bibsonomy TACAS (1) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Roberto Amadini, Alexander Jordan, Graeme Gange, François Gauthier, Peter Schachte, Harald Søndergaard, Peter J. Stuckey, Chenyi Zhang Combining String Abstract Domains for JavaScript Analysis: An Evaluation. Search on Bibsonomy TACAS (1) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ankush Das, Jan Hoffmann 0002 ML for ML: Learning Cost Semantics by Experiment. Search on Bibsonomy TACAS (1) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Javier Esparza, Jan Kretínský, Jean-François Raskin, Salomon Sickert From LTL and Limit-Deterministic Büchi Automata to Deterministic Parity Automata. Search on Bibsonomy TACAS (1) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1S. Akshay, Supratik Chakraborty, Ajith K. John, Shetal Shah Towards Parallel Boolean Functional Synthesis. Search on Bibsonomy TACAS (1) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Sergiy Bogomolov, Goran Frehse, Mirco Giacobbe, Thomas A. Henzinger Counterexample-Guided Refinement of Template Polyhedra. Search on Bibsonomy TACAS (1) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Stanley Bak, Parasara Sridhar Duggirala Rigorous Simulation-Based Analysis of Linear Hybrid Systems. Search on Bibsonomy TACAS (1) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Samuel Drews, Loris D'Antoni Learning Symbolic Automata. Search on Bibsonomy TACAS (1) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Nima Roohi, Pavithra Prabhakar, Mahesh Viswanathan 0001 HARE: A Hybrid Abstraction Refinement Engine for Verifying Non-linear Hybrid Automata. Search on Bibsonomy TACAS (1) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Tomás Fiedor, Lukás Holík, Petr Janku, Ondrej Lengál, Tomás Vojnar Lazy Automata Techniques for WS1S. Search on Bibsonomy TACAS (1) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Peter Faymonville, Bernd Finkbeiner, Markus N. Rabe, Leander Tentrup Encodings of Bounded Synthesis. Search on Bibsonomy TACAS (1) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jeevana Priya Inala, Nadia Polikarpova, Xiaokang Qiu, Benjamin S. Lerner, Armando Solar-Lezama Synthesis of Recursive ADT Transformations from Reusable Templates. Search on Bibsonomy TACAS (1) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Kim Guldstrand Larsen Validation, Synthesis and Optimization for Cyber-Physical Systems. Search on Bibsonomy TACAS (1) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Lionel Blatter, Nikolai Kosmatov, Pascale Le Gall, Virgile Prevosto RPP: Automatic Proof of Relational Properties by Self-composition. Search on Bibsonomy TACAS (1) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Matthias Heizmann, Christian Schilling, Daniel Tischner Minimization of Visibly Pushdown Automata Using Partial Max-SAT. Search on Bibsonomy TACAS (1) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1ThanhVu Nguyen, Westley Weimer, Deepak Kapur, Stephanie Forrest Connecting Program Synthesis and Reachability: Automatic Program Repair Using Test-Input Generation. Search on Bibsonomy TACAS (1) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ondrej Lengál, Anthony Widjaja Lin, Rupak Majumdar, Philipp Rümmer Fair Termination for Parameterized Probabilistic Concurrent Systems. Search on Bibsonomy TACAS (1) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Junkil Park, Miroslav Pajic, Oleg Sokolsky, Insup Lee Automatic Verification of Finite Precision Implementations of Linear Controllers. Search on Bibsonomy TACAS (1) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Luís Cruz-Filipe, João Marques-Silva, Peter Schneider-Kamp Efficient Certified Resolution Proof Checking. Search on Bibsonomy TACAS (1) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Mathias Preiner, Aina Niemetz, Armin Biere Counterexample-Guided Model Synthesis. Search on Bibsonomy TACAS (1) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Orna Kupferman, Tami Tamir Hierarchical Network Formation Games. Search on Bibsonomy TACAS (1) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Yotam M. Y. Feldman, Oded Padon, Neil Immerman, Mooly Sagiv, Sharon Shoham Bounded Quantifier Instantiation for Checking Inductive Invariants. Search on Bibsonomy TACAS (1) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Nathanaël Courant, Caterina Urban Precise Widening Operators for Proving Termination by Abstract Interpretation. Search on Bibsonomy TACAS (1) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jan Kretínský, Tobias Meggendorfer, Clara Waldmann, Maximilian Weininger Index Appearance Record for Transforming Rabin Automata into Parity Automata. Search on Bibsonomy TACAS (1) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Yong Li 0031, Yu-Fang Chen, Lijun Zhang, Depeng Liu A Novel Learning Algorithm for Büchi Automata Based on Family of DFAs and Classification Trees. Search on Bibsonomy TACAS (1) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ralf Wimmer, Sven Reimer, Paolo Marin, Bernd Becker 0001 HQSpre - An Effective Preprocessor for QBF and DQBF. Search on Bibsonomy TACAS (1) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Cristina Borralleras, Marc Brockschmidt, Daniel Larraz, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio Proving Termination Through Conditional Termination. Search on Bibsonomy TACAS (1) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1David Sanán, Yongwang Zhao, Zhe Hou, Fuyuan Zhang, Alwen Tiu, Yang Liu 0003 CSimpl: A Rely-Guarantee-Based Framework for Verifying Concurrent Programs. Search on Bibsonomy TACAS (1) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #87 of 87 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license