Search results for "TACAS"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Stavros Tripakis	Timed Diagnostics for Reachability Properties.	TACAS	1999	DBLP DOI BibTeX RDF
1	Daniel Hirschkoff	On the Benefits of Using the Up-To Techniques for Bisimulation Verification.	TACAS	1999	DBLP DOI BibTeX RDF
1	Pao-Ann Hsiung, Farn Wang, Yue-Sun Kuo	Scheduling System Verification.	TACAS	1999	DBLP DOI BibTeX RDF
1	Peter Buchholz 0001, Peter Kemper	Modular State Level Analysis of Distributed Systems Techniques and Tool Support.	TACAS	1999	DBLP DOI BibTeX RDF	ordered natural decision diagrams, model checking, Petri nets, bisimulation, Software analysis, Kronecker algebra
1	David Spelt, Susan Even	A Theorem Prover-Based Analysis Tool for Object-Oriented Databases.	TACAS	1999	DBLP DOI BibTeX RDF
1	Cornelia Pusch	Proving the Soundness of a Java Bytecode Verifier Specification in Isabelle/HOL.	TACAS	1999	DBLP DOI BibTeX RDF
1	David Lorge Parnas, Dennis K. Peters	An Easily Extensible Toolset for Tabular Mathematical Expressions.	TACAS	1999	DBLP DOI BibTeX RDF
1	Anne Bergeron, Jean-Christophe Manzoni	An Automated Analysis of Ping-Pong Interactions in E-mail Services.	TACAS	1999	DBLP DOI BibTeX RDF
1	Minsoo Ryu, Seongsoo Hong	A Period Assignment Algorithm for Real-Time System Design.	TACAS	1999	DBLP DOI BibTeX RDF
1	Rance Cleaveland (eds.)	Tools and Algorithms for Construction and Analysis of Systems, 5th International Conference, TACAS '99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings	TACAS	1999	DBLP DOI BibTeX RDF
1	Gerd Behrmann, Kim Guldstrand Larsen, Henrik Reif Andersen, Henrik Hulgaard, Jørn Lind-Nielsen	Verification of Hierarchical State/Event Systems Using Reusability and Compositionality.	TACAS	1999	DBLP DOI BibTeX RDF
1	Yifei Dong, Xiaoqun Du, Y. S. Ramakrishna, C. R. Ramakrishnan 0001, I. V. Ramakrishnan, Scott A. Smolka, Oleg Sokolsky, Eugene W. Stark, David Scott Warren	Fighting Livelock in the i-Protocol: A Comparative Study of Verification Tools.	TACAS	1999	DBLP DOI BibTeX RDF
1	Christoph Kern, Tarik Ono-Tesfaye, Mark R. Greenstreet	A Light-Weight Framework for Hardware Verification.	TACAS	1999	DBLP DOI BibTeX RDF
1	Conrado Daws, Stavros Tripakis	Model Checking of Real-Time Reachability Properties Using Abstractions.	TACAS	1998	DBLP DOI BibTeX RDF
1	Karen Laster, Orna Grumberg	Modular Model Checking of Software.	TACAS	1998	DBLP DOI BibTeX RDF
1	Parosh Aziz Abdulla, Bengt Jonsson 0001	Verifying Networks of Timed Processes (Extended Abstract).	TACAS	1998	DBLP DOI BibTeX RDF
1	Rajeev Alur, Thomas A. Henzinger, Sriram K. Rajamani	Symbolic Exploration of transition Hierarchies.	TACAS	1998	DBLP DOI BibTeX RDF
1	Randal E. Bryant	Formal Verification of Pipelined Processors.	TACAS	1998	DBLP DOI BibTeX RDF
1	Bernhard Steffen (eds.)	Tools and Algorithms for Construction and Analysis of Systems, 4th International Conference, TACAS '98, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings	TACAS	1998	DBLP DOI BibTeX RDF
1	Bernd Grahlmann	Combining Finite Automata, Parallel Programs and SDL Using Petri Nets.	TACAS	1998	DBLP DOI BibTeX RDF
1	Perdita Stevens, Colin Stirling	Practical Model-Checking Using Games.	TACAS	1998	DBLP DOI BibTeX RDF
1	Theo C. Ruys, Ed Brinksma	Experience with Literate Programming in the Modelling and Validation of Systems.	TACAS	1998	DBLP DOI BibTeX RDF
1	Jørn Lind-Nielsen, Henrik Reif Andersen, Gerd Behrmann, Henrik Hulgaard, Kåre J. Kristoffersen, Kim Guldstrand Larsen	Verification of Large State/Event Systems Using Compositionality and Dependency Analysis.	TACAS	1998	DBLP DOI BibTeX RDF
1	Henrik Ejersbo Jensen, Nancy A. Lynch	A Proof of Burns N-Process Mutual Exclusion Algorithm Using Abstraction.	TACAS	1998	DBLP DOI BibTeX RDF
1	Nikolaj S. Bjørner, Mark C. Pichora	Deciding Fixed and Non-fixed Size Bit-vectors.	TACAS	1998	DBLP DOI BibTeX RDF
1	Magnus Lindahl, Paul Pettersson, Wang Yi 0001	Formal Design and Analysis of a Gear Controller.	TACAS	1998	DBLP DOI BibTeX RDF
1	Robert P. Kurshan, Vladimir Levin, Marius Minea, Doron A. Peled, Hüsnü Yenigün	Static Partial Order Reduction.	TACAS	1998	DBLP DOI BibTeX RDF
1	Udo Brockmeyer, Gunnar Wittich	Tamagotchis Need Not Die - Verification of STATEMENT Design.	TACAS	1998	DBLP DOI BibTeX RDF
1	Hubert Garavel	OPEN/CÆSAR: An OPen Software Architecture for Verification, Simulation, and Testing.	TACAS	1998	DBLP DOI BibTeX RDF
1	Franz Regensburger, Aenne Barnard	Formal Verification of SDL Systems at the Siemens Mobile Phone Department.	TACAS	1998	DBLP DOI BibTeX RDF	telecommunication protocols, model checking, formal verification, SDL
1	Thierry Cattel	Modeling and Verification of SC++ Applications.	TACAS	1998	DBLP DOI BibTeX RDF
1	Miroslav N. Velev, Randal E. Bryant	Efficient Modeling of Memory Arrays in Symbolic Ternary Simulation.	TACAS	1998	DBLP DOI BibTeX RDF
1	E. Pascal Gribomont, Guy Zenner	Automated Verification of Szymanski's Algorithm.	TACAS	1998	DBLP DOI BibTeX RDF
1	David James Sherman, Nicolas Magnier	Factotum: Automatic and Systematic Sharing Support for Systems Analyzers.	TACAS	1998	DBLP DOI BibTeX RDF
1	Xinxin Liu, C. R. Ramakrishnan 0001, Scott A. Smolka	Fully Local and Efficient Evaluation of Alternating Fixed Points (Extended Abstract).	TACAS	1998	DBLP DOI BibTeX RDF
1	Hanêne Ben-Abdallah, Stefan Leue	MESA: Support for Scenario-Based Design of Concurrent Systems.	TACAS	1998	DBLP DOI BibTeX RDF
1	Luca Aceto, Augusto Burgueño, Kim Guldstrand Larsen	Model Checking via Reachability Testing for Timed Automata.	TACAS	1998	DBLP DOI BibTeX RDF
1	Amir Pnueli, Michael Siegel, Eli Singerman	Translation Validation.	TACAS	1998	DBLP DOI BibTeX RDF
1	Khalil Ajami, Serge Haddad, Jean-Michel Ilié	Exploiting Symmetry in Linear Time Temporal Logic Model Checking: One Step Beyond.	TACAS	1998	DBLP DOI BibTeX RDF	Büchi automata, Model Checking, Verification, Temporal Logic, Symmetries, LTL
1	Witold Charatonik, Andreas Podelski	Set-Based Analysis of Reactive Infinite-State Systems.	TACAS	1998	DBLP DOI BibTeX RDF
1	Christoph Sprenger 0001	A Verified Model Checker for the Modal µ-calculus in Coq.	TACAS	1998	DBLP DOI BibTeX RDF
1	Michaela Huhn, Peter Niebert, Frank Wallner	Verification Based on Local States.	TACAS	1998	DBLP DOI BibTeX RDF
1	Alexander Aiken, Manuel Fähndrich, Zhendong Su 0001	Detecting Races in Relay Ladder Logic Programs.	TACAS	1998	DBLP DOI BibTeX RDF
1	Rolf Drechsler, Bernd Becker 0001, Stefan Ruppertz	Manipulation Algorithms for K*BMDs.	TACAS	1997	DBLP DOI BibTeX RDF
1	Henrik Reif Andersen, Jørgen Staunstrup, Niels Maretti	Partial Model Checking with ROBDDs.	TACAS	1997	DBLP DOI BibTeX RDF
1	Pedro R. D'Argenio, Joost-Pieter Katoen, Theo C. Ruys, Jan Tretmans	The Bounded Retransmission Protocol Must Be on Time!	TACAS	1997	DBLP DOI BibTeX RDF
1	Peter H. Schmitt, Jean Goubault-Larrecq	A Tableau System for Linear-TIME Temporal Logic.	TACAS	1997	DBLP DOI BibTeX RDF
1	Jean-François Raskin, Pierre-Yves Schobbens	Real-Time Logics: Fictitious Clock as an Abstraction of Dense Time.	TACAS	1997	DBLP DOI BibTeX RDF
1	Richard J. Boulton	A Tool to Support Formal Reasoning about Computer Languages.	TACAS	1997	DBLP DOI BibTeX RDF
1	Søren Christensen, Jens Bæk Jørgensen, Lars Michael Kristensen	Design/CPN - A Computer Tool for Coloured Petri Nets.	TACAS	1997	DBLP DOI BibTeX RDF
1	Bernard Boigelot, Patrice Godefroid	Automatic Synthesis of Specifications from the Dynamic Observation of Reactive Programs.	TACAS	1997	DBLP DOI BibTeX RDF
1	Bernd Grahlmann	The Reference Component of PEP.	TACAS	1997	DBLP DOI BibTeX RDF
1	I. S. W. B. Prasetya	Mechanically Verified Self-Stabilizing Hierarchical Algorithms.	TACAS	1997	DBLP DOI BibTeX RDF
1	Hanêne Ben-Abdallah, Stefan Leue	Syntactic Detection of Process Divergence and Non-local Choice inMessage Sequence Charts.	TACAS	1997	DBLP DOI BibTeX RDF
1	Kurt Jensen	A Brief Introduction to Coloured Petri Nets.	TACAS	1997	DBLP DOI BibTeX RDF
1	Stephan Kleuker	Incremental Development of Deadlock-Free Communicating Systems.	TACAS	1997	DBLP DOI BibTeX RDF
1	Gérard Berry	Hardware and Software Synthesis, Optimization, and Verification from Esterel Programs.	TACAS	1997	DBLP DOI BibTeX RDF
1	E. Allen Emerson, Somesh Jha, Doron A. Peled	Combining Partial Order and Symmetry Reductions.	TACAS	1997	DBLP DOI BibTeX RDF
1	Jan Philipps, Peter Scholz	Formal Verification of Statecharts with Instantaneous Chain Reaction.	TACAS	1997	DBLP DOI BibTeX RDF
1	Ed Brinksma (eds.)	Tools and Algorithms for Construction and Analysis of Systems, Third International Workshop, TACAS '97, Enschede, The Netherlands, April 2-4, 1997, Proceedings	TACAS	1997	DBLP DOI BibTeX RDF
1	Sam Owre, John M. Rushby, Natarajan Shankar	Integration in PVS: Tables, Types, and Model Checking.	TACAS	1997	DBLP DOI BibTeX RDF
1	Robert Sandner, Olaf Müller	Theorem Prover Support for the Refinement of Stream Processing Functions.	TACAS	1997	DBLP DOI BibTeX RDF
1	Michael von der Beeck, Volker Braun, Andreas Claßen, Achim Dannecker, Carsten Friedrich, Dirk Koschützki, Tiziana Margaria, Falk Schreiber, Bernhard Steffen	Graphs in METAFrame: The Unifying Power of Polymorphism.	TACAS	1997	DBLP DOI BibTeX RDF
1	Peter Kelb, Tiziana Margaria, Michael Mendler, Claudia Gsottberger	MOSEL: A FLexible Toolset for Monadic Second-Order Logic.	TACAS	1997	DBLP DOI BibTeX RDF
1	Gian-Luigi Ferrari 0002, Gianluigi Ferro, Stefania Gnesi, Ugo Montanari, Marco Pistore, Gioia Ristori	An Automated Based Verification Environment for Mobile Processes.	TACAS	1997	DBLP DOI BibTeX RDF
1	Chris M. N. Tofts	Compositional Performance Analysis.	TACAS	1997	DBLP DOI BibTeX RDF
1	Peter van Eijk, Axel Belinfante, Henk Eertink, Henk Alblas	The Term Processor Generator Kimwitu.	TACAS	1997	DBLP DOI BibTeX RDF
1	Atanas N. Parashkevov, Jay Yantchev	Space Efficient Reachability Analysis Through Use of Pseudo-Root States.	TACAS	1997	DBLP DOI BibTeX RDF
1	André Engels, Loe M. G. Feijs, Sjouke Mauw	Test Generation for Intelligent Networks Using Model Checking.	TACAS	1997	DBLP DOI BibTeX RDF
1	Luca de Alfaro, Zohar Manna, Henny B. Sipma, Tomás E. Uribe	Visual Verification of Reactive Systems.	TACAS	1997	DBLP DOI BibTeX RDF
1	Wojciech Penczek	Model-Checking for a Subclass of Event Structures.	TACAS	1997	DBLP DOI BibTeX RDF
1	Jean-Pierre Krimm, Laurent Mounier	Compositional State Space Generation from Lotos Programs.	TACAS	1997	DBLP DOI BibTeX RDF
1	Riccardo Focardi, Roberto Gorrieri	Automatic Compositional Verification of Some Security Properties.	TACAS	1996	DBLP DOI BibTeX RDF
1	Jorge Cuéllar, Dieter Barnard, Martin Huber 0001	Rapid Prototyping for an Assertional Specification language.	TACAS	1996	DBLP DOI BibTeX RDF
1	Marion Klein, Jens Knoop, Dirk Koschützki, Bernhard Steffen	DFA&OPT-METAFrame: A Tool Kit for Program Analysis and Optimazation.	TACAS	1996	DBLP DOI BibTeX RDF
1	Stavros Tripakis, Costas Courcoubetis	Extending Promela and Spin for Real Time.	TACAS	1996	DBLP DOI BibTeX RDF
1	Dexter Kozen	Kleene Algebra with Tests and Commutativity Conditions.	TACAS	1996	DBLP DOI BibTeX RDF
1	Antoine Rauzy	Using the Constraint Language Toupie for "Software Cost Reduction" Specification Analysis (Abstract).	TACAS	1996	DBLP DOI BibTeX RDF
1	Elie Najm, Frank Olsen	Reactive EFSMs - Reactive Promela/RSPIN.	TACAS	1996	DBLP DOI BibTeX RDF
1	Louise E. Moser, P. M. Melliar-Smith	Probabilistic Duration Automata for Analyzing Real-Time Systems.	TACAS	1996	DBLP DOI BibTeX RDF
1	Girish Bhat, Rance Cleaveland	Efficent Local Model-Checking for Fragments of teh Modal µ-Calculus.	TACAS	1996	DBLP DOI BibTeX RDF
1	Gavin Lowe	Breaking and Fixing the Needham-Schroeder Public-Key Protocol Using FDR.	TACAS	1996	DBLP DOI BibTeX RDF
1	Rance Cleaveland, Philip M. Lewis, Scott A. Smolka, Oleg Sokolsky	The Concurrency Factory Software Development Environment.	TACAS	1996	DBLP DOI BibTeX RDF
1	Bernhard Steffen, Tiziana Margaria, Andreas Claßen, Volker Braun, Rita Nisius, Manfred Reitenspieß	A Constraint-Oriented Service Creation Environment.	TACAS	1996	DBLP DOI BibTeX RDF
1	Javier Esparza, Stefan Römer, Walter Vogler	An Improvement of McMillan's Unfolding Algorithm.	TACAS	1996	DBLP DOI BibTeX RDF
1	François Michel, Pierre Azéma, François Vernadat 0001	Permutable Agents in Process Algebras.	TACAS	1996	DBLP DOI BibTeX RDF
1	Bernd Grahlmann, Eike Best	PEP - More than a Petri Net Tool.	TACAS	1996	DBLP DOI BibTeX RDF
1	Amar Bouali, Annie Ressouche, Valérie Roy, Robert de Simone	The FC2TOOLS Set (Tool Demonstration).	TACAS	1996	DBLP DOI BibTeX RDF
1	Rudolf Berghammer, Burghard von Karger, Christiane Ulke	Realtion-Algebraic Analysis of Petri Nets with RELVIEW.	TACAS	1996	DBLP DOI BibTeX RDF
1	Nils Buhrke, Helmut Lescow, Jens Vöge	Strategy Construction in Infinite Ganes with Streett and Rabin Chain Winning Conditions.	TACAS	1996	DBLP DOI BibTeX RDF
1	Gerard J. Holzmann	Early Fault Detection Tools.	TACAS	1996	DBLP DOI BibTeX RDF
1	Jan Tretmans	Test Generation with Inputs, Outputs, and Quiescence.	TACAS	1996	DBLP DOI BibTeX RDF
1	Tiziana Margaria, Bernhard Steffen (eds.)	Tools and Algorithms for Construction and Analysis of Systems, Second International Workshop, TACAS '96, Passau, Germany, March 27-29, 1996, Proceedings	TACAS	1996	DBLP DOI BibTeX RDF
1	Rajeev Alur, Gerard J. Holzmann, Doron A. Peled	An Analyser for Mesage Sequence Charts.	TACAS	1996	DBLP DOI BibTeX RDF
1	Colin Stirling	Games and Modal Mu-Calculus.	TACAS	1996	DBLP DOI BibTeX RDF
1	Stefan Kowalewski, Jörg Preußig	Timed Condition/Event Systems: A Framework for Modular Discrete Models of Chemical Plants and Verification of Their Real-Time Discrete Control.	TACAS	1996	DBLP DOI BibTeX RDF
1	Craig Damon, Daniel Jackson 0001	Efficient Search as a Means of Executing Specifications.	TACAS	1996	DBLP DOI BibTeX RDF
1	Tiziana Margaria	Fully Automatic Verifcation and Error Detection for Parameterized Iterative Sequential Circuits.	TACAS	1996	DBLP DOI BibTeX RDF
1	Rance Cleaveland, Gerald Lüttgen, V. Natarajan 0001, Steve Sims	Priorities for Modeling and Verifying Distributed Systems.	TACAS	1996	DBLP DOI BibTeX RDF
1	Holger Hermanns, Vassilis Mertsiotakis, Michael Rettelbach	A Construction and Analysis Tool Based on the Stochastic Process Algebra TIPP.	TACAS	1996	DBLP DOI BibTeX RDF

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