| 2009 |
|---|
| 8 | EE | Marcel Oliveira,
Ana Cavalcanti,
Jim Woodcock:
A UTP semantics for Circus.
Formal Asp. Comput. 21(1-2): 3-32 (2009) |
| 2007 |
|---|
| 7 | EE | Marcel Oliveira,
Jim Woodcock:
Automatic Generation of Verified Concurrent Hardware.
ICFEM 2007: 286-306 |
| 6 | EE | Marcel Oliveira,
Ana Cavalcanti,
Jim Woodcock:
A Denotational Semantics for Circus.
Electr. Notes Theor. Comput. Sci. 187: 107-123 (2007) |
| 2006 |
|---|
| 5 | EE | Marcel Oliveira,
Ana Cavalcanti,
Jim Woodcock:
Unifying Theories in ProofPower-Z.
UTP 2006: 123-140 |
| 2005 |
|---|
| 4 | EE | Marcel Oliveira,
Ana Cavalcanti,
Jim Woodcock:
Formal development of industrial-scale systems in Circus.
ISSE 1(2): 125-146 (2005) |
| 2004 |
|---|
| 3 | EE | Marcel Oliveira,
Ana Cavalcanti:
From Circus to JCSP.
ICFEM 2004: 320-340 |
| 2 | EE | Marcel Oliveira,
Manuela Xavier,
Ana Cavalcanti:
Refine and Gabriel: Support for Refinement and Tactics.
SEFM 2004: 310-319 |
| 2003 |
|---|
| 1 | EE | Marcel Oliveira,
Ana Cavalcanti,
Jim Woodcock:
ArcAngel: a Tactic Language for Refinement.
Formal Asp. Comput. 15(1): 28-47 (2003) |
