University of Minnesota
Software Engineering Center
/

You are here

Publications

Publication Title Authors Date of Publicationsort ascending Venue Associated Research Groups Publication Files
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
Compiler Optimization Correctness by Temporal Logic David Lacey
Neil D. Jones
Eric Van Wyk
Carl Christian Frederiksen
September 2004 Higher-Order and Symbolic Computation, 17 (3): 173-206 Minnesota Extensible Language Tools PDF icon hosc_popl.pdf
From Models to Efficient Code: It's All in the Middle. Eric Van Wyk
Mats Heimdahl
Yousef Saad
May 2004 Proceedings of the International Workshop on Software Engineering for High Performance Computing System (HPCS) Applications, Edinburgh, Scotland, May 2004. Critical Systems Research Group
Minnesota Extensible Language Tools
PDF icon icse_hpc-r5.pdf
Tool Intensive Software Development: New Challenges for Verification, Validation, and Certification Mats Heimdahl May 2004 FAA and Embry Riddle Aeronautical University Software Tools Forum, Daytona Beach, May, 2004. Critical Systems Research Group PDF icon 1_main.pdf

Pages