Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Arvind Haran, Montgomery Carter, Michael Emmi, Akash Lal, Shaz Qadeer, Zvonimir Rakamaric |
SMACK+Corral: A Modular Verifier - (Competition Contribution). |
TACAS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Clare Cini, Adrian Francalanza |
An LTL Proof System for Runtime Verification. |
TACAS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ermenegildo Tomasco, Omar Inverso, Bernd Fischer 0002, Salvatore La Torre, Gennaro Parlato |
Verifying Concurrent Programs by Memory Unwinding. |
TACAS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Hiroshi Unno 0001, Tachio Terauchi |
Inferring Simple Solutions to Recursion-Free Horn Clauses via Sampling. |
TACAS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Dangl, Stefan Löwe, Philipp Wendler |
CPAchecker with Support for Recursive Programs and Floating-Point Arithmetic - (Competition Contribution). |
TACAS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Yu-Fang Chen 0001, Chih-Duo Hong, Nishant Sinha 0001, Bow-Yaw Wang |
Commutativity of Reducers. |
TACAS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Roderick Bloem, Krishnendu Chatterjee, Swen Jacobs, Robert Könighofer |
Assume-Guarantee Synthesis for Concurrent Reactive Programs with Partial Information. |
TACAS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Alexandre David, Peter Gjøl Jensen, Kim Guldstrand Larsen, Marius Mikucionis, Jakob Haahr Taankvist |
Uppaal Stratego. |
TACAS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Parasara Sridhar Duggirala, Sayan Mitra, Mahesh Viswanathan 0001, Matthew Potok |
C2E2: A Verification Tool for Stateflow Models. |
TACAS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Fabian Immler |
Verified Reachability Analysis of Continuous Systems. |
TACAS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Christel Baier, Cesare Tinelli (eds.) |
Tools and Algorithms for the Construction and Analysis of Systems - 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings |
TACAS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Arie Gurfinkel, Temesghen Kahsai, Jorge A. Navas |
SeaHorn: A Framework for Verifying C Programs (Competition Contribution). |
TACAS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Shrawan Kumar 0001, Amitabha Sanyal, Uday P. Khedker |
Value Slice: A New Slicing Concept for Scalable Property Checking. |
TACAS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Nutz, Daniel Dietsch, Mostafa Mahmoud Mohamed, Andreas Podelski |
ULTIMATE KOJAK with Memory Safety Checks - (Competition Contribution). |
TACAS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Emmanuel Fleury, Olivier Ly, Gérald Point, Aymeric Vincent |
Insight: An Open Binary Analysis Framework. |
TACAS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Abderahman Kriouile, Wendelin Serwe |
Using a Formal Model to Improve Verification of a Cache-Coherent System-on-Chip. |
TACAS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Heizmann, Daniel Dietsch, Jan Leike, Betim Musa, Andreas Podelski |
Ultimate Automizer with Array Interpolation - (Competition Contribution). |
TACAS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Anton Wijs |
GPU Accelerated Strong and Branching Bisimilarity Checking. |
TACAS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Giles Reger, Helena Cuenca Cruz, David E. Rydeheard |
MarQ: Monitoring at Runtime with QEA. |
TACAS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Sebastiani, Patrick Trentin |
Pushing the Envelope of Optimization Modulo Theories with Linear-Arithmetic Cost Functions. |
TACAS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Elvira Albert, Jesús Correas Fernández, Guillermo Román-Díez |
Non-cumulative Resource Analysis. |
TACAS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Vince Molnár, Dániel Darvas, András Vörös 0001, Tamás Bartha |
Saturation-Based Incremental LTL Model Checking with Inductive Proofs. |
TACAS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Dileep Kini, Mahesh Viswanathan 0001 |
Limit Deterministic and Probabilistic Automata for LTL ∖ GU. |
TACAS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Parosh Aziz Abdulla, Stavros Aronis, Mohamed Faouzi Atig, Bengt Jonsson 0001, Carl Leonardsson, Konstantinos Sagonas |
Stateless Model Checking for TSO and PSO. |
TACAS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Roderick Bloem, Bettina Könighofer, Robert Könighofer, Chao Wang 0001 |
Shield Synthesis: - Runtime Enforcement for Reactive Systems. |
TACAS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Kedar S. Namjoshi, Richard J. Trefler |
Analysis of Dynamic Process Networks. |
TACAS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Pablo González de Aledo, Pablo Sánchez Espeso |
FramewORk for Embedded System verification - (Competition Contribution). |
TACAS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Rajeev Alur, Salar Moarref, Ufuk Topcu |
Pattern-Based Refinement of Assume-Guarantee Specifications in Reactive Synthesis. |
TACAS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Gijs Kant, Alfons Laarman, Jeroen Meijer, Jaco van de Pol, Stefan Blom, Tom van Dijk |
LTSmin: High-Performance Language-Independent Model Checking. |
TACAS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Julian Tschannen, Carlo A. Furia, Martin Nordio, Nadia Polikarpova |
AutoProof: Auto-Active Functional Verification of Object-Oriented Programs. |
TACAS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Soonho Kong, Sicun Gao, Wei Chen, Edmund M. Clarke |
dReach: δ-Reachability Analysis for Hybrid Systems. |
TACAS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Franck Cassez, Takashi Matsuoka, Edward Pierzchalski, Nathan Smyth |
Perentie: Modular Trace Refinement and Selective Value Tracking - (Competition Contribution). |
TACAS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Nikolaj S. Bjørner, Anh-Dung Phan, Lars Fleckenstein |
νZ - An Optimizing SMT Solver. |
TACAS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ruzica Piskac, Thomas Wies, Damien Zufferey |
GRASShopper - Complete Heap Verification with Mixed Specifications. |
TACAS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Lacramioara Astefanoaei, Souha Ben Rayana, Saddek Bensalem, Marius Bozga, Jacques Combaz |
Compositional Invariant Generation for Timed Systems. |
TACAS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Orna Kupferman |
Variations on Safety. |
TACAS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Omar Inverso, Ermenegildo Tomasco, Bernd Fischer 0002, Salvatore La Torre, Gennaro Parlato |
Lazy-CSeq: A Lazy Sequentialization Tool for C - (Competition Contribution). |
TACAS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Jiri Slaby, Jan Strejcek |
Symbiotic 2: More Precise Slicing - (Competition Contribution). |
TACAS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Kamil Dudka, Petr Peringer, Tomás Vojnar |
Predator: A Shape Analyzer Based on Symbolic Memory Graphs - (Competition Contribution). |
TACAS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Arie Gurfinkel, Anton Belov |
FrankenBit: Bit-Precise Verification with Many Bits - (Competition Contribution). |
TACAS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | D. A. van Beek, Wan J. Fokkink, Dennis Hendriks, Albert T. Hofkamp, Jasen Markovski, Joanna M. van de Mortel-Fronczak, Michel A. Reniers |
CIF 3: Model-Based Engineering of Supervisory Controllers. |
TACAS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Francesco Alberti, Silvio Ghilardi, Natasha Sharygina |
Decision Procedures for Flat Array Properties. |
TACAS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Erwan Jahier, Simplice Djoko Djoko, Chaouki Maiza, Eric Lafont |
Environment-Model Based Testing of Control Systems: Case Studies. |
TACAS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Armando, Roberto Carbone, Luca Compagna |
SATMC: A SAT-Based Model Checker for Security-Critical Systems. |
TACAS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Anton Wijs, Dragan Bosnacki |
GPUexplore: Many-Core On-the-Fly State Space Exploration Using GPUs. |
TACAS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Hong Yi Chen, Byron Cook, Carsten Fuhs, Kaustubh Nimkar, Peter W. O'Hearn |
Proving Nontermination via Safety. |
TACAS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Khalil Ghorbal, André Platzer |
Characterizing Algebraic Invariants by Differential Radical Invariants. |
TACAS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Cimatti, Alberto Griggio, Sergio Mover, Stefano Tonetta |
IC3 Modulo Theories via Implicit Predicate Abstraction. |
TACAS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Dirk Beyer 0001 |
Status Report on Software Verification - (Competition Summary SV-COMP 2014). |
TACAS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Jaap Boender, Claudio Sacerdoti Coen |
On the Correctness of a Branch Displacement Algorithm. |
TACAS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Löwe, Mikhail U. Mandrykin, Philipp Wendler |
CPAchecker with Sequential Combination of Explicit-Value Analyses and Predicate Analyses - (Competition Contribution). |
TACAS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ala-Eddine Ben Salem, Alexandre Duret-Lutz, Fabrice Kordon, Yann Thierry-Mieg |
Symbolic Model Checking of Stutter-Invariant Properties Using Generalized Testing Automata. |
TACAS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Gibson-Robinson, Philip J. Armstrong, Alexandre Boulgakov, A. W. Roscoe 0001 |
FDR3 - A Modern Refinement Checker for CSP. |
TACAS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Jan Leike, Matthias Heizmann |
Ranking Templates for Linear Loops. |
TACAS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Jan Reineke 0001, Stavros Tripakis |
Basic Problems in Multi-View Modeling. |
TACAS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Vincent Cheval |
APTE: An Algorithm for Proving Trace Equivalence. |
TACAS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Bernd Finkbeiner, Leander Tentrup |
Detecting Unrealizable Specifications of Distributed Systems. |
TACAS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Evren Ermis, Alexander Nutz, Daniel Dietsch, Jochen Hoenicke, Andreas Podelski |
Ultimate Kojak - (Competition Contribution). |
TACAS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Erika Ábrahám, Klaus Havelund (eds.) |
Tools and Algorithms for the Construction and Analysis of Systems - 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings |
TACAS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Reinbacher, Kristin Yvonne Rozier, Johann Schumann |
Temporal-Logic Based Runtime Observer Pairs for System Health Management of Real-Time Systems. |
TACAS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Elvira Albert, Puri Arenas, Antonio Flores-Montoya, Samir Genaim, Miguel Gómez-Zamalloa, Enrique Martin-Martin, German Puebla, Guillermo Román-Díez |
SACO: Static Analyzer for Concurrent Objects. |
TACAS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate |
Precise Approximations of the Probability Distribution of a Markov Process in Time: An Application to Probabilistic Invariance. |
TACAS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ting Wang 0004, Jun Sun 0001, Yang Liu 0003, Xinyu Wang 0001, Shanping Li |
Are Timed Automata Bad for a Specification Language? Language Inclusion Checking for Timed Automata. |
TACAS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Jeremy Morse, Mikhail Ramalho, Lucas C. Cordeiro, Denis A. Nicole, Bernd Fischer 0002 |
ESBMC 1.22 - (Competition Contribution). |
TACAS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Dieky Adzkiya, Bart De Schutter, Alessandro Abate |
Forward Reachability Computation for Autonomous Max-Plus-Linear Systems. |
TACAS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Marco Bozzano, Alessandro Cimatti, Marco Gario, Stefano Tonetta |
Formal Design of Fault Detection and Identification Components Using Temporal Epistemic Logic. |
TACAS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ermenegildo Tomasco, Omar Inverso, Bernd Fischer 0002, Salvatore La Torre, Gennaro Parlato |
MU-CSeq: Sequentialization of C Programs by Shared Memory Unwindings - (Competition Contribution). |
TACAS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Wenchao Li 0001, Dorsa Sadigh, S. Shankar Sastry, Sanjit A. Seshia |
Synthesis for Human-in-the-Loop Control Systems. |
TACAS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Christian von Essen, Dimitra Giannakopoulou |
Analyzing the Next Generation Airborne Collision Avoidance System. |
TACAS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Michael Huth 0001, Jim Huan-Pu Kuo |
PEALT: An Automated Reasoning Tool for Numerical Aggregation of Trust Evidence. |
TACAS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Gavin Lowe |
Concurrent Depth-First Search Algorithms. |
TACAS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Rafael Caballero 0001, Enrique Martin-Martin, Adrián Riesco 0001, Salvador Tamarit |
EDD: A Declarative Debugger for Sequential Erlang Programs. |
TACAS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Arie Gurfinkel, Anton Belov, João Marques-Silva 0001 |
Synthesizing Safe Bit-Precise Invariants. |
TACAS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Hassan Eldib, Chao Wang 0001, Patrick Schaumont |
SMT-Based Verification of Software Countermeasures against Side-Channel Attacks. |
TACAS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Kroening, Michael Tautschnig |
CBMC - C Bounded Model Checker - (Competition Contribution). |
TACAS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Shaull Almagor, Udi Boker, Orna Kupferman |
Discounting in LTL. |
TACAS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Petr Müller, Tomás Vojnar |
CPAlien: Shape Analyzer for CPAChecker - (Competition Contribution). |
TACAS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Antti Siirtola |
Bounds2: A Tool for Compositional Multi-parametrised Verification. |
TACAS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Christel Baier, Joachim Klein 0001, Sascha Klüppelholz, Steffen Märcker |
Computing Conditional Probabilities in Markovian Models Efficiently. |
TACAS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Heizmann, Jürgen Christ, Daniel Dietsch, Jochen Hoenicke, Markus Lindenmann, Betim Musa, Christian Schilling 0001, Stefan Wissert, Andreas Podelski |
Ultimate Automizer with Unsatisfiable Cores - (Competition Contribution). |
TACAS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Oded Maler, Irini-Eleftheria Mens |
Learning Regular Languages over Large Alphabets. |
TACAS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Xiaowei Huang 0001, Ron van der Meyden |
Symbolic Synthesis for Epistemic Specifications with Observational Semantics. |
TACAS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Christian Herrera, Bernd Westphal, Andreas Podelski |
Quasi-Equal Clock Reduction: More Networks, More Queries. |
TACAS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Marc Brockschmidt, Fabian Emmes, Stephan Falke 0001, Carsten Fuhs, Jürgen Giesl |
Alternating Runtime and Size Complexity Analysis of Integer Programs. |
TACAS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Normann Decker, Martin Leucker, Daniel Thoma |
Monitoring Modulo Theories. |
TACAS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Klaus Dräger, Vojtech Forejt, Marta Z. Kwiatkowska, David Parker 0001, Mateusz Ujma |
Permissive Controller Synthesis for Probabilistic Systems. |
TACAS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ebrahim Ardeshir-Larijani, Simon J. Gay, Rajagopal Nagarajan |
Verification of Concurrent Quantum Protocols by Equivalence Checking. |
TACAS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Arnd Hartmanns, Holger Hermanns |
The Modest Toolset: An Integrated Environment for Quantitative Modelling and Verification. |
TACAS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti |
VeriMAP: A Tool for Verifying Programs through Transformations. |
TACAS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Linden 0001, Pierre Wolper |
A Verification-Based Approach to Memory Fence Insertion in PSO Memory Systems. |
TACAS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Christian Eisentraut, Holger Hermanns, Johann Schuster, Andrea Turrini, Lijun Zhang 0001 |
The Quest for Minimal Quotients for Probabilistic Automata. |
TACAS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Francois Kempf, Marius Bozga, Oded Maler |
As Soon as Probable: Optimal Scheduling under Stochastic Uncertainty. |
TACAS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Anna Lisa Ferrara, P. Madhusudan, Gennaro Parlato |
Policy Analysis for Self-administrated Role-Based Access Control. |
TACAS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Boyang Li 0002, Isil Dillig, Thomas Dillig, Kenneth L. McMillan, Mooly Sagiv |
Synthesis of Circular Compositional Program Proofs via Abduction. |
TACAS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Löwe |
CPAchecker with Explicit-Value Analysis Based on CEGAR and Interpolation - (Competition Contribution). |
TACAS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jürgen Christ, Jochen Hoenicke, Alexander Nutz |
Proof Tree Preserving Interpolation. |
TACAS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Kshitij Bansal, Eric Koskinen, Thomas Wies, Damien Zufferey |
Structural Counter Abstraction. |
TACAS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jiri Slaby, Jan Strejcek, Marek Trtík |
Symbiotic: Synergy of Instrumentation, Slicing, and Symbolic Execution - (Competition Contribution). |
TACAS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Patrice Godefroid, Mihalis Yannakakis |
Analysis of Boolean Programs. |
TACAS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Aws Albarghouthi, Arie Gurfinkel, Yi Li 0008, Sagar Chaki, Marsha Chechik |
UFO: Verification with Interpolants and Abstract Interpretation - (Competition Contribution). |
TACAS |
2013 |
DBLP DOI BibTeX RDF |
|