University of Minnesota
Software Engineering Center
/

You are here

Publications

Publication Title Authors Date of Publication Venuesort ascending Associated Research Groups Publication Files
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
Nimbus: A Tool for Specification Centered Development Mats Heimdahl
Dr. Michael Whalen, Ph.D.
Jeffrey Thompson
September 2003 Proceedings of the 11th IEEE International Requirements Engineering Conference, Monterey Bay, California, September, 2003. Critical Systems Research Group PDF icon nimbus-tool-demo-re03.pdf
Requirements Coverage as an Adequacy Measure for Conformance Testing Ajitha Rajan
Dr. Michael Whalen, Ph.D.
Matt Staats
Mats Heimdahl
October 2008 Proceedings of the 10th International Conference on Formal Methods and Software Engineering (ICFEM 2008) Critical Systems Research Group PDF icon main.pdf
Generating MC/DC Adequate Test Sequences Through Model Checking Sanjai Rayadurgam
Mats Heimdahl
December 2003 Proceedings of the 28th Annual IEEE/NASA Software Engineering Workshop -- SEW-03. Greenbelt, Maryland, December 2003 Critical Systems Research Group PDF icon TestGeneration03_0.pdf
Certifying Synthesized Code Dr. Michael Whalen, Ph.D.
Bernd Fischer
Johann Schumann
July 2002 Proceedings of Formal Methods Europe 2002 Critical Systems Research Group PDF icon whalen-fme.pdf
AutoBayes/CC – Combining Program Synthesis with Automatic Code Certification Dr. Michael Whalen, Ph.D.
Bernd Fischer
Johann Schumann
July 2002 Proceedings of Conference on Automated Deduction (CADE) 18 Critical Systems Research Group PDF icon docu.pdf
A Proposal for Model-Based Safety Analysis Anjali Joshi
Steven Miller
Dr. Michael Whalen, Ph.D.
Mats Heimdahl
October 2005 Proceedings of 24th Digital Avionics Systems Conference (DASC) (Awarded Best Paper of Track) Critical Systems Research Group Microsoft Office document icon 215joshi.doc
A Case for Requirements Validation Mats Heimdahl April 2004 Proceeding of National Academies Workshop on Software Certification and Dependability., Washington DC, April, 2004 Critical Systems Research Group PDF icon heimdah-statement.pdf
Adding Dimension Analysis to Java as a Composable Language Extension Eric Van Wyk
Yogesh Mali
July 2008 Post-proceedings of Generative and Transformational Techniques in Software Engineering (GTTSE) Minnesota Extensible Language Tools PDF icon dimensions.pdf
Automated Steering of Model-Based Test Oracles to Admit Real Program Behaviors Gregory Gay May 2015 Ph.D. Thesis, University of Minnesota Critical Systems Research Group PDF icon GregoryGayDissertation.pdf

Pages