| 2008 |
|---|
| 7 | EE | Nuno Amálio,
Fiona Polack,
Jing Zhang:
Autonomous Objects and Bottom-Up Composition in ZOO Applied to a Case Study of Biological Reactivity.
ABZ 2008: 323-336 |
| 6 | EE | Nuno Amálio,
George Spanoudakis:
From Monitoring Templates to Security Monitoring and Threat Detection.
SECURWARE 2008: 185-192 |
| 2007 |
|---|
| 5 | EE | Nuno Amálio,
Fiona Polack,
Susan Stepney:
Frameworks Based on Templates for Rigorous Model-driven Development.
Electr. Notes Theor. Comput. Sci. 191: 3-23 (2007) |
| 2006 |
|---|
| 4 | EE | Nuno Amálio,
Susan Stepney,
Fiona Polack:
A Formal Template Language Enabling Metaproof.
FM 2006: 252-267 |
| 2005 |
|---|
| 3 | EE | Nuno Amálio,
Fiona Polack,
Susan Stepney:
An Object-Oriented Structuring for Z Based on Views.
ZB 2005: 262-278 |
| 2004 |
|---|
| 2 | EE | Nuno Amálio,
Susan Stepney,
Fiona Polack:
Formal Proof from UML Models.
ICFEM 2004: 418-433 |
| 2003 |
|---|
| 1 | EE | Nuno Amálio,
Fiona Polack:
Comparison of Formalisation Approaches of UML Class Constructs in Z and Object-Z.
ZB 2003: 339-358 |
