Abstract

An Incremental Optimization Algorithm for Efficient Verification of Graph Transformation Systems

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call

Similar Papers

Paper Title
Journal
Date
Author
Verification of graph transformation systems with k-inductive invariants
-
01 Jan 2020
Durative Graph Transformation Rules for Modelling Real-Time Reconfiguration
Steffen Ziegert ... Christian Heinzemann
-
Steffen Ziegert, et. al.Steffen Ziegert ... Christian Heinzemann
01 Jan 2013
A NOVEL APPROACH TO VERIFY GRAPH SCHEMA-BASED SOFTWARE SYSTEMS
Vahid Rafe ... Adel T Rahmani
International Journal of Software Engineering and Knowledge Engineering | VOL. 19
Vahid Rafe, et. al.Vahid Rafe ... Adel T Rahmani
01 Sep 2009
A Modal-Logic Based Graph Abstraction
Iovka Boneva ... Arend Rensink
-
Iovka Boneva, et. al.Iovka Boneva ... Arend Rensink
07 Sep 2008
View more papers

More From: IEEE Access

Paper Title
Journal
Date
Author
High-Performance Single Switch High Step-Up Quadratic DC-DC Converter With Switched Capacitor Cell
D V Sudarsan Reddy ... S Thangavel
IEEE Access | VOL. 12
D V Sudarsan Reddy, et. al.D V Sudarsan Reddy ... S Thangavel
01 Jan 2024
Enhancing Accuracy in Actigraphic Measurements: A Lightweight Calibration Method for Triaxial Accelerometers
Denes Farago ... Zoltan Gingl
IEEE Access | VOL. 12
Denes Farago, et. al.Denes Farago ... Zoltan Gingl
01 Jan 2024
Korean Sign Language Alphabet Recognition through the Integration of Handcrafted and Deep Learning-Based Two-Stream Feature Extraction Approach
Jungpil Shin ... Yong Seok Hwang
IEEE Access | VOL. -
Jungpil Shin, et. al.Jungpil Shin ... Yong Seok Hwang
01 Jan 2024
Design, Analysis and Implementation of a 3-DOF Spherical Parallel Manipulator
Mansoul Aljohani ... Seif Eddine Chehaidia
IEEE Access | VOL. -
Mansoul Aljohani, et. al.Mansoul Aljohani ... Seif Eddine Chehaidia
01 Jan 2024
View more papers