University of Minnesota
Software Engineering Center
/

You are here

Publications

Publication Title Authors Date of Publication Venuesort descending Associated Research Groups Publication Files
Machine-Checked Proofs For Realizability Checking Algorithms Andreas Katis
Andrew Gacek
Dr. Michael Whalen, Ph.D.
July 2015 7th Working Conference on Verified Software: Theories, Tools, and Experiments Critical Systems Research Group PDF icon document.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
Compositional Verification of a Medical Device System Anitha Murugesan
Dr. Michael Whalen, Ph.D.
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 Dr. Michael Whalen, Ph.D. 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
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
Automated Oracle Data Selection Support Gregory Gay
Matt Staats
Dr. Michael Whalen, Ph.D.
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
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
Towards Synthesis from Assume-Guarantee Contracts involving Infinite Theories: A Preliminary Report Andreas Katis
Dr. Michael Whalen, Ph.D.
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, Ph.D.
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

Pages