Search results for "TACAS"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Joël Ouaknine, James Worrell 0001	Safety Metric Temporal Logic Is Fully Decidable.	TACAS	2006	DBLP DOI BibTeX RDF
1	Peter Niebert, Doron A. Peled	Efficient Model Checking for LTL with Partial Order Snapshots.	TACAS	2006	DBLP DOI BibTeX RDF
1	Arie Gurfinkel, Marsha Chechik	Why Waste a Perfectly Good Abstraction?.	TACAS	2006	DBLP DOI BibTeX RDF
1	Koushik Sen, Mahesh Viswanathan 0001, Gul Agha	Model-Checking Markov Chains in the Presence of Uncertainties.	TACAS	2006	DBLP DOI BibTeX RDF
1	Stefan Leue, Wei Wei 0015	A Region Graph Based Approach to Termination Proofs.	TACAS	2006	DBLP DOI BibTeX RDF
1	Hubert Garavel, Radu Mateescu 0001, Damien Bergamini, Adrian Curic, Nicolas Descoubes, Christophe Joubert, Irina Smarandache-Sturm, Gilles Stragier	DISTRIBUTOR and BCG_MERGE: Tools for Distributed Explicit State Space Generation.	TACAS	2006	DBLP DOI BibTeX RDF
1	Peter Habermehl, Radu Iosif, Tomás Vojnar	Automata-Based Verification of Programs with Tree Updates.	TACAS	2006	DBLP DOI BibTeX RDF
1	Pascal Fontaine, Jean-Yves Marion, Stephan Merz, Leonor Prensa Nieto, Alwen Fernanto Tiu	Expressiveness + Automation + Soundness: Towards Combining SMT Solvers and Interactive Proof Assistants.	TACAS	2006	DBLP DOI BibTeX RDF
1	Alex Groce, Rajeev Joshi	Exploiting Traces in Program Analysis.	TACAS	2006	DBLP DOI BibTeX RDF
1	Malay K. Ganai, Muralidhar Talupur, Aarti Gupta	SDSAT: Tight Integration of Small Domain Encoding and Lazy Approaches in a Separation Logic Solver.	TACAS	2006	DBLP DOI BibTeX RDF
1	Sagar Chaki	SAT-Based Software Certification.	TACAS	2006	DBLP DOI BibTeX RDF
1	Javier Esparza, Stefan Kiefer, Stefan Schwoon	Abstraction Refinement with Craig Interpolation and Symbolic Pushdown Systems.	TACAS	2006	DBLP DOI BibTeX RDF
1	Radu Siminiceanu, Gianfranco Ciardo	New Metrics for Static Variable Ordering in Decision Diagrams.	TACAS	2006	DBLP DOI BibTeX RDF
1	Oleg Sokolsky, Sampath Kannan, Insup Lee 0001	Simulation-Based Graph Similarity.	TACAS	2006	DBLP DOI BibTeX RDF
1	Geoffrey M. Brown, Lee Pike	Easy Parameterized Verification of Biphase Mark and 8N1 Protocols.	TACAS	2006	DBLP DOI BibTeX RDF
1	Dan R. Ghica, Andrzej S. Murawski	Compositional Model Extraction for Higher-Order Concurrent Programs.	TACAS	2006	DBLP DOI BibTeX RDF
1	Barbara König 0001, Vitali Kozioura	Counterexample-Guided Abstraction Refinement for the Analysis of Graph Transformation Systems.	TACAS	2006	DBLP DOI BibTeX RDF
1	Ranjit Jhala, Kenneth L. McMillan	A Practical and Complete Approach to Predicate Refinement.	TACAS	2006	DBLP DOI BibTeX RDF
1	Dino Distefano, Peter W. O'Hearn, Hongseok Yang	A Local Shape Analysis Based on Separation Logic.	TACAS	2006	DBLP DOI BibTeX RDF
1	Sagar Chaki, Edmund M. Clarke, Nicholas Kidd, Thomas W. Reps, Tayssir Touili	Verifying Concurrent Message-Passing C Programs with Recursive Calls.	TACAS	2006	DBLP DOI BibTeX RDF
1	Ping Yang 0002, Samik Basu 0001, C. R. Ramakrishnan 0001	Parameterized Verification of pi-Calculus Systems.	TACAS	2006	DBLP DOI BibTeX RDF
1	Krishnendu Chatterjee, Thomas A. Henzinger	Finitary Winning in omega-Regular Games.	TACAS	2006	DBLP DOI BibTeX RDF
1	Andrew Hinton, Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001	PRISM: A Tool for Automatic Verification of Probabilistic Systems.	TACAS	2006	DBLP DOI BibTeX RDF
1	Atul Gupta, Pankaj Jalote	An Experimental Comparison of the Effectiveness of Control Flow Based Testing Approaches on Seeded Faults.	TACAS	2006	DBLP DOI BibTeX RDF	Block coverage, Predicate coverage, Software testing, Experiment, Statistical analysis, Test case generation, Mutation Operator, Branch coverage
1	Hélène Collavizza, Michel Rueher	Exploration of the Capabilities of Constraint Programming for Software Verification.	TACAS	2006	DBLP DOI BibTeX RDF
1	Matthew B. Dwyer, John Hatcliff, Matthew Hoosier, Venkatesh Prasad Ranganath, Robby, Todd Wallentine	Evaluating the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs.	TACAS	2006	DBLP DOI BibTeX RDF
1	Holger Hermanns, Jens Palsberg (eds.)	Tools and Algorithms for the Construction and Analysis of Systems, 12th International Conference, TACAS 2006 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006, Proceedings	TACAS	2006	DBLP DOI BibTeX RDF
1	Bing Li, Fabio Somenzi	Efficient Abstraction Refinement in Interpolation-Based Unbounded Model Checking.	TACAS	2006	DBLP DOI BibTeX RDF
1	Dina Thomas, Supratik Chakraborty, Paritosh K. Pandya	Efficient Guided Symbolic Reachability Using Reachability Expressions.	TACAS	2006	DBLP DOI BibTeX RDF
1	Neil Kettle, Andy King, Tadeusz Strzemecki	Widening ROBDDs with Prime Implicants.	TACAS	2006	DBLP DOI BibTeX RDF	ROBDD, widening, approximation, abstract interpretation
1	Bhargav S. Gulavani, Sriram K. Rajamani	Counterexample Driven Refinement for Abstract Interpretation.	TACAS	2006	DBLP DOI BibTeX RDF
1	Somesh Jha, Stefan Schwoon, Hao Wang, Thomas W. Reps	Weighted Pushdown Systems and Trust-Management Systems.	TACAS	2006	DBLP DOI BibTeX RDF
1	Daniel Kroening, Natasha Sharygina	Approximating Predicate Images for Bit-Vector Logic.	TACAS	2006	DBLP DOI BibTeX RDF
1	Jyotirmoy V. Deshmukh, E. Allen Emerson, Prateek Gupta	Automatic Verification of Parameterized Data Structures.	TACAS	2006	DBLP DOI BibTeX RDF	Parameterized correctness, Data structures
1	Benedikt Bollig, Carsten Kern, Markus Schlütter, Volker Stolz	MSCan - A Tool for Analyzing MSC Specifications.	TACAS	2006	DBLP DOI BibTeX RDF
1	Stefan Schwoon, Javier Esparza	A Note on On-the-Fly Verification Algorithms.	TACAS	2005	DBLP DOI BibTeX RDF
1	Jie-Hong Roland Jiang	On Some Transformation Invariants Under Retiming and Resynthesis.	TACAS	2005	DBLP DOI BibTeX RDF
1	E. Allen Emerson, Thomas Wahl	Dynamic Symmetry Reduction.	TACAS	2005	DBLP DOI BibTeX RDF
1	Kousha Etessami, Mihalis Yannakakis	Algorithmic Verification of Recursive Probabilistic State Machines.	TACAS	2005	DBLP DOI BibTeX RDF
1	Nicolas Halbwachs, Lenore D. Zuck (eds.)	Tools and Algorithms for the Construction and Analysis of Systems, 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings	TACAS	2005	DBLP DOI BibTeX RDF
1	Bertrand Jeannet, Thierry Jéron, Vlad Rusu, Elena Zinovieva	Symbolic Test Selection Based on Approximate Analysis.	TACAS	2005	DBLP DOI BibTeX RDF
1	HoonSang Jin, HyoJung Han, Fabio Somenzi	Efficient Conflict Analysis for Finding All Satisfying Assignments of a Boolean Circuit.	TACAS	2005	DBLP DOI BibTeX RDF
1	Francesco Ranzato, Francesco Tapparo	An Abstract Interpretation-Based Refinement Algorithm for Strong Preservation.	TACAS	2005	DBLP DOI BibTeX RDF
1	Dejvuth Suwimonteerabuth, Stefan Schwoon, Javier Esparza	jMoped: A Java Bytecode Checker Based on Moped.	TACAS	2005	DBLP DOI BibTeX RDF
1	Amir Pnueli, Andreas Podelski, Andrey Rybalchenko	Separating Fairness and Well-Foundedness for the Analysis of Fair Discrete Systems.	TACAS	2005	DBLP DOI BibTeX RDF
1	Tao Xie 0001, Darko Marinov, Wolfram Schulte, David Notkin	Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic Execution.	TACAS	2005	DBLP DOI BibTeX RDF
1	Radu Grosu, Scott A. Smolka	Monte Carlo Model Checking.	TACAS	2005	DBLP DOI BibTeX RDF
1	Tonglaga Bao, Michael D. Jones	Time-Efficient Model Checking with Magnetic Disk.	TACAS	2005	DBLP DOI BibTeX RDF
1	Anne Remke, Boudewijn R. Haverkort, Lucia Cloth	Model Checking Infinite-State Markov Chains.	TACAS	2005	DBLP DOI BibTeX RDF
1	Jesse D. Bingham, Alan J. Hu	Empirically Efficient Verification for a Class of Infinite-State Systems.	TACAS	2005	DBLP DOI BibTeX RDF
1	Ahmed Bouajjani, Peter Habermehl, Pierre Moro, Tomás Vojnar	Verifying Programs with Dynamic 1-Selector-Linked Structures in Regular Model Checking.	TACAS	2005	DBLP DOI BibTeX RDF
1	Raghavan Komondoor, Ganesan Ramalingam, Satish Chandra 0001, John Field	Dependent Types for Program Understanding.	TACAS	2005	DBLP DOI BibTeX RDF
1	Moritz Hammer, Alexander Knapp, Stephan Merz	Truly On-the-Fly LTL Model Checking.	TACAS	2005	DBLP DOI BibTeX RDF
1	Fabrice Bouquet, Frédéric Dadeau, Bruno Legeard, Mark Utting	JML-Testing-Tools: A Symbolic Animator for JML Specifications Using CLP.	TACAS	2005	DBLP DOI BibTeX RDF	symbolic animation, object-oriented, model-based, Java Modeling Language
1	Kenneth L. McMillan	Applications of Craig Interpolants in Model Checking.	TACAS	2005	DBLP DOI BibTeX RDF
1	Hillel Kugler, David Harel, Amir Pnueli, Yuan Lu, Yves Bontemps	Temporal Logic for Scenario-Based Specifications.	TACAS	2005	DBLP DOI BibTeX RDF
1	Damien Bergamini, Nicolas Descoubes, Christophe Joubert, Radu Mateescu 0001	BISIMULATOR: A Modular Tool for On-the-Fly Equivalence Checking.	TACAS	2005	DBLP DOI BibTeX RDF
1	Aidan Harding, Mark Ryan 0001, Pierre-Yves Schobbens	A New Algorithm for Strategy Synthesis in LTL Games.	TACAS	2005	DBLP DOI BibTeX RDF
1	Malay K. Ganai, Aarti Gupta, Pranav Ashar	DiVer: SAT-Based Model Checking Platform for Verifying Large Scale Systems.	TACAS	2005	DBLP DOI BibTeX RDF
1	Babita Sharma, Paritosh K. Pandya, Supratik Chakraborty	Bounded Validity Checking of Interval Duration Logic.	TACAS	2005	DBLP DOI BibTeX RDF
1	Edmund M. Clarke, Daniel Kroening, Natasha Sharygina, Karen Yorav	SATABS: SAT-Based Predicate Abstraction for ANSI-C.	TACAS	2005	DBLP DOI BibTeX RDF
1	Parosh Aziz Abdulla, Axel Legay, Julien d'Orso, Ahmed Rezine	Simulation-Based Iteration of Tree Transducers.	TACAS	2005	DBLP DOI BibTeX RDF
1	Will Marrero	Using BDDs to Decide CTL.	TACAS	2005	DBLP DOI BibTeX RDF	validity, satisfiability, BDDs, CTL, tableau
1	Yoshinao Isobe, Markus Roggenbach	A Generic Theorem Prover of CSP Refinement.	TACAS	2005	DBLP DOI BibTeX RDF
1	Blaise Genest, Dietrich Kuske, Anca Muscholl, Doron A. Peled	Snapshot Verification.	TACAS	2005	DBLP DOI BibTeX RDF
1	Tiziana Margaria, Ralf Nagel 0001, Bernhard Steffen	jETI: A Tool for Remote Tool Integration.	TACAS	2005	DBLP DOI BibTeX RDF
1	Feng Chen 0006, Grigore Rosu	Java-MOP: A Monitoring Oriented Programming Environment for Java.	TACAS	2005	DBLP DOI BibTeX RDF
1	Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Peter van Rossum, Stephan Schulz 0001, Roberto Sebastiani	An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic.	TACAS	2005	DBLP DOI BibTeX RDF
1	Abhay Vardhan, Koushik Sen, Mahesh Viswanathan 0001, Gul Agha	Using Language Inference to Verify Omega-Regular Properties.	TACAS	2005	DBLP DOI BibTeX RDF
1	Orna Kupferman, Moshe Y. Vardi	Complementation Constructions for Nondeterministic Automata on Infinite Words.	TACAS	2005	DBLP DOI BibTeX RDF
1	Shaz Qadeer, Jakob Rehof	Context-Bounded Model Checking of Concurrent Software.	TACAS	2005	DBLP DOI BibTeX RDF
1	Himanshu Jain, Franjo Ivancic, Aarti Gupta, Malay K. Ganai	Localization and Register Sharing for Predicate Abstraction.	TACAS	2005	DBLP DOI BibTeX RDF
1	Curtis W. Keller, Diptikalyan Saha, Samik Basu 0001, Scott A. Smolka	FocusCheck: A Tool for Model Checking and Debugging Sequential C Programs.	TACAS	2005	DBLP DOI BibTeX RDF
1	Westley Weimer, George C. Necula	Mining Temporal Specifications for Error Detection.	TACAS	2005	DBLP DOI BibTeX RDF
1	K. Rustan M. Leino, Madan Musuvathi, Xinming Ou	A Two-Tier Technique for Supporting Quantifiers in a Lazily Proof-Explicating Theorem Prover.	TACAS	2005	DBLP DOI BibTeX RDF
1	Rajeev Alur, Swarat Chaudhuri, Kousha Etessami, P. Madhusudan	On-the-Fly Reachability and Cycle Detection for Recursive State Machines.	TACAS	2005	DBLP DOI BibTeX RDF
1	Viktor Schuppan, Armin Biere	Shortest Counterexamples for Symbolic Model Checking of LTL with Past.	TACAS	2005	DBLP DOI BibTeX RDF
1	Blaise Genest	Compositional Message Sequence Charts (CMSCs) Are Better to Implement Than MSCs.	TACAS	2005	DBLP DOI BibTeX RDF
1	Kurt Jensen, Andreas Podelski (eds.)	Tools and Algorithms for the Construction and Analysis of Systems, 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings	TACAS	2004	DBLP DOI BibTeX RDF
1	Bernard Boigelot, Axel Legay, Pierre Wolper	Omega-Regular Model Checking.	TACAS	2004	DBLP DOI BibTeX RDF
1	Heikki Virtanen, Henri Hansen, Antti Valmari, Juha Nieminen, Timo Erkkilä	Tampere Verification Tool.	TACAS	2004	DBLP DOI BibTeX RDF
1	Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga	Model Checking Discounted Temporal Properties.	TACAS	2004	DBLP DOI BibTeX RDF
1	Sharon Shoham, Orna Grumberg	Monotonic Abstraction-Refinement for CTL.	TACAS	2004	DBLP DOI BibTeX RDF
1	Jan Friso Groote, Misa Keinänen	Solving Disjunctive/Conjunctive Boolean Equation Systems with Alternating Fixed Points.	TACAS	2004	DBLP DOI BibTeX RDF
1	Gerd Behrmann, Patricia Bouyer, Kim Guldstrand Larsen, Radek Pelánek	Lower and Upper Bounds in Zone Based Abstractions of Timed Automata.	TACAS	2004	DBLP DOI BibTeX RDF
1	Kairong Qian, Albert Nymeyer	Guided Invariant Model Checking Based on Abstraction and Symbolic Pattern Databases.	TACAS	2004	DBLP DOI BibTeX RDF
1	Jacob Illum Rasmussen, Kim Guldstrand Larsen, K. Subramani 0001	Resource-Optimal Scheduling Using Priced Timed Automata.	TACAS	2004	DBLP DOI BibTeX RDF
1	Karsten Schmidt 0004	Automated Generation of a Progress Measure for the Sweep-Line Method.	TACAS	2004	DBLP DOI BibTeX RDF
1	Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen	Efficient Computation of Time-Bounded Reachability Probabilities in Uniform Continuous-Time Markov Decision Processes.	TACAS	2004	DBLP DOI BibTeX RDF
1	Giorgio Delzanno, Pierre Ganty	Automatic Verification of Time Sensitive Cryptographic Protocols.	TACAS	2004	DBLP DOI BibTeX RDF
1	Karsten Diethers, Michaela Huhn	Vooduu: Verification of Object-Oriented Designs Using UPPAAL.	TACAS	2004	DBLP DOI BibTeX RDF
1	Thomas Mailund, Michael Westergaard	Obtaining Memory-Efficient Reachability Graph Representations Using the Sweep-Line Method.	TACAS	2004	DBLP DOI BibTeX RDF	memory efficient state representation, the sweep-line method, Verification, state space reduction, state space methods
1	Kavita Ravi, Fabio Somenzi	Minimal Assignments for Bounded Model Checking.	TACAS	2004	DBLP DOI BibTeX RDF
1	Xianghua Deng, Matthew B. Dwyer, John Hatcliff, Masaaki Mizuno	SyncGen: An Aspect-Oriented Framework for Synchronization.	TACAS	2004	DBLP DOI BibTeX RDF
1	Jaco Geldenhuys, Antti Valmari	Tarjan's Algorithm Makes On-the-Fly LTL Verification More Efficient.	TACAS	2004	DBLP DOI BibTeX RDF
1	Carla Piazza, Enrico Pivato, Sabina Rossi	CoPS - Checker of Persistent Security.	TACAS	2004	DBLP DOI BibTeX RDF
1	Nathan Linger, Tim Sheard	Binding-Time Analysis for MetaML via Type Inference and Constraint Solving.	TACAS	2004	DBLP DOI BibTeX RDF
1	Rajeev Alur, Kousha Etessami, P. Madhusudan	A Temporal Logic of Nested Calls and Returns.	TACAS	2004	DBLP DOI BibTeX RDF
1	Flemming Nielson, Hanne Riis Nielson, Hongyan Sun, Mikael Buchholtz, René Rydhof Hansen, Henrik Pilegaard, Helmut Seidl	The Succinct Solver Suite.	TACAS	2004	DBLP DOI BibTeX RDF
1	Alex Groce	Error Explanation with Distance Metrics.	TACAS	2004	DBLP DOI BibTeX RDF

Publications at "TACAS"( http://dblp.L3S.de/Venues/TACAS )