University of Minnesota
Software Engineering Center
/

You are here

Publications

Publication Title Authors Date of Publication Venuesort descending Associated Research Groups Publication Files
On the effect of test-suite reduction on automatically generated model-based tests Mats Heimdahl
Devaraj George
March 2007 Automated Software Engineering, Volume 14 Issue 1, March 2007 Critical Systems Research Group
Model Checking Information Flow Michael Whalen
David Greve
Lucas Wagner
March 2010 Book Chapter in "Design and Verification of Microprocessor Systems for High-Assurance Applications" D. Hardin, ed. Springer Verlag, March, 2010. Critical Systems Research Group PDF icon Model Checking Information Flow.pdf
Software Model Checking Takes Off Steven Miller
Michael Whalen
Darren Cofer
February 2010 Communications of the ACM, Volume 53, No 2. Critical Systems Research Group PDF icon Software Model Checking Takes Off.pdf
Is an MVE the Right Environment for Your Visualization Application? Kent Lee
Jun Ni
Tom Halverson
Eric Van Wyk
Judy Brown
May 1995 Computer Graphics, vol 29, num 2, May 1995. Minnesota Extensible Language Tools
A Parametric Structural Operational Semantics for Stateflow, UML Statecharts, and Rhapsody Michael Whalen August 2010 Department of Computer Science and Engineering University of Minnesota 200 Union St. Minneapolis, MN 55455 Critical Systems Research Group PDF icon Parametric SOS.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
Automatic Generation of Static Fault Trees from AADL Models Anjali Joshi
Steve Vestal
Pam Binns
June 2007 DSN 2007 Workshop on Architecting Dependable Systems Critical Systems Research Group PDF icon Joshi-CameraReady-WADS07.pdf
Parameterized Abstractions for Reasoning about Algebraic Data Types Hung T. Pham
Michael Whalen
November 2013 Eighth International Workshop on Constraints in Formal Verification (CFV'13) Critical Systems Research Group PDF icon cfv13.pdf
Tool Intensive Software Development: New Challenges for Verification, Validation, and Certification Mats Heimdahl May 2004 FAA and Embry Riddle Aeronautical University Software Tools Forum, Daytona Beach, May, 2004. Critical Systems Research Group PDF icon 1_main.pdf
Structuring Formal Control Systems Specifications for Reuse: Surviving Hardware Changes Jeffrey Thompson
Mats Heimdahl
Debra Erickson
January 2000 Fifth NASA Langley Formal Methods Workshop, Virginia, January 2000 Critical Systems Research Group PDF icon reuse-lfm2000.pdf

Pages