| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 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 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, 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 |
|
| 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 | Benoît Barbot, Serge Haddad, Claudine Picaronny |
Coupling and Importance Sampling for Statistical Model Checking. |
TACAS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Carl Leonardsson, Ahmed Rezine |
Counter-Example Guided Fence Insertion under TSO. |
TACAS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerard J. Holzmann |
Reliable Software Development: Analysis-Aware Design. |
TACAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Maik Merten, Bernhard Steffen, Falk Howar, Tiziana Margaria |
Next Generation LearnLib. |
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 | Stefan Kiefer, Dominik Wojtczak |
On Probabilistic Parallel Programs with Process Creation and Synchronisation. |
TACAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Diego Garbervetsky, Daniel Gorín, Ariel Neisen |
Enforcing Structural Invariants Using Dynamic Frames. |
TACAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jade Alglave, Luc Maranget, Susmit Sarkar, Peter Sewell |
Litmus: Running Tests against Hardware. |
TACAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yih-Kuen Tsay, Ming-Hsien Tsai, Jinn-Shu Chang, Yi-Wen Chang |
Büchi Store: An Open Repository of Büchi Automata. |
TACAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sanjit A. Seshia, Jonathan Kotker |
GameTime: A Toolkit for Timing Analysis of Software. |
TACAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Pranav Garg, P. Madhusudan |
Compositionality Entails Sequentializability. |
TACAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Muralidhar Talupur, Hyojung Han |
Biased Model Checking Using Flows. |
TACAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ezio Bartocci, Radu Grosu, Panagiotis Katsaros, C. R. Ramakrishnan, Scott A. Smolka |
Model Repair for Probabilistic Systems. |
TACAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alberto Griggio, Thi Thieu Hoa Le, Roberto Sebastiani |
Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic. |
TACAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Podelski, Andrey Rybalchenko |
Transition Invariants and Transition Predicate Abstraction for Program Termination. |
TACAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Krystof Hoder, Laura Kovács, Andrei Voronkov |
Invariant Generation in Vampire. |
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 | Rüdiger Ehlers |
Unbeast: Symbolic Bounded Synthesis. |
TACAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Cimatti, Iman Narasamdya, Marco Roveri |
Boosting Lazy Abstraction for SystemC with Partial Order Reduction. |
TACAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Kupferschmid, Martin Wehrle |
Abstractions and Pattern Databases: The Quest for Succinctness and Accuracy. |
TACAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yashwanth Annpureddy, Che Liu, Georgios E. Fainekos, Sriram Sankaranarayanan |
S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems. |
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 | Divya Gopinath, Muhammad Zubair Malik, Sarfraz Khurshid |
Specification-Based Program Repair Using SAT. |
TACAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Harsh Raju Chamarthi, Peter C. Dillinger, Panagiotis Manolios, Daron Vroon |
The ACL2 Sedan Theorem Proving System. |
TACAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Vojtech Forejt, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Hongyang Qu |
Quantitative Multi-objective Verification for Probabilistic Systems. |
TACAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Codish, Yoav Fekete, Carsten Fuhs, Peter Schneider-Kamp |
Optimal Base Encodings for Pseudo-Boolean Constraints. |
TACAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sylvain Conchon, Evelyne Contejean, Mohamed Iguernelala |
Canonized Rewriting and Ground AC Completion Modulo Shostak Theories. |
TACAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann, Rohit Singh 0002 |
QUASY: Quantitative Synthesis Tool. |
TACAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Anders P. Ravn, Jirí Srba, Saleem Vighio |
Modelling and Verification of Web Services Business Activity Protocol. |
TACAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Tino Teige, Martin Fränzle |
Generalized Craig Interpolation for Stochastic Boolean Satisfiability Problems. |
TACAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Benoît Barbot, Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre |
Efficient CTMC Model Checking of Linear Real-Time Objectives. |
TACAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hubert Garavel, Frédéric Lang, Radu Mateescu, Wendelin Serwe |
CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes. |
TACAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacob Burnim, Koushik Sen, Christos Stergiou |
Sound and Complete Monitoring of Sequential Consistency for Relaxed Memory Models. |
TACAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Chih-Hong Cheng, Alois Knoll, Michael Luttenberger, Christian Buckl |
GAVS+: An Open Platform for the Research of Algorithmic Game Solving. |
TACAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Nathalie Bertrand, 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 | Aliaksei Tsitovich, Natasha Sharygina, Christoph M. Wintersteiger, Daniel Kroening |
Loop Summarization and Termination Analysis. |
TACAS |
2011 |
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 | Jules Villard, Étienne Lozes, Cristiano Calcagno |
Tracking Heaps That Hop with Heap-Hop. |
TACAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Bruttomesso, Edgar Pek, Natasha Sharygina, Aliaksei Tsitovich |
The OpenSMT Solver. |
TACAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alastair F. Donaldson, Daniel Kroening, Philipp Rümmer |
Automatic Analysis of Scratch-Pad Memory Code for Heterogeneous Multicore Processors. |
TACAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Dana Fisman, Orna Kupferman, Yoad Lustig |
Rational Synthesis. |
TACAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jochen Hoenicke, Ernst-Rüdiger Olderog, Andreas Podelski |
Fairness for Dynamic Control. |
TACAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Pavel Parizek, Tomas Kalibera |
Efficient Detection of Errors in Java Components Using Random Environment and Restarts. |
TACAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Seth Fogarty, Moshe Y. Vardi |
Efficient Büchi Universality Checking. |
TACAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian S. Bauer, Philip Mayer, Andreas Schroeder, Rolf Hennicker |
On Weak Modal Compatibility, Refinement, and the MIO Workbench. |
TACAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthieu Moy, Karine Altisen |
Arrival Curves for Real-Time Calculus: The Causality Problem and Its Solutions. |
TACAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Esparza, Rupak Majumdar (eds.) |
Tools and Algorithms for the Construction and Analysis of Systems, 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings |
TACAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Cimatti, Anders Franzén, Alberto Griggio, Roberto Sebastiani, Cristian Stenico |
Satisfiability Modulo the Theory of Costs: Foundations and Applications. |
TACAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Karin Avnit, Arcot Sowmya, Jorgen Peddersen |
ACS: Automatic Converter Synthesis for SoC Bus Protocols. |
TACAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sébastien Bardin, Philippe Herrmann, Florian Perroud |
An Alternative to SAT-Based Approaches for Bit-Vectors. |
TACAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Fang Yu, Muath Alkhalaf, Tevfik Bultan |
Stranger: An Automata-Based String Analysis Tool for PHP. |
TACAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Aderhold |
Automated Termination Analysis for Programs with Second-Order Recursion. |
TACAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Matti Järvisalo, Armin Biere, Marijn Heule |
Blocked Clause Elimination. |
TACAS |
2010 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")