-
1
-
-
35048896452
-
Verifying finite-state graph grammars
-
Concurrency Theory. Springer
-
P. Baldan, A. Corradini, and B. König. Verifying finite-state graph grammars. In Concurrency Theory, volume 3170 of LNCS, pages 83-98. Springer, 2004.
-
(2004)
LNCS
, vol.3170
, pp. 83-98
-
-
Baldan, P.1
Corradini, A.2
König, B.3
-
2
-
-
84937208016
-
Approximating the behaviour of graph transformation systems
-
Graph Transformations (ICGT'02). Springer
-
P. Baldan and B. König. Approximating the behaviour of graph transformation systems. In Graph Transformations (ICGT'02), volume 2505 of LNCS, pages 14-29. Springer, 2002.
-
(2002)
LNCS
, vol.2505
, pp. 14-29
-
-
Baldan, P.1
König, B.2
-
3
-
-
35248857864
-
A logic for analyzing abstractions of graph transformation systems
-
Static Analysis Symposium (SAS). Springer
-
P. Baldan, B. König, and B. König. A logic for analyzing abstractions of graph transformation systems. In Static Analysis Symposium (SAS), volume 2694 of LNCS, pages 255-272. Springer, 2003.
-
(2003)
LNCS
, vol.2694
, pp. 255-272
-
-
Baldan, P.1
König, B.2
König, B.3
-
4
-
-
33750254375
-
Graph grammar verification through abstraction
-
B. König, U. Montanari, and P. Gardner, editors, number 04241 in Dagstuhl Seminar Proceedings
-
P. Baldan, B. König, and A. Rensink. Graph grammar verification through abstraction. In B. König, U. Montanari, and P. Gardner, editors, Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems, number 04241 in Dagstuhl Seminar Proceedings, 2005.
-
(2005)
Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems
-
-
Baldan, P.1
König, B.2
Rensink, A.3
-
5
-
-
0035393978
-
Bounded model checking using satisfiability solving
-
E. M. Clarke, A. Biere, R. Raimi, and Y. Zhu. Bounded model checking using satisfiability solving. Formal Methods in System Design, 19(1):7-34, 2001.
-
(2001)
Formal Methods in System Design
, vol.19
, Issue.1
, pp. 7-34
-
-
Clarke, E.M.1
Biere, A.2
Raimi, R.3
Zhu, Y.4
-
6
-
-
0001006870
-
Algebraic approaches to graph transformation
-
World Scientific
-
A. Corradini, U. Montanari, F. Rossi, H. Ehrig, R. Heckel, and M. Löwe. Algebraic approaches to graph transformation. In Handbook of Graph Grammars and Computing by Graph Trans., volume 1, pages 163-245. World Scientific, 1997.
-
(1997)
Handbook of Graph Grammars and Computing by Graph Trans.
, vol.1
, pp. 163-245
-
-
Corradini, A.1
Montanari, U.2
Rossi, F.3
Ehrig, H.4
Heckel, R.5
Löwe, M.6
-
9
-
-
10444239471
-
Verifying object-based graph grammars
-
O. M. dos Santos, F. L. Dotti, and L. Ribeiro. Verifying object-based graph grammars. ENTCS, 109:125-136, 2004.
-
(2004)
ENTCS
, vol.109
, pp. 125-136
-
-
Dos Santos, O.M.1
Dotti, F.L.2
Ribeiro, L.3
-
10
-
-
0345412606
-
Verification of distributed object-based systems
-
Formal Methods for Open Object-Based Distributed Systems (FMOODS). Springer
-
F. L. Dotti, L. Foss, L. Ribeiro, and O. M. dos Santos. Verification of distributed object-based systems. In Formal Methods for Open Object-Based Distributed Systems (FMOODS), volume 2884 of LNCS, pages 261-275. Springer, 2003.
-
(2003)
LNCS
, vol.2884
, pp. 261-275
-
-
Dotti, F.L.1
Foss, L.2
Ribeiro, L.3
Dos Santos, O.M.4
-
11
-
-
85034646939
-
Introduction to the algebraic theory of graph grammars
-
Graph-Grammars and Their Application to Computer Science and Biology. Springer
-
H. Ehrig. Introduction to the algebraic theory of graph grammars. In Graph-Grammars and Their Application to Computer Science and Biology, volume 73 of LNCS, pages 1-69. Springer, 1979.
-
(1979)
LNCS
, vol.73
, pp. 1-69
-
-
Ehrig, H.1
-
12
-
-
27844461585
-
Termination criteria for model transformation
-
Proc. Fundamental Approaches to Software Engineering. Springer
-
H. Ehrig, K. Ehrig, J. De Lara, G. Taentzer, D. Varró, and S. Varró-Gyapay. Termination criteria for model transformation. In Proc. Fundamental Approaches to Software Engineering, volume 2984 of LNCS, pages 214-228. Springer, 2005.
-
(2005)
LNCS
, vol.2984
, pp. 214-228
-
-
Ehrig, H.1
Ehrig, K.2
De Lara, J.3
Taentzer, G.4
Varró, D.5
Varró-Gyapay, S.6
-
13
-
-
37849186024
-
Theory of constraints and application conditions: From graphs to high-level structures
-
H. Ehrig, K. Ehrig, A. Habel, and K.-H. Pennemann. Theory of constraints and application conditions: From graphs to high-level structures. Fundamenta Informaticae, 72, 2006.
-
(2006)
Fundamenta Informaticae
, pp. 72
-
-
Ehrig, H.1
Ehrig, K.2
Habel, A.3
Pennemann, K.-H.4
-
14
-
-
33645145389
-
-
EATCS Monographs of Theoretical Computer Science. Springer-Verlag, Berlin
-
H. Ehrig, K. Ehrig, U. Prange, and G. Taentzer. Fundamentals of Algebraic Graph Transformation. EATCS Monographs of Theoretical Computer Science. Springer-Verlag, Berlin, 2006.
-
(2006)
Fundamentals of Algebraic Graph Transformation
-
-
Ehrig, H.1
Ehrig, K.2
Prange, U.3
Taentzer, G.4
-
15
-
-
37849185656
-
Adhesive high-level replacement systems: A new categorical framework for graph transformation
-
H. Ehrig, A. Habel, J. Padberg, and U. Prange. Adhesive high-level replacement systems: A new categorical framework for graph transformation. Fundamenta Informaticae, 72, 2006.
-
(2006)
Fundamenta Informaticae
, pp. 72
-
-
Ehrig, H.1
Habel, A.2
Padberg, J.3
Prange, U.4
-
16
-
-
36849040453
-
Nested constraints and application conditions for high-level structures
-
Formal Methods in Software and System Modeling. Springer
-
A. Habel and K.-H. Pennemann. Nested constraints and application conditions for high-level structures. In Formal Methods in Software and System Modeling, volume 3393 of LNCS, pages 293-308. Springer, 2005.
-
(2005)
LNCS
, vol.3393
, pp. 293-308
-
-
Habel, A.1
Pennemann, K.-H.2
-
17
-
-
33750275273
-
Satisfiability of high-level conditions
-
this volume of LNCS. Springer
-
A. Habel and K.-H. Pennemann. Satisfiability of high-level conditions. In Graph Transformations (ICGT'06), this volume of LNCS. Springer, 2006.
-
(2006)
Graph Transformations (ICGT'06)
-
-
Habel, A.1
Pennemann, K.-H.2
-
18
-
-
33750232682
-
Weakest preconditions for high-level programs: Long version
-
University of Oldenburg
-
A. Habel, K.-H. Pennemann, and A. Rensink. Weakest preconditions for high-level programs: Long version. Technical Report 8/06, University of Oldenburg, 2006.
-
(2006)
Technical Report
, vol.8
, Issue.6
-
-
Habel, A.1
Pennemann, K.-H.2
Rensink, A.3
-
19
-
-
84945253209
-
Computational completeness of programming languages based on graph transformation
-
Proc. Foundations of Software Science and Computation Structures. Springer
-
A. Habel and D. Plump. Computational completeness of programming languages based on graph transformation. In Proc. Foundations of Software Science and Computation Structures, volume 2030 of LNCS, pages 230-245. Springer, 2001.
-
(2001)
LNCS
, vol.2030
, pp. 230-245
-
-
Habel, A.1
Plump, D.2
-
20
-
-
0001967875
-
Model checking vs. theorem proving: A manifesto
-
J. Allen, R. Fikes, and E. Sandewall, editors. Morgan Kaufmann Publishers
-
J. Y. Halpern and M. Y. Vardi. Model checking vs. theorem proving: A manifesto. In J. Allen, R. Fikes, and E. Sandewall, editors. Proc. International Conference on Principles of Knowledge Representation and Reasoning, pages 325-334. Morgan Kaufmann Publishers, 1991.
-
(1991)
Proc. International Conference on Principles of Knowledge Representation and Reasoning
, pp. 325-334
-
-
Halpern, J.Y.1
Vardi, M.Y.2
-
21
-
-
18944376711
-
Ensuring consistency of conditional graph grammars
-
SEGRAGRA'95
-
R. Heckel and A. Wagner. Ensuring consistency of conditional graph grammars. In SEGRAGRA'95, volume 2 of ENTCS, pages 95-104, 1995.
-
(1995)
ENTCS
, vol.2
, pp. 95-104
-
-
Heckel, R.1
Wagner, A.2
-
23
-
-
33745773932
-
Counterexample-guided abstraction refinement for the analysis of graph transformation systems
-
Tools and Algorithms for the Construction and Analysis of Systems (TACAS). Springer
-
B. König and V. Kozioura. Counterexample-guided abstraction refinement for the analysis of graph transformation systems. In Tools and Algorithms for the Construction and Analysis of Systems (TACAS), volume 3920 of LNCS, pages 197-211. Springer, 2006.
-
(2006)
LNCS
, vol.3920
, pp. 197-211
-
-
König, B.1
Kozioura, V.2
-
24
-
-
33847258494
-
Using unfoldings to avoid the state explosion problem in the verification of asynchronous circuits
-
Fourth Workshop on Computer-Aided Verification (CAV). Springer
-
K. L. McMillan. Using unfoldings to avoid the state explosion problem in the verification of asynchronous circuits. In Fourth Workshop on Computer-Aided Verification (CAV), volume 663 of LNCS, pages 164-174. Springer, 1992.
-
(1992)
LNCS
, vol.663
, pp. 164-174
-
-
McMillan, K.L.1
-
25
-
-
84944677742
-
PVS: A prototype verification system
-
11th International Conference on Automated Deduction (CADE). Springer
-
S. Owre, J. M. Rushby, and N. Shankar. PVS: A prototype verification system. In 11th International Conference on Automated Deduction (CADE), volume 607 of LNCS, pages 748-752. Springer, 1992.
-
(1992)
LNCS
, vol.607
, pp. 748-752
-
-
Owre, S.1
Rushby, J.M.2
Shankar, N.3
-
26
-
-
0009399483
-
Termination of graph rewriting is undecidable
-
D. Plump. Termination of graph rewriting is undecidable. Fundamenta Informaticae, 33(2):201-209, 1998.
-
(1998)
Fundamenta Informaticae
, vol.33
, Issue.2
, pp. 201-209
-
-
Plump, D.1
-
27
-
-
34248557712
-
Towards graph programs for graph algorithms
-
Graph Transformations (ICGT'04). Springer
-
D. Plump and S. Steinert. Towards graph programs for graph algorithms. In Graph Transformations (ICGT'04), volume 3256 of LNCS, pages 128-143. Springer, 2004.
-
(2004)
LNCS
, vol.3256
, pp. 128-143
-
-
Plump, D.1
Steinert, S.2
-
28
-
-
10444247744
-
Towards model checking graph grammars
-
M. Leuschel, S. Gruner, and S. L. Presti, editors, Technical Report DSSE-TR-2003-2. University of South-hampton
-
A. Rensink. Towards model checking graph grammars. In M. Leuschel, S. Gruner, and S. L. Presti, editors, Workshop on Automated Verification of Critical Systems (AVoCS), Technical Report DSSE-TR-2003-2, pages 150-160. University of South-hampton, 2003.
-
(2003)
Workshop on Automated Verification of Critical Systems (AVoCS)
, pp. 150-160
-
-
Rensink, A.1
-
29
-
-
35048862521
-
The GROOVE simulator: A tool for state space generation
-
Applications of Graph Transformations with Industrial Relevance (AGTIVE). Springer
-
A. Rensink. The GROOVE simulator: A tool for state space generation. In Applications of Graph Transformations with Industrial Relevance (AGTIVE), volume 3062 of LNCS, page 485. Springer, 2004.
-
(2004)
LNCS
, vol.3062
, pp. 485
-
-
Rensink, A.1
-
30
-
-
34548487973
-
Representing first-order logic by graphs
-
Graph Transformations (ICGT'04). Springer
-
A. Rensink. Representing first-order logic by graphs. In Graph Transformations (ICGT'04), volume 3256 of LNCS, pages 319-335. Springer, 2004.
-
(2004)
LNCS
, vol.3256
, pp. 319-335
-
-
Rensink, A.1
-
31
-
-
35048897606
-
Model checking graph transformations: A comparison of two approaches
-
Graph Transformations (ICGT'04). Springer
-
A. Rensink, A. Schmidt, and D., Varró. Model checking graph transformations: A comparison of two approaches. In Graph Transformations (ICGT'04), volume 3256 of LNCS, pages 226-241. Springer, 2004.
-
(2004)
LNCS
, vol.3256
, pp. 226-241
-
-
Rensink, A.1
Schmidt, A.2
Varró, D.3
-
32
-
-
10444229238
-
Towards symbolic analysis of visual modeling languages
-
D. Varró. Towards symbolic analysis of visual modeling languages. ENTCS, 72(3), 2003.
-
(2003)
ENTCS
, vol.72
, Issue.3
-
-
Varró, D.1
-
33
-
-
14244251224
-
Automated formal verification of visual modeling languages by model checking
-
D. Varró. Automated formal verification of visual modeling languages by model checking. Journal of Software and Systems Modelling, 3(2):85-113, 2004.
-
(2004)
Journal of Software and Systems Modelling
, vol.3
, Issue.2
, pp. 85-113
-
-
Varró, D.1
|