Publications
Publication Title | Authors | Date Published | Venue | Research Group | Download |
|---|---|---|---|---|---|
| A Case for Requirements Validation | April 2004 | Proceeding of National Academies Workshop on Software Certification and Dependability., Washington DC, April, 2004 | |||
| A Formal Approach to Parallelizing Compilers | March 1997 | In Proc. of the 8th SIAM Conference on Parallel Processing for Scientific Computing held in Minneapolis, Minnesota March 14-17, 1997. | |||
| A Proposal for Model-Based Safety Analysis | October 2005 | Proceedings of 24th Digital Avionics Systems Conference (DASC) (Awarded Best Paper of Track) | |||
| Adding Dimension Analysis to Java as a Composable Language Extension | July 2008 | Post-proceedings of Generative and Transformational Techniques in Software Engineering (GTTSE) | |||
| Adding Syntax and Static Analysis to Libraries via Extensible Compilers and Language Extensions | October 2006 | LCSD 2006 - Library Centric Software Development Workshop | |||
| Algebraic Implementation of Model Checking | March 1996 | In Proc. of the 3rd AMAST Workshop on Real-Time Systems held in Salt Lake City, Utah March 6-8 1996. | |||
| An Algebraic Language Processing Environment | December 1997 | In Proc. 6th International Conference on Algebraic Methodology and Software Technology (AMAST). Springer Verlag Lecture Notes in Computer Science volume 1349 | |||
| An Approach to Automatic Code Generation for Safety-Critical Systems | October 1999 | Proceedings of the 14th IEEE International Conference on Automated Software Engineering}, Orlando, October, 1999. | |||
| An Integrated Development Environment Prototyping Safety Critical Systems | June 1999 | Tenth IEEE International Workshop on Rapid System Prototyping (RSP'99), Clearwater Beach, Florida, June, 1999 | |||
| Aspect Oriented Compilers | September 1999 | In Proc. of the First International Symposium on Generative and Component-Based Software Engineering. Springer Verlag Lecture Notes in Computer Science vol. 1799 |
