| |
| 2008 | ||
|---|---|---|
| 3 | EE | Konstantinos Mokos, Panagiotis Katsaros, Nick Bassiliades, Vangelis Vassiliadis, Maxime Perrotin: Towards Compositional Safety Analysis via Semantic Representation of Component Failure Behaviour. JCKBSE 2008: 405-414 |
| 2007 | ||
| 2 | EE | Leo Freitas, Konstantinos Mokos, Jim Woodcock: Verifying the CICS File Control API with Z/Eves: An Experiment in the Verified Software Repository. ICECCS 2007: 290-298 |
| 2004 | ||
| 1 | EE | Dionysios Politis, Dimitrios Margounakis, Konstantinos Mokos: Visualizing the Chromatic Index of Music. WEDELMUSIC 2004: 102-109 |
| 1 | Nick Bassiliades (N. Bassiliades) | [3] |
| 2 | Leo Freitas (Leonardo Freitas) | [2] |
| 3 | Panagiotis Katsaros | [3] |
| 4 | Dimitrios Margounakis | [1] |
| 5 | Maxime Perrotin | [3] |
| 6 | Dionysios Politis | [1] |
| 7 | Vangelis Vassiliadis | [3] |
| 8 | Jim Woodcock (J. C. P. Woodcock) | [2] |