University of Minnesota
Software Engineering Center
/

You are here

Publications

Publication Titlesort ascending Authors Date of Publication Venue Associated Research Groups Publication Files
Sharing Experiments Using Open Source Software Adam Nelson
Tim Menzies, Ph.D.
Gregory Gay
March 2011 Software: Practice and Experience Volume 41, Issue 3, pages 283–305 Critical Systems Research Group PDF icon 10ourmine.pdf
Safety and Software Intensive Systems: Challenges Old and New Mats Heimdahl May 2007 FOSE '07 2007 Future of Software Engineering Critical Systems Research Group PDF icon FOSE-MAts-Full.pdf
Resolute: An Assurance Case Language for Architecture Models Andrew Gacek
John Backes
Darren Cofer
Konrad Slind
Dr. Michael Whalen, Ph.D.
April 2016 Appeared at the International Conference on High Integrity Languages and Tools, Portland, Oregon, October 18-21, 2014. Critical Systems Research Group PDF icon Resolute-HILT.pdf
Requirements Specification for Process Control Systems Nancy Leveson
Mats Heimdahl
Holly Hildreth
Jon Reese
September 1994 IEEE Transactions on Software Engineering, Vol. SE-20, No. 9, pp. 684--707 (September 1994) Critical Systems Research Group
Requirements Coverage as an Adequacy Measure for Conformance Testing Ajitha Rajan
Dr. Michael Whalen, Ph.D.
Matt Staats
Mats Heimdahl
October 2008 Proceedings of the 10th International Conference on Formal Methods and Software Engineering (ICFEM 2008) Critical Systems Research Group PDF icon main.pdf
Requirements Capture and Evaluation in Nimbus: The Light Control Case Study Jeffrey Thompson
Dr. Michael Whalen, Ph.D.
Mats Heimdahl
July 2000 Journal of Universal Computer Science Critical Systems Research Group PDF icon Thompson_J_M.pdf
Requirements and Architectures for Secure Vehicles Dr. Michael Whalen, Ph.D.
Darren Cofer
Andrew Gacek
July 2016 IEEE Software, July/August 2016 Critical Systems Research Group PDF icon s4req.pdf
Requirements Analysis of a Quad-Redundant Flight Control System John Backes
Darren Cofer
Andrew Gacek
Dr. Michael Whalen, Ph.D.
April 2015 Appeared in NASA Formal Methods Conference, Pasadena, CA, April 27-29, 2015. Critical Systems Research Group PDF icon NFM-qfcs.pdf
ReqsCov: A Tool for Measuring Test-Adequacy over Requirements Matt Staats
Weijia Deng
Ajitha Rajan
Mats Heimdahl
Kurt Woodham
September 2008 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE'08) Critical Systems Research Group PDF icon ase08-reqscov-tool.pdf
Representation of Confidence in Assurance Cases using the Beta Distribution Lian Duan
Sanjai Rayadurgam
Mats Heimdahl
Oleg Sokolsky
Insup Lee
January 2016 Proceedings of the High Assurance Systems Engineering Symposium (accepted for publication) in Orlando, FL, January 2016 Critical Systems Research Group

Pages