Travelled to:
1 × Brazil
1 × Italy
1 × Spain
Collaborated with:
L.Ribeiro A.Corradini P.Baldan F.L.Dotti F.Gadducci R.Machado A.Costa S.A.d.C.Cavalheiro
Talks about:
graph (4) translat (2) transact (2) transform (1) simulink (1) process (1) grammar (1) diagram (1) verifi (1) toward (1)
Person: Luciana Foss
DBLP: Foss:Luciana
Contributed to:
Wrote 5 papers:
- 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.
- 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-2006-BaldanCFG #graph #process #transaction
- Graph Transactions as Processes (PB, AC, LF, FG), pp. 199–214.
- ICGT-2004-CorradiniDFR #graph transformation #java
- Translating Java Code to Graph Transformation Systems (AC, FLD, LF, LR), pp. 383–398.