University of Minnesota
Software Engineering Center

You are here


Publication Titlesort descending Authors Date of Publication Venue Associated Research Groups Publication Files
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
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 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 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