Search the dblp DataBase

Publications of Author

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