University of Minnesota
Software Engineering Center
/

You are here

Publications

Publication Title Authors Date of Publicationsort descending Venue Associated Research Groups Publication Files
A DSL for cross-domain security David Hardin
Konrad Slind
Dr. Michael Whalen, Ph.D.
Hung T. Pham
December 2012 Critical Systems Research Group PDF icon guardol_hilt_2012.pdf
Your "What" is My "How": Iteration and Hierarchy in System Design Dr. Michael Whalen, Ph.D.
Andrew Gacek
Darren Cofer
Anitha Murugesan
Mats Heimdahl
Sanjai Rayadurgam
March 2013 IEEE Software Critical Systems Research Group PDF icon Your-what-is-my-how-Pre-Pub
Abstractions in Decision Procedures for Algebraic Data Types Hung T. Pham
Dr. Michael Whalen, Ph.D.
March 2013 University of Minnesota Critical Systems Research Group PDF icon 13-006.pdf
Using Models to Address Challenges in Specifying Requirements for Medical Cyber-Physical Systems Anitha Murugesan
Sanjai Rayadurgam
Mats Heimdahl
April 2013 Medical Cyber Physical Systems Workshop, International Conference on Cyber-Physical Systems, Philadelphia, 2013. Critical Systems Research Group
An Improved Unrolling-Based Decision Procedure for Algebraic Data Types Hung T. Pham
Dr. Michael Whalen, Ph.D.
May 2013 Fifth Working Conference on Verified Software: Theories, Tools and Experiments (VSTTE'13) Critical Systems Research Group PDF icon VSTTE.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 PDF icon 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 PDF icon icsews13twinpeaks-id8-p-16815-preprint.pdf
Observable Modified Condition/Decision Coverage Dr. Michael Whalen, Ph.D.
Gregory Gay
Dongjiang You
Mats Heimdahl
Matt Staats
May 2013 35th International Conference on Software Engineering, San Francisco, California, May 2013. Critical Systems Research Group PDF icon whalen-icse13.pdf
Efficient Test Coverage Measurement for MC/DC Dr. Michael Whalen, Ph.D.
Mats Heimdahl
Ian De Silva
June 2013 University of Minnesota Critical Systems Research Group PDF icon monitorAlgorithm.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

Pages