University of Minnesota
Software Engineering Center
/

You are here

Publications

Publication Title Authors Date of Publicationsort descending Venue Associated Research Groups Publication Files
Requirements Specification for Process Control Systems Nancy Leveson
Mats Heimdahl
Holly Hildreth
Jon Reese
September 1994 IEEE Transactions on Software Engineering, Vol. SE-20, No. 9, pp. 684--707 (September 1994) Critical Systems Research Group
Is an MVE the Right Environment for Your Visualization Application? Kent Lee
Jun Ni
Tom Halverson
Eric Van Wyk
Judy Brown
May 1995 Computer Graphics, vol 29, num 2, May 1995. Minnesota Extensible Language Tools
Algebraic Implementation of Model Checking Teodor Rus
Eric Van Wyk
March 1996 In Proc. of the 3rd AMAST Workshop on Real-Time Systems held in Salt Lake City, Utah March 6-8 1996. Minnesota Extensible Language Tools PDF icon utah_book_final.pdf
Completeness and Consistency in Hierarchical State-Based Requirements. Mats Heimdahl
Nancy Leveson
June 1996 IEEE Transactions on Software Engineering, Vol. SE-22, No. 6, pp. 363--377 (June 1996) Critical Systems Research Group
A Formal Approach to Parallelizing Compilers Teodor Rus
Eric Van Wyk
March 1997 In Proc. of the 8th SIAM Conference on Parallel Processing for Scientific Computing held in Minneapolis, Minnesota March 14-17, 1997. Minnesota Extensible Language Tools PDF icon minn_final.pdf
Model Checking as a Tool Used by Parallelizing Compilers Teodor Rus
Eric Van Wyk
April 1997 In Proc. of the 2nd Formal Methods for Parallel Processing: Theory and Applications workshop held at the 11th International Parallel Processing Symposium in Geneva Switzerland, April 1-5, 1997. Minnesota Extensible Language Tools PDF icon geneva_final.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
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
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
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

Pages