Publications

Publication Title	Authors	Date Published	Venue	Research Group	Download
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	utah_book_final.pdf utah_book_final.ps
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	minn_final.pdf minn_final.ps
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	geneva_final.pdf geneva_final.ps
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	mallorca_final.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	sydney.pdf sydney.ps
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	ppl_final.ps
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	ase-integrative-barb.ps