J. Padberg and B. J. Enders. Rule invariants in graph transformation systems for analyzing safety-critical systems. In A. Corradini, H. Ehrig, H.- J. Kreowski, and G. Rozenberg, editors, Proc. ICGT 2002: Firs International Conference on Graph Transformation, volume 2505 of LNCS, pages 334--350, Barcelona, Spain, October 7--12 2002. Springer. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Towards Automated Formal Verification of Visual Modeling Languages .. - Varro (2003) (Correct)
.... 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 class of Petri nets) Rule invariants have been lately proposed in [27] in analogy with the notions of place and transition invariants on Petri nets. However, neither frameworks the authors propose gives direct suggestions on concrete implementation or tool support how to verify formal specifications given in the form of graph transformation systems by existing ....
J. Padberg and B. J. Enders. Rule invariants in graph transformation systems for analyzing safety-critical 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. 334--350. Springer-Verlag, Barcelona, Spain, 2002.
Rule Invariants in Graph Transformation Systems for Analyzing .. - Padberg, Enders (2002) (2 citations) Self-citation (Padberg Enders) (Correct)
No context found.
J. Padberg and B. E. Enders. Rule Invariants in Graph Transformation Systems for Analyzing Safety-Critical Systems. Internal report, http://www.informatik.uni-essen.de/enders/Papers/textframe.html, 2001.
Unknown - (Correct)
No context found.
J. Padberg and B. J. Enders. Rule invariants in graph transformation systems for analyzing safety-critical systems. In A. Corradini, H. Ehrig, H.- J. Kreowski, and G. Rozenberg, editors, Proc. ICGT 2002: Firs International Conference on Graph Transformation, volume 2505 of LNCS, pages 334--350, Barcelona, Spain, October 7--12 2002. Springer.
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