| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Sjoerd Cranen, Jan Friso Groote, Jeroen J. A. Keiren, Frank P. M. Stappers, Erik P. de Vink, Wieger Wesselink, Tim A. C. Willemse |
An Overview of the mCRL2 Toolset and Its Recent Advances.  |
TACAS  |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Graeme Gange, Jorge A. Navas, Peter J. Stuckey, Harald Søndergaard, Peter Schachte |
Unbounded Model-Checking with Interpolation for Regular Language Constraints. |
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 | Ajith K. John, Supratik Chakraborty |
Extending Quantifier Elimination to Linear Inequalities on Bit-Vectors. |
TACAS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Milos Gligoric, Rupak Majumdar |
Model Checking Database Applications. |
TACAS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | David H. White, Gerald Lüttgen |
Identifying Dynamic Data Structures by Learning Evolving Patterns in Memory. |
TACAS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Linden, Pierre Wolper |
A Verification-Based Approach to Memory Fence Insertion in PSO Memory Systems. |
TACAS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Nagy, Gerardo Schneider, Aram Timofeitchik |
Automatic Testing of Real-Time Graphics Systems. |
TACAS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrice Godefroid, Mihalis Yannakakis |
Analysis of Boolean Programs. |
TACAS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Carl Leonardsson, Ahmed Rezine |
Memorax, a Precise and Sound Tool for Automatic Fence Insertion under TSO. |
TACAS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Anton Belov, Matti Järvisalo, João Marques-Silva |
Formula Preprocessing in MUS Extraction. |
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 | Chung-Hao Huang, Sven Schewe, Farn Wang |
Model-Checking Iterated Games. |
TACAS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Dirk Beyer |
Second Competition on Software Verification - (Summary of SV-COMP 2013). |
TACAS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Yu-Fang Chen, Bow-Yaw Wang |
BULL: A Library for Learning Algorithms of Boolean Functions. |
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 | Stefan Löwe |
CPAchecker with Explicit-Value Analysis Based on CEGAR and Interpolation - (Competition Contribution). |
TACAS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Radu Grigore, Dino Distefano, Rasmus Lerchedahl Petersen, Nikos Tzevelekos |
Runtime Verification Based on Register Automata. |
TACAS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephan Falke, Florian Merz, Carsten Sinz |
LLBMC: Improved Bounded Model Checking of C Programs Using LLVM - (Competition Contribution). |
TACAS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Boyang Li, Isil Dillig, Thomas Dillig, Kenneth L. McMillan, Mooly Sagiv |
Synthesis of Circular Compositional Program Proofs via Abduction. |
TACAS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Yasuhiko Minamide |
Weighted Pushdown Systems with Indexed Weight Domains. |
TACAS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Sooraj Bhat, Johannes Borgström, Andrew D. Gordon, Claudio V. Russo |
Deriving Probability Density Functions from Probabilistic Functional Programs. |
TACAS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Kamil Dudka, Petr Müller, Petr Peringer, Tomás Vojnar |
Predator: A Tool for Verification of Low-Level List Manipulation - (Competition Contribution). |
TACAS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Backes, Sebastian Gerling, Christian Hammer, Matteo Maffei, Philipp von Styp-Rekowsky |
AppGuard - Enforcing User Requirements on Android Apps. |
TACAS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Byron Cook, Abigail See, Florian Zuleger |
Ramsey vs. Lexicographic Termination Proving. |
TACAS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Anton Wijs, Luc Engelen |
Efficient Property Preservation Checking of Model Refinements. |
TACAS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Aleksandra Jovanovic, Didier Lime, Olivier H. Roux |
Integer Parameter Synthesis for Timed Automata. |
TACAS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Radu Mateescu, Gwen Salaün |
PIC2LNT: Model Transformation for Model Checking an Applied Pi-Calculus. |
TACAS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Jasmin Christian Blanchette, Sascha Böhme, Andrei Popescu, Nicholas Smallbone |
Encoding Monomorphic and Polymorphic Types. |
TACAS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Benedikt, Rastislav Lenhardt, James Worrell |
LTL Model Checking of Interval Markov Chains. |
TACAS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeremy Morse, Lucas Cordeiro, Denis Nicole, Bernd Fischer 0002 |
Handling Unbounded Loops with ESBMC 1.20 - (Competition Contribution). |
TACAS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Siert Wieringa, Keijo Heljanko |
Asynchronous Multi-core Incremental SAT Solving. |
TACAS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Nir Piterman, Scott A. Smolka (eds.) |
Tools and Algorithms for the Construction and Analysis of Systems - 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings |
TACAS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Masoud Koleini, Eike Ritter, Mark Ryan |
Model Checking Agent Knowledge in Dynamic Access Control Policies. |
TACAS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Taolue Chen, Vojtech Forejt, Marta Z. Kwiatkowska, David Parker, Aistis Simaitis |
PRISM-games: A Model Checker for Stochastic Multi-Player Games. |
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 | Ebrahim Ardeshir-Larijani, Simon J. Gay, Rajagopal Nagarajan |
Equivalence Checking of Quantum Protocols. |
TACAS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Aaron Bohy, Véronique Bruyère, Emmanuel Filiot, Jean-François Raskin |
Synthesis from LTL Specifications with Mean-Payoff Objectives. |
TACAS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Fu Song, Tayssir Touili |
LTL Model-Checking for Malware Detection. |
TACAS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Corneliu Popeea, Andrey Rybalchenko |
Threader: A Verifier for Multi-threaded Programs - (Competition Contribution). |
TACAS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Ganty, Radu Iosif, Filip Konecný |
Underapproximation of Procedure Summaries for Integer Programs. |
TACAS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Philipp Wendler |
CPAchecker with Sequential Combination of Explicit-State Analysis and Predicate Analysis - (Competition Contribution). |
TACAS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Heizmann, Jürgen Christ, Daniel Dietsch, Evren Ermis, Jochen Hoenicke, Markus Lindenmann, Alexander Nutz, Christian Schilling, Andreas Podelski |
Ultimate Automizer with SMTInterpol - (Competition Contribution). |
TACAS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Frédéric Haziza, Lukás Holík, Bengt Jonsson, Ahmed Rezine |
An Integrated Specification and Verification Technique for Highly Concurrent Data Structures. |
TACAS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare |
On-the-Fly Exact Computation of Bisimilarity Distances. |
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 | Aws Albarghouthi, Arie Gurfinkel, Yi Li, Sagar Chaki, Marsha Chechik |
UFO: Verification with Interpolants and Abstract Interpretation - (Competition Contribution). |
TACAS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Etienne Renault, Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud |
Strength-Based Decomposition of the Property Büchi Automaton for Faster Model Checking. |
TACAS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Yakir Vizel, Orna Grumberg, Sharon Shoham |
Intertwined Forward-Backward Reachability Analysis Using Interpolants. |
TACAS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Cimatti, Alberto Griggio, Bastiaan Joost Schaafsma, Roberto Sebastiani |
The MathSAT5 SMT Solver. |
TACAS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernd Fischer 0002, Omar Inverso, Gennaro Parlato |
CSeq: A Sequentialization Tool for C - (Competition Contribution). |
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 | Grigory Fedyukovich, Ondrej Sery, Natasha Sharygina |
eVolCheck: Incremental Upgrade Checker for C. |
TACAS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Balasubramanian, Corina S. Pasareanu, Gabor Karsai, Michael R. Lowry |
Polyglot: Systematic Analysis for Multiple Statechart Formalisms. |
TACAS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Cormac Flanagan, Barbara König (eds.) |
Tools and Algorithms for the Construction and Analysis of Systems - 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings |
TACAS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | William Sonnex, Sophia Drossopoulou, Susan Eisenbach |
Zeno: An Automated Prover for Properties of Recursive Data Structures. |
TACAS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Vijay D'Silva, Leopold Haller, Daniel Kroening, Michael Tautschnig |
Numeric Bounds Analysis with Conflict-Driven Learning. |
TACAS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergey Grebenshchikov, Ashutosh Gupta, Nuno P. Lopes, Corneliu Popeea, Andrey Rybalchenko |
HSF(C): A Software Verifier Based on Horn Clauses - (Competition Contribution). |
TACAS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Holger Hermanns |
Quantitative Models for a Not So Dumb Grid. |
TACAS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Lucas Cordeiro, Jeremy Morse, Denis Nicole, Bernd Fischer 0002 |
Context-Bounded Model Checking with ESBMC 1.17 - (Competition Contribution). |
TACAS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Löwe, Philipp Wendler |
CPAchecker with Adjustable Predicate Analysis - (Competition Contribution). |
TACAS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Maik Merten, Falk Howar, Bernhard Steffen, Sofia Cassel, Bengt Jonsson |
Demonstrating Learning of Register Automata. |
TACAS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Fu Song, Tayssir Touili |
Pushdown Model Checking for Malware Detection. |
TACAS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ahmed Bouajjani, Michael Emmi |
Bounded Phase Analysis of Message-Passing Programs. |
TACAS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | David S. Hardin, Konrad Slind, Michael W. Whalen, Tuan-Hung Pham |
The Guardol Language and Verification System. |
TACAS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhihao Jiang, Miroslav Pajic, Salar Moarref, Rajeev Alur, Rahul Mangharam |
Modeling and Verification of a Dual Chamber Implantable Pacemaker. |
TACAS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ondrej Lengál, Jirí Simácek, Tomás Vojnar |
VATA: A Library for Efficient Manipulation of Non-deterministic Tree Automata. |
TACAS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Wonisch |
Block Abstraction Memoization for CPAchecker - (Competition Contribution). |
TACAS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernd Finkbeiner, Hans-Jörg Peter |
Template-Based Controller Synthesis for Timed Systems. |
TACAS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Swen Jacobs, Roderick Bloem |
Parameterized Synthesis. |
TACAS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Razieh Nokhbeh Zaeem, Divya Gopinath, Sarfraz Khurshid, Kathryn S. McKinley |
History-Aware Data Structure Repair Using SAT. |
TACAS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Cyrille Jégourel, Axel Legay, Sean Sedwards |
A Platform for High Performance Statistical Model Checking - PLASMA. |
TACAS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Aws Albarghouthi, Arie Gurfinkel, Marsha Chechik |
From Under-Approximations to Over-Approximations and Back. |
TACAS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Holzer, Daniel Kroening, Christian Schallhart, Michael Tautschnig, Helmut Veith |
Proving Reachability Using FShell - (Competition Contribution). |
TACAS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Arlen Cox, Sriram Sankaranarayanan, Bor-Yuh Evan Chang |
A Bit Too Precise? Bounded Verification of Quantized Digital Filters. |
TACAS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Armando, Wihem Arsac, Tigran Avanesov, Michele Barletta, Alberto Calvi, Alessandro Cappai, Roberto Carbone, Yannick Chevalier, Luca Compagna, Jorge Cuéllar, Gabriel Erzse, Simone Frau, Marius Minea, Sebastian Mödersheim, David von Oheimb, Giancarlo Pellegrino, Serena Elisa Ponta, Marco Rocchetto, Michaël Rusinowitch, Mohammad Torabi Dashti, Mathieu Turuani, Luca Viganò |
The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures. |
TACAS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Huafeng Jin, Tuba Yavuz-Kahveci, Beverly A. Sanders |
Java Memory Model-Aware Model Checking. |
TACAS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Carsten Sinz, Florian Merz, Stephan Falke |
LLBMC: A Bounded Model Checker for LLVM's Intermediate Representation - (Competition Contribution). |
TACAS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Rohit Chadha, P. Madhusudan, Mahesh Viswanathan |
Reachability under Contextual Locking. |
TACAS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Margus Veanes, Nikolaj Bjørner |
Symbolic Automata: The Toolkit. |
TACAS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Dirk Beyer |
Competition on Software Verification - (SV-COMP). |
TACAS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandre David, Lasse Jacobsen, Morten Jacobsen, Kenneth Yrke Jørgensen, Mikael H. Møller, Jirí Srba |
TAPAAL 2.0: Integrated Development Environment for Timed-Arc Petri Nets. |
TACAS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ralf Wimmer, Nils Jansen, Erika Ábrahám, Bernd Becker, Joost-Pieter Katoen |
Minimal Critical Subsystems for Discrete-Time Markov Models. |
TACAS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ansgar Fehnker, Rob J. van Glabbeek, Peter Höfner, Annabelle McIver, Marius Portmann, Wee Lum Tan |
Automated Analysis of AODV Using UPPAAL. |
TACAS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Oliver Friedmann, Martin Lange |
Ramsey-Based Analysis of Parity Automata. |
TACAS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin W. Hamlen, Micah Jones, Meera Sridhar |
Aspect-Oriented Runtime Monitor Certification. |
TACAS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Anduo Wang, Carolyn L. Talcott, Alexander J. T. Gurney, Boon Thau Loo, Andre Scedrov |
Reduction-Based Formal Analysis of BGP Instances. |
TACAS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Heußner, Tristan Le Gall, Grégoire Sutre |
McScM: A General Framework for the Verification of Communicating Machines. |
TACAS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Pavel Shved, Mikhail Mandrykin, Vadim Mutilin |
Predicate Analysis with BLAST 2.7 - (Competition Contribution). |
TACAS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Johannes Hölzl, Tobias Nipkow |
Verifying pCTL Model Checking. |
TACAS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Mattias Ulbrich, Ulrich Geilmann, Aboubakr Achraf El Ghazi, Mana Taghdiri |
A Proof Assistant for Alloy Specifications. |
TACAS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Gérard Basler, Alastair F. Donaldson, Alexander Kaiser 0001, Daniel Kroening, Michael Tautschnig, Thomas Wahl |
satabs: A Bit-Precise Verifier for C Programs - (Competition Contribution). |
TACAS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Georg Weissenbacher, Daniel Kroening, Sharad Malik |
Wolverine: Battling Bugs with Interpolants - (Competition Contribution). |
TACAS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Marius Bozga, Radu Iosif, Filip Konecný |
Deciding Conditional Termination. |
TACAS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís Caires, Hugo Torres Vieira |
SLMC: A Tool for Model Checking Concurrent Systems against Dynamical Spatial Logic Specifications. |
TACAS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Frédéric Lang, Radu Mateescu |
Partial Model Checking Using Networks of Labelled Transition Systems and Boolean Equation Systems. |
TACAS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Taolue Chen, Vojtech Forejt, Marta Z. Kwiatkowska, David Parker, Aistis Simaitis |
Automatic Verification of Competitive Stochastic Systems. |
TACAS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Kamil Dudka, Petr Müller, Petr Peringer, Tomás Vojnar |
Predator: A Verification Tool for Programs with Dynamic Linked Data Structures - (Competition Contribution). |
TACAS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomás Babiak, Mojmír Kretínský, Vojtech Rehák, Jan Strejcek |
LTL to Büchi Automata Translation: Fast and More Deterministic. |
TACAS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Corneliu Popeea, Andrey Rybalchenko |
Compositional Termination Proofs for Multi-threaded Programs. |
TACAS |
2012 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")