 | 2011 |
|---|
| 8 |       | Juan Ignacio Perna,
Jim Woodcock,
Augusto Sampaio,
Juliano Iyoda:
Correct hardware synthesis - An algebraic approach.
Acta Inf. 48(7-8): 363-396 (2011) |
| 2010 |
|---|
| 7 | | Mitsuo Takaki,
Diego Cavalcanti,
Rohit Gheyi,
Juliano Iyoda,
Marcelo d'Amorim,
Ricardo Bastos Cavalcante Prudêncio:
Randomized constraint solvers: a comparative study.
ISSE 6(3): 243-253 (2010) |
| 2009 |
|---|
| 6 | | Lucas Lima,
Juliano Iyoda,
Augusto Sampaio,
Eduardo Aranha:
Test case prioritization based on data reuse an experimental study.
ESEM 2009: 279-290 |
| 5 | | Flávia Falcão,
Juliano Iyoda,
Augusto Sampaio:
Multiple Synchrony in MSC.
Electr. Notes Theor. Comput. Sci. 240: 149-166 (2009) |
| 2007 |
|---|
| 4 | | Konrad Slind,
Scott Owens,
Juliano Iyoda,
Mike Gordon:
Proof producing synthesis of arithmetic and cryptographic hardware.
Formal Asp. Comput. 19(3): 343-362 (2007) |
| 2006 |
|---|
| 3 | | Mike Gordon,
Juliano Iyoda,
Scott Owens,
Konrad Slind:
Automatic Formal Synthesis of Hardware from Higher Order Logic.
Electr. Notes Theor. Comput. Sci. 145: 27-43 (2006) |
| 1999 |
|---|
| 2 | | Juliano Iyoda,
Augusto Sampaio,
Leila Silva:
ParTS: A Partitioning Transformation System.
World Congress on Formal Methods 1999: 1400-1419 |
| 1998 |
|---|
| 1 | | Leila Silva,
Augusto Sampaio,
Edna Barros,
Juliano Iyoda:
An Algebraic Approach to Combining Processes in a Hardware/Software Partitioning Environment.
AMAST 1998: 308-324 |
Data released under the ODC-BY 1.0 license — See also our legal information page