University of Minnesota
Software Engineering Center
/

You are here

Publications

Publication Title Authors Date of Publicationsort ascending Venue Associated Research Groups Publication Files
Efficient Test Coverage Measurement for MC/DC Michael Whalen
Mats Heimdahl
Ian De Silva
June 2013 University of Minnesota Critical Systems Research Group PDF icon monitorAlgorithm.pdf
Observable Modified Condition/Decision Coverage Michael Whalen
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
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
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 PDF icon VSTTE.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
Abstractions in Decision Procedures for Algebraic Data Types Hung T. Pham
Michael Whalen
March 2013 University of Minnesota Critical Systems Research Group PDF icon 13-006.pdf
Your "What" is My "How": Iteration and Hierarchy in System Design Michael Whalen
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
A DSL for cross-domain security David Hardin
Konrad Slind
Michael Whalen
Hung T. Pham
December 2012 Critical Systems Research Group PDF icon guardol_hilt_2012.pdf
The Hidden Models of Model Checking Willem Visser
Matthew Dwyer
Michael Whalen
October 2012 Software & Systems Modeling, October 2012, Volume 11, Issue 4, pp 541-555 Critical Systems Research Group PDF icon hidden-models.pdf

Pages