University of Minnesota
Software Engineering Center
/

You are here

Publications

Publication Title Authors Date of Publication Venuesort ascending Associated Research Groups Publication Files
Domain Specific Meta Languages Eric Van Wyk February 2000 In Proc. of <a href="http://www.acm.org/conferences/sac/"> ACM Symposium on Applied Computing</a> Minnesota Extensible Language Tools
Model-Based Safety Analysis of Simulink Models Using SCADE Design Verifier Anjali Joshi
Mats Heimdahl
September 2005 In Proc. of 24th International Conference, SAFECOMP Critical Systems Research Group PDF icon CameraReady-safecomp-05.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
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
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
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
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 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
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

Pages