University of Minnesota
Software Engineering Center
/

You are here

Publications

Publication Title Authors Date of Publication Venuesort descending Associated Research Groups Publication Files
Automatically Finding the Control Variables for Complex System Behavior Gregory Gay
Tim Menzies, Ph.D.
Misty Davies
Karen Gundy-Burlet
December 2010 AUTOMATED SOFTWARE ENGINEERING Volume 17, Number 4, 439-468 Critical Systems Research Group PDF icon 10tar3.pdf
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 Dr. Michael Whalen, Ph.D.
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
Dr. Michael Whalen, Ph.D.
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 Dr. Michael Whalen, Ph.D. 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
Dr. Michael Whalen, Ph.D.
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
Dr. Michael Whalen, Ph.D.
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

Pages