University of Minnesota
Software Engineering Center
/

You are here

Publications

Publication Title Authors Date of Publication Venuesort ascending Associated Research Groups Publication Files
The Hidden Models of Model Checking Willem Visser
Matthew Dwyer
Dr. Michael Whalen, Ph.D.
October 2012 Software & Systems Modeling, October 2012, Volume 11, Issue 4, pp 541-555 Critical Systems Research Group PDF icon hidden-models.pdf
Extending Lustre with Timeout Automata Jimin Gao
Dr. Michael Whalen, Ph.D.
Eric Van Wyk
April 2007 SLAP 2007, Model-driven High-level Programming of Embedded Systems, (formerly Synchronous Languages, Applications, and Programming) Minnesota Extensible Language Tools PDF icon slap.pdf
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
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
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
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
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
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
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
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

Pages