Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Pranav Garg 0001, P. Madhusudan |
Compositionality Entails Sequentializability. |
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 | 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 | Rüdiger Ehlers |
Unbeast: Symbolic Bounded Synthesis. |
TACAS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Muralidhar Talupur, Hyojung Han |
Biased Model Checking Using Flows. |
TACAS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Chih-Hong Cheng, Alois C. Knoll, Michael Luttenberger, Christian Buckl |
GAVS+: An Open Platform for the Research of Algorithmic Game Solving. |
TACAS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Vojtech Forejt, Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001, Hongyang Qu 0001 |
Quantitative Multi-objective Verification for Probabilistic Systems. |
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 | Anders P. Ravn, Jirí Srba, Muhammad Saleem Vighio |
Modelling and Verification of Web Services Business Activity Protocol. |
TACAS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Jacob Burnim, Koushik Sen, Christos Stergiou 0001 |
Sound and Complete Monitoring of Sequential Consistency for Relaxed Memory Models. |
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 | Yashwanth Annpureddy, Che Liu, Georgios Fainekos, Sriram Sankaranarayanan 0001 |
S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems. |
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 | Yih-Kuen Tsay, Ming-Hsien Tsai 0001, Jinn-Shu Chang, Yi-Wen Chang |
Büchi Store: An Open Repository of Büchi Automata. |
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 | Diego Garbervetsky, Daniel Gorín, Ariel Neisen |
Enforcing Structural Invariants Using Dynamic Frames. |
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 | Maik Merten, Bernhard Steffen, Falk Howar, Tiziana Margaria |
Next Generation LearnLib. |
TACAS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Ezio Bartocci, Radu Grosu, Panagiotis Katsaros, C. R. Ramakrishnan 0001, Scott A. Smolka |
Model Repair for Probabilistic Systems. |
TACAS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Hubert Garavel, Frédéric Lang, Radu Mateescu 0001, Wendelin Serwe |
CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes. |
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 | Benoît Barbot, Taolue Chen, Tingting Han 0001, Joost-Pieter Katoen, Alexandru Mereacre |
Efficient CTMC Model Checking of Linear Real-Time Objectives. |
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 | Alberto Griggio, Thi Thieu Hoa Le, Roberto Sebastiani |
Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic. |
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 | Gerard J. Holzmann |
Reliable Software Development: Analysis-Aware Design. |
TACAS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Ernst Moritz Hahn, Holger Hermanns, Björn Wachter, Lijun Zhang 0001 |
PASS: Abstraction Refinement for Infinite Probabilistic Models. |
TACAS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Klaus Dräger, Andrey Kupriyanov, Bernd Finkbeiner, Heike Wehrheim |
SLAB: A Certifying Model Checker for Infinite-State Concurrent Systems. |
TACAS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Joseph Sifakis |
Embedded Systems Design - Scientific Challenges and Work Directions. |
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 | Dana Fisman, Orna Kupferman, Yoad Lustig |
Rational Synthesis. |
TACAS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Julien Legriel, Colas Le Guernic, Scott Cotton, Oded Maler |
Approximating the Pareto Front of Multi-criteria Optimization Problems. |
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 | Didier Buchs, Steve Hostettler, Alexis Marechal, Matteo Risoldi |
AlPiNA: An Algebraic Petri Net Analyzer. |
TACAS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Axel Belinfante |
JTorX: A Tool for On-Line Model-Driven Test Derivation and Execution. |
TACAS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Sebastian S. Bauer, Philip Mayer, Andreas Schroeder 0001, Rolf Hennicker |
On Weak Modal Compatibility, Refinement, and the MIO Workbench. |
TACAS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001, Hongyang Qu 0001 |
Assume-Guarantee Verification for Probabilistic Systems. |
TACAS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Matti Järvisalo, Armin Biere, Marijn Heule |
Blocked Clause Elimination. |
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 | Antti Valmari, Giuliana Franceschinis |
Simple O(m logn) Time Markov Chain Lumping. |
TACAS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Lijun Zhang 0001, Martin R. Neuhäußer |
Model Checking Interactive Markov Chains. |
TACAS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Konstantinos Chatzikokolakis 0001, Tom Chothia, Apratim Guha |
Statistical Measurement of Information Leakage. |
TACAS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Laurent Doyen 0001, Jean-François Raskin |
Antichain Algorithms for Finite Automata. |
TACAS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Fang Yu 0001, Muath Alkhalaf, Tevfik Bultan |
Stranger: An Automata-Based String Analysis Tool for PHP. |
TACAS |
2010 |
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 | Sébastien Bardin, Philippe Herrmann, Florian Perroud |
An Alternative to SAT-Based Approaches for Bit-Vectors. |
TACAS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Pavel Parízek, Tomas Kalibera |
Efficient Detection of Errors in Java Components Using Random Environment and Restarts. |
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 | Miguel E. Andrés, Catuscia Palamidessi, Peter van Rossum, Geoffrey Smith 0001 |
Computing the Leakage of Information-Hiding Systems. |
TACAS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Rajeev Goré, Clemens Kupke, Dirk Pattinson |
Optimal Tableau Algorithms for Coalgebraic Logics. |
TACAS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Parosh Aziz Abdulla, Yu-Fang Chen 0001, Lukás Holík, Richard Mayr, Tomás Vojnar |
When Simulation Meets Antichains. |
TACAS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Janusz Malinowski, Peter Niebert |
SAT Based Bounded Model Checking with Partial Order Semantics for Timed Automata. |
TACAS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Ball, Sebastian Burckhardt, Katherine E. Coons, Madanlal Musuvathi, Shaz Qadeer |
Preemption Sealing for Efficient Concurrency Testing. |
TACAS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Tayfun Elmas, Shaz Qadeer, Ali Sezgin, Omer Subasi, Serdar Tasiran |
Simplifying Linearizability Proofs with Reduction and Abstraction. |
TACAS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Chao Wang 0001, Rhishikesh Limaye, Malay K. Ganai, Aarti Gupta |
Trace-Based Symbolic Analysis for Atomicity Violations. |
TACAS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Gal Katz, Doron A. Peled |
Code Mutation in Verification and Automatic Code Correction. |
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 | Seth Fogarty, Moshe Y. Vardi |
Efficient Büchi Universality Checking. |
TACAS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Gérard Basler, Matthew Hague, Daniel Kroening, C.-H. Luke Ong, Thomas Wahl, Haoxian Zhao |
Boom: Taking Boolean Program Model Checking One Step Further. |
TACAS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Byron Cook, Daniel Kroening, Philipp Rümmer, Christoph M. Wintersteiger |
Ranking Function Synthesis for Bit-Vector Relations. |
TACAS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | K. Rustan M. Leino, Philipp Rümmer |
A Polymorphic Intermediate Verification Language: Design and Logical Encoding. |
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 | Hillel Kugler, Itai Segall |
Compositional Synthesis of Reactive Systems from Live Sequence Chart Specifications. |
TACAS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Robert Brummayer, Armin Biere |
Boolector: An Efficient SMT Solver for Bit-Vectors and Arrays. |
TACAS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Enrica Nicolini, Christophe Ringeissen, Michaël Rusinowitch |
Satisfiability Procedures for Combination of Theories Sharing Integer Offsets. |
TACAS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Didier Lime, Olivier H. Roux, Charlotte Seidner, Louis-Marie Traonouez |
Romeo: A Parametric Model-Checker for Petri Nets with Stopwatches. |
TACAS |
2009 |
DBLP DOI BibTeX RDF |
model-checking, tool, Time Petri nets, parameters, TCTL, stopwatches |
1 | Ashutosh Gupta 0001, Rupak Majumdar, Andrey Rybalchenko |
From Tests to Proofs. |
TACAS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Viet Yen Nguyen, Theo C. Ruys |
Memoised Garbage Collection for Software Model Checking. |
TACAS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Azadeh Farzan, P. Madhusudan |
The Complexity of Predicting Atomicity Violations. |
TACAS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Dietmar Berwanger, Krishnendu Chatterjee, Martin De Wulf, Laurent Doyen 0001, Thomas A. Henzinger |
Alpaga: A Tool for Solving Parity Games with Imperfect Information. |
TACAS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Seth Fogarty, Moshe Y. Vardi |
Büchi Complementation and Size-Change Termination. |
TACAS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Fuchs 0003, Amit Goel, Jim Grundy, Sava Krstic, Cesare Tinelli |
Ground Interpolation for the Theory of Equality. |
TACAS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Claire Le Goues, Westley Weimer |
Specification Mining with Few False Positives. |
TACAS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Jérôme Leroux, Gérald Point |
TaPAS: The Talence Presburger Arithmetic Suite. |
TACAS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Simona Orzan, Wieger Wesselink, Tim A. C. Willemse |
Static Analysis Techniques for Parameterised Boolean Equation Systems. |
TACAS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Yu-Fang Chen 0001, Azadeh Farzan, Edmund M. Clarke, Yih-Kuen Tsay, Bow-Yaw Wang |
Learning Minimal Separating DFA's for Compositional Verification. |
TACAS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Adam Bakewell, Dan R. Ghica |
Compositional Predicate Abstraction from Game Semantics. |
TACAS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Wouter Kuijper, Jaco van de Pol |
Computing Weakest Strategies for Safety Games of Imperfect Information. |
TACAS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Marius Bozga, Codruta Gîrlea, Radu Iosif |
Iterating Octagons. |
TACAS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Vineet Kahlon, Sriram Sankaranarayanan 0001, Aarti Gupta |
Semantic Reduction of Thread Interleavings in Concurrent Programs. |
TACAS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Michael Emmi, Ranjit Jhala, Eddie Kohler, Rupak Majumdar |
Verifying Reference Counting Implementations. |
TACAS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Mohamed Faouzi Atig, Ahmed Bouajjani, Shaz Qadeer |
Context-Bounded Analysis for Concurrent Programs with Dynamic Creation of Threads. |
TACAS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Martin T. Vechev, Eran Yahav, Greta Yorsh |
Inferring Synchronization under Limited Observability. |
TACAS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Kowalewski, Anna Philippou (eds.) |
Tools and Algorithms for the Construction and Analysis of Systems, 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings |
TACAS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Erion Plaku, Lydia E. Kavraki, Moshe Y. Vardi |
Falsification of LTL Safety Properties in Hybrid Systems. |
TACAS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Dries Vanoverberghe, Nikolai Tillmann, Frank Piessens |
Test Input Generation for Programs with Pointers. |
TACAS |
2009 |
DBLP DOI BibTeX RDF |
symbolic execution, pointers, Test input generation |
1 | Nikolaj S. Bjørner, Nikolai Tillmann, Andrei Voronkov |
Path Feasibility Analysis for String-Manipulating Programs. |
TACAS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Panagiotis Manolios, Aaron Turon |
All-Termination(T). |
TACAS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Martin Wehrle, Sebastian Kupferschmid, Andreas Podelski |
Transition-Based Directed Model Checking. |
TACAS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Feng Chen 0006, Grigore Rosu |
Parametric Trace Slicing and Monitoring. |
TACAS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Fang Yu 0001, Tevfik Bultan, Oscar H. Ibarra |
Symbolic String Verification: Combining String Analysis and Size Analysis. |
TACAS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Radu Mateescu 0001, Anton Wijs |
Hierarchical Adaptive State Space Caching Based on Level Sampling. |
TACAS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Elina Pacini Naumovich, Simona Bernardi 0001, Marco Gribaudo |
ITPN-PerfBound: A Performance Bound Tool for Interval Time Petri Nets. |
TACAS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Aditya V. Nori, Sriram K. Rajamani, SaiDeep Tetali, Aditya V. Thakur |
The YogiProject: Software Property Checking via Static Analysis and Testing. |
TACAS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Steven P. Miller |
Bridging the Gap Between Model-Based Development and Model Checking. |
TACAS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Niels H. M. Aan de Brugh, Viet Yen Nguyen, Theo C. Ruys |
MoonWalker: Verification of .NET Programs. |
TACAS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Yann Thierry-Mieg, Denis Poitrenaud, Alexandre Hamez, Fabrice Kordon |
Hierarchical Set Decision Diagrams and Regular Models. |
TACAS |
2009 |
DBLP DOI BibTeX RDF |
|