University of Minnesota
Software Engineering Center
/

You are here

Publications

Publication Title Authors Date of Publication Venuesort descending Associated Research Groups Publication Files
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 Michael Whalen
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 Michael Whalen
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
Michael Whalen
March 2013 University of Minnesota Critical Systems Research Group PDF icon 13-006.pdf
Hierarchical Multi-Formalism Proofs of Cyber-Physical Systems Michael Whalen
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
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
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
FITE: Future Integrated Testing Environment Michael Whalen
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

Pages