University of Minnesota
Software Engineering Center
/

You are here

Publications

Publication Titlesort descending Authors Date of Publication Venue Associated Research Groups Publication Files
Towards Synthesis from Assume-Guarantee Contracts involving Infinite Theories: A Preliminary Report Andreas Katis
Dr. Michael Whalen, Ph.D.
Andrew Gacek
May 2016 Appeared in the 4th FME Workshop on Formal Methods in Software Engineering, Austin, TX, May 15, 2016. Critical Systems Research Group PDF icon document.pdf
Universal Regular Path Queries Oege de Moor
David Lacey
Eric Van Wyk
March 2003 Higher Order and Symbolic Computation (HOSC) 16 (1-2): 15-35. A special issue dedicated to Bob Paige. Minnesota Extensible Language Tools
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
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
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, 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

Pages