University of Minnesota
Software Engineering Center
/

You are here

Publications

Publication Title Authors Date of Publication Venuesort descending Associated Research Groups Publication Files
Nimbus: A Tool for Specification Centered Development Mats Heimdahl
Dr. Michael Whalen, Ph.D.
Jeffrey Thompson
September 2003 Proceedings of the 11th IEEE International Requirements Engineering Conference, Monterey Bay, California, September, 2003. Critical Systems Research Group PDF icon nimbus-tool-demo-re03.pdf
Development of Security Software: A High-Assurance Methodology David Hardin
D. Randolph Johnson
Lucas Wagner
Dr. Michael Whalen, Ph.D.
T. Douglas Hiratzka
December 2009 Proceedings of the 11th International Conference of Formal Engineering Methods (ICFEM 2009). Critical Systems Research Group PDF icon hardin-icfem09-proof.pdf
Integration of Formal Analysis into a Model-Based Software Development Process Dr. Michael Whalen, Ph.D.
Darren Cofer
Steven Miller
Bruce Krogh
Walter Storm
July 2007 Proceedings of the 12th International Workshop on Industrial Critical Systems (FMICS 2007) Critical Systems Research Group PDF icon FMICS07-Rockwell-Collins.pdf
Integrative Analysis ofState-Based Requirements Barb Czerny
Mats Heimdahl
October 1998 Proceedings of the 13th IEEE International Conference on Automated Software Engineering, Honolulu, Hawaii, October, 1998. (Nominated for best paper.) Critical Systems Research Group
An Approach to Automatic Code Generation for Safety-Critical Systems Dr. Michael Whalen, Ph.D.
Mats Heimdahl
October 1999 Proceedings of the 14th IEEE International Conference on Automated Software Engineering}, Orlando, October, 1999. Critical Systems Research Group PDF icon 0_cg-requirements-hase99.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
Deviation Analysis Through Model Checking Mats Heimdahl
Yunja Choi
Dr. Michael Whalen, Ph.D.
September 2002 Proceedings of the 17th IEEE International Conference on Automated Software Engineering. Edinburgh, United Kingdom, September 2002. Critical Systems Research Group PDF icon main-deviation.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
Combination Model Checking: Approach and a Case Study. Yunja Choi
Mats Heimdahl
September 2004 Proceedings of the 19th IEEE International Conference on Automated Software Engineering--Short paper session. Linz, Austria, September, 2004. Critical Systems Research Group
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