University of Minnesota
Software Engineering Center
/

You are here

Publications

Publication Titlesort ascending Authors Date of Publication Venue Associated Research Groups Publication Files
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
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
Reasoning about Confidence and Uncertainty in Assurance Cases: A Survey Lian Duan
Sanjai Rayadurgam
Mats Heimdahl
Anaheed Ayoub
Oleg Sokolsky
Insup Lee
July 2014 4th International Symposium on Foundations of Health Information Engineering and Systems/6th International Workshop on Software Engineering in Health Care in Arlington, VA, July 2014 Critical Systems Research Group PDF icon lduan_SEHC_1.pdf
Reasoning about Algebraic Datatypes with Abstractions Hung T. Pham
Andrew Gacek
Dr. Michael Whalen, Ph.D.
April 2016 Journal of Automated Reasoning, to appear Critical Systems Research Group
RADA: A Tool for Reasoning about Algebraic Data Types with Abstractions Hung T. Pham
Dr. Michael Whalen, Ph.D.
August 2013 9th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2013) Critical Systems Research Group PDF icon rada_fse2013.pdf
Proving the shalls: Early validation of requirements through formal methods Steven Miller
Alan Tribble
Dr. Michael Whalen, Ph.D.
Mats Heimdahl
August 2006 Software Tools for Technology Transfer, volume 8, number 4. Critical Systems Research Group PDF icon 10.1.1.107.4343.pdf
Proving Correctness of Compiler Optimizations by Temporal Logic David Lacey
Neil D. Jones
Eric Van Wyk
Carl Christian Frederiksen
January 2002 In Proc. of ACM POPL Minnesota Extensible Language Tools PDF icon popl02_correctness.pdf
Programs, Tests, and Oracles: The Foundations of Testing Revisited. Matt Staats
Dr. Michael Whalen, Ph.D.
Mats Heimdahl
May 2011 33rd International Conference on Software Engineering, Honolulu, Hawaii, May 21-28, 2011. ICSE 2011 Distinguished Paper Critical Systems Research Group PDF icon p391-staats.pdf
Proceedings of the 1st Doctoral Symposium of the International Conference on Software Language Engineering (SLE-DS-2010) Eric Van Wyk
Steffen Zschaler
October 2010 International Conference on Software Language Engineering (SLE 2010) Minnesota Extensible Language Tools
Practical Aspects of Building a Constrained Random Test Framework for Safety-critical Embedded Systems Dongjiang You
Isaac Amundson
Scott Hareland
Sanjai Rayadurgam
May 2014 1st International Workshop on Modern Software Engineering Methods for Industrial Automation, Hyderabad, India, May 2014. Critical Systems Research Group PDF icon you-mosemina14.pdf

Pages