University of Minnesota
Software Engineering Center

You are here


Publication Titlesort ascending Authors Date of Publication Venue Associated Research Groups Publication Files
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
Your "What" is My "How": Iteration and Hierarchy in System Design Dr. Michael Whalen, Ph.D.
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
When to Use Data from Other Projects for Effort Estimation Ekrem Kocaguneli
Gregory Gay
Tim Menzies, Ph.D.
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
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
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
Validity-Guided Synthesis of Reactive Systems from Assume-Guarantee Contracts Andreas Katis
Grigory Fedyukovich
Huajun Guo
Andrew Gacek
John Backes
Arie Gurfinkel
Dr. Michael Whalen, Ph.D.
March 2018 24th International Conference onTools and Algorithms for the Construction and Analysis of Systems (TACAS 2018) Critical Systems Research Group PDF icon document.pdf
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
Using PVS to Prove Properties of Systems Modelled in a Synchronous Dataflow Language Sanjai Rayadurgam
Anjali Joshi
Mats Heimdahl
November 2003 In Proc. of the 5th International Conference on Formal Engineering Methods (ICFEM) Critical Systems Research Group PDF icon ICFEM.pdf
Using Models to Address Challenges in Specifying Requirements for Medical Cyber-Physical Systems Anitha Murugesan
Sanjai Rayadurgam
Mats Heimdahl
April 2013 Medical Cyber Physical Systems Workshop, International Conference on Cyber-Physical Systems, Philadelphia, 2013. Critical Systems Research Group
Using Model Checking in a Parallelizing Compiler Teodor Rus
Eric Van Wyk
January 1998 Parallel Processing Letters. in Volume 8, Number 4 Minnesota Extensible Language Tools