University of Minnesota
Software Engineering Center
/

You are here

Publications

Publication Titlesort ascending Authors Date of Publication Venue Associated Research Groups Publication Files
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 PDF icon interface_paper.pdf
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 PDF icon proto-refine-fse99.pdf
Specification Test Coverage Adequacy Criteria = Specification Test Generation Inadequacy Criteria? Mats Heimdahl
Devaraj George
Robert Weber
February 2004 Proceedings of the 8th IEEE High Assurance in Systems Engineering Workshop Critical Systems Research Group PDF icon hase-04-inadequacy.pdf
Specification languages in algebraic compilers Eric Van Wyk January 2003 Theoretical Computer Science, 231(3):351--385 Minnesota Extensible Language Tools PDF icon amast_tcs.pdf
Specification Centered Testing Mats Heimdahl
Sanjai Rayadurgam
Willem Visser
May 2001 Second International Workshop on Analysis, Testing and Verification, Toronto, Canada, May 2001 Critical Systems Research Group PDF icon icse-01-spec-center-testing.pdf
Specification Based Prototyping of Control Systems Mats Heimdahl
Jeffrey Thompson
October 2000 19th IEEE Digital Avionics Systems Conference}, Philadelphia, October 2000. Critical Systems Research Group PDF icon heimdamp.pdf
Software Model Checking Takes Off Steven Miller
Dr. Michael Whalen, Ph.D.
Darren Cofer
February 2010 Communications of the ACM, Volume 53, No 2. Critical Systems Research Group PDF icon Software Model Checking Takes Off.pdf
Software Model Checking for Avionics SSoftware MSoftware Model Checking for Avionics SSoftware Model Checking for Avionics Systemsystemsodel Checking for Avionics Systemsystems Darren Cofer
Dr. Michael Whalen, Ph.D.
Steven Miller
October 2008 Proceedings of the 27th Digital Avionics Systems Conference (DASC’08) Critical Systems Research Group PDF icon Software-Model-Checking.pdf
Silver: an Extensible Attribute Grammar System Eric Van Wyk
Derek Bodin
Jimin Gao
Lijesh Krishnan
January 2010 Science of Computer Programming. Special issue for LDTA 2006 and 2007. This article is the same as the proofed version available on Elsevier's web site - only the formatting differs. Minnesota Extensible Language Tools PDF icon silver_vanwyk.pdf
Silver: an Extensible Attribute Grammar System Eric Van Wyk
Derek Bodin
Jimin Gao
Lijesh Krishnan
March 2007 Workshop on Language Descriptions, Tools, and Applications (LDTA) Minnesota Extensible Language Tools PDF icon silver_ldta.pdf

Pages