University of Minnesota
Software Engineering Center
/

You are here

Publications

Publication Title Authors Date of Publication Venuesort ascending Associated Research Groups Publication Files
RADA: A Tool for Reasoning about Algebraic Data Types with Abstractions Hung T. Pham
Dr. Michael Whalen, Ph.D.
August 2013 9th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2013) Critical Systems Research Group PDF icon rada_fse2013.pdf
Machine-Checked Proofs For Realizability Checking Algorithms Andreas Katis
Andrew Gacek
Dr. Michael Whalen, Ph.D.
July 2015 7th Working Conference on Verified Software: Theories, Tools, and Experiments Critical Systems Research Group PDF icon document.pdf
Are We There Yet? Determining the Adequacy of Formalized Requirements and Test Suites Anitha Murugesan
Dr. Michael Whalen, Ph.D.
Dr. Neha Rungta
Oksana Tkachuk, Ph.D.
Suzette Person, Ph.D.
Mats Heimdahl
Dongjiang You
April 2015 7th NASA Formal Methods Symposium, Pasadena, California, April 2015. Critical Systems Research Group PDF icon murugesan-nfm15.pdf
Moving the Goalposts: Coverage Satisfaction is Not Enough Gregory Gay
Matt Staats
Dr. Michael Whalen, Ph.D.
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
Structuring Simulink Models for Verification and Reuse Dr. Michael Whalen, Ph.D.
Anitha Murugesan
Sanjai Rayadurgam
Mats Heimdahl
May 2014 6th International Workshop on Modeling in Software Engineering Critical Systems Research Group PDF icon Main.pdf
Helping System Engineers Bridge the Peaks Dr. Neha Rungta
Suzette Person, Ph.D.
Jason Biatek
Dr. Michael Whalen, Ph.D.
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
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
Composable Language Extensions for Computational Geometry: a Case Study Eric Van Wyk
Eric Johnson
January 2007 40th Hawaii International Conference on System Sciences Minnesota Extensible Language Tools PDF icon cg.pdf
Test Case Generation for Adequacy of Floating-point to Fixed-point Conversion Hung T. Pham
Anh-Hoang Truong
Wei-Ngan Chin
Takenobu Aoshima
October 2010 3rd International Workshop on Harnessing Theories for Tool Support in Software (TTSS) Critical Systems Research Group PDF icon TTSS2009.pdf
Representation of Confidence in Assurance Case Evidence Lian Duan
Sanjai Rayadurgam
Mats Heimdahl
Oleg Sokolsky
Insup Lee
November 2015 3rd International Workshop on Assurance Cases for Software-Intensive Systems in Delft, The Netherlands, September 2015 Critical Systems Research Group PDF icon lduan_ASSURE_2015.pdf

Pages