On the public citation graph
Compositional verification of reactive systems specified by graph transformation
0 signed · 68 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/3-540-63531-9_23openalex-snapshot
A view-oriented approach to system modelling based on graph transformation
inferredcites →https://doi.org/10.1007/978-1-4612-0931-7openalex-snapshot
The Temporal Logic of Reactive and Concurrent Systems
inferredcites →https://doi.org/10.1007/978-3-642-69962-7openalex-snapshot
Fundamentals of Algebraic Specification 1
inferredcites →https://doi.org/10.1007/bfb0029965openalex-snapshot
Integrating the specification techniques of graph transformation and temporal logic
inferredcites →https://doi.org/10.1007/bfb0053586openalex-snapshot
Algebra transformation systems and their composition
inferredcites →https://doi.org/10.1016/0304-3975(93)90068-5openalex-snapshot
Algebraic approach to single-pushout graph transformation
inferredcites →https://doi.org/10.1016/s1571-0661(05)80188-4openalex-snapshot
Ensuring Consistency of Conditional Graph Grammars - A Constructive Approach -
inferredcites →https://doi.org/10.1017/s0960129500070110openalex-snapshot
Horizontal and vertical structuring of typed graph transformation systems
inferredcites →https://doi.org/10.1109/swat.1973.11openalex-snapshot
Graph-grammars: An algebraic approach
inferredcites →https://doi.org/10.1142/9789812384720_0003openalex-snapshot
ALGEBRAIC APPROACHES TO GRAPH TRANSFORMATION – PART I: BASIC CONCEPTS AND DOUBLE PUSHOUT APPROACH
inferredcites →https://doi.org/10.1142/s0218194092000038openalex-snapshot
VIEWPOINTS: A FRAMEWORK FOR INTEGRATING MULTIPLE PERSPECTIVES IN SYSTEM DEVELOPMENT
inferredcites →https://doi.org/10.1145/267895.267919openalex-snapshot
A view-oriented approach to system modelling based on graph transformation
inferredcites →https://doi.org/10.3233/fi-1996-263404openalex-snapshot
GRAPH GRAMMARS WITH NEGATIVE APPLICATION CONDITIONS
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/11813040_24openalex-snapshot
Formal Modeling of Communication Protocols by Graph Transformation
inferred← citeshttps://doi.org/10.1007/11841883_22openalex-snapshot
On the Use of Alloy to Analyze Graph Transformation Systems
inferred← citeshttps://doi.org/10.1007/3-540-28554-7_5openalex-snapshot
Using Graph Transformation for Practical Model-Driven Software Engineering
inferred← citeshttps://doi.org/10.1007/3-540-48483-3_7openalex-snapshot
An Algebra of Graph Derivations Using Finite (co—) Limit Double Theories
inferred← citeshttps://doi.org/10.1007/978-3-032-26123-6_5openalex-snapshot
Bigraphical Model Checking for Coordinated Drone Landings on Vertiports
inferred← citeshttps://doi.org/10.1007/978-3-319-09108-2_6openalex-snapshot
Attribute Handling for Generating Preconditions from Graph Constraints
inferred← citeshttps://doi.org/10.1007/978-3-319-11245-9_17openalex-snapshot
Dynamic Scope Discovery for Model Transformations
inferred← citeshttps://doi.org/10.1007/978-3-540-28644-8_6openalex-snapshot
Verifying Finite-State Graph Grammars: An Unfolding-Based Approach
inferred← citeshttps://doi.org/10.1007/978-3-540-30203-2_17openalex-snapshot
Model Checking Graph Transformations: A Comparison of Two Approaches
inferred← citeshttps://doi.org/10.1007/978-3-540-46464-8_22openalex-snapshot
A Fully Abstract Model for Graph-Interpreted Temporal Logic
inferred← citeshttps://doi.org/10.1007/978-3-540-74061-2_16openalex-snapshot
Static Analysis of Dynamic Communication Systems by Partner Abstraction
inferred← citeshttps://doi.org/10.1007/978-3-540-87405-8_22openalex-snapshot
A Modal-Logic Based Graph Abstraction
inferred← citeshttps://doi.org/10.1007/978-3-642-00593-0_2openalex-snapshot
Rewriting Logic Semantics and Verification of Model Transformations
inferred← citeshttps://doi.org/10.1007/978-3-642-20398-5_19openalex-snapshot
Symmetry for the Analysis of Dynamic Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-21455-4_15openalex-snapshot
Modelling Secure Systems Evolution: Abstract and Concrete Change Specifications
inferred← citeshttps://doi.org/10.1007/978-3-642-21470-7_5openalex-snapshot
Incremental Security Verification for Evolving UMLsec models
inferred← citeshttps://doi.org/10.1007/s10270-003-0050-xopenalex-snapshot
Automated formal verification of visual modeling languages by model checking
inferred← citeshttps://doi.org/10.1007/s10270-016-0555-8openalex-snapshot
Scope in model transformations
inferred← citeshttps://doi.org/10.1007/s10270-017-0591-zopenalex-snapshot
A feature-based classification of formal verification techniques for software models
inferred← citeshttps://doi.org/10.1007/s11704-014-4290-4openalex-snapshot
Verifying specifications with associated attributes in graph transformation systems
inferred← citeshttps://doi.org/10.1007/s11704-015-4290-4openalex-snapshot
Verifying specifications with associated attributes in graph transformation systems
inferred← citeshttps://doi.org/10.1007/s12193-015-0192-5openalex-snapshot
Open issues in model transformations for multimodal applications
inferred← citeshttps://doi.org/10.1016/j.asoc.2014.06.055openalex-snapshot
A heuristic solution for model checking graph transformation systems
inferred← citeshttps://doi.org/10.1016/j.csi.2013.12.011openalex-snapshot
Specifying model changes with UMLchange to support security verification of potential evolution
inferred← citeshttps://doi.org/10.1016/j.entcs.2004.08.018openalex-snapshot
Verifying a Behavioural Logic for Graph Transformation Systems
inferred← citeshttps://doi.org/10.1016/j.entcs.2004.12.034openalex-snapshot
Graph Transformation in Relational Databases
inferred← citeshttps://doi.org/10.1016/j.entcs.2004.12.036openalex-snapshot
Time and Space Issues in the Generation of Graph Transition Systems
inferred← citeshttps://doi.org/10.1016/j.entcs.2008.04.071openalex-snapshot
An Efficient Solution for Model Checking Graph Transformation Systems
inferred← citeshttps://doi.org/10.1016/j.ic.2008.04.002openalex-snapshot
A framework for the verification of infinite-state graph transformation systems
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)00191-4openalex-snapshot
GETGRATS A summary of scientific results (with annotated bibliography)
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)80611-xopenalex-snapshot
Towards Symbolic Analysis of Visual Modeling Languages
inferred← citeshttps://doi.org/10.1023/a:1008734426504openalex-snapshot
Double-Pullback Transitions and Coalgebraic Loose Semantics for Graph Transformation Systems
inferred← citeshttps://doi.org/10.1049/iet-sen.2008.0059openalex-snapshot
Towards automated verification of layered graph transformation specifications
inferred← citeshttps://doi.org/10.1109/csse.2008.992openalex-snapshot
Interpretation, Transformation and Model Checking of Semi-formal Diagram Notations
inferred← citeshttps://doi.org/10.1109/icacte.2010.5579448openalex-snapshot
Formal verification of attributed and typed graph transformation systems
inferred← citeshttps://doi.org/10.1109/vlhcc.2005.23openalex-snapshot
Benchmarking for Graph Transformation
inferred← citeshttps://doi.org/10.1145/3106237.3106299openalex-snapshot
Modeling and verification of evolving cyber-physical spaces
inferred← citeshttps://doi.org/10.14279/tuj.eceasst.1.77openalex-snapshot
Isomorphism Checking in GROOVE
inferred← citeshttps://doi.org/10.14279/tuj.eceasst.10.145openalex-snapshot
Dynamic Software Architectures Verification using DynAlloy
inferred← citeshttps://doi.org/10.14279/tuj.eceasst.47.737openalex-snapshot
View-based Modelling and State-Space Generation for Graph Transformation Systems
inferred← citeshttps://doi.org/10.14279/tuj.eceasst.67.945openalex-snapshot
Generating Preconditions from Graph Constraints by Higher Order Graph Transformation
inferred← citeshttps://doi.org/10.1631/jzus.a0820415openalex-snapshot
Towards automated software model checking using graph transformation systems and Bogor
inferred← citeshttps://doi.org/10.22028/d291-25881openalex-snapshot
Analysis of communication topologies by partner abstraction
inferred← citeshttps://doi.org/10.3233/jifs-190023openalex-snapshot
An efficient approach to state space management in model checking of complex software systems using machine learning techniques
inferred← citeshttps://doi.org/10.36243/fmtu-2006.91openalex-snapshot
Gráftarnszformációs benchmarkok definiálása
inferred← citeshttps://doi.org/10.4018/978-1-4666-8473-7.ch074openalex-snapshot
Evolution of Security Engineering Artifacts
inferred← citeshttps://doi.org/10.4018/ijsse.2014100103openalex-snapshot
Evolution of Security Engineering Artifacts
inferred← citeshttps://doi.org/10.4230/dagsemproc.04241.1openalex-snapshot
04241 Abstracts Collection – Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems
inferred← citeshttps://doi.org/10.4230/dagsemproc.06081.3openalex-snapshot
Analysis of Dynamic Communicating Systems by Hierarchical Abstraction
inferred← citeshttps://doi.org/10.4995/thesis/10251/1964openalex-snapshot
A formal framework for model management
inferred← citeshttps://doi.org/10.5381/jot.2015.14.3.a3openalex-snapshot
A Methodology for Verifying Refinements of Partial Models.
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.