University of Minnesota
Software Engineering Center
/

You are here

Publications

Publication Title Authors Date of Publication Venuesort descending Associated Research Groups Publication Files
RADA: A Tool for Reasoning about Algebraic Data Types with Abstractions Hung T. Pham
Michael Whalen
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
Compositional Verification of a Medical Device System Anitha Murugesan
Michael Whalen
Sanjai Rayadurgam
Mats Heimdahl
November 2013 ACM SIGAda’s Annual International Conference on High Integrity Language Technology, Pittsburg, PA, November, 2013 Critical Systems Research Group PDF icon hilt03-murugesan.pdf
Verifiable Composition of Deterministic Grammars August Schwerdfeger
Eric Van Wyk
June 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) Minnesota Extensible Language Tools PDF icon pldi202-schwerdfeger.pdf
Certificate Management: A Practitioner’s Perspective Michael Whalen November 2005 Appeared at the 2005 Workshop on Software Certificate Management (SoftCeMent05) Critical Systems Research Group PDF icon Position paper for SoftCeMent.pdf
Resolute: An Assurance Case Language for Architecture Models Andrew Gacek
John Backes
Darren Cofer
Konrad Slind
Michael Whalen
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
Automated Oracle Data Selection Support Gregory Gay
Matt Staats
Michael Whalen
Mats Heimdahl
November 2015 Appeared in IEEE Transactions on Software Engineering, Volume 41 (11), November, 2015 Critical Systems Research Group PDF icon main_oracle_creation.pdf
Requirements Analysis of a Quad-Redundant Flight Control System John Backes
Darren Cofer
Andrew Gacek
Michael Whalen
April 2015 Appeared in NASA Formal Methods Conference, Pasadena, CA, April 27-29, 2015. Critical Systems Research Group PDF icon NFM-qfcs.pdf
Towards Synthesis from Assume-Guarantee Contracts involving Infinite Theories: A Preliminary Report Andreas Katis
Michael Whalen
Andrew Gacek
May 2016 Appeared in the 4th FME Workshop on Formal Methods in Software Engineering, Austin, TX, May 15, 2016. Critical Systems Research Group PDF icon document.pdf
When to Use Data from Other Projects for Effort Estimation Ekrem Kocaguneli
Gregory Gay
Tim Menzies
Ye Yang
Jacky Keung
September 2010 ASE '10 Proceedings of the IEEE/ACM international conference on Automated software engineering Critical Systems Research Group PDF icon 10ccwc.pdf
Automatically Finding the Control Variables for Complex System Behavior Gregory Gay
Tim Menzies
Misty Davies
Karen Gundy-Burlet
December 2010 AUTOMATED SOFTWARE ENGINEERING Volume 17, Number 4, 439-468 Critical Systems Research Group PDF icon 10tar3.pdf

Pages