University of Minnesota
Software Engineering Center
/

You are here

Publications

Publication Titlesort descending Authors Date of Publication Venue Associated Research Groups Publication Files
Using Verified Data-flow Analysis-based Optimizations in Attribute Grammars Eric Van Wyk
Lijesh Krishnan
April 2006 In Proc. of Compiler Optimization meets Compiler Verification Workshop. Minnesota Extensible Language Tools PDF icon cocv06.pdf
Verifiable Composition of Deterministic Grammars August Schwerdfeger
Eric Van Wyk
June 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) Minnesota Extensible Language Tools PDF icon pldi202-schwerdfeger.pdf
Verifiable Parse Table Composition for Deterministic Parsing August Schwerdfeger
Eric Van Wyk
October 2009 2nd International Conference on Software Language Engineering Minnesota Extensible Language Tools PDF icon sle.pdf
When to Use Data from Other Projects for Effort Estimation Ekrem Kocaguneli
Gregory Gay
Tim Menzies
Ye Yang
Jacky Keung
September 2010 ASE '10 Proceedings of the IEEE/ACM international conference on Automated software engineering Critical Systems Research Group PDF icon 10ccwc.pdf
Your "What" is My "How": Iteration and Hierarchy in System Design Michael Whalen
Andrew Gacek
Darren Cofer
Anitha Murugesan
Mats Heimdahl
Sanjai Rayadurgam
March 2013 IEEE Software Critical Systems Research Group PDF icon Your-what-is-my-how-Pre-Pub
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

Pages