University of Minnesota
Software Engineering Center
/

You are here

Publications

Publication Titlesort ascending Authors Date of Publication Venue Associated Research Groups Publication Files
Model Checking RSML-e Requirements Yunja Choi
Mats Heimdahl
October 2002 Proceedings of the Seventh IEEE High Assurance in Systems Engineering Workshop}, Tokyo, Japan, October 2002 Critical Systems Research Group PDF icon model-checking-rsml.pdf
Model Checking Requirements Specifications Using Domain Reduction Abstraction Yunja Choi
Mats Heimdahl
October 2003 Proceedings of the 18th IEEE International Conference on Automated Software Engineering - Short paper session. Montreal, Canada, October 2003. Critical Systems Research Group PDF icon choi-ase-03.pdf
Model Checking Information Flow Dr. Michael Whalen, Ph.D.
David Greve
Lucas Wagner
March 2010 Book Chapter in "Design and Verification of Microprocessor Systems for High-Assurance Applications" D. Hardin, ed. Springer Verlag, March, 2010. Critical Systems Research Group PDF icon Model Checking Information Flow.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
Mode Confusion Analysis of a Flight Guidance System Using Formal Methods Anjali Joshi
Steven Miller
Mats Heimdahl
October 2003 22nd IEEE Digital Avionics Systems Conference (DASC'2003)} (Awarded Best Paper of Session), Indianapolis, October 2003. Critical Systems Research Group PDF icon modeConfusion.pdf
Meta Languages in Algebraic Compilers Eric Van Wyk May 2000 In Proc. of Algebraic Methodology and Software Technology, AMAST 2000. Springer Verlag Lecture Notes in Computer Scinece vol. 1816 Minnesota Extensible Language Tools PDF icon iowacity.pdf
Measuring the Heterogeneity of Crosscompany Datasets Jia Chen
Ye Yang
Wen Zhang
Gregory Gay
June 2010 PROFES 2010 Critical Systems Research Group PDF icon 10profes.pdf
Machine-Checked Proofs For Realizability Checking Algorithms Andreas Katis
Andrew Gacek
Dr. Michael Whalen, Ph.D.
July 2015 7th Working Conference on Verified Software: Theories, Tools, and Experiments Critical Systems Research Group PDF icon document.pdf
Language and Library Support for Climate Data Applications Eric Van Wyk
Vipin Kumar
Michael Steinbach
Shyam Boriah
Alok Choudhary
October 2009 In Proceedings of Workshop on Software Research and Climate Change Minnesota Extensible Language Tools PDF icon wsrcc_van_wyk.pdf
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

Pages