Publications

Publication Title	Authors	Date Published	Venue	Research Group	Download
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	interface_paper.ps interface_paper.pdf
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	cg-requirements-hase99.ps cg-requirements-hase99.pdf
An Approach to Automatic Code Generation for Safety-Critical Systems	Michael Whalen Mats Heimdahl	October 1999	Proceedings of the 14th IEEE International Conference on Automated Software Engineering}, Orlando, October, 1999.	Critical Systems Research Group	0_cg-requirements-hase99.ps 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	aspects.ps
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	proto-refine-fse99.pdf proto-refine-fse99.ps
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	draft4.ps draft4.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	prototyping-rsp99.pdf prototyping-rsp99.ps
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	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	tcas-experience.pdf