University of Minnesota
Software Engineering Center
/

You are here

Publications

Publication Title Authors Date of Publicationsort ascending Venue Associated Research Groups Publication Files
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
Integration of Formal Analysis into a Model-Based Software Development Process Michael Whalen
Darren Cofer
Steven Miller
Bruce Krogh
Walter Storm
July 2007 Proceedings of the 12th International Workshop on Industrial Critical Systems (FMICS 2007) Critical Systems Research Group PDF icon FMICS07-Rockwell-Collins.pdf
Automatic Generation of Static Fault Trees from AADL Models Anjali Joshi
Steve Vestal
Pam Binns
June 2007 DSN 2007 Workshop on Architecting Dependable Systems Critical Systems Research Group PDF icon Joshi-CameraReady-WADS07.pdf
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

Pages