Leila Ribeiro - researchr alias

researchr

You are not signed in
Sign in
Sign up

2010

Towards Theorem Proving Graph Grammars using Event-BLeila Ribeiro, Fernando Luís Dotti, Simone André da Costa, Fabiane Cristine Dillenburg. eceasst, 30, 2010. [doi]

2009

2008

2007

2006

Graph Transformations, Third International Conference, ICGT 2006, Natal, Rio Grande do Norte, Brazil, September 17-23, 2006, ProceedingsAndrea Corradini, Hartmut Ehrig, Ugo Montanari, Leila Ribeiro, Grzegorz Rozenberg, editors, Volume 4178 of Lecture Notes in Computer Science, Springer, 2006.

Verifying Object-based Graph GrammarsFernando Luís Dotti, Leila Ribeiro, Osmar Marchi dos Santos, Fábio Pasini. SoSyM, 5(3):289-311, 2006. [doi]

2005

2004

2003

Verification of Distributed Object-Based SystemsFernando Luís Dotti, Luciana Foss, Leila Ribeiro, Osmar Marchi dos Santos. fmoods 2003: 261-275 [doi]

Specification and Analysis of Fault Behaviours Using Graph GrammarsFernando Luís Dotti, Leila Ribeiro, Osmar Marchi dos Santos. agtive 2004: 120-133 [doi]

Towards Object-Oriented Graphs and GrammarsAna Paula Lüdtke Ferreira, Leila Ribeiro. fmoods 2003: 16-31 [doi]

2002

2001

Towards a Compositional Approach to Define Graphical Animation of Software ApplicationsRoswitha Bardohl, Leila Ribeiro. vl 2001: 38 [doi]

A Graph Transformation View on the Specification of Applications using Mobile CodeAndrea Corradini, Fernando Luís Dotti, Leila Ribeiro. ENTCS, 50(3), 2001. [doi]

2000

1999

Compositional Construction of Simulation Models Using Graph GrammarsLeila Ribeiro, Bernardo Copstein. agtive 2000: 87-94 [doi]

Parallel Composition of Graph GrammarsLeila Ribeiro. acs, 7(4):405-430, 1999. [doi]

1997

Algebraic Approaches to Graph Transformation - Part II: Single Pushout Approach and Comparison with Double Pushout ApproachHartmut Ehrig, Reiko Heckel, Martin Korff, Michael Löwe, Leila Ribeiro, Annika Wagner, Andrea Corradini. gg 1997: 247-312

1995

Concurrent derivations as single pushout graph grammar processesMartin Korff, Leila Ribeiro. ENTCS, 2, 1995. [doi]

Algebraic High-Level Net Transformation SystemsJulia Padberg, Hartmut Ehrig, Leila Ribeiro. mscs, 5(2):217-256, 1995.

1994

Formal Relationship between Graph Grammars and Petri NetsMartin Korff, Leila Ribeiro. tagt 1996: 288-303

1992

Algebraic High-Level Nets: Petri Nets RevisitedHartmut Ehrig, Julia Padberg, Leila Ribeiro. compass 1994: 188-206