University of Minnesota
Software Engineering Center
/

You are here

Publications

Publication Title Authors Date of Publication Venuesort descending Associated Research Groups Publication Files
Toward Automation for Model Checking Requirement Specifications with Numeric Constraints Yunja Choi
Sanjai Rayadurgam
Mats Heimdahl
September 2002 Requirements Engineering Journal, Vol-7, Issue 4, pp. 225-242 (2002) Critical Systems Research Group PDF icon domain_reduction.pdf
Structuring Product Family Requirements for n-Dimensional and Hierarchical Product Lines Jeffrey Thompson
Mats Heimdahl
January 2002 Requirements Engineering Journal, vol-8, Issue 1, pp.42-54 (2002) Critical Systems Research Group PDF icon family-structure-REJournal.pdf
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
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
Ideas on How Product-Line Engineering Can be Extended Jeffrey Thompson
Mats Heimdahl
May 2001 Second ICSE Workshop on Software Product Lines: Economics, Architectures, and Implications.}, Toronto, Canada, May 2001 Critical Systems Research Group PDF icon family-position-icse01w3.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
Modeling and Requirements on the Physical Side of Cyber-Physical Systems Mats Heimdahl
Lian Duan
Anitha Murugesan
Sanjai Rayadurgam
May 2013 Second International Workshop on the Twin Peaks of Requirements and Architecture, International Conference on Software Engineering, San Francisco, 2013. Critical Systems Research Group PDF icon icsews13twinpeaks-id8-p-16815-preprint.pdf
Designing Specification Languages for Process Control Systems: Lessons Learned and Steps to the Future Nancy Leveson
Mats Heimdahl
Jon Reese
September 1999 Seventh ACM SIGSOFT Symposium on the Foundations on Software Engineering, p. 127-145, series LNCS, Volume 1687, September 1999. Critical Systems Research Group PDF icon draft4.pdf
Generating Model Checkers from Algebraic Specifications Teodor Rus
Eric Van Wyk
Tom Halverson
May 2002 Silver: an Extensible Attribute Grammar System Minnesota Extensible Language Tools
A Fast Algorithm to Compute Heap Memory Bounds of Java Card Applets Hung T. Pham
Anh-Hoang Truong
Ninh-Thuan Truong
Wei-Ngan Chin
November 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods (SEFM '08) Critical Systems Research Group PDF icon pham-JavaCardHeap.pdf

Pages