University of Minnesota
Software Engineering Center
/

You are here

Publications

Publication Titlesort descending Authors Date of Publication Venue Associated Research Groups Publication Files
Reduction and Slicing of Hierarchical State Machines Mats Heimdahl
Dr. Michael Whalen, Ph.D.
September 1997 Proceedings of the Fifth ACM SIGSOFT Symposium on the Foundations of Software Engineering Critical Systems Research Group PDF icon p450-heimdahl.pdf
Representation of Confidence in Assurance Case Evidence Lian Duan
Sanjai Rayadurgam
Mats Heimdahl
Oleg Sokolsky
Insup Lee
November 2015 3rd International Workshop on Assurance Cases for Software-Intensive Systems in Delft, The Netherlands, September 2015 Critical Systems Research Group PDF icon lduan_ASSURE_2015.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
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
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
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 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 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 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
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

Pages