University of Minnesota
Software Engineering Center

You are here


Publication Titlesort ascending Authors Date of Publication Venue Associated Research Groups Publication Files
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
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 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 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 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 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 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 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 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 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