@inproceedings {tramp:2012ur,
	title = {Migration of Fine-grained Multimedia Applications},
	journal = {Middleware {\textquoteright}12 Proceedings of the Posters and Demo Track},
	year = {2012},
	month = {12/2012},
	pages = {12:1{\textendash}12:2},
	publisher = {ACM},
	address = {New York, NY, USA},
	keywords = {fine-grained applications, Multimedia, process migration},
	isbn = {978-1-4503-1612-5},
	doi = {10.1145/2405153.2405165},
	author = {Hans Vatne {Hansen} and Francisco Javier {Velazquez-Garcia} and Goebel, Vera and Munthe-Kaas, Ellen and Plagemann, Thomas},
	editor = {Wohlstadter, Eric}
}
@inproceedings {Thomas.2005.2,
	title = {Middleware Services for Information Sharing in Mobile Ad-Hoc Networks},
	journal = {Broadband Satellite Communication Systems and the Challenges of Mobility},
	year = {2005},
	pages = {225-236},
	publisher = {Springer Publishing Company},
	type = {Workshop},
	author = {Plagemann, Thomas and Andersson, Jon and Ovidiu Valentin {Drugan} and Goebel, Vera and Griwodz, Carsten and Halvorsen, P{\r a}l and Munthe-Kaas, Ellen and Puzar, Matija and Norun Christine {Sanderson} and Skjelsvik, Katrine},
	editor = {Gayraud, T. and Mazella, M. and Fernandes, F.P. and Monteiro, E. and Orvalho, J.G.d.M.}
}
@inproceedings {ND.5.Gjessing.1992.a,
	title = {A Top Down Approach to the Formal Specification of SCI Cache Coherence},
	journal = {Computer Aided Verification, 3rd International Workshop (CAV{\textquoteright}91)},
	year = {1992},
	publisher = {Springer-Verlag},
	type = {1},
	author = {Gjessing, Stein and Krogdahl, Stein and Munthe-Kaas, Ellen},
	editor = {K. G. {Larsen} and Skou, A.}
}
@techreport {ND.7.Gjessing.1990.b,
	title = {Approaching Verification of the SCI Cache Coherence Protocol},
	number = {145},
	year = {1990},
	month = {August,},
	publisher = {Department of Informatics, University of Oslo},
	author = {Gjessing, Stein and Krogdahl, Stein and Munthe-Kaas, Ellen}
}
@techreport {ND.7.Gjessing.1990.c,
	title = {Parallel Composition of Observable Processes With Shared Variables},
	number = {143},
	year = {1990},
	month = {August,},
	publisher = {Department of Informatics, University of Oslo},
	author = {Gjessing, Stein and Munthe-Kaas, Ellen}
}
@techreport {ND.7.Gjessing.1990.a,
	title = {A Top Down Approach to the Formal Specification of SCI Cache Coherence},
	number = {146},
	year = {1990},
	month = {August,},
	publisher = {Department of Informatics, University of Oslo},
	author = {Gjessing, Stein and Krogdahl, Stein and Munthe-Kaas, Ellen}
}
@inproceedings {ND.6.Gjessing.1989,
	title = {Formal Specification and Verification of SCI Cache Coherence},
	journal = {Norsk Informatikk Konferanse},
	year = {1989},
	month = {november,},
	type = {1},
	author = {Gjessing, Stein and Krogdahl, Stein and Munthe-Kaas, Ellen}
}
@inproceedings {ND.5.Gjessing.1989,
	title = {Trace Based Verification of Parallel Programs With Shared Variables},
	journal = {22nd Annual Hawaii International Conference on System Sciences},
	year = {1989},
	month = {January,},
	type = {1},
	author = {Gjessing, Stein and Munthe-Kaas, Ellen}
}
