University of Minnesota
Software Engineering Center
/

You are here

Publications

Publication Title Authors Date of Publication Venuesort descending Associated Research Groups Publication Files
Specification Test Coverage Adequacy Criteria = Specification Test Generation Inadequacy Criteria? Mats Heimdahl
Devaraj George
Robert Weber
February 2004 Proceedings of the 8th IEEE High Assurance in Systems Engineering Workshop Critical Systems Research Group PDF icon hase-04-inadequacy.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
On the Requirements of High-Integrity Code Generation Dr. Michael Whalen, Ph.D.
Mats Heimdahl
November 1999 Proceedings of the Fourth IEEE High Assurance in Systems Engineering Workshop, Washington DC, November, 1999. Critical Systems Research Group PDF icon cg-requirements-hase99.pdf
Integrating Statechart Components in Polyglot Daniel Balasubramanian
Corina Pǎsǎreanu
Jason Biatek
Dr. Michael Whalen, Ph.D.
Gabor Karsai
Michael Lowry
Thomas Pressburger
April 2012 Proceedings of the Fourth NASA Formal Methods Symposium, Norfolk, VA, April 3-5, 2012 Critical Systems Research Group PDF icon 4709 (Pasareanu)_1.pdf
Incremental Verification with Mode Machine Invariants in State Machines Temesghen Kahsai
Pierre-Loic Garoche
Cesare Tinelli
Dr. Michael Whalen, Ph.D.
April 2012 Proceedings of the Fourth NASA Formal Methods Symposium, Norfolk, VA, April 3-5, 2012 Critical Systems Research Group PDF icon paper.pdf
Compositional Verification of Architectural Models Darren Cofer
Andrew Gacek
Steven Miller
Dr. Michael Whalen, Ph.D.
April 2012 Proceedings of the Fourth NASA Formal Methods Symposium, Norfolk, VA, April 3-5, 2012 Critical Systems Research Group PDF icon NFM-springer-proof-72260126.pdf
Certification Support for Automatically Generated Programs Johann Schumann
Bernd Fischer
Dr. Michael Whalen, Ph.D.
January 2003 Proceedings of the Hawaiian Int'l Conf. on System Sciences (HICSS 36) Critical Systems Research Group PDF icon 187490337a.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
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
From Models to Efficient Code: It's All in the Middle. Eric Van Wyk
Mats Heimdahl
Yousef Saad
May 2004 Proceedings of the International Workshop on Software Engineering for High Performance Computing System (HPCS) Applications, Edinburgh, Scotland, May 2004. Critical Systems Research Group
Minnesota Extensible Language Tools
PDF icon icse_hpc-r5.pdf

Pages