University of Minnesota
Software Engineering Center
/

You are here

Publications

Publication Titlesort descending Authors Date of Publication Venue Associated Research Groups Publication Files
A Baseline Method For Search-Based Software Engineering Gregory Gay September 2010 PROMISE '10 Proceedings of the 6th International Conference on Predictive Models in Software Engineering Critical Systems Research Group PDF icon 10baseline.pdf
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
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
A Fast Algorithm to Compute Heap Memory Bounds of Java Card Applets Hung T. Pham
Anh-Hoang Truong
Ninh-Thuan Truong
Wei-Ngan Chin
November 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods (SEFM '08) Critical Systems Research Group PDF icon pham-JavaCardHeap.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 Formal Approach to Parallelizing Compilers Teodor Rus
Eric Van Wyk
March 1997 In Proc. of the 8th SIAM Conference on Parallel Processing for Scientific Computing held in Minneapolis, Minnesota March 14-17, 1997. Minnesota Extensible Language Tools PDF icon minn_final.pdf
A Hierarchical Requirements Reference Model Anitha Murugesan October 2014 Grace Hopper Celebration for Women in Computing 2014 Critical Systems Research Group PDF icon ExtendedAbstract.pdf
A Parametric Structural Operational Semantics for Stateflow, UML Statecharts, and Rhapsody Michael Whalen August 2010 Department of Computer Science and Engineering University of Minnesota 200 Union St. Minneapolis, MN 55455 Critical Systems Research Group PDF icon Parametric SOS.pdf
A Proposal for Model-Based Safety Analysis Anjali Joshi
Steven Miller
Michael Whalen
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 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

Pages