Morten Peter Lindegaard
- 2004
- Published
Proof support for RAISE - by a Reuse Approach Based on Institutions. / Lindegaard, Morten Peter; Hansen, Michael Reichhardt (Supervisor); Haxthausen, Anne Elisabeth (Supervisor).
2004.Publication: Research › Ph.d. thesis – Annual report year: 2004
- Published
Proof Support for RAISE - by a Reuse Approach based on Institutions. / Lindegaard, Morten Peter; Haxthausen, Anne Elisabeth.
In: Proceedings of AMAST'04. Springer-Verlag, 2004. p. 319-333.Publication: Research - peer-review › Article in proceedings – Annual report year: 2004
- 2003
- Published
Representing RSL Specifications in Isabelle/HOL. / Lindegaard, Morten Peter; Basin et al., David (Editor).
In: Theorem Proving in Higher Order Logics 2003 - Emerging Trends Proceedings: Technical Report No. 187, Universität Freiburg. Aracne Editrice S.R.L., 2003. p. 95-110.Publication: Research - peer-review › Article in proceedings – Annual report year: 2003
- 2002
- Published
Specify in RSL and Prove in Isabelle. / Lindegaard, Morten Peter.
2002. Poster session presented at Computer Science and Engineering PhD Day May 2002, .Publication: Research › Poster – Annual report year: 2002
- 2001
- Published
Proof Support for RAISE. / Lindegaard, Morten Peter; Hansen, Michael Reichhardt (Editor).
2001. Poster session presented at NWPT'01, The 13th Nordic Workshop on Programming Theory, .Publication: Research › Poster – Annual report year: 2001
- 2000
- Published
Modelling Railway Interlocking Systems. / Lindegaard, Morten Peter; Viuf, P.; Haxthausen, Anne Elisabeth.
In: 9th IFAC Symposium on Control in Transportation Systems 2000. Technical University Braunschweig, 2000. p. 211-217.Publication: Research - peer-review › Article in proceedings – Annual report year: 2000