University of Minnesota
Software Engineering Center
/

You are here

Publications

Publication Title Authors Date of Publication Venuesort ascending Associated Research Groups Publication Files
FITE: Future Integrated Testing Environment Dr. Michael Whalen, Ph.D.
Patrice Godefroid
Leonardo Mariani
Andrea Polini
Nikolai Tillman
Willem Visser
November 2010 Workshop on the Future of Software Engineering Research 2010 (FoSER), Santa Fe, New Mexico, November 7-8, 2010. Critical Systems Research Group PDF icon p401-whalen.pdf
An Overview of XRobots: A Hierarchical State Machine-Based Language Steve Tousignant
Eric Van Wyk
Maria Gini
May 2011 Workshop on Software Development and Integration in Robotics (SDIR VI) Minnesota Extensible Language Tools PDF icon tousignant11sdir.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
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
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
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
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
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

Pages