University of Minnesota
Software Engineering Center
/

You are here

Publications

Publication Title Authors Date of Publicationsort ascending Venue Associated Research Groups Publication Files
Safety and Software Intensive Systems: Challenges Old and New Mats Heimdahl May 2007 FOSE '07 2007 Future of Software Engineering Critical Systems Research Group PDF icon FOSE-MAts-Full.pdf
Extending Lustre with Timeout Automata Jimin Gao
Michael Whalen
Eric Van Wyk
April 2007 SLAP 2007, Model-driven High-level Programming of Embedded Systems, (formerly Synchronous Languages, Applications, and Programming) Minnesota Extensible Language Tools PDF icon slap.pdf
On the effect of test-suite reduction on automatically generated model-based tests Mats Heimdahl
Devaraj George
March 2007 Automated Software Engineering, Volume 14 Issue 1, March 2007 Critical Systems Research Group
Silver: an Extensible Attribute Grammar System Eric Van Wyk
Derek Bodin
Jimin Gao
Lijesh Krishnan
March 2007 Workshop on Language Descriptions, Tools, and Applications (LDTA) Minnesota Extensible Language Tools PDF icon silver_ldta.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
Composable Language Extensions for Computational Geometry: a Case Study Eric Van Wyk
Eric Johnson
January 2007 40th Hawaii International Conference on System Sciences Minnesota Extensible Language Tools PDF icon cg.pdf
Interaction Testing in Model-Based Development: Effect on Model-Coverage Renee Bryce
Ajitha Rajan
Mats Heimdahl
December 2006 The XIII Asia Pacific Software Engineering Conference (APSEC '06) Critical Systems Research Group PDF icon interaction-coverage-APSEC-06.pdf
Adding Syntax and Static Analysis to Libraries via Extensible Compilers and Language Extensions Eric Van Wyk
Derek Bodin
Paul Huntington
October 2006 LCSD 2006 - Library Centric Software Development Workshop Minnesota Extensible Language Tools PDF icon vanwyk_lcsd.pdf
Proving the shalls: Early validation of requirements through formal methods Steven Miller
Alan Tribble
Michael Whalen
Mats Heimdahl
August 2006 Software Tools for Technology Transfer, volume 8, number 4. Critical Systems Research Group PDF icon 10.1.1.107.4343.pdf
Coverage Metrics for Requirements-Based Testing Michael Whalen
Ajitha Rajan
Mats Heimdahl
July 2006 Proceedings of the 2006 International Symposium on Software Testing and Analysis Critical Systems Research Group PDF icon res28-whalen.pdf

Pages