Results 21 to 30 of about 164,290 (263)

Towards a Maude tool for model checking temporal graph properties

, 2011
We present our prototypical tool for the verification of graph transformation systems. The major novelty of our tool is that it provides a model checker for temporal graph properties based on counterpart semantics for quantified m-calculi.
Lluch-Lafuente, Alberto, Luch Lafuente A, Vandin, Andrea, Lafuente, Alberto Lluch, Vandin A   +4 more
core   +1 more source

Exploiting over- and under-approximations for infinite-state counterpart models [PDF]

, 2012
Software systems with dynamic topology are often infini-testate. Paradigmatic examples are those modeled as graph transformation systems (GTSs) with rewrite rules that allow an unbounded creation of items.
Lluch-Lafuente, Alberto, Gadducci, Fabio, Lluch Lafuente A, Andrea Vandin, Alberto Lluch Lafuente, Fabio Gadducci, LLUCH LAFUENTE, ALBERTO, Vandin A., Vandin, Andrea, Gadducci F, Vandin A   +10 more
core   +1 more source

Graph Modeling of the Processes of Impulsive Time-Delay Systems

NBI Technologies, 2018
Impulsive systems are widely used in metallurgy, chemical, and oil and gas industries, heat power engineering, irrigation and other industries. Periodic nature of the discrete control devices operation is the reason for the appearance of pure delay in ...
Amanulla Kadyrov, A. Kadyrova
semanticscholar   +1 more source

Resonance graphs of catacondensed even ring systems [PDF]

Applied Mathematics and Computation, 2019
A catacondensed even ring system (shortly CERS) is a simple bipartite 2-connected outerplanar graph with all vertices of degree 2 or 3. In this paper, we investigate the resonance graphs (also called $Z$-transformation graphs) of CERS and firstly show ...
S. Brezovnik, Niko Tratnik, Petra Zigert
semanticscholar   +1 more source

Towards the specification and verification of modal properties for structured systems

, 2012
System specification formalisms should come with suitable property specification languages and effective verification tools. We sketch a framework for the verification of quantified temporal properties of systems with dynamically evolving structure.
Andrea Vandin, Vandin, Andrea, Vandin A
core   +1 more source

Graphical Verification of a Spatial Logic for the Graphical Verification of a Spatial Logic for the pi-calculus

, 2005
The paper introduces a novel approach to the verification of spatial properties for finite [pi]-calculus specifications. The mechanism is based on a recently proposed graphical encoding for mobile calculi: Each process is mapped into a (ranked) graph ...
Gadducci, Fabio, Lluch-Lafuente, Alberto, Lluch Lafuente, Alberto, Alberto Lluch Lafuente, Fabio Gadducci, Lluch Lafuente A.   +5 more
core   +1 more source

Adding recursion to graph transformation [PDF]

, 2007
Proceedings of the Sixth International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2007)In this paper we define recursive rules in the double pushout approach (DPO) to graph transformation. Classical DPO rules are extended
Guerra, Esther, Guerra Sánchez, Esther, de Lara, Juan, Lara Jaramillo, Juan de   +3 more
core   +1 more source

Smart AI-Intensive Software Defect Predictions Based on Optimized Deep Feature Classification Using GWO-Code2Vec CNN Learning

ITEGAM-JETIA
Software defect prediction plays a crucial role in improving software reliability, reducing maintenance costs, and enhancing software quality.
Ruckmani V. S, Rajan John, J. Jebamalar Tamilselvi, Surya Susan Thomas   +3 more
doaj   +1 more source

Evaluating the performance of model transformation styles in Maude

, 2011
Rule-based programming has been shown to be very successful in many application areas. Two prominent examples are the specification of model transformations in model driven development approaches and the definition of structured operational semantics of
Lluch-Lafuente, Alberto, Roberto Bruni, LLUCH LAFUENTE A., Bruni, Roberto, Alberto Lluch Lafuente   +4 more
core   +1 more source

Graph Transformation for Domain-Specific Discrete Event Time Simulation [PDF]

, 2010
Proceedings of: Fifth International Conference on Graph Transformation (ICGT 2010). Enschede, The Netherlands, September 27–October 2, 2010.Graph transformation is being increasingly used to express the semantics of domain specific visual languages since
Esther Guerra, Paolo Torrini, Guerra, Esther, Lara, Juan de, Artur Boronat, Heckel, Reiko, Torrini, Paolo, Boronat, Artur, Guerra Sánchez, Esther, Juan de Lara, Lara Jaramillo, Juan de, Reiko Heckel   +11 more
core   +1 more source