Publications
| Publication Title | Authors | Date Published | Venue | Research Group | Download |
|---|---|---|---|---|---|
| Experiences From Specifying the TCAS II Requirements Using RSML | November 1998 | 17th Digital Avionics Systems Conference}, Seattle, November 1998. (Awarded Best Paper in Software Track.) | |||
| Specification Based Prototyping of Control Systems | October 2000 | 19th IEEE Digital Avionics Systems Conference}, Philadelphia, October 2000. | |||
| Mode Confusion Analysis of a Flight Guidance System Using Formal Methods | October 2003 | 22nd IEEE Digital Avionics Systems Conference (DASC'2003)} (Awarded Best Paper of Session), Indianapolis, October 2003. | |||
| Verifiable Parse Table Composition for Deterministic Parsing | October 2009 | 2nd International Conference on Software Language Engineering | |||
| Composable Language Extensions for Computational Geometry: a Case Study | January 2007 | 40th Hawaii International Conference on System Sciences | |||
| Verifiable Composition of Deterministic Grammars | June 2009 | ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) | |||
| Is an MVE the Right Environment for Your Visualization Application? | May 1995 | Computer Graphics, vol 29, num 2, May 1995. | |||
| 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. | |||
| Structuring Formal Control Systems Specifications for Reuse: Surviving Hardware Changes | January 2000 | Fifth NASA Langley Formal Methods Workshop, Virginia, January 2000 | |||
| Generating Model Checkers from Algebraic Specifications | May 2002 | Formal Methods in System Design, 20(3):249-284 |
