Travelled to:1 × France
1 × The Netherlands
2 × Italy
2 × Spain
2 × USA
Collaborated with:L.Foss A.Corradini F.L.Dotti R.Machado M.Korff A.P.L.Ferreira U.Montanari B.Copstein R.Heckel D.Duval R.Echahed F.Prost O.M.d.Santos A.Costa S.A.d.C.Cavalheiro P.Baldan F.Gadducci H.Ehrig M.Löwe A.Wagner
Talks about:graph (11) grammar (6) transform (4) approach (3) algebra (3) translat (2) pushout (2) between (2) system (2) rewrit (2)
Person: Leila Ribeiro
DBLP: Ribeiro:Leila
Facilitated 2 volumes:
Ed
EdContributed to:
2015
2015
2014200920082004
20032002199919971994Wrote 13 papers:
- ICGT-2015-CorradiniDEPR #algebra #graph grammar #named
- AGREE — Algebraic Graph Rewriting with Controlled Embedding (AC, DD, RE, FP, LR), pp. 35–51.
- ICGT-2015-MachadoRH #evolution #graph transformation
- Characterizing Conflicts Between Rule Application and Rule Evolution in Graph Transformation Systems (RM, LR, RH), pp. 171–186.
- SAC-2015-CostaCFR #diagrams #modelling #precise #uml
- From UML diagrams to simulink models: a precise and verified translation (AC, SAdCC, LF, LR), pp. 1547–1552.
- FASE-2014-DuvalEPR
- Transformation of Attributed Structures with Cloning (DD, RE, FP, LR), pp. 310–324.
- GT-VMT-2009-MachadoFR #aspect-oriented #graph grammar
- Aspects for Graph Grammars (RM, LF, LR), pp. 115–127.
- GT-VMT-2006-BaldanCDFGR08 #graph grammar #towards #transaction
- Towards a Notion of Transaction in Graph Rewriting (PB, AC, FLD, LF, FG, LR), pp. 39–50.
- ICGT-2004-CorradiniDFR #graph transformation #java
- Translating Java Code to Graph Transformation Systems (AC, FLD, LF, LR), pp. 383–398.
- ICGT-2004-FerreiraR #graph grammar #object-oriented
- Derivations in Object-Oriented Graph Grammars (APLF, LR), pp. 416–430.
- AGTIVE-2003-DottiRS #analysis #behaviour #fault #graph grammar #specification #using
- Specification and Analysis of Fault Behaviours Using Graph Grammars (FLD, LR, OMdS), pp. 120–133.
- ICGT-2002-MontanariR #algebra #graph grammar #linear #order
- Linear Ordered Graph Grammars and Their Algebraic Foundations (UM, LR), pp. 317–333.
- AGTIVE-1999-RibeiroC #composition #graph grammar #modelling #simulation #using
- Compositional Construction of Simulation Models Using Graph Grammars (LR, BC), pp. 87–94.
- GG-Handbook-Vol1-EhrigHKLRWC #algebra #approach #category theory #comparison #graph transformation
- Algebraic Approaches to Graph Transformation — Part II: Single Pushout Approach and Comparison with Double Pushout Approach (HE, RH, MK, ML, LR, AW, AC), pp. 247–312.
- TAGT-1994-KorffR #graph grammar #petri net
- Formal Relationship between Graph Grammars and Petri Nets (MK, LR), pp. 288–303.