Leila Ribeiro

Available identifiers

zbMath Open ribeiro.leilaMaRDI QIDQ436349

List of research outcomes

Publication	Date of Publication	Type
Graph Grammar Extraction from Source Code	2022-11-04	Paper
Module integration using graph grammars (MIGRATE)	2022-07-13	Paper
On the essence and initiality of conflicts in \(\mathcal{M} \)-adhesive transformation systems	2019-11-28	Paper
Algebraic graph rewriting with controlled embedding	2019-11-22	Paper
The Pullback-Pushout Approach to Algebraic Graph Transformation	2019-11-22	Paper
The PBPO graph transformation approach	2019-03-27	Paper
Formal relationship between graph grammars and Petri nets	2019-01-10	Paper
On the essence and initiality of conflicts	2018-08-24	Paper
On the essence of parallel independence for the double-pushout and sesqui-pushout approaches	2018-04-04	Paper
The Verigraph system for graph transformation	2018-04-04	Paper
Theorem proving graph grammars with attributes and negative application conditions	2017-06-15	Paper
A Formal Model for the Deferred Update Replication Technique	2016-11-09	Paper
Parallelism in AGREE Transformations	2016-09-05	Paper
Use Case Analysis Based on Formal Methods: An Empirical Study	2016-02-25	Paper
AGREE – Algebraic Graph Rewriting with Controlled Embedding	2015-09-22	Paper
Characterizing Conflicts Between Rule Application and Rule Evolution in Graph Transformation Systems	2015-09-22	Paper
Rule-based transformation of graph rewriting rules: towards higher-order graph grammars	2015-07-24	Paper
Formal Verification of Graph Grammars using Mathematical Induction	2015-03-19	Paper
Towards a Notion of Transaction in Graph Rewriting	2014-03-21	Paper
Stochastic Object-Based Graph Grammars	2014-01-17	Paper
Formal Verification of Object-Oriented Graph Grammars Specifications	2013-12-20	Paper
https://portal.mardi4nfdi.de/entity/Q2849880	2013-09-20	Paper
A Graph Transformation View on the Specification of Applications using Mobile Code* *Research partially supported by project ForMOS (Métodos Formais para Código Móvelem Sistemas Abertos) - grant CNPq 520269/98-5, by the Research Training Network GET-GRATS (General Theory of Graph Transformation Systems), and by the MURST project Teoria della Concorrenza, Linguaggi di Ordine Superiore e Strutture di Tipi (TOSCA).	2013-05-10	Paper
Specification Patterns for Properties over Reachable States of Graph Grammars	2012-11-06	Paper
Correct transformation: from object-based graph grammars to PROMELA	2012-07-20	Paper
Verification of graph grammars using a logical approach	2012-07-20	Paper
An Institution for Graph Transformation	2012-06-08	Paper
Recent Trends in Algebraic Development Techniques	2010-04-20	Paper
Formal Methods for Open Object-Based Distributed Systems	2010-01-12	Paper
Formal Methods for Open Object-Based Distributed Systems	2010-01-12	Paper
Graph Transformation with Dependencies for the Specification of Interactive Systems	2009-10-22	Paper
Linear-Ordered Graph Grammars: Applications to Distributed Systems Design	2008-06-19	Paper
Graph Transformations	2007-06-21	Paper
Graph Transformations	2007-06-21	Paper
Unfolding semantics of graph transformation	2007-05-14	Paper
Formal Methods in Software and Systems Modeling	2005-12-02	Paper
https://portal.mardi4nfdi.de/entity/Q4438792	2003-12-10	Paper
https://portal.mardi4nfdi.de/entity/Q4762646	2001-02-22	Paper
https://portal.mardi4nfdi.de/entity/Q4942095	2000-03-30	Paper
Parallel composition of graph grammars	2000-03-23	Paper
Algebraic high-level net transformation systems	1996-06-10	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Leila Ribeiro