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 |
|