University of Minnesota
Software Engineering Center
/

You are here

Publications

Publication Titlesort descending Authors Date of Publication Venue Associated Research Groups Publication Files
Designing Specification Languages for Process Control Systems: Lessons Learned and Steps to the Future Nancy Leveson
Mats Heimdahl
Jon Reese
September 1999 Seventh ACM SIGSOFT Symposium on the Foundations on Software Engineering, p. 127-145, series LNCS, Volume 1687, September 1999. Critical Systems Research Group PDF icon draft4.pdf
Designing Specification Languages: Lessons Learned and Steps to the Future Nancy Leveson
Mats Heimdahl
Jon Reese
September 1999 Proceedings of the Seventh ACM/SIGSOFT Symposium on the Foundations of Software Engineering}, Toulouse, France, September, 1999 Critical Systems Research Group
Development of Security Software: A High-Assurance Methodology David Hardin
D. Randolph Johnson
Lucas Wagner
Dr. Michael Whalen, Ph.D.
T. Douglas Hiratzka
December 2009 Proceedings of the 11th International Conference of Formal Engineering Methods (ICFEM 2009). Critical Systems Research Group PDF icon hardin-icfem09-proof.pdf
Deviation Analysis Through Model Checking Mats Heimdahl
Yunja Choi
Dr. Michael Whalen, Ph.D.
September 2002 Proceedings of the 17th IEEE International Conference on Automated Software Engineering. Edinburgh, United Kingdom, September 2002. Critical Systems Research Group PDF icon main-deviation.pdf
Deviation Analysis: A New Use for Model Checking Mats Heimdahl
Yunja Choi
Dr. Michael Whalen, Ph.D.
March 2005 Journal of Automated Software Engineering, volume 12, issue 3 Critical Systems Research Group
Discovering Instructions for Robust Binary-level Coverage Criteria Vaibhav Sharma
Taejoon Byun
Stephen McCamant
Sanjai Rayadurgam
Mats Heimdahl
July 2017 Proceedings of the 1st ACM SIGSOFT International Workshop on Testing Embedded and Cyber-Physical Systems. ACM Critical Systems Research Group PDF icon isstaws17tecpsmain-tecpsmainid7-p-a398738-32158M-final.pdf
Domain Modeling for Development Process Simulation Ian De Silva
Sanjai Rayadurgam
Mats Heimdahl
July 2017 Critical Systems Research Group PDF icon ICSSP2017 - Domain Modeling for Development Process Simulation
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
Efficient Observability-based Test Generation by Dynamic Symbolic Execution Dongjiang You
Sanjai Rayadurgam
Dr. Michael Whalen, Ph.D.
Mats Heimdahl
Gregory Gay
November 2015 26th International Symposium on Software Reliability Engineering, Gaithersburg, Maryland, November 2015. Critical Systems Research Group PDF icon you-issre15.pdf
Efficient Test Coverage Measurement for MC/DC Dr. Michael Whalen, Ph.D.
Mats Heimdahl
Ian De Silva
June 2013 University of Minnesota Critical Systems Research Group PDF icon monitorAlgorithm.pdf

Pages