Publications
| Publication Title | Authors | Date Published | Venue | Research Group | Download |
|---|---|---|---|---|---|
| Automatic Abstraction for Model Checking Software Systems with Interrelated Numeric Constraints | September 2001 | Proceedings of the Ninth ACM/SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2001)}, Vienna, Austria, September 2001. | |||
| Extending the Product Family Approach to Support n-Dimensional and Hierarchical Product Lines | August 2001 | Proceedings of the Tenth IEEE International Symposium on Requirements Engineering (RE'01), Toronto, Canada, August 2001. | |||
| Ideas on How Product-Line Engineering Can be Extended | May 2001 | Second ICSE Workshop on Software Product Lines: Economics, Architectures, and Implications.}, Toronto, Canada, May 2001 | |||
| Specification Centered Testing | May 2001 | Second International Workshop on Analysis, Testing and Verification, Toronto, Canada, May 2001 | |||
| Coverage Based Test-Case Generation using Model Checkers | April 2001 | IEEE International Conference on the Engineering of Computer Based Systems, Washington DC, April 2001. | |||
| Intentional programming: a host of language features | January 2001 | Techincal Report PRG-RR-01-21, Computing Laboratory, University of Oxford | |||
| Specification Based Prototyping of Control Systems | October 2000 | 19th IEEE Digital Avionics Systems Conference}, Philadelphia, October 2000. | |||
| Meta Languages in Algebraic Compilers | May 2000 | In Proc. of Algebraic Methodology and Software Technology, AMAST 2000. Springer Verlag Lecture Notes in Computer Scinece vol. 1816 | |||
| Domain Specific Meta Languages | February 2000 | In Proc. of <a href="http://www.acm.org/conferences/sac/"> ACM Symposium on Applied Computing</a> | |||
| Structuring Formal Control Systems Specifications for Reuse: Surviving Hardware Changes | January 2000 | Fifth NASA Langley Formal Methods Workshop, Virginia, January 2000 |
