Stein Krogdahl
External collaborator
Publications
Simula-affiliated publications listed
2007
Proceedings, refereed
C. Griwodz, L. Korsnes, N. Christophersen, S. Krogdahl, P. C. Ölveczky, J. Søberg, T. S. Lande and J. Hagen
Not a Real Paper - a Dummy to Demonstrate the Coauthorship Process at Simula
First International Conference on Time-Wasting in Computer Science
2002
Journal Articles
S. Krogdahl and O. Lysne
On Verification of Parallel Message-Passing Processes
Formal Aspects of Computing
1997
Journal Articles
S. Krogdahl and O. Lysne
Verifying a Distributed List System: a Case History
Formal Aspects of Computing
1993
Technical reports
S. Krogdahl and O. Lysne
Verifying a Distributed List System: a Case History
1992
Proceedings, refereed
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)
1990
Technical reports
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
1989
Proceedings, refereed
S. Gjessing, S. Krogdahl and E. Munthe-Kaas
Formal Specification and Verification of SCI Cache Coherence
Norsk Informatikk Konferanse
1984
Talks, contributed
S. Gjessing and S. Krogdahl
Datastart, Maskinarbeidsbok I Turbo-Pascal and Compas-Pascal
Misc