University of Minnesota
Software Engineering Center
/

You are here

Publications

Publication Titlesort descending Authors Date of Publication Venue Associated Research Groups Publication Files
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
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
SpecTRM: A CAD SYSTEM FOR DIGITAL AUTOMATION Nancy Leveson
Jon Reese
Mats Heimdahl
November 1998 Proceedings of the 17th Digital Avionics Systems Conference, November 1998 Critical Systems Research Group PDF icon SpecTRM.pdf
Steering Model-Based Oracles to Admit Real Program Behaviors Gregory Gay
Sanjai Rayadurgam
Mats Heimdahl
June 2014 2014 International Conference on Software Engineering, Hyderabad, India, June 2014. Critical Systems Research Group PDF icon 14nier.pdf
Structuring Formal Control Systems Specifications for Reuse: Surviving Hardware Changes Jeffrey Thompson
Mats Heimdahl
Debra Erickson
January 2000 Fifth NASA Langley Formal Methods Workshop, Virginia, January 2000 Critical Systems Research Group PDF icon reuse-lfm2000.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
Structuring Simulink Models for Verification and Reuse Dr. Michael Whalen, Ph.D.
Anitha Murugesan
Sanjai Rayadurgam
Mats Heimdahl
May 2014 6th International Workshop on Modeling in Software Engineering Critical Systems Research Group PDF icon Main.pdf
Test Case Generation for Adequacy of Floating-point to Fixed-point Conversion Hung T. Pham
Anh-Hoang Truong
Wei-Ngan Chin
Takenobu Aoshima
October 2010 3rd International Workshop on Harnessing Theories for Tool Support in Software (TTSS) Critical Systems Research Group PDF icon TTSS2009.pdf
Test-Sequence Generation from Formal Requirement Models Sanjai Rayadurgam
Mats Heimdahl
October 2001 Proceedings of the Sixth IEEE High Assurance in Systems Engineering Workshop, Florida, October 2001. Critical Systems Research Group PDF icon 0_main.pdf
Test-Suite Reduction for Model Based Tests: Effects on Test Quality and Implications for Testing Mats Heimdahl
Devaraj George
September 2004 Proceedings of the 19th IEEE International Conference on Automated Software Engineering. Linz, Austria, September, 2004. Critical Systems Research Group PDF icon 131_heimdahl_m.pdf

Pages