Publications
| Publication Title | Authors | Date Published | Venue | Research Group | Download |
|---|---|---|---|---|---|
| Composable Language Extensions for Computational Geometry: a Case Study | January 2007 | 40th Hawaii International Conference on System Sciences | |||
| Adding Syntax and Static Analysis to Libraries via Extensible Compilers and Language Extensions | October 2006 | LCSD 2006 - Library Centric Software Development Workshop | |||
| Using Verified Data-flow Analysis-based Optimizations in Attribute Grammars | April 2006 | In Proc. of Compiler Optimization meets Compiler Verification Workshop. | |||
| A Proposal for Model-Based Safety Analysis | October 2005 | Proceedings of 24th Digital Avionics Systems Conference (DASC) (Awarded Best Paper of Track) | |||
| Model-Based Safety Analysis of Simulink Models Using SCADE Design Verifier | September 2005 | In Proc. of 24th International Conference, SAFECOMP | |||
| Compiler Optimization Correctness by Temporal Logic | September 2004 | Higher-Order and Symbolic Computation, 17 (3): 173-206 | |||
| Test-Suite Reduction for Model Based Tests: Effects on Test Quality and Implications for Testing | September 2004 | Proceedings of the 19th IEEE International Conference on Automated Software Engineering. Linz, Austria, September, 2004. | |||
| Combination Model Checking: Approach and a Case Study. | September 2004 | Proceedings of the 19th IEEE International Conference on Automated Software Engineering--Short paper session. Linz, Austria, September, 2004. | |||
| Tool Intensive Software Development: New Challenges for Verification, Validation, and Certification | May 2004 | FAA and Embry Riddle Aeronautical University Software Tools Forum, Daytona Beach, May, 2004. | |||
| From Models to Efficient Code: It's All in the Middle. | May 2004 | Proceedings of the International Workshop on Software Engineering for High Performance Computing System (HPCS) Applications, Edinburgh, Scotland, May 2004. |
