University of Minnesota
Software Engineering Center
/

You are here

Publications

Publication Title Authors Date of Publication Venuesort ascending Associated Research Groups Publication Files
Finding Robust Solutions in Requirements Models Gregory Gay
Tim Menzies, Ph.D.
Omid Jalali
Gregory Mundy
Beau Gilkerson
Martin Feather
James Kiper
March 2010 Journal of Automated Software Engineering archive Volume 17 Issue 1, March 2010 Critical Systems Research Group PDF icon 10keys.pdf
Reasoning about Algebraic Datatypes with Abstractions Hung T. Pham
Andrew Gacek
Dr. Michael Whalen, Ph.D.
April 2016 Journal of Automated Reasoning, to appear Critical Systems Research Group
Building Extensible Specifications and Implementations of Promela with AbleP Yogesh Mali
Eric Van Wyk
July 2011 International SPIN Workshop on Model Checking of Software (SPIN 2011) Minnesota Extensible Language Tools PDF icon mali11spin.pdf
Flexibility in Modeling Languages and Tools: A Call to Arms Eric Van Wyk
Mats Heimdahl
June 2009 International Journal on Software Tools for Technology Transfer: Volume 11, Issue 3 (2009), Page 203-215 Critical Systems Research Group
Minnesota Extensible Language Tools
PDF icon sttt_final.pdf
Integrating attribute grammar and functional programming language features Ted Kaminski
Eric Van Wyk
July 2011 International Conference on Software Language Engineering (SLE 2011) Minnesota Extensible Language Tools PDF icon kaminski11sle_preproceedings.pdf
Proceedings of the 1st Doctoral Symposium of the International Conference on Software Language Engineering (SLE-DS-2010) Eric Van Wyk
Steffen Zschaler
October 2010 International Conference on Software Language Engineering (SLE 2010) Minnesota Extensible Language Tools
Language and Library Support for Climate Data Applications Eric Van Wyk
Vipin Kumar
Michael Steinbach
Shyam Boriah
Alok Choudhary
October 2009 In Proceedings of Workshop on Software Research and Climate Change Minnesota Extensible Language Tools PDF icon wsrcc_van_wyk.pdf
Flexible and Extensible Notations for Modeling Languages Jimin Gao
Mats Heimdahl
Eric Van Wyk
March 2007 In Proceedings of Fundamental Approaches to Software Engineering (FASE). Minnesota Extensible Language Tools PDF icon JGao-FASE07.pdf
Attribute Grammar-based Language Extensions for Java Eric Van Wyk
Lijesh Krishnan
August Schwerdfeger
Derek Bodin
July 2007 In Proceedings of European Conference on Object Oriented Programming (ECOOP) Minnesota Extensible Language Tools PDF icon vanwyk_ecoop07.pdf
Aspect Oriented Compilers Oege de Moor
Simon Peyton-Jones
Eric Van Wyk
September 1999 In Proc. of the First International Symposium on Generative and Component-Based Software Engineering. Springer Verlag Lecture Notes in Computer Science vol. 1799 Minnesota Extensible Language Tools

Pages