Paolo Baldan, Barbara König  Home/Search
Context Related
| fmi.unistuttgart.de/szs...icgt02.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: informatik.uni...koenigba.shtml (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We propose a technique for the analysis of graph transformation systems which relies on the construction of nite structures approximating the behaviour of such systems with arbitrary accuracy. (Update)
Context of citations to this paper: More
.... by model checking techniques have already been studied thoroughly in, e.g. 17, 18] and subsequent papers) A recent framework [3, 4] aims at to analyze infinite state graph transformation systems by static analysis (based on foldings and unfoldings of a special...
Cited by: More
A Logic for Analyzing Abstractions of Graph Transformation.. - Baldan, König, König (2003) (Correct)
Towards Unfolding-Based Verification for Graph.. - Baldan, Corradini, König (2003) (Correct)
Verifying a Behavioural Logic for Graph Transformation Systems - Baldan, al. (2004) (Correct)
Similar documents (at the sentence level):
9.0%: A Static Analysis Technique for Graph Transformation Systems - Baldan, Corradini, König (2001) (Correct)
Active bibliography (related documents): More All
0.7: Appligraph: Applications of Graph Transformation - Final Report - Kreowski, (eds.) (2002) (Correct)
0.4: Verifying Finite-State Graph Grammars: an Unfolding-Based.. - Baldan, Corradini, König (Correct)
0.4: Appligraph: Applications of Graph Transformation - Fifth.. - Kreowski, (eds.) (2002) (Correct)
Similar documents based on text: More All
0.2: Termination of Simply Moded Logic Programs with Dynamic.. - Bossi, Etalle, Rossi.. (2004) (Correct)
0.2: Minimum Feedback Vertex Set in k-Dimensional Hypercubes - Focardi, Luccio (1999) (Correct)
0.2: Static Analysis of Distributed Systems with Mobility Specified.. - Baldan, al. (2002) (Correct)
Related documents from co-citation: More All
4: A static analysis technique for graph transformation systems - Baldan, Corradini et al. - 2001
3: Fundamenta Informaticae (context) - Corradini, Montanari et al. - 1996
3: Handbook of Graph Grammars and Computing by Graph Transformation (context) - Ehrig, Kreowski et al. - 1999
BibTeX entry: (Update)
P. Baldan and B. Konig. Approximating the behaviour of graph transformation systems. In A. Corradini, H. Ehrig, H.-J. Kreowski, and G. Rozenberg (eds.), Proc. ICGT 2002: Firs International Conference on Graph Transformation, vol. 2505 of LNCS, pp. 14--29. Springer-Verlag, Barcelona, Spain, 2002. http://citeseer.ist.psu.edu/baldan02approximating.html More
@misc{ baldan02approximating,
author = "P. Baldan and B. Konig",
title = "Approximating the behaviour of graph transformation systems",
text = "P. Baldan and B. Konig. Approximating the behaviour of graph transformation
systems. In A. Corradini, H. Ehrig, H.-J. Kreowski, and G. Rozenberg (eds.),
Proc. ICGT 2002: Firs International Conference on Graph Transformation,
vol. 2505 of LNCS, pp. 14--29. Springer-Verlag, Barcelona, Spain, 2002.",
year = "2002",
url = "citeseer.ist.psu.edu/baldan02approximating.html" }
Citations (may not include all citations):788 Rewrite systems - Dershowitz, Jouannaud - 1990
297 Symbolic Model Checking (context) - McMillan - 1993
148 Handbook of Graph Grammars and Computing by Graph Transforma.. (context) - Rozenberg - 1997
148 Handbook of Graph Grammars and Computing by Graph Transforma.. (context) - Rozenberg - 1997
116 Introduction to the algebraic theory of graph grammars (context) - Ehrig - 1979
111 Handbook of Graph Grammars and Computing by Graph Transforma.. (context) - Ehrig, Kreowski et al. - 1999
111 Handbook of Graph Grammars and Computing by Graph Transforma.. (context) - Ehrig, Kreowski et al. - 1999
97 Information and Computation (context) - Meseguer, Montanari et al. - 1990
94 Model checking using net unfoldings (context) - Esparza - 1994
58 The expression of graph properties and graph transformations.. - Courcelle - 1997
54 Abstract interpretation: a semantics-based tool for program .. (context) - Jones, Nielson
43 Fundamenta Informaticae (context) - Corradini, Montanari et al. - 1996
36 Decidable approximations of sets of descendants and sets of .. - Genet - 1998
26 Property preserving abstractions for the veri cation of conc.. - Loiseaux, Graf et al. - 1995
25 EACTS Monographs on Theoretical Computer Science (context) - Reisig, An - 1985
24 Formal Aspects of Computing (context) - Sistla, liveness et al. - 1994
23 Parallel Composition and Unfolding Semantics of Graph Gramma.. (context) - Ribeiro - 1996
20 Abstract interpretation (context) - Cousot - 1996
16 A taxonomy of fairness and temporal logic problems for Petri.. (context) - Howell, Rosier et al. - 1991
12 Integration of Graph Transformation and Temporal Logic for t.. (context) - Koch - 2000
11 A static analysis technique for graph transformation systems - Baldan, Corradini et al. - 2001
11 Unfolding and Event Structure Semantics for Graph Grammars - Baldan, Corradini et al. - 1999
9 Concatenable graph processes: relating processes and derivat.. - Baldan, Corradini et al. - 1998
7 Decidability of model-checking for in nite-state concurrent .. (context) - Esparza - 1997
6 A general framework for types in graph rewriting - onig - 2000
5 Safety and liveness in branching time - Manolios, er - 2001
4 Decidability of a temporal logic problem for Petri nets (context) - Jan - 1990
3 Static analysis of distributed systems with mobility speci e.. - Baldan, Corradini et al. - 2002
1 Unfolding and In nite Computations (context) - Sassone, Semantics et al. - 1994
Documents on the same site (http://www.informatik.uni-stuttgart.de/fmi/szs/publications/author-koenigba.shtml): More
Static Analysis of Distributed Systems with Mobility Specified.. - Baldan, al. (2002) (Correct)
Deriving Bisimulation Congruences in the DPO Approach to Graph .. - Ehrig, König (2004) (Correct)
Verifying a Behavioural Logic for Graph Transformation Systems - Baldan, al. (2004) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC