University of Minnesota
Software Engineering Center
/

You are here

Publications

Publication Title Authors Date of Publicationsort ascending Venue Associated Research Groups Publication Files
Requirements Analysis of a Quad-Redundant Flight Control System John Backes
Darren Cofer
Andrew Gacek
Michael Whalen
April 2015 Appeared in NASA Formal Methods Conference, Pasadena, CA, April 27-29, 2015. Critical Systems Research Group PDF icon NFM-qfcs.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
Improving the Accuracy of Oracle Verdicts Through Automated Model Steering Gregory Gay
Sanjai Rayadurgam
Mats Heimdahl
September 2014 29th ACM/IEEE International Conference on Automated Software Engineering (ASE'14). Vasteras, Sweden, September 2014. Critical Systems Research Group PDF icon 14ase.pdf
Reasoning about Confidence and Uncertainty in Assurance Cases: A Survey Lian Duan
Sanjai Rayadurgam
Mats Heimdahl
Anaheed Ayoub
Oleg Sokolsky
Insup Lee
July 2014 4th International Symposium on Foundations of Health Information Engineering and Systems/6th International Workshop on Software Engineering in Health Care in Arlington, VA, July 2014 Critical Systems Research Group PDF icon lduan_SEHC_1.pdf
From Requirements to Code: Model Based Development of A Medical Cyber Physical System? Anitha Murugesan
Mats Heimdahl
Michael Whalen
Sanjai Rayadurgam
John Komp
Lian Duan
Baek-Gyu Kim
Oleg Sokolsky
Insup Lee
June 2014 Fourth International Symposium on Foundations of Health Information Engineering and Systems (FHIES 2014) and Software Engineering in Healthcare workshop (SEHC 2014) Critical Systems Research Group PDF icon MedCPS.pdf
Helping System Engineers Bridge the Peaks Dr. Neha Rungta
Suzette Person, Ph.D.
Jason Biatek
Michael Whalen
Joseph Castle, Ph.D.
Karen Gundy-Burlet
June 2014 4th International Workshop on the Twin Peaks of Requirements and Architecture, Hyderabad, India, June 1, 2014. Critical Systems Research Group PDF icon 14285 (Rungta)_1.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
Moving the Goalposts: Coverage Satisfaction is Not Enough Gregory Gay
Matt Staats
Michael Whalen
Mats Heimdahl
June 2014 7th International Workshop on Search-Based Software Testing (SBST'14). Hyderabad, India, June 2014. Critical Systems Research Group PDF icon 14sbst.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
Structuring Simulink Models for Verification and Reuse Michael Whalen
Anitha Murugesan
Sanjai Rayadurgam
Mats Heimdahl
May 2014 6th International Workshop on Modeling in Software Engineering Critical Systems Research Group PDF icon Main.pdf

Pages