University of Minnesota
Software Engineering Center
/

You are here

Publications

Publication Title Authors Date of Publicationsort descending Venue Associated Research Groups Publication Files
On the Requirements of High-Integrity Code Generation Michael Whalen
Mats Heimdahl
November 1999 Proceedings of the Fourth IEEE High Assurance in Systems Engineering Workshop, Washington DC, November, 1999. Critical Systems Research Group PDF icon cg-requirements-hase99.pdf
Specifying and Analyzing System Level Inter-Component Interfaces Mats Heimdahl
Jeffrey Thompson
January 2000 Requirements Engineering, Vol-5, Issue 4, pp. 208--224 (2000) Critical Systems Research Group PDF icon interface_paper.pdf
Structuring Formal Control Systems Specifications for Reuse: Surviving Hardware Changes Jeffrey Thompson
Mats Heimdahl
Debra Erickson
January 2000 Fifth NASA Langley Formal Methods Workshop, Virginia, January 2000 Critical Systems Research Group PDF icon reuse-lfm2000.pdf
Domain Specific Meta Languages Eric Van Wyk February 2000 In Proc. of <a href="http://www.acm.org/conferences/sac/"> ACM Symposium on Applied Computing</a> Minnesota Extensible Language Tools
Meta Languages in Algebraic Compilers Eric Van Wyk May 2000 In Proc. of Algebraic Methodology and Software Technology, AMAST 2000. Springer Verlag Lecture Notes in Computer Scinece vol. 1816 Minnesota Extensible Language Tools PDF icon iowacity.pdf
Requirements Capture and Evaluation in Nimbus: The Light Control Case Study Jeffrey Thompson
Michael Whalen
Mats Heimdahl
July 2000 Journal of Universal Computer Science Critical Systems Research Group PDF icon Thompson_J_M.pdf
Specification Based Prototyping of Control Systems Mats Heimdahl
Jeffrey Thompson
October 2000 19th IEEE Digital Avionics Systems Conference}, Philadelphia, October 2000. Critical Systems Research Group PDF icon heimdamp.pdf
Intentional programming: a host of language features Eric Van Wyk
Oege de Moor
Ganesh Sittampalam
Ivan Sanabria Piretti
Kevin Backhouse
Paul Kwiatkowsky
January 2001 Techincal Report PRG-RR-01-21, Computing Laboratory, University of Oxford Minnesota Extensible Language Tools PDF icon ip.pdf
Coverage Based Test-Case Generation using Model Checkers Sanjai Rayadurgam
Mats Heimdahl
April 2001 IEEE International Conference on the Engineering of Computer Based Systems, Washington DC, April 2001. Critical Systems Research Group PDF icon main.pdf
Specification Centered Testing Mats Heimdahl
Sanjai Rayadurgam
Willem Visser
May 2001 Second International Workshop on Analysis, Testing and Verification, Toronto, Canada, May 2001 Critical Systems Research Group PDF icon icse-01-spec-center-testing.pdf

Pages