University of Minnesota
Software Engineering Center
/

You are here

Publications

Publication Titlesort descending Authors Date of Publication Venue Associated Research Groups Publication Files
Partial Translation Verification for Untrusted Code-Generators Matt Staats
Mats Heimdahl
October 2008 10th International Conference on Formal Methods and Software Engineering (ICFEM '08) Critical Systems Research Group PDF icon main.pdf
Polyglot: Modeling and Analysis for Multiple Statechart Formalisms Daniel Balasubramanian
Corina Pǎsǎreanu
Dr. Michael Whalen, Ph.D.
Gabor Karsai
Michael Lowry
July 2011 Proceedings of the International Symposium on Software Testing and Analysis (ISSTA), Toronto, Ontario, Canada, July 17-21, 2011. Critical Systems Research Group PDF icon ISSTA2011.pdf
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
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
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
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
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
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
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
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

Pages