University of Minnesota
Software Engineering Center
/

You are here

Publications

Publication Title Authors Date of Publicationsort ascending Venue Associated Research Groups Publication Files
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
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
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
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
Integrative Analysis ofState-Based Requirements Barb Czerny
Mats Heimdahl
October 1998 Proceedings of the 13th IEEE International Conference on Automated Software Engineering, Honolulu, Hawaii, October, 1998. (Nominated for best paper.) Critical Systems Research Group
On the Effectiveness of Slicing Hierarchical State Machines: A Case Study Mats Heimdahl
Jeffrey Thompson
Michael Whalen
February 1998 Proceedings of the Twenty-fourth EUROMICRO Conference Critical Systems Research Group
Using Model Checking in a Parallelizing Compiler Teodor Rus
Eric Van Wyk
January 1998 Parallel Processing Letters. in Volume 8, Number 4 Minnesota Extensible Language Tools
An Algebraic Language Processing Environment Teodor Rus
Tom Halverson
Eric Van Wyk
Robert Kooima
December 1997 In Proc. 6th International Conference on Algebraic Methodology and Software Technology (AMAST). Springer Verlag Lecture Notes in Computer Science volume 1349 Minnesota Extensible Language Tools PDF icon sydney.pdf
Reduction and Slicing of Hierarchical State Machines Mats Heimdahl
Michael Whalen
September 1997 Proceedings of the Fifth ACM SIGSOFT Symposium on the Foundations of Software Engineering Critical Systems Research Group PDF icon p450-heimdahl.pdf
Integrating Temporal Logics and Model Checking Algorithms Teodor Rus
Eric Van Wyk
May 1997 In Proc. of the 4th AMAST Workshop on Real-Time Systems held in Mallorca, Spain May 21-23, 1997. Springer Verlag Lecture Notes in Computer Science volume 1231. Minnesota Extensible Language Tools PDF icon mallorca_final.pdf

Pages