University of Minnesota
Software Engineering Center
/

You are here

Publications

Publication Title Authors Date of Publicationsort ascending Venue Associated Research Groups Publication Files
Hierarchical Circular Compositional Reasoning Andrew Gacek
Andreas Katis
Michael Whalen
Darren Cofer
March 2014 Critical Systems Research Group main.pdf
Parameterized Abstractions for Reasoning about Algebraic Data Types Hung T. Pham
Michael Whalen
November 2013 Eighth International Workshop on Constraints in Formal Verification (CFV'13) Critical Systems Research Group cfv13.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 hilt03-murugesan.pdf
Cyber-Physical System Requirements - A Model Driven Approach Anitha Murugesan
Lian Duan
Sanjai Rayadurgam
Mats Heimdahl
October 2013 The Grace Hopper Celebration of Women in Computing Critical Systems Research Group GHC2013_Poster.pdf
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 rada_fse2013.pdf
Efficient Test Coverage Measurement for MC/DC Michael Whalen
Mats Heimdahl
Ian De Silva
June 2013 University of Minnesota Critical Systems Research Group monitorAlgorithm.pdf
Observable Modified Condition/Decision Coverage Michael Whalen
Gregory Gay
Mats Heimdahl
Matt Staats
May 2013 2013 International Conference on Software Engineering, San Francisco, CA. May 2013. Critical Systems Research Group icse13main-p280-p-15745-preprint.pdf
Modes, Features, and State-Based Modeling for Clarity and Flexibility Anitha Murugesan
Sanjai Rayadurgam
Mats Heimdahl
May 2013 Workshop on Modeling in Software Engineering, International Conference on Software Engineering, San Francisco, 2013 Critical Systems Research Group icsews13mise-id26-p-16815-preprint.pdf
Modeling and Requirements on the Physical Side of Cyber-Physical Systems Mats Heimdahl
Lian Duan
Anitha Murugesan
Sanjai Rayadurgam
May 2013 Second International Workshop on the Twin Peaks of Requirements and Architecture, International Conference on Software Engineering, San Francisco, 2013. Critical Systems Research Group icsews13twinpeaks-id8-p-16815-preprint.pdf
An Improved Unrolling-Based Decision Procedure for Algebraic Data Types Hung T. Pham
Michael Whalen
May 2013 Fifth Working Conference on Verified Software: Theories, Tools and Experiments (VSTTE'13) Critical Systems Research Group VSTTE.pdf

Pages