Publications
| Publication Title | Authors | Date Published | Venue | Research Group | Download |
|---|---|---|---|---|---|
| Universal Regular Path Queries | March 2003 | Higher Order and Symbolic Computation (HOSC) 16 (1-2): 15-35. A special issue dedicated to Bob Paige. | |||
| Specification languages in algebraic compilers | January 2003 | Theoretical Computer Science, 231(3):351--385 | |||
| Model Checking RSML-e Requirements | October 2002 | Proceedings of the Seventh IEEE High Assurance in Systems Engineering Workshop}, Tokyo, Japan, October 2002 | |||
| Toward Automation for Model Checking Requirement Specifications with Numeric Constraints | September 2002 | Requirements Engineering Journal, Vol-7, Issue 4, pp. 225-242 (2002) | |||
| Deviation Analysis Through Model Checking | September 2002 | Proceedings of the 17th IEEE International Conference on Automated Software Engineering. Edinburgh, United Kingdom, September 2002. | |||
| Generating Model Checkers from Algebraic Specifications | May 2002 | Formal Methods in System Design, 20(3):249-284 | |||
| Forwarding in Attribute Grammars for Modular Language Design | April 2002 | In Proc. of International Conference on Compiler Construction, Springer Verlag Lecture Notes in Computer Science volume 2304. | |||
| Proving Correctness of Compiler Optimizations by Temporal Logic | January 2002 | In Proc. of ACM POPL | |||
| Structuring Product Family Requirements for n-Dimensional and Hierarchical Product Lines | January 2002 | Requirements Engineering Journal, vol-8, Issue 1, pp.42-54 (2002) | |||
| Test-Sequence Generation from Formal Requirement Models | October 2001 | Proceedings of the Sixth IEEE High Assurance in Systems Engineering Workshop, Florida, October 2001. |
