On the public citation graph

Searching for violation of safety and liveness properties using knowledge discovery in complex systems specified through graph transformations

https://doi.org/10.1016/j.infsof.2018.01.004

0 signed · 88 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.

Claim with ORCID

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.

See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/11691617_19openalex-snapshot

Model Checking Dynamic States in GROOVE

inferredcites →https://doi.org/10.1007/11880240_15openalex-snapshot

Detecting and Resolving Model Inconsistencies Using Transformation Dependency Analysis

inferredcites →https://doi.org/10.1007/3-540-45139-0_5openalex-snapshot

Directed explicit model checking with HSF-SPIN

inferredcites →https://doi.org/10.1007/3-540-45923-5_12openalex-snapshot

AToM3: A Tool for Multi-formalism and Meta-modelling

inferredcites →https://doi.org/10.1007/3-540-58473-0_144openalex-snapshot

Learning stochastic regular grammars by means of a state merging method

inferredcites →https://doi.org/10.1007/3-540-61723-x_1050openalex-snapshot

Genetic algorithms for protocol validation

inferredcites →https://doi.org/10.1007/978-3-319-11587-0_4openalex-snapshot

Automated Failure Analysis in Model Checking Based on Data Mining

inferredcites →https://doi.org/10.1007/978-3-319-23467-0openalex-snapshot

Computer and Information Science 2015

inferredcites →https://doi.org/10.1007/978-3-319-23467-0_6openalex-snapshot

Depth-First Heuristic Search for Software Model Checking

inferredcites →https://doi.org/10.1007/978-3-319-23781-7openalex-snapshot

Model and Data Engineering

inferredcites →https://doi.org/10.1007/978-3-540-25959-6_35openalex-snapshot

AGG: A Graph Transformation Environment for Modeling and Validation of Software

inferredcites →https://doi.org/10.1007/978-3-540-74128-2_6openalex-snapshot

Checking Liveness Properties of Concurrent Systems by Reinforcement Learning

inferredcites →https://doi.org/10.1007/978-3-642-11623-0_17openalex-snapshot

Bounded Rational Search for On-the-Fly Model Checking of LTL Properties

inferredcites →https://doi.org/10.1007/978-3-642-12538-6openalex-snapshot

Nature Inspired Cooperative Strategies for Optimization (NICSO 2010)

inferredcites →https://doi.org/10.1007/978-3-642-12538-6_6openalex-snapshot

A New Metaheuristic Bat-Inspired Algorithm

inferredcites →https://doi.org/10.1007/978-3-642-21887-3_46openalex-snapshot

Software Fault Localization via Mining Execution Graphs

inferredcites →https://doi.org/10.1007/978-3-642-23716-4_11openalex-snapshot

Comparing Metaheuristic Algorithms for Error Detection in Java Programs

inferredcites →https://doi.org/10.1007/978-3-642-39176-7_17openalex-snapshot

Mining Sequential Patterns to Explain Concurrent Counterexamples

inferredcites →https://doi.org/10.1007/978-981-10-3728-3_7openalex-snapshot

ACO Based Model Checking Extended by Smell-Like Pheromone with Hop Counts

inferredcites →https://doi.org/10.1007/bf00994016openalex-snapshot

Learning Bayesian networks: The combination of knowledge and statistical data

inferredcites →https://doi.org/10.1007/bf00994110openalex-snapshot

A Bayesian Method for the Induction of Probabilistic Networks from Data

inferredcites →https://doi.org/10.1007/bfb0095430openalex-snapshot

OBDDs in heuristic search

inferredcites →https://doi.org/10.1007/s10009-002-0104-3openalex-snapshot

Directed explicit-state model checking in the validation of communication protocols

inferredcites →https://doi.org/10.1007/s10009-003-0130-9openalex-snapshot

Heuristics for model checking Java programs

inferredcites →https://doi.org/10.1007/s100090050043openalex-snapshot

Model checking JAVA programs using JAVA PathFinder

inferredcites →https://doi.org/10.1007/s10489-016-0804-0openalex-snapshot

Automated program repair using genetic programming and model checking

inferredcites →https://doi.org/10.1007/s10994-016-5565-9openalex-snapshot

Learning deterministic probabilistic automata from a model checking perspective

inferredcites →https://doi.org/10.1007/s11390-012-1285-1openalex-snapshot

Exploiting Bivariate Dependencies to Speedup Structure Learning in Bayesian Optimization Algorithm

inferredcites →https://doi.org/10.1016/0004-3702(91)90084-wopenalex-snapshot

Probabilistic reasoning in intelligent systems: Networks of plausible inference

