University of Minnesota
Software Engineering Center
/

You are here

Publications

Publication Title Authors Date of Publication Venuesort descending Associated Research Groups Publication Files
Assessing Requirements Quality Through Requirements Coverage Ajitha Rajan
Mats Heimdahl
Kurt Woodham
May 2008 The sixth NASA Langley Formal Methods Workshop Critical Systems Research Group PDF icon LFM-08.pdf
Interaction Testing in Model-Based Development: Effect on Model-Coverage Renee Bryce
Ajitha Rajan
Mats Heimdahl
December 2006 The XIII Asia Pacific Software Engineering Conference (APSEC '06) Critical Systems Research Group PDF icon interaction-coverage-APSEC-06.pdf
Specification languages in algebraic compilers Eric Van Wyk January 2003 Theoretical Computer Science, 231(3):351--385 Minnesota Extensible Language Tools PDF icon amast_tcs.pdf
Your what is my how: Why requirements and architectural design should be iterative Dr. Michael Whalen, Ph.D.
Anitha Murugesan
Mats Heimdahl
September 2012 Twin Peaks of Requirements and Architecture (Twin Peaks), 2012 IEEE First International Workshop Critical Systems Research Group PDF icon Your What is My How.pdf
Efficient Test Coverage Measurement for MC/DC Dr. Michael Whalen, Ph.D.
Mats Heimdahl
Ian De Silva
June 2013 University of Minnesota Critical Systems Research Group PDF icon monitorAlgorithm.pdf
Abstractions in Decision Procedures for Algebraic Data Types Hung T. Pham
Dr. Michael Whalen, Ph.D.
March 2013 University of Minnesota Critical Systems Research Group PDF icon 13-006.pdf
Hierarchical Multi-Formalism Proofs of Cyber-Physical Systems Dr. Michael Whalen, Ph.D.
Sanjai Rayadurgam
Elaheh Ghassabani
Anitha Murugesan
Oleg Sokolsky
Mats Heimdahl
Insup Lee
August 2015 University of Minnesota Critical Systems Research Group PDF icon MultiFormalismTechReport.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
Silver: an Extensible Attribute Grammar System Eric Van Wyk
Derek Bodin
Jimin Gao
Lijesh Krishnan
March 2007 Workshop on Language Descriptions, Tools, and Applications (LDTA) Minnesota Extensible Language Tools PDF icon silver_ldta.pdf
Modes, Features, and State-Based Modeling for Clarity and Flexibility Anitha Murugesan
Sanjai Rayadurgam
Mats Heimdahl
May 2013 Workshop on Modeling in Software Engineering, International Conference on Software Engineering, San Francisco, 2013 Critical Systems Research Group PDF icon icsews13mise-id26-p-16815-preprint.pdf

Pages