| |
| 2008 | ||
|---|---|---|
| 3 | EE | Fred Spiessens, Jerry den Hartog, Sandro Etalle: Know What You Trust. Formal Aspects in Security and Trust 2008: 129-142 |
| 2005 | ||
| 2 | EE | Fred Spiessens, Peter Van Roy: A Practical Formal Model for Safety Analysis in Capability-Based Systems. TGC 2005: 248-278 |
| 2004 | ||
| 1 | EE | Fred Spiessens, Peter Van Roy: The Oz-E Project: Design Guidelines for a Secure Multiparadigm Programming Language. MOZ 2004: 21-40 |
| 1 | Sandro Etalle | [3] |
| 2 | Jerry den Hartog (J. I. den Hartog) | [3] |
| 3 | Peter Van Roy | [1] [2] |