dblp.uni-trier.dewww.uni-trier.de

Konstantinos Mokos

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
3EEKonstantinos 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
2EELeo 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
1EEDionysios Politis, Dimitrios Margounakis, Konstantinos Mokos: Visualizing the Chromatic Index of Music. WEDELMUSIC 2004: 102-109

Coauthor Index

1Nick Bassiliades (N. Bassiliades) [3]
2Leo Freitas (Leonardo Freitas) [2]
3Panagiotis Katsaros [3]
4Dimitrios Margounakis [1]
5Maxime Perrotin [3]
6Dionysios Politis [1]
7Vangelis Vassiliadis [3]
8Jim Woodcock (J. C. P. Woodcock) [2]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)