- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| j9 |      | Marcel Oliveira, Ana Cavalcanti, Jim Woodcock: Unifying theories in ProofPower-Z. Formal Asp. Comput. 25(1): 133-158 (2013) |
| 2012 | ||
| j8 | | Frank Zeyda, Marcel Oliveira, Ana Cavalcanti: Mechanised support for sound refinement tactics. Formal Asp. Comput. 24(1): 127-160 (2012) |
| 2011 | ||
| j7 | | Marcel Oliveira, Frank Zeyda, Ana Cavalcanti: A tactic language for refinement of state-rich concurrent specifications. Sci. Comput. Program. 76(9): 792-833 (2011) |
| 2010 | ||
| c5 | | Jim Woodcock, Marcel Oliveira, Alan Burns, Kun Wei: Modelling and Implementing Complex Systems with Timebands. SSIRI 2010: 1-13 |
| 2009 | ||
| j6 | | Frank Zeyda, Marcel Oliveira, Ana Cavalcanti: Supporting ArcAngel in ProofPower. Electr. Notes Theor. Comput. Sci. 259: 225-243 (2009) |
| j5 | | Marcel Oliveira, Ana Cavalcanti, Jim Woodcock: A UTP semantics for Circus. Formal Asp. Comput. 21(1-2): 3-32 (2009) |
| 2008 | ||
| j4 | | Marcel Oliveira, Ana Cavalcanti: ArcAngelC: a Refinement Tactic Language for Circus. Electr. Notes Theor. Comput. Sci. 214: 203-229 (2008) |
| 2007 | ||
| j3 | | Marcel Oliveira, Ana Cavalcanti, Jim Woodcock: A Denotational Semantics for Circus. Electr. Notes Theor. Comput. Sci. 187: 107-123 (2007) |
| c4 | | Marcel Oliveira, Jim Woodcock: Automatic Generation of Verified Concurrent Hardware. ICFEM 2007: 286-306 |
| 2006 | ||
| c3 | | |
| 2005 | ||
| j2 | | Marcel Oliveira, Ana Cavalcanti, Jim Woodcock: Formal development of industrial-scale systems in Circus. ISSE 1(2): 125-146 (2005) |
| 2004 | ||
| c2 | | |
| c1 | | Marcel Oliveira, Manuela Xavier, Ana Cavalcanti: Refine and Gabriel: Support for Refinement and Tactics. SEFM 2004: 310-319 |
| 2003 | ||
| j1 | | Marcel Oliveira, Ana Cavalcanti, Jim Woodcock: ArcAngel: a Tactic Language for Refinement. Formal Asp. Comput. 15(1): 28-47 (2003) |
| 1 | Alan Burns | |
| 2 | Ana Cavalcanti | |
| 3 | Kun Wei | |
| 4 | Jim Woodcock (J. C. P. Woodcock) | |
| 5 | Manuela Xavier | |
| 6 | Frank Zeyda |
Data released under the ODC-BY 1.0 license — See also our legal information page