Ellen Munthe-Kaas

H. V. Hansen, F. J. Velazquez-Garcia, V. Goebel, E. Munthe-Kaas and T. Plagemann

Migration of Fine-grained Multimedia Applications

Middleware '12 Proceedings of the Posters and Demo Track

T. Plagemann, J. Andersson, O. V. Drugan, V. Goebel, C. Griwodz, P. Halvorsen, E. Munthe-Kaas, M. Puzar, N. C. Sanderson and K. Skjelsvik

Middleware Services for Information Sharing in Mobile Ad-Hoc Networks

Broadband Satellite Communication Systems and the Challenges of Mobility

S. Gjessing, S. Krogdahl and E. Munthe-Kaas

A Top Down Approach to the Formal Specification of SCI Cache Coherence

Computer Aided Verification, 3rd International Workshop (CAV'91)

S. Gjessing, S. Krogdahl and E. Munthe-Kaas

A Top Down Approach to the Formal Specification of SCI Cache Coherence

S. Gjessing, S. Krogdahl and E. Munthe-Kaas

Approaching Verification of the SCI Cache Coherence Protocol

S. Gjessing and E. Munthe-Kaas

Parallel Composition of Observable Processes With Shared Variables

S. Gjessing, S. Krogdahl and E. Munthe-Kaas

Formal Specification and Verification of SCI Cache Coherence

Norsk Informatikk Konferanse

S. Gjessing and E. Munthe-Kaas

Trace Based Verification of Parallel Programs With Shared Variables

22nd Annual Hawaii International Conference on System Sciences