Monographs in Theoretical Computer Science An EATCS Series
ACDHJ Hartmanis, T Henzinger, JHNJT Leighton… - 2006 - Springer
In the late 1960s and early 1970s, the concepts of graph transformation and graph
grammars started to become of interest in picture processing and computer science. The …
grammars started to become of interest in picture processing and computer science. The …
Sea-cnn: Scalable processing of continuous k-nearest neighbor queries in spatio-temporal databases
Location-aware environments are characterized by a large number of objects and a large
number of continuous queries. Both the objects and continuous queries may change their …
number of continuous queries. Both the objects and continuous queries may change their …
A model-driven framework for guided design space exploration
Abstract Design space exploration (DSE) aims at searching through various models
representing different design candidates to support activities like configuration design of …
representing different design candidates to support activities like configuration design of …
Multi-objective optimization in rule-based design space exploration
Design space exploration (DSE) aims to find optimal design candidates of a domain with
respect to different objectives where design candidates are constrained by complex …
respect to different objectives where design candidates are constrained by complex …
Model checking graph transformations: A comparison of two approaches
Abstract Model checking is increasingly popular for hardware and, more recently, software
verification. In this paper we describe two different approaches to extend the benefits of …
verification. In this paper we describe two different approaches to extend the benefits of …
Automated formal verification of visual modeling languages by model checking
D Varró - Software & Systems Modeling, 2004 - Springer
Graph transformation has recently become more and more popular as a general, rule-based
visual specification paradigm to formally capture (a) requirements or behavior of user …
visual specification paradigm to formally capture (a) requirements or behavior of user …
Development of correct graph transformation systems
KH Pennemann - … : 4th International Conference, ICGT 2008, Leicester …, 2008 - Springer
A major goal of this thesis is the ability to determine the correctness of graphical
specifications consisting of a graph precondition, a graph program and graph postcondition …
specifications consisting of a graph precondition, a graph program and graph postcondition …
On the use of Alloy to analyze graph transformation systems
L Baresi, P Spoletini - … : Third International Conference, ICGT 2006 Natal …, 2006 - Springer
This paper proposes a methodology to analyze graph transformation systems by means of
Alloy and its supporting tools. Alloy is a simple structural modeling language, based on first …
Alloy and its supporting tools. Alloy is a simple structural modeling language, based on first …
Counterexample-guided abstraction refinement for the analysis of graph transformation systems
B König, V Kozioura - Tools and Algorithms for the Construction and …, 2006 - Springer
Graph transformation systems are a general specification language for systems with
dynamically changing topologies, such as mobile and distributed systems. We propose a …
dynamically changing topologies, such as mobile and distributed systems. We propose a …
A framework for the verification of infinite-state graph transformation systems
We propose a technique for the analysis of infinite-state graph transformation systems,
based on the construction of finite structures approximating their behaviour. Following a …
based on the construction of finite structures approximating their behaviour. Following a …