University of Minnesota
Software Engineering Center
/

You are here

Publications

Publication Title Authors Date of Publicationsort ascending Venue Associated Research Groups Publication Files
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
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
The Hidden Models of Model Checking Willem Visser
Matthew Dwyer
Dr. Michael Whalen, Ph.D.
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
Dr. Michael Whalen, Ph.D.
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 Dr. Michael Whalen, Ph.D.
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
Compositional Verification of Architectural Models Darren Cofer
Andrew Gacek
Steven Miller
Dr. Michael Whalen, Ph.D.
April 2012 Proceedings of the Fourth NASA Formal Methods Symposium, Norfolk, VA, April 3-5, 2012 Critical Systems Research Group PDF icon NFM-springer-proof-72260126.pdf
Integrating Statechart Components in Polyglot Daniel Balasubramanian
Corina Pǎsǎreanu
Jason Biatek
Dr. Michael Whalen, Ph.D.
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
Dr. Michael Whalen, Ph.D.
April 2012 Proceedings of the Fourth NASA Formal Methods Symposium, Norfolk, VA, April 3-5, 2012 Critical Systems Research Group PDF icon paper.pdf
The Guardol Language and Verification System David Hardin
Konrad Slind
Dr. Michael Whalen, Ph.D.
Hung T. Pham
March 2012 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Tallinn, Estonia Critical Systems Research Group PDF icon guardol.pdf

Pages