Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Fu Song, Tayssir Touili |
LTL Model-Checking for Malware Detection. |
TACAS |
2013 |
DBLP DOI BibTeX RDF |
|
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 | Ebrahim Ardeshir-Larijani, Simon J. Gay, Rajagopal Nagarajan |
Equivalence Checking of Quantum Protocols. |
TACAS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Michael Benedikt, Rastislav Lenhardt, James Worrell 0001 |
LTL Model Checking of Interval Markov Chains. |
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 | Corneliu Popeea, Andrey Rybalchenko |
Threader: A Verifier for Multi-threaded Programs - (Competition Contribution). |
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 | Yakir Vizel, Orna Grumberg, Sharon Shoham |
Intertwined Forward-Backward Reachability Analysis Using Interpolants. |
TACAS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen 0001, Carl Leonardsson, Ahmed Rezine |
Memorax, a Precise and Sound Tool for Automatic Fence Insertion under TSO. |
TACAS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Giorgio Bacci, Giovanni Bacci 0001, Kim G. Larsen, Radu Mardare |
On-the-Fly Exact Computation of Bisimilarity Distances. |
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 | 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 | Stephan Falke 0001, Florian Merz 0001, Carsten Sinz |
LLBMC: Improved Bounded Model Checking of C Programs Using LLVM - (Competition Contribution). |
TACAS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Aleksandra Jovanovic 0002, Didier Lime, Olivier H. Roux |
Integer Parameter Synthesis for Timed Automata. |
TACAS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jasmin Christian Blanchette, Sascha Böhme, Andrei Popescu 0001, Nicholas Smallbone |
Encoding Monomorphic and Polymorphic Types. |
TACAS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Sooraj Bhat, Johannes Borgström, Andrew D. Gordon 0001, Claudio V. Russo |
Deriving Probability Density Functions from Probabilistic Functional Programs. |
TACAS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Yu-Fang Chen 0001, Bow-Yaw Wang |
BULL: A Library for Learning Algorithms of Boolean Functions. |
TACAS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Masoud Koleini, Eike Ritter, Mark Ryan 0001 |
Model Checking Agent Knowledge in Dynamic Access Control Policies. |
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 | Siert Wieringa, Keijo Heljanko |
Asynchronous Multi-core Incremental SAT Solving. |
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 | Anton Wijs, Luc Engelen |
Efficient Property Preservation Checking of Model Refinements. |
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 | Matthias Heizmann, Jürgen Christ, Daniel Dietsch, Evren Ermis, Jochen Hoenicke, Markus Lindenmann, Alexander Nutz, Christian Schilling 0001, Andreas Podelski |
Ultimate Automizer with SMTInterpol - (Competition Contribution). |
TACAS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Michael Backes 0001, Sebastian Gerling, Christian Hammer 0001, Matteo Maffei, Philipp von Styp-Rekowsky |
AppGuard - Enforcing User Requirements on Android Apps. |
TACAS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | David H. White 0001, Gerald Lüttgen |
Identifying Dynamic Data Structures by Learning Evolving Patterns in Memory. |
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 | Parosh Aziz Abdulla, Frédéric Haziza, Lukás Holík, Bengt Jonsson 0001, Ahmed Rezine |
An Integrated Specification and Verification Technique for Highly Concurrent Data Structures. |
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 | Radu Mateescu 0001, Gwen Salaün |
PIC2LNT: Model Transformation for Model Checking an Applied Pi-Calculus. |
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 Belov, Matti Järvisalo, João Marques-Silva 0001 |
Formula Preprocessing in MUS Extraction. |
TACAS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Milos Gligoric 0001, Rupak Majumdar |
Model Checking Database Applications. |
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 | Dirk Beyer 0001 |
Second Competition on Software Verification - (Summary of SV-COMP 2013). |
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 | Bernd Fischer 0002, Omar Inverso, Gennaro Parlato |
CSeq: A Sequentialization Tool for C - (Competition Contribution). |
TACAS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Taolue Chen, Vojtech Forejt, Marta Z. Kwiatkowska, David Parker 0001, Aistis Simaitis |
PRISM-games: A Model Checker for Stochastic Multi-Player Games. |
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 | Yasuhiko Minamide |
Weighted Pushdown Systems with Indexed Weight Domains. |
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 | Robert Nagy, Gerardo Schneider, Aram Timofeitchik |
Automatic Testing of Real-Time Graphics Systems. |
TACAS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jeremy Morse, Lucas C. Cordeiro, Denis A. Nicole, Bernd Fischer 0002 |
Handling Unbounded Loops with ESBMC 1.20 - (Competition Contribution). |
TACAS |
2013 |
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 | Daniel Wonisch |
Block Abstraction Memoization for CPAchecker - (Competition Contribution). |
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 | Dirk Beyer 0001 |
Competition on Software Verification - (SV-COMP). |
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 | Corneliu Popeea, Andrey Rybalchenko |
Compositional Termination Proofs for Multi-threaded Programs. |
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 | Hu-Hsi Yeh, Cheng-Yin Wu, Chung-Yang (Ric) Huang |
QuteRTL: Towards an Open Source Framework for RTL Design Synthesis and Verification. |
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 | Rohit Chadha, P. Madhusudan, Mahesh Viswanathan 0001 |
Reachability under Contextual Locking. |
TACAS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ralf Wimmer 0001, Nils Jansen 0001, Erika Ábrahám, Bernd Becker 0001, Joost-Pieter Katoen |
Minimal Critical Subsystems for Discrete-Time Markov Models. |
TACAS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Frédéric Lang, Radu Mateescu 0001 |
Partial Model Checking Using Networks of Labelled Transition Systems and Boolean Equation Systems. |
TACAS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Pavel Shved, Mikhail U. Mandrykin, Vadim S. Mutilin |
Predicate Analysis with BLAST 2.7 - (Competition Contribution). |
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 | Benoît Barbot, Serge Haddad, Claudine Picaronny |
Coupling and Importance Sampling for Statistical Model Checking. |
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 | Andreas Holzer, Daniel Kroening, Christian Schallhart, Michael Tautschnig, Helmut Veith |
Proving Reachability Using FShell - (Competition Contribution). |
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 | Maik Merten, Falk Howar, Bernhard Steffen, Sofia Cassel, Bengt Jonsson 0001 |
Demonstrating Learning of Register Automata. |
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ò 0001 |
The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures. |
TACAS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Margus Veanes, Nikolaj S. Bjørner |
Symbolic Automata: The Toolkit. |
TACAS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Johannes Hölzl, Tobias Nipkow |
Verifying pCTL Model Checking. |
TACAS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Holger Hermanns |
Quantitative Models for a Not So Dumb Grid. |
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 | Mattias Ulbrich, Ulrich Geilmann, Aboubakr Achraf El Ghazi, Mana Taghdiri |
A Proof Assistant for Alloy Specifications. |
TACAS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Carsten Sinz, Florian Merz 0001, Stephan Falke 0001 |
LLBMC: A Bounded Model Checker for LLVM's Intermediate Representation - (Competition Contribution). |
TACAS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Swen Jacobs, Roderick Bloem |
Parameterized Synthesis. |
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 | 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 | Vijay Victor D'Silva, Leopold Haller, Daniel Kroening, Michael Tautschnig |
Numeric Bounds Analysis with Conflict-Driven Learning. |
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 | 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 | 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 | Georg Weissenbacher, Daniel Kroening, Sharad Malik |
Wolverine: Battling Bugs with Interpolants - (Competition Contribution). |
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 | Lucas C. Cordeiro, Jeremy Morse, Denis A. Nicole, Bernd Fischer 0002 |
Context-Bounded Model Checking with ESBMC 1.17 - (Competition Contribution). |
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 | Taolue Chen, Vojtech Forejt, Marta Z. Kwiatkowska, David Parker 0001, Aistis Simaitis |
Automatic Verification of Competitive Stochastic Systems. |
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 | Arlen Cox, Sriram Sankaranarayanan 0001, Bor-Yuh Evan Chang |
A Bit Too Precise? Bounded Verification of Quantized Digital Filters. |
TACAS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Cormac Flanagan, Barbara König 0001 (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 | Fu Song, Tayssir Touili |
Pushdown Model Checking for Malware Detection. |
TACAS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Oliver Friedmann, Martin Lange |
Ramsey-Based Analysis of Parity Automata. |
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 | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen 0001, Carl Leonardsson, Ahmed Rezine |
Counter-Example Guided Fence Insertion under TSO. |
TACAS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Sergey Grebenshchikov, Ashutosh Gupta 0001, 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 | Marius Bozga, Radu Iosif, Filip Konecný |
Deciding Conditional Termination. |
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 | Mark Timmer, Mariëlle Stoelinga, Jaco van de Pol |
Confluence Reduction for Probabilistic Systems. |
TACAS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Divya Gopinath, Muhammad Zubair Malik, Sarfraz Khurshid |
Specification-Based Program Repair Using SAT. |
TACAS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Yungbum Jung, Wonchan Lee, Bow-Yaw Wang, Kwangkeun Yi |
Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference. |
TACAS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Parosh Aziz Abdulla, K. Rustan M. Leino (eds.) |
Tools and Algorithms for the Construction and Analysis of Systems - 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011. Proceedings |
TACAS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Nathalie Bertrand 0001, Thierry Jéron, Amélie Stainer, Moez Krichen |
Off-Line Test Selection with Test Purposes for Non-deterministic Timed Automata. |
TACAS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Harro Wimmel, Karsten Wolf |
Applying CEGAR to the Petri Net State Equation. |
TACAS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Harsh Raju Chamarthi, Peter C. Dillinger, Panagiotis Manolios, Daron Vroon 0001 |
The ACL2 Sedan Theorem Proving System. |
TACAS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Krystof Hoder, Laura Kovács, Andrei Voronkov |
Invariant Generation in Vampire. |
TACAS |
2011 |
DBLP DOI BibTeX RDF |
|