University of Minnesota
Software Engineering Center
/

You are here

Publications

Publication Title Authors Date of Publicationsort ascending Venue Associated Research Groups Publication Files
Software Model Checking Takes Off Steven Miller
Michael Whalen
Darren Cofer
February 2010 Communications of the ACM, Volume 53, No 2. Critical Systems Research Group PDF icon Software Model Checking Takes Off.pdf
Silver: an Extensible Attribute Grammar System Eric Van Wyk
Derek Bodin
Jimin Gao
Lijesh Krishnan
January 2010 Science of Computer Programming. Special issue for LDTA 2006 and 2007. This article is the same as the proofed version available on Elsevier's web site - only the formatting differs. Minnesota Extensible Language Tools PDF icon silver_vanwyk.pdf
Development of Security Software: A High-Assurance Methodology David Hardin
D. Randolph Johnson
Lucas Wagner
Michael Whalen
T. Douglas Hiratzka
December 2009 Proceedings of the 11th International Conference of Formal Engineering Methods (ICFEM 2009). Critical Systems Research Group PDF icon hardin-icfem09-proof.pdf
Analyzing RBAC Security Policy of Implementation Using AST Hung T. Pham
Ninh-Thuan Truong
Viet-Ha Nguyen
October 2009 Proceedings of the 2009 International Conference on Knowledge and Systems Engineering (KSE '09) Critical Systems Research Group PDF icon kse09.pdf
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
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
On the Use of Relevance Feedback in IR-based Concept Location Gregory Gay
Sonia Haiduc
Andrian Marcus
Tim Menzies
September 2009 25th IEEE International Conference on Software Maintenance (ICSM 2009) Critical Systems Research Group PDF icon 09rel.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
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
Towards a Framework for Generating Tests to Satisfy Complex Code Coverage in Java Pathfinder Matt Staats April 2009 Moffett Field, California Critical Systems Research Group PDF icon paper27-main.pdf

Pages