University of Minnesota
Software Engineering Center
/

You are here

Publications

Publication Title Authors Date of Publicationsort ascending Venue Associated Research Groups Publication Files
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
Improving Symbolic Execution for Statecharts Formalisms Daniel Balasubramanian
Corina Pǎsǎreanu
Michael Whalen
Jason Biatek
Gabor Karsai
Michael Lowry
September 2012 MoDeVVa '12 Proceedings of the Workshop on Model-Driven Engineering, Verification and Validation Critical Systems Research Group PDF icon p47-balasubramanian.pdf
Your what is my how: Why requirements and architectural design should be iterative Michael Whalen
Anitha Murugesan
Mats Heimdahl
September 2012 Twin Peaks of Requirements and Architecture (Twin Peaks), 2012 IEEE First International Workshop Critical Systems Research Group PDF icon Your What is My How.pdf
Automated Oracle Creation Support, or: How I Learned to Stop Worrying About Fault Propagation and Love Mutation Testing Matt Staats
Gregory Gay
Mats Heimdahl
May 2012 Proceedings of the 2012 International Conference on Software Engineering Critical Systems Research Group PDF icon 12oracle.pdf
Integrating Statechart Components in Polyglot Daniel Balasubramanian
Corina Pǎsǎreanu
Jason Biatek
Michael Whalen
Gabor Karsai
Michael Lowry
Thomas Pressburger
April 2012 Proceedings of the Fourth NASA Formal Methods Symposium, Norfolk, VA, April 3-5, 2012 Critical Systems Research Group PDF icon 4709 (Pasareanu)_1.pdf
Incremental Verification with Mode Machine Invariants in State Machines Temesghen Kahsai
Pierre-Loic Garoche
Cesare Tinelli
Michael Whalen
April 2012 Proceedings of the Fourth NASA Formal Methods Symposium, Norfolk, VA, April 3-5, 2012 Critical Systems Research Group PDF icon paper.pdf

Pages