| 2007 |
|---|
| 6 | EE | Ana Paula Lüdtke Ferreira,
Luciana Foss,
Leila Ribeiro:
Formal Verification of Object-Oriented Graph Grammars Specifications.
Electr. Notes Theor. Comput. Sci. 175(4): 101-114 (2007) |
| 2006 |
|---|
| 5 | EE | Paolo Baldan,
Andrea Corradini,
Luciana Foss,
Fabio Gadducci:
Graph Transactions as Processes.
ICGT 2006: 199-214 |
| 2005 |
|---|
| 4 | EE | Marcelo Cezar Pinto,
Luciana Foss,
José C. M. Mombach,
Leila Ribeiro:
Modeling and Property Verification of Lactose Operon Regulation.
BSB 2005: 95-106 |
| 2004 |
|---|
| 3 | EE | Andrea Corradini,
Fernando Luís Dotti,
Luciana Foss,
Leila Ribeiro:
Translating Java Code to Graph Transformation Systems.
ICGT 2004: 383-398 |
| 2 | EE | Luciana Foss,
Leila Ribeiro:
A Translation from Object-Based Hypergraph Grammars into pi-Calculus.
Electr. Notes Theor. Comput. Sci. 95: 245-267 (2004) |
| 2003 |
|---|
| 1 | EE | Fernando Luís Dotti,
Luciana Foss,
Leila Ribeiro,
Osmar Marchi dos Santos:
Verification of Distributed Object-Based Systems.
FMOODS 2003: 261-275 |
