Search results for "TACAS"

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

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