University of Minnesota
Software Engineering Center
/

You are here

Publications

Publication Title Authors Date of Publicationsort ascending Venue Associated Research Groups Publication Files
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
Using Verified Data-flow Analysis-based Optimizations in Attribute Grammars Eric Van Wyk
Lijesh Krishnan
April 2006 In Proc. of Compiler Optimization meets Compiler Verification Workshop. Minnesota Extensible Language Tools PDF icon cocv06.pdf
Certificate Management: A Practitioner’s Perspective Michael Whalen November 2005 Appeared at the 2005 Workshop on Software Certificate Management (SoftCeMent05) Critical Systems Research Group PDF icon Position paper for SoftCeMent.pdf
A Proposal for Model-Based Safety Analysis Anjali Joshi
Steven Miller
Michael Whalen
Mats Heimdahl
October 2005 Proceedings of 24th Digital Avionics Systems Conference (DASC) (Awarded Best Paper of Track) Critical Systems Research Group Microsoft Office document icon 215joshi.doc
Model-Based Safety Analysis of Simulink Models Using SCADE Design Verifier Anjali Joshi
Mats Heimdahl
September 2005 In Proc. of 24th International Conference, SAFECOMP Critical Systems Research Group PDF icon CameraReady-safecomp-05.pdf
Deviation Analysis: A New Use for Model Checking Mats Heimdahl
Yunja Choi
Michael Whalen
March 2005 Journal of Automated Software Engineering, volume 12, issue 3 Critical Systems Research Group
Combination Model Checking: Approach and a Case Study. Yunja Choi
Mats Heimdahl
September 2004 Proceedings of the 19th IEEE International Conference on Automated Software Engineering--Short paper session. Linz, Austria, September, 2004. Critical Systems Research Group
Test-Suite Reduction for Model Based Tests: Effects on Test Quality and Implications for Testing Mats Heimdahl
Devaraj George
September 2004 Proceedings of the 19th IEEE International Conference on Automated Software Engineering. Linz, Austria, September, 2004. Critical Systems Research Group PDF icon 131_heimdahl_m.pdf

Pages