University of Minnesota
Software Engineering Center
/

You are here

Publications

Publication Title Authors Date of Publicationsort ascending Venue Associated Research Groups Publication Files
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
Reasoning about Algebraic Datatypes with Abstractions Hung T. Pham
Andrew Gacek
Michael Whalen
April 2016 Journal of Automated Reasoning, to appear Critical Systems Research Group
Requirements and Architectures for Secure Vehicles Michael Whalen
Darren Cofer
Andrew Gacek
April 2016 To appear in IEEE Software, summer 2016 Critical Systems Research Group
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
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
Executing Model-based Tests on Platform-specific Implementations Dongjiang You
Sanjai Rayadurgam
Mats Heimdahl
John Komp
Baek-Gyu Kim
Oleg Sokolsky
November 2015 30th International Conference on Automated Software Engineering, Lincoln, Nebraska, November 2015. Critical Systems Research Group PDF icon you-ase15.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
Efficient Observability-based Test Generation by Dynamic Symbolic Execution Dongjiang You
Sanjai Rayadurgam
Michael Whalen
Mats Heimdahl
Gregory Gay
November 2015 26th International Symposium on Software Reliability Engineering, Gaithersburg, Maryland, November 2015. Critical Systems Research Group PDF icon you-issre15.pdf
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
Design Considerations for Modeling Modes in Cyber–Physical Systems Anitha Murugesan
Sanjai Rayadurgam
Michael Whalen
Mats Heimdahl
October 2015 IEEE Design & Test Critical Systems Research Group PDF icon 07172459.pdf

Pages