University of Minnesota
Software Engineering Center
/

You are here

Publications

Publication Title Authors Date of Publicationsort ascending Venue Associated Research Groups Publication Files
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
On the Requirements of High-Integrity Code Generation Dr. Michael Whalen, Ph.D.
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
An Approach to Automatic Code Generation for Safety-Critical Systems Dr. Michael Whalen, Ph.D.
Mats Heimdahl
October 1999 Proceedings of the 14th IEEE International Conference on Automated Software Engineering}, Orlando, October, 1999. Critical Systems Research Group PDF icon 0_cg-requirements-hase99.pdf
Designing Specification Languages: Lessons Learned and Steps to the Future Nancy Leveson
Mats Heimdahl
Jon Reese
September 1999 Proceedings of the Seventh ACM/SIGSOFT Symposium on the Foundations of Software Engineering}, Toulouse, France, September, 1999 Critical Systems Research Group
Aspect Oriented Compilers Oege de Moor
Simon Peyton-Jones
Eric Van Wyk
September 1999 In Proc. of the First International Symposium on Generative and Component-Based Software Engineering. Springer Verlag Lecture Notes in Computer Science vol. 1799 Minnesota Extensible Language Tools
Designing Specification Languages for Process Control Systems: Lessons Learned and Steps to the Future Nancy Leveson
Mats Heimdahl
Jon Reese
September 1999 Seventh ACM SIGSOFT Symposium on the Foundations on Software Engineering, p. 127-145, series LNCS, Volume 1687, September 1999. Critical Systems Research Group PDF icon draft4.pdf
Specification-Based Prototyping for Embedded Systems Jeffrey Thompson
Mats Heimdahl
Steven Miller
September 1999 Foundations of Software Engineering, Toulouse, France, September, 1999 Critical Systems Research Group PDF icon proto-refine-fse99.pdf
An Integrated Development Environment Prototyping Safety Critical Systems Jeffrey Thompson
Mats Heimdahl
June 1999 Tenth IEEE International Workshop on Rapid System Prototyping (RSP'99), Clearwater Beach, Florida, June, 1999 Critical Systems Research Group PDF icon prototyping-rsp99.pdf
SpecTRM: A CAD SYSTEM FOR DIGITAL AUTOMATION Nancy Leveson
Jon Reese
Mats Heimdahl
November 1998 Proceedings of the 17th Digital Avionics Systems Conference, November 1998 Critical Systems Research Group PDF icon SpecTRM.pdf
Experiences From Specifying the TCAS II Requirements Using RSML Mats Heimdahl
Nancy Leveson
Jon Reese
November 1998 17th Digital Avionics Systems Conference}, Seattle, November 1998. (Awarded Best Paper in Software Track.) Critical Systems Research Group PDF icon tcas-experience.pdf

Pages