University of Minnesota
Software Engineering Center
/

You are here

Publications

Publication Title Authors Date of Publication Venuesort descending Associated Research Groups Publication Files
Design Considerations for Modeling Modes in Cyber–Physical Systems Anitha Murugesan
Sanjai Rayadurgam
Dr. Michael Whalen, Ph.D.
Mats Heimdahl
October 2015 IEEE Design & Test Critical Systems Research Group PDF icon 07172459.pdf
Coverage Based Test-Case Generation using Model Checkers Sanjai Rayadurgam
Mats Heimdahl
April 2001 IEEE International Conference on the Engineering of Computer Based Systems, Washington DC, April 2001. Critical Systems Research Group PDF icon main.pdf
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
Requirements and Architectures for Secure Vehicles Dr. Michael Whalen, Ph.D.
Darren Cofer
Andrew Gacek
July 2016 IEEE Software, July/August 2016 Critical Systems Research Group PDF icon s4req.pdf
The Risks of Coverage-Directed Test Case Generation Gregory Gay
Matt Staats
Dr. Michael Whalen, Ph.D.
Mats Heimdahl
August 2015 IEEE Transactions on Software Engineering Critical Systems Research Group PDF icon 15covrisks.pdf
Automated Oracle Data Selection Support Gregory Gay
Matt Staats
Dr. Michael Whalen, Ph.D.
Mats Heimdahl
June 2015 IEEE Transactions on Software Engineering Critical Systems Research Group PDF icon main_oracle_creation.pdf
Requirements Specification for Process Control Systems Nancy Leveson
Mats Heimdahl
Holly Hildreth
Jon Reese
September 1994 IEEE Transactions on Software Engineering, Vol. SE-20, No. 9, pp. 684--707 (September 1994) Critical Systems Research Group
Completeness and Consistency in Hierarchical State-Based Requirements. Mats Heimdahl
Nancy Leveson
June 1996 IEEE Transactions on Software Engineering, Vol. SE-22, No. 6, pp. 363--377 (June 1996) Critical Systems Research Group
Architecture Modeling and Analysis for Safety Engineering Danielle Stewart
Dr. Michael Whalen, Ph.D.
Darren Cofer
Mats Heimdahl
August 2017 IMBSA 2017 (International Symposium on Model-Based Safety Assessment) Critical Systems Research Group PDF icon AMASE.pdf
An Algebraic Language Processing Environment Teodor Rus
Tom Halverson
Eric Van Wyk
Robert Kooima
December 1997 In Proc. 6th International Conference on Algebraic Methodology and Software Technology (AMAST). Springer Verlag Lecture Notes in Computer Science volume 1349 Minnesota Extensible Language Tools PDF icon sydney.pdf

Pages