Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Sébastien Bardin, Alain Finkel, Jérôme Leroux |
FASTer Acceleration of Counter Automata in Practice. |
TACAS |
2004 |
DBLP DOI BibTeX RDF |
counter automata, convex translation, TTP protocol, acceleration, reachability set |
1 | Orna Kupferman, Moshe Y. Vardi |
From Complementation to Certification. |
TACAS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | A. E. Lindsey, Charles Pecheur |
Simulation-Based Verification of Autonomous Controllers via Livingstone PathFinder. |
TACAS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Ball, Vladimir Levin, Fei Xie |
Automatic Creation of Environment Models via Training. |
TACAS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Ball, Byron Cook, Satyaki Das, Sriram K. Rajamani |
Refining Approximations in Software Predicate Abstraction. |
TACAS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Yi Fang 0001, Nir Piterman, Amir Pnueli, Lenore D. Zuck |
Liveness with Incomprehensible Ranking. |
TACAS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Robby, Edwin Rodríguez, Matthew B. Dwyer, John Hatcliff |
Checking Strong Specifications Using an Extensible Software Model Checking Framework. |
TACAS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Denis Lugiez, Peter Niebert, Sarah Zennou |
A Partial Order Semantics Approach to the Clock Explosion Problem of Timed Automata. |
TACAS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Koushik Sen, Grigore Rosu, Gul Agha |
Online Efficient Predictive Safety Analysis of Multithreaded Programs. |
TACAS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Zhendong Su 0001, David A. Wagner 0001 |
A Class of Polynomially Solvable Range Constraints for Interval Analysis without Widenings and Narrowings. |
TACAS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Shuvendu K. Lahiri, Randal E. Bryant, Amit Goel, Muralidhar Talupur |
Revisiting Positive Equality. |
TACAS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Edmund M. Clarke, Daniel Kroening, Flavio Lerda |
A Tool for Checking ANSI-C Programs. |
TACAS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Markus Müller-Olm, Haiseung Yoo |
MetaGame: An Animation Tool for Model-Checking Games. |
TACAS |
2004 |
DBLP DOI BibTeX RDF |
model checking, animation, game, error diagnosis, branching time logic |
1 | Håkan L. S. Younes, Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001 |
Numerical vs. Statistical Probabilistic Model Checking: An Empirical Study. |
TACAS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Arie Gurfinkel, Marsha Chechik |
How Vacuous Is Vacuous? |
TACAS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Denis Gopan, Frank DiMaio, Nurit Dor, Thomas W. Reps, Shmuel Sagiv |
Numeric Domains with Summarized Dimensions. |
TACAS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Kenneth L. McMillan |
An Interpolating Theorem Prover. |
TACAS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Greta Yorsh, Thomas W. Reps, Shmuel Sagiv |
Symbolically Computing Most-Precise Abstract Operations for Shape Analysis. |
TACAS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Danièle Beauquier, Tristan Crolard, Evguenia Prokofieva |
Automatic Parametric Verification of a Root Contention Protocol Based on Abstract State Machines and First Order Timed Logic. |
TACAS |
2004 |
DBLP DOI BibTeX RDF |
IEEE 1394a standard, root contention protocol, Gurevich abstract state machines, predicate logic, real-time distributed systems, Parametric verification |
1 | Stefan Leue, Richard Mayr, Wei Wei 0015 |
A Scalable Incomplete Test for the Boundedness of UML RT Models. |
TACAS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Pavel Krcál, Wang Yi 0001 |
Decidable and Undecidable Problems in Schedulability Analysis Using Timed Automata. |
TACAS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Samson Abramsky, Dan R. Ghica, Andrzej S. Murawski, C.-H. Luke Ong |
Applying Game Semantics to Compositional Software Modeling and Verification. |
TACAS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Peter Lee 0001 |
What Are We Trying to Prove? Reflections on Experiences with Proof-Carrying Code. |
TACAS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Jamieson M. Cobleigh, Dimitra Giannakopoulou, Corina S. Pasareanu |
Learning Assumptions for Compositional Verification. |
TACAS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Dmitri Chkliaev, Jozef Hooman, Erik P. de Vink |
Verification and Improvement of the Sliding Window Protocol. |
TACAS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Roy Armoni, Doron Bustan, Orna Kupferman, Moshe Y. Vardi |
Resets vs. Aborts in Linear Temporal Logic. |
TACAS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Liana Bozga, Yassine Lakhnech, Michaël Périn |
Pattern-Based Abstraction for Verifying Secrecy in Protocols. |
TACAS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Piotr Dembinski, Agata Janowska, Pawel Janowski, Wojciech Penczek, Agata Pólrola, Maciej Szreter, Bozena Wozna, Andrzej Zbrzezny |
Verics: A Tool for Verifying Timed Automata and Estelle Specifications. |
TACAS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Céline Bigot, Alain Faivre, Jean-Pierre Gallois, Arnault Lapitre, David Lugato, Jean-Yves Pierron, Nicolas Rapin |
Automatic Test Generation with AGATHA. |
TACAS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Nina Amla, Robert P. Kurshan, Kenneth L. McMillan, Ricardo H. Medel |
Experimental Analysis of Different Techniques for Bounded Model Checking. |
TACAS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Sergey Berezin, Vijay Ganesh, David L. Dill |
An Online Proof-Producing Decision Procedure for Mixed-Integer Linear Arithmetic. |
TACAS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Marcelo Glusman, Gila Kamhi, Sela Mador-Haim, Ranan Fraer, Moshe Y. Vardi |
Multiple-Counterexample Guided Iterative Abstraction Refinement: An Industrial Evaluation. |
TACAS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Dezhuang Zhang, Rance Cleaveland, Eugene W. Stark |
The Integrated CWB-NC/PIOATool for Functional Verification and Performance Analysis of Concurrent Systems. |
TACAS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Karsten Schmidt 0004 |
Using Petri Net Invariants in State Space Construction. |
TACAS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Constantinos Bartzis, Tevfik Bultan |
Construction of Efficient BDDs for Bounded Arithmetic Constraints. |
TACAS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Oleg Sokolsky, Anna Philippou, Insup Lee 0001, Kyriakos Christou |
Modeling and Analysis of Power-Aware Systems. |
TACAS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Gerd Behrmann, Patricia Bouyer, Emmanuel Fleury, Kim Guldstrand Larsen |
Static Guard Analysis in Timed Automata Verification. |
TACAS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Victor Khomenko, Maciej Koutny |
Branching Processes of High-Level Petri Nets. |
TACAS |
2003 |
DBLP DOI BibTeX RDF |
model checking, Verification, high-level Petri nets, unfolding |
1 | Yasmina Abdeddaïm, Eugene Asarin, Oded Maler |
On Optimal Scheduling under Uncertainty. |
TACAS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Arie Gurfinkel, Marsha Chechik |
Proof-Like Counter-Examples. |
TACAS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Radu Mateescu 0001 |
A Generic On-the-Fly Solver for Alternation-Free Boolean Equation Systems. |
TACAS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Samik Basu 0001, C. R. Ramakrishnan 0001 |
Compositional Analysis for Verification of Parameterized Systems. |
TACAS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Elena Fersman, Leonid Mokrushin, Paul Pettersson, Wang Yi 0001 |
Schedulability Analysis Using Two Clocks. |
TACAS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Marco Benedetti, Alessandro Cimatti |
Bounded Model Checking for Past LTL. |
TACAS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | E. Allen Emerson, Vineet Kahlon |
Rapid Parameterized Model Checking of Snoopy Cache Coherence Protocols. |
TACAS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Hubert Garavel, John Hatcliff (eds.) |
Tools and Algorithms for the Construction and Analysis of Systems, 9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings |
TACAS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Sebastián Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee |
LTSA-MSC: Tool Support for Behaviour Model Elaboration Using Implied Scenarios. |
TACAS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Scott D. Stoller, Ernie Cohen |
Optimistic Synchronization-Based State-Space Reduction. |
TACAS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Sylvain Conchon, Sava Krstic |
Strategies for Combining Decision Procedures. |
TACAS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano |
A New Knowledge Representation Strategy for Cryptographic Protocol Analysis. |
TACAS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Fabrice Baray, Philippe Codognet, Daniel Diaz 0001, Henri Michel |
Code-Based Test Generation for Validation of Functional Processor Descriptions. |
TACAS |
2003 |
DBLP DOI BibTeX RDF |
Code-based test generation, functional hardware verification, constraint solving techniques |
1 | Holger Hermanns, Christophe Joubert |
A Set of Performance and Dependability Analysis Components for CADP. |
TACAS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Chiara Braghin, Agostino Cortesi, Stefano Filippone, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza |
BANANA - A Tool for Boundary Ambients Nesting ANAlysis. |
TACAS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Thomas A. Henzinger, Orna Kupferman, Rupak Majumdar |
On the Universal and Existential Fragments of the µ-Calculus. |
TACAS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Javier Esparza, Monika Maidl |
Simple Representative Instantiations for Multicast Protocols. |
TACAS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Edmund M. Clarke, Ansgar Fehnker, Zhi Han, Bruce H. Krogh, Olaf Stursberg, Michael Theobald |
Verification of Hybrid Systems Based on Counterexample-Guided Abstraction Refinement. |
TACAS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Rajeev Alur, Salvatore La Torre, P. Madhusudan |
Modular Strategies for Recursive Game Graphs. |
TACAS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Kenneth L. McMillan, Nina Amla |
Automatic Abstraction without Counterexamples. |
TACAS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Mandana Vaziri, Daniel Jackson 0001 |
Checking Properties of Heap-Manipulating Procedures with a Constraint Solver. |
TACAS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Bernard Berthomieu, François Vernadat 0001 |
State Class Constructions for Branching Analysis of Time Petri Nets. |
TACAS |
2003 |
DBLP DOI BibTeX RDF |
state classes, branching time temporal properties, real-time systems modeling and verification, model-checking, bisimulation, Time Petri nets |
1 | Sarfraz Khurshid, Corina S. Pasareanu, Willem Visser |
Generalized Symbolic Execution for Model Checking and Testing. |
TACAS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Rajeev Alur, Thao Dang 0001, Franjo Ivancic |
Counter-Example Guided Predicate Abstraction of Hybrid Systems. |
TACAS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Jan Friso Groote, Frank van Ham |
Large State Space Visualization. |
TACAS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Stavros Tripakis |
Automated Module Composition. |
TACAS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Gianfranco Ciardo, Robert M. Marmorstein, Radu Siminiceanu |
Saturation Unbound. |
TACAS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Pascal Fontaine, E. Pascal Gribomont |
Decidability of Invariant Validation for Paramaterized Systems. |
TACAS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Yasmina Abdeddaïm, Oded Maler |
Preemptive Job-Shop Scheduling Using Stopwatch Automata. |
TACAS |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Duncan Clarke, Thierry Jéron, Vlad Rusu, Elena Zinovieva |
STG: A Symbolic Test Generation Tool. |
TACAS |
2002 |
DBLP DOI BibTeX RDF |
|
1 | HoonSang Jin, Andreas Kuehlmann, Fabio Somenzi |
Fine-Grain Conjunction Scheduling for Symbolic Reachability Analysis. |
TACAS |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Michael R. Lowry |
Software Construction and Analysis Tools for Future Space Missions. |
TACAS |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Raffaella Gentilini, Carla Piazza, Alberto Policriti |
Simulation as Coarsest Partition Problem. |
TACAS |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Jackson 0001 |
Alloy: A New Technology for Software Modelling. |
TACAS |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Horst F. Wedde, Arnim Wedig |
Explicit Modeling of Influences, and of Their Absence, in Distributed Systems. |
TACAS |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Christian Stehno |
Real-Time Systems Design with PEP. |
TACAS |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Joël Ouaknine |
Digitisation and Full Abstraction for Dense-Time Model Checking. |
TACAS |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Radu Mateescu 0001 |
Local Model-Checking of Modal Mu-Calculus on Acyclic Labeled Transition Systems. |
TACAS |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Frédéric Lang |
Compositional Verification Using SVL Scripts. |
TACAS |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Marco Bozzano, Giorgio Delzanno |
Beyond Parameterized Verification. |
TACAS |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Giorgio Delzanno, Jean-François Raskin, Laurent Van Begin |
Towards the Automated Verification of Multithreaded Java Programs. |
TACAS |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Taeho Kim, David W. J. Stringer-Calvert, Sung Deok Cha |
Formal Verification of Functional Properties of an SCR-Style Software Requirements Specification Using PVS. |
TACAS |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001 |
Probabilistic Symbolic Model Checking with PRISM: A Hybrid Approach. |
TACAS |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Hojung Cha, Rhan Ha |
Validating Timing Constraints of Dependent Jobs with Variable Execution Times in Distributed Real-Time Systems. |
TACAS |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Roy Armoni, Limor Fix, Alon Flaisher, Rob Gerth, Boris Ginsburg, Tomer Kanza, Avner Landver, Sela Mador-Haim, Eli Singerman, Andreas Tiemeyer, Moshe Y. Vardi, Yael Zbar |
The ForSpec Temporal Logic: A New Temporal Property-Specification Language. |
TACAS |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Keijo Heljanko, Victor Khomenko, Maciej Koutny |
Parallelisation of the Petri Net Unfolding Algorithm. |
TACAS |
2002 |
DBLP DOI BibTeX RDF |
parallel algorithms, Model checking, Petri nets, concurrency, causality, unfolding |
1 | Thomas Ball, Andreas Podelski, Sriram K. Rajamani |
Relative Completeness of Abstraction Refinement for Software Model Checking. |
TACAS |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Kevin Backhouse |
A Functional Semantics of Attribute Grammars. |
TACAS |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Sébastien Bornot, Rémi Morin, Peter Niebert, Sarah Zennou |
Black Box Unfolding with Local First Search. |
TACAS |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Elsa L. Gunter, Doron A. Peled |
Temporal Debugging for Concurrent Systems. |
TACAS |
2002 |
DBLP DOI BibTeX RDF |
|
1 | E. Allen Emerson, Vineet Kahlon |
Model Checking Large-Scale and Parameterized Resource Allocation Systems. |
TACAS |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Víctor A. Braberman, Diego Garbervetsky, Alfredo Olivero |
Improving the Verification of Timed Systems Using Influence Information. |
TACAS |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Klaus Havelund, Grigore Rosu |
Synthesizing Monitors for Safety Properties. |
TACAS |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Alex Groce, Doron A. Peled, Mihalis Yannakakis |
Adaptive Model Checking. |
TACAS |
2002 |
DBLP DOI BibTeX RDF |
Learning Algorithms, Automatic Verification, Black Box Testing |
1 | Elena Fersman, Paul Pettersson, Wang Yi 0001 |
Timed Automata with Asynchronous Processes: Schedulability and Decidability. |
TACAS |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Tobias Amnell, Elena Fersman, Leonid Mokrushin, Paul Pettersson, Wang Yi 0001 |
TIMES - A Tool for Modelling and Implementation of Embedded Systems. |
TACAS |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Doron Bustan, Orna Grumberg |
Applicability of Fair Simulation. |
TACAS |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Patrice Godefroid, Sarfraz Khurshid |
Exploring Very Large State Spaces Using Genetic Algorithms. |
TACAS |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Joost-Pieter Katoen, Perdita Stevens (eds.) |
Tools and Algorithms for the Construction and Analysis of Systems, 8th International Conference, TACAS 2002, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings |
TACAS |
2002 |
DBLP DOI BibTeX RDF |
|
1 | K. Subramani 0001 |
An Analysis of Zero-Clairvoyant Scheduling. |
TACAS |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Fabrice Bouquet, Bruno Legeard, Fabien Peureux |
CLPS-B - A Constraint Solver for B. |
TACAS |
2002 |
DBLP DOI BibTeX RDF |
Evaluation of specifications, Animation, CSP, B Method, Set constraints, CLP |
1 | HoonSang Jin, Kavita Ravi, Fabio Somenzi |
Fate and Free Will in Error Traces. |
TACAS |
2002 |
DBLP DOI BibTeX RDF |
|