Publications

Publication Title	Authors	Date Published	Venue	Research Group	Download
Abstractions in Decision Procedures for Algebraic Data Types	Hung T. Pham Michael Whalen	March 2013	University of Minnesota	Critical Systems Research Group	13-006.pdf
A DSL for cross-domain security	David Hardin Konrad Slind Michael Whalen Hung T. Pham	December 2012		Critical Systems Research Group	guardol_hilt_2012.pdf
Your What is My How: Iteration and Hierarchy in System Design	Michael Whalen Andrew Gacek Anitha Murugesan Mats Heimdahl Sanjai Rayadurgam	November 2012		Critical Systems Research Group	06359702.pdf
The Hidden Models of Model Checking	Willem Visser Michael Whalen	October 2012	Software & Systems Modeling, October 2012, Volume 11, Issue 4, pp 541-555	Critical Systems Research Group	hidden-models.pdf
Improving Symbolic Execution for Statecharts Formalisms	Corina Pǎsǎreanu Michael Whalen	September 2012	MoDeVVa '12 Proceedings of the Workshop on Model-Driven Engineering, Verification and Validation	Critical Systems Research Group	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	06344559.pdf
Automated Oracle Creation Support, or: How I Learned to Stop Worrying About Fault Propagation and Love Mutation Testing	Gregory Gay Mats Heimdahl	May 2012	Proceedings of the 2012 International Conference on Software Engineering	Critical Systems Research Group
Compositional Verification of Architectural Models	Andrew Gacek Steven Miller Michael Whalen	April 2012	Proceedings of the Fourth NASA Formal Methods Symposium, Norfolk, VA, April 3-5, 2012	Critical Systems Research Group	NFM-springer-proof-72260126.pdf
Incremental Verification with Mode Machine Invariants in State Machines	Michael Whalen	April 2012	Proceedings of the Fourth NASA Formal Methods Symposium, Norfolk, VA, April 3-5, 2012	Critical Systems Research Group	paper.pdf
Integrating Statechart Components in Polyglot	Corina Pǎsǎreanu Michael Whalen	April 2012	Proceedings of the Fourth NASA Formal Methods Symposium, Norfolk, VA, April 3-5, 2012	Critical Systems Research Group	4709 (Pasareanu)_1.pdf