University of Minnesota
Software Engineering Center
/

You are here

Publications

Publication Title Authors Date of Publication Venuesort descending Associated Research Groups Publication Files
A DSL for cross-domain security David Hardin
Konrad Slind
Michael Whalen
Hung T. Pham
December 2012 Critical Systems Research Group PDF icon guardol_hilt_2012.pdf
Hierarchical Circular Compositional Reasoning Andrew Gacek
Andreas Katis
Michael Whalen
Darren Cofer
March 2014 Critical Systems Research Group PDF icon main.pdf
A flexible and non-intrusive approach for computing complex structural coverage metrics Michael Whalen
Suzette Person, Ph.D.
Dr. Neha Rungta
Matt Staats
Daniella Grijincu
May 2015 Critical Systems Research Group PDF icon ICSE_cov_metrics.pdf
A Reference Model for Simulating Agile Processes Ian De Silva
Sanjai Rayadurgam
Mats Heimdahl
June 2015 The International Conference on Software and System Process (ICSSP) 2015 Critical Systems Research Group PDF icon ICSSP2015-ReferenceModel-authorCopy.pdf
Model Validation using Automatically Generated Requirements-Based Tests Ajitha Rajan
Michael Whalen
Mats Heimdahl
November 2007 10th IEEE High Assurance Systems Engineering Symposium (HASE '07) Critical Systems Research Group PDF icon rajanA-ModelValidation.pdf
Behavioral Fault Modeling for Model-based Safety Analysis Anjali Joshi
Mats Heimdahl
November 2007 10th IEEE High Assurance Systems Engineering Symposium (HASE '07) Critical Systems Research Group PDF icon HASE07-Main.pdf
Partial Translation Verification for Untrusted Code-Generators Matt Staats
Mats Heimdahl
October 2008 10th International Conference on Formal Methods and Software Engineering (ICFEM '08) Critical Systems Research Group PDF icon main.pdf
A Simulation Study on Some Search Algorithms for Regression Test Case Prioritization Dongjiang You July 2010 10th International Conference on Quality Software, Zhangjiajie, China, July 2010. PDF icon li-qsic10.pdf
On the Danger of Coverage Directed Test Case Generation Gregory Gay
Matt Staats
Michael Whalen
Mats Heimdahl
March 2012 15th International Conference on Fundamental Approaches to Software Engineering (FASE), Tallinn, Estonia, March 24- April 1, 2012. Critical Systems Research Group PDF icon 12danger.pdf
Experiences From Specifying the TCAS II Requirements Using RSML Mats Heimdahl
Nancy Leveson
Jon Reese
November 1998 17th Digital Avionics Systems Conference}, Seattle, November 1998. (Awarded Best Paper in Software Track.) Critical Systems Research Group PDF icon tcas-experience.pdf

Pages