University of Minnesota
Software Engineering Center

You are here


Publication Title Authors Date of Publication Venuesort descending Associated Research Groups Publication Files
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
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
Specification Based Prototyping of Control Systems Mats Heimdahl
Jeffrey Thompson
October 2000 19th IEEE Digital Avionics Systems Conference}, Philadelphia, October 2000. Critical Systems Research Group PDF icon heimdamp.pdf
Parallel Symbolic Execution for Structural Test Generation Matt Staats
Corina Pǎsǎreanu
July 2010 19th International Symposium on Software Testing and Analysis (ISSTA'10) Critical Systems Research Group PDF icon p183-staats.pdf
Mutation Selection: Some Could be Better than All Dongjiang You June 2011 1st International Workshop on Evidential Assessment of Software Technologies, Beijing, China, June 2011. PDF icon zhang-east11.pdf
Practical Aspects of Building a Constrained Random Test Framework for Safety-critical Embedded Systems Dongjiang You
Isaac Amundson
Scott Hareland
Sanjai Rayadurgam
May 2014 1st International Workshop on Modern Software Engineering Methods for Industrial Automation, Hyderabad, India, May 2014. Critical Systems Research Group PDF icon you-mosemina14.pdf
Computing heap space cost of Java Card applets Hung T. Pham
Anh-Hoang Truong
Ninh-Thuan Truong
July 2008 2008 IEEE International Conference on Research, Innovation and Vision for the Future in Computing & Communication Technologies Critical Systems Research Group PDF icon pham.08.rivfa_.pdf
Steering Model-Based Oracles to Admit Real Program Behaviors Gregory Gay
Sanjai Rayadurgam
Mats Heimdahl
June 2014 2014 International Conference on Software Engineering, Hyderabad, India, June 2014. Critical Systems Research Group PDF icon 14nier.pdf
Network generation and analysis of complex biomass conversion systems Srinivas Rangarajan
Ted Kaminski
Eric Van Wyk
Aditya Bhan
Aditya Bhan
Prodromos Daoutidis
May 2011 21st European Symposium on Computer Aided Process Engineering (ESCAPE 21) Minnesota Extensible Language Tools PDF icon rangarajan11escape.pdf
Mode Confusion Analysis of a Flight Guidance System Using Formal Methods Anjali Joshi
Steven Miller
Mats Heimdahl
October 2003 22nd IEEE Digital Avionics Systems Conference (DASC'2003)} (Awarded Best Paper of Session), Indianapolis, October 2003. Critical Systems Research Group PDF icon modeConfusion.pdf