University of Minnesota
Software Engineering Center
/

You are here

Publications

Publication Title Authors Date of Publicationsort ascending Venue Associated Research Groups Publication Files
Model Validation using Automatically Generated Requirements-Based Tests Ajitha Rajan
Dr. Michael Whalen, Ph.D.
Mats Heimdahl
November 2007 10th IEEE High Assurance Systems Engineering Symposium (HASE '07) Critical Systems Research Group PDF icon rajanA-ModelValidation.pdf
Behavioral Fault Modeling for Model-based Safety Analysis Anjali Joshi
Mats Heimdahl
November 2007 10th IEEE High Assurance Systems Engineering Symposium (HASE '07) Critical Systems Research Group PDF icon HASE07-Main.pdf
Context-Aware Scanning for Parsing Extensible Languages Eric Van Wyk
August Schwerdfeger
October 2007 GPCE 2007 - Intl. Conference on Generative Programming and Component Engineering Minnesota Extensible Language Tools PDF icon gpce.pdf
Integration of Formal Analysis into a Model-Based Software Development Process Dr. Michael Whalen, Ph.D.
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
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
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
Dr. Michael Whalen, Ph.D.
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

Pages