| 2008 |
|---|
| 9 | EE | Leila Silva,
Augusto Sampaio,
Zhiming Liu:
Laws of Object-Orientation with Reference Semantics.
SEFM 2008: 217-226 |
| 2007 |
|---|
| 8 | EE | Antonio Carvalho Júnior,
Leila Silva,
Márcio Cornélio:
Using CafeOBJ to Mechanise Refactoring Proofs and Application.
Electr. Notes Theor. Comput. Sci. 184: 39-61 (2007) |
| 2004 |
|---|
| 7 | | Marcos Dósea,
Maria Silva,
Leila Silva,
Sócrates Cavalcanti:
ChemoTax: A Tool to Support Phytotherapics Research Based on Chemotaxonomy.
WOB 2004: 113-116 |
| 6 | EE | André Luis Silva,
Manoel Messias Menezes,
Leila Silva:
Using CafeOBJ to Implement a Reduction Strategy in the Context of Hardware/Software Partitioning.
Electr. Notes Theor. Comput. Sci. 95: 63-82 (2004) |
| 5 | EE | Leila Silva,
Augusto Sampaio,
Edna Barros:
A Constructive Approach to Hardware/Software Partitioning.
Formal Methods in System Design 24(1): 45-90 (2004) |
| 2001 |
|---|
| 4 | EE | Leila Silva,
Augusto Sampaio,
Geraint Jones:
Serialising Parallel Processes in a Hardware/Software Partitioning Context.
FME 2001: 344-363 |
| 1999 |
|---|
| 3 | EE | Juliano Iyoda,
Augusto Sampaio,
Leila Silva:
ParTS: A Partitioning Transformation System.
World Congress on Formal Methods 1999: 1400-1419 |
| 1998 |
|---|
| 2 | EE | Leila Silva,
Augusto Sampaio,
Edna Barros,
Juliano Iyoda:
An Algebraic Approach to Combining Processes in a Hardware/Software Partitioning Environment.
AMAST 1998: 308-324 |
| 1997 |
|---|
| 1 | | Leila Silva,
Augusto Sampaio,
Edna Barros:
A Normal Form Reduction Strategy for Hardware/Software Partitioning.
FME 1997: 624-643 |