inferredcites →https://doi.org/10.1016/b978-1-4832-1451-1.50034-2openalex-snapshot

Using Causal Information and Local Measures to Learn Bayesian Networks

inferredcites →https://doi.org/10.1016/j.asoc.2014.06.055openalex-snapshot

A heuristic solution for model checking graph transformation systems

inferredcites →https://doi.org/10.1016/j.asoc.2015.04.032openalex-snapshot

A meta-heuristic solution for automated refutation of complex software systems specified through graph transformations

inferredcites →https://doi.org/10.1016/j.asoc.2016.06.039openalex-snapshot

EMCDM: Efficient model checking by data mining for verification of complex software systems specified through architectural styles

inferredcites →https://doi.org/10.1016/j.cl.2016.06.001openalex-snapshot

Refinement of structural heuristics for model checking of concurrent programs through data mining

inferredcites →https://doi.org/10.1016/j.entcs.2004.08.037openalex-snapshot

Behavioral Refinement of Graph Transformation-Based Models

inferredcites →https://doi.org/10.1016/j.entcs.2005.12.018openalex-snapshot

Graph Transformation in a Nutshell

inferredcites →https://doi.org/10.1016/j.jss.2017.05.128openalex-snapshot

Deadlock detection in complex software systems specified through graph transformation using Bayesian optimization algorithm

inferredcites →https://doi.org/10.1016/j.scico.2007.05.004openalex-snapshot

The model transformation language of the VIATRA2 framework

inferredcites →https://doi.org/10.1023/a:1022623210503openalex-snapshot

Learning Bayesian Networks: The Combination of Knowledge and Statistical Data

inferredcites →https://doi.org/10.1109/compsac.2011.22openalex-snapshot

Ant Colony Optimization for Deadlock Detection in Concurrent Systems

inferredcites →https://doi.org/10.1109/compsac18045.2011openalex-snapshot

2011 IEEE 35th Annual Computer Software and Applications Conference

inferredcites →https://doi.org/10.1109/fmcad.2006.5openalex-snapshot

An Improved Distance Heuristic Function for Directed Software Model Checking

inferredcites →https://doi.org/10.1109/fmcad13226.2007openalex-snapshot

