University of Minnesota
Software Engineering Center
/

You are here

Publications

Publication Titlesort descending Authors Date of Publication Venue Associated Research Groups Publication Files
Compositional Verification of a Medical Device System Anitha Murugesan
Dr. Michael Whalen, Ph.D.
Sanjai Rayadurgam
Mats Heimdahl
November 2013 ACM SIGAda’s Annual International Conference on High Integrity Language Technology, Pittsburg, PA, November, 2013 Critical Systems Research Group PDF icon hilt03-murugesan.pdf
Compositional Verification of Architectural Models Darren Cofer
Andrew Gacek
Steven Miller
Dr. Michael Whalen, Ph.D.
April 2012 Proceedings of the Fourth NASA Formal Methods Symposium, Norfolk, VA, April 3-5, 2012 Critical Systems Research Group PDF icon NFM-springer-proof-72260126.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
Context-Aware Scanning for Parsing Extensible Languages Eric Van Wyk
August Schwerdfeger
October 2007 GPCE 2007 - Intl. Conference on Generative Programming and Component Engineering Minnesota Extensible Language Tools PDF icon gpce.pdf
Contract discovery from black-box components Vaibhav Sharma
Taejoon Byun
Stephen McCamant
Sanjai Rayadurgam
Mats Heimdahl
November 2018 WASPI 2018 Proceedings of the 1st ACM SIGSOFT International Workshop on Automated Specification Inference Critical Systems Research Group PDF icon fsews18waspimain-id2-p.pdf
Coverage Based Test-Case Generation using Model Checkers Sanjai Rayadurgam
Mats Heimdahl
April 2001 IEEE International Conference on the Engineering of Computer Based Systems, Washington DC, April 2001. Critical Systems Research Group PDF icon main.pdf
Coverage Metrics for Requirements-Based Testing Dr. Michael Whalen, Ph.D.
Ajitha Rajan
Mats Heimdahl
July 2006 Proceedings of the 2006 International Symposium on Software Testing and Analysis Critical Systems Research Group PDF icon res28-whalen.pdf
Coverage Metrics for Requirements-Based Testing: Evaluation of Effectiveness Matt Staats
Dr. Michael Whalen, Ph.D.
Ajitha Rajan
Mats Heimdahl
April 2010 Proceedings of the Second NASA Formal Methods Symposium Critical Systems Research Group PDF icon main.pdf
Cyber-Physical System Requirements - A Model Driven Approach Anitha Murugesan
Lian Duan
Sanjai Rayadurgam
Mats Heimdahl
October 2013 The Grace Hopper Celebration of Women in Computing Critical Systems Research Group PDF icon GHC2013_Poster.pdf
Design Considerations for Modeling Modes in Cyber–Physical Systems Anitha Murugesan
Sanjai Rayadurgam
Dr. Michael Whalen, Ph.D.
Mats Heimdahl
October 2015 IEEE Design & Test Critical Systems Research Group PDF icon 07172459.pdf

Pages