University of Minnesota
Software Engineering Center
/

You are here

Publications

Publication Title Authors Date of Publication Venuesort ascending Associated Research Groups Publication Files
The Guardol Language and Verification System David Hardin
Konrad Slind
Dr. Michael Whalen, Ph.D.
Hung T. Pham
March 2012 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Tallinn, Estonia Critical Systems Research Group PDF icon guardol.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
On the Danger of Coverage Directed Test Case Generation Gregory Gay
Matt Staats
Dr. Michael Whalen, Ph.D.
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
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
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
Model Validation using Automatically Generated Requirements-Based Tests Ajitha Rajan
Dr. Michael Whalen, Ph.D.
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
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
A DSL for cross-domain security David Hardin
Konrad Slind
Dr. Michael Whalen, Ph.D.
Hung T. Pham
December 2012 Critical Systems Research Group PDF icon guardol_hilt_2012.pdf
Hierarchical Circular Compositional Reasoning Andrew Gacek
Andreas Katis
Dr. Michael Whalen, Ph.D.
Darren Cofer
March 2014 Critical Systems Research Group PDF icon main.pdf

Pages