Formal Methods in Computer Aided Design (FMCAD'07)

inferredcites →https://doi.org/10.1145/123186.123223openalex-snapshot

Sequential circuit verification using symbolic model checking

inferredcites →https://doi.org/10.1145/1276958.1277171openalex-snapshot

Finding safety errors with ACO

inferredcites →https://doi.org/10.1145/1389095openalex-snapshot

Proceedings of the 10th annual conference on Genetic and evolutionary computation

inferredcites →https://doi.org/10.1145/1389095.1389431openalex-snapshot

Searching for liveness property violations in concurrent systems with ACO

inferredcites →https://doi.org/10.1145/1389095.1389432openalex-snapshot

Finding deadlocks in large concurrent java programs using genetic algorithms

inferredcites →https://doi.org/10.1145/167049.167055openalex-snapshot

Using style to understand descriptions of software architecture

inferredcites →https://doi.org/10.1145/2430475.2430480openalex-snapshot

Dynamic software architectures

inferredcites →https://doi.org/10.1145/335191.335372openalex-snapshot

Mining frequent patterns without candidate generation

inferredcites →https://doi.org/10.1145/375663openalex-snapshot

Proceedings of the 2001 ACM SIGMOD international conference on Management of data

inferredcites →https://doi.org/10.1145/566171.566175openalex-snapshot

Model checking Java programs using structural heuristics

inferredcites →https://doi.org/10.1145/940071.940082openalex-snapshot

Modeling and validation of service-oriented architectures

inferredcites →https://doi.org/10.1145/940071.940106openalex-snapshot

Fluent model checking for event-based systems

inferredcites →https://doi.org/10.1145/949952.940082openalex-snapshot

Modeling and validation of service-oriented architectures

inferredcites →https://doi.org/10.1214/aoms/1177729694openalex-snapshot

On Information and Sufficiency

inferredcites →https://doi.org/10.21236/ada327281openalex-snapshot

Model Checking for Security Protocols,

inferredcites →https://doi.org/10.2307/3001968openalex-snapshot

Individual Comparisons by Ranking Methods

inferredcites →https://doi.org/10.3233/ifs-162127openalex-snapshot

A greedy algorithm versus metaheuristic solutions to deadlock detection in Graph Transformation Systems

inferredcites →https://doi.org/10.4108/eai.21-4-2016.151156openalex-snapshot

Ant Colony Optimization Based Model Checking Extended by Smell-like Pheromone

inferredcites →https://doi.org/10.4108/eai.22-3-2017.59242openalex-snapshot

Proceedings of the 10th EAI International Conference on Bio-inspired Information and Communications Technologies (formerly BIONETICS)

inferredcites →https://doi.org/10.4204/eptcs.159.7openalex-snapshot

Graph Transformation Planning via Abstraction

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1002/qre.70052openalex-snapshot

An Innovative Heuristic to Detect Special States in Concurrent Software Systems

inferred← citeshttps://doi.org/10.1007/s00500-018-3444-yopenalex-snapshot

MS-ACO: a multi-stage ant colony optimization to refute complex software systems specified through graph transformation

inferred← citeshttps://doi.org/10.1007/s00500-022-06815-4openalex-snapshot

Using deep reinforcement learning to search reachability properties in systems specified through graph transformation

inferred← citeshttps://doi.org/10.1007/s00500-022-07044-5openalex-snapshot

Using deep learning techniques for solving AI planning problems specified through graph transformations

inferred← citeshttps://doi.org/10.1007/s00500-023-08199-5openalex-snapshot

A three-phase approach to improve the functionality of t-way strategy

inferred← citeshttps://doi.org/10.1007/s10462-023-10686-yopenalex-snapshot

Automatic program bug fixing by focusing on finding the shortest sequence of changes

inferred← citeshttps://doi.org/10.1007/s10515-024-00417-0openalex-snapshot

Using data mining techniques to generate test cases from graph transformation systems specifications

inferred← citeshttps://doi.org/10.1007/s11219-020-09542-xopenalex-snapshot

Using knowledge discovery to propose a two-phase model checking for safety analysis of graph transformations

inferred← citeshttps://doi.org/10.1007/s11390-020-1003-3openalex-snapshot

Using Markov Chain Based Estimation of Distribution Algorithm for Model-Based Safety Analysis of Graph Transformation

inferred← citeshttps://doi.org/10.1007/s12652-022-03765-5openalex-snapshot

City councils evolution: a socio-inspired metaheuristic optimization algorithm

inferred← citeshttps://doi.org/10.1016/j.asoc.2020.106219openalex-snapshot

Extracting Combinatorial Test parameters and their values using model checking and evolutionary algorithms

inferred← citeshttps://doi.org/10.1016/j.engappai.2020.103684openalex-snapshot

A novel approach to solve AI planning problems in graph transformations

inferred← citeshttps://doi.org/10.1016/j.ress.2019.106577openalex-snapshot

Using evolutionary algorithms for reachability analysis of complex software systems specified through graph transformation

inferred← citeshttps://doi.org/10.1049/itr2.12194openalex-snapshot

Logical consistency verification of state sensing in safety‐critical decision: A case study of train routing selection

inferred← citeshttps://doi.org/10.1109/access.2025.3587202openalex-snapshot

Efficiently Automating Covering Array Generation: A Model Checking and Metaheuristic Algorithm Approach

inferred← citeshttps://doi.org/10.1109/tse.2023.3279125openalex-snapshot

Context-Aware Neural Fault Localization

inferred← citeshttps://doi.org/10.1142/s0218194023500468openalex-snapshot

A Modeling and Verification Method of Cyber-Physical Systems Based on AADL and Process Algebra

inferred← citeshttps://doi.org/10.1371/journal.pone.0231331openalex-snapshot

Weight prioritized slicing based on constraint logic programming for fault localization

inferred← citeshttps://doi.org/10.17268/agroind.sci.2020.03.12openalex-snapshot

Design of a computational application for the evaluation of the quality of export lemon

inferred← citeshttps://doi.org/10.21203/rs.3.rs-3706348/v1openalex-snapshot

Automated Generation of Covering Array Using Model Checking and Modified Gravitational Search Algorithm

inferred← citeshttps://doi.org/10.21203/rs.3.rs-3706348/v2openalex-snapshot

Automated Generation of Covering Array Using Gravitational Search Algorithm and Biogeography Based Optimization

inferred← citeshttps://doi.org/10.22044/jadm.2019.7564.1900openalex-snapshot

A Hybrid Meta-heuristic Approach to Cope with State Space Explosion in Model Checking Technique for Deadlock Freeness

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.34218/ijaret_10_04_041openalex-snapshot

AUTOMATED DISASTER RECOVERY ORCHESTRATION LEVERAGING TERRAFORM, ANSIBLE, AND AWS CLOUDFORMATION FOR RPORTO OPTIMIZATION

inferred← citeshttps://doi.org/10.61186/jsdp.20.2.175openalex-snapshot

Checking reachability property of systems specified through graph transformation with the approach of discovery conditional dependency between the rules

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.