University of Minnesota
Software Engineering Center
/

You are here

Publications

Publication Title Authors Date of Publicationsort ascending Venue Associated Research Groups Publication Files
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
Compositional Verification of Architectural Models Darren Cofer
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 PDF icon NFM-springer-proof-72260126.pdf
The Guardol Language and Verification System David Hardin
Konrad Slind
Michael Whalen
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
On the Danger of Coverage Directed Test Case Generation Gregory Gay
Matt Staats
Michael Whalen
Mats Heimdahl
March 2012 15th International Conference on Fundamental Approaches to Software Engineering (FASE), Tallinn, Estonia, March 24- April 1, 2012. Critical Systems Research Group PDF icon 12danger.pdf
Introduction to the Guardol Language and Verification System David Hardin
Konrad Slind
Michael Whalen
Hung T. Pham
December 2011 The Fifth Annual Layered Assurance Workshop (LAW 2011) Critical Systems Research Group PDF icon law2011-paper-hardin.pdf
Circular Hierarchical Reasoning using Past Time LTL Darren Cofer
Andrew Gacek
Michael Whalen
December 2011 Department of Computer Science and Engineering University of Minnesota 200 Union St. Minneapolis, MN 55455 Critical Systems Research Group PDF icon main_5.pdf
Polyglot: Modeling and Analysis for Multiple Statechart Formalisms Daniel Balasubramanian
Corina Pǎsǎreanu
Michael Whalen
Gabor Karsai
Michael Lowry
July 2011 Proceedings of the International Symposium on Software Testing and Analysis (ISSTA), Toronto, Ontario, Canada, July 17-21, 2011. Critical Systems Research Group PDF icon ISSTA2011.pdf
Building Extensible Specifications and Implementations of Promela with AbleP Yogesh Mali
Eric Van Wyk
July 2011 International SPIN Workshop on Model Checking of Software (SPIN 2011) Minnesota Extensible Language Tools PDF icon mali11spin.pdf
Integrating attribute grammar and functional programming language features Ted Kaminski
Eric Van Wyk
July 2011 International Conference on Software Language Engineering (SLE 2011) Minnesota Extensible Language Tools PDF icon kaminski11sle_preproceedings.pdf
FixBag: A Fixpoint Calculator for Quantified Bag Constraints Hung T. Pham
Minh-Thai Trinh
Anh-Hoang Truong
Wei-Ngan Chin
July 2011 23rd International Conference onComputer Aided Verification (CAV'11) Critical Systems Research Group PDF icon cav11.pdf

Pages