University of Minnesota
Software Engineering Center

You are here


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
Dr. Michael Whalen, Ph.D.
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 Dr. Michael Whalen, Ph.D.
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 Framework to Evaluate Candidate Agile Software Development Processes Ian De Silva July 2019 Ph.D. Dissertation, University of Minnesota Critical Systems Research Group PDF icon desilva-dissertation-2019.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 Dr. Michael Whalen, Ph.D. 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
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