Publications
1994. An operational framework for value-passing processes. Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages. :326-338.
1991. A theory of testing for real-time. , Proceedings of Sixth Annual IEEE Symposium on Logic in Computer Science, 1991. LICS '91. :110-119.
2000. A semantic theory for heterogeneous system design. FST TCS 2000: Foundations of Software Technology and Theoretical Computer Science. :312-324.
1996. Modeling and verifying distributed systems using priorities: A case study. Software - Concepts and Tools. 17(2):50-62.
1996. The Concurrency Factory: A development environment for concurrent systems. Computer Aided Verification. :398-401.
1993. The concurrency workbench: a semantics-based tool for the verification of concurrent systems. ACM Transactions on Programming Languages and Systems. 15:36-72.
1993. An operational semantics of value passing. Proceedings 2nd North American Process Algebra Workshop, Ithaca, New York.
1990. A preorder for partial process specifications. CONCUR'90 Theories of Concurrency: Unification and Extension. :141-151.
1990. Tableau-based model checking in the propositional mu-calculus. Acta Informatica. 27(8):725-747.
1995. A front-end generator for verification tools. Tools and Algorithms for the Construction and Analysis of Systems. :153-173.
1989. A semantics based verification tool for finite state systems. Proceedings of the IFIP WG6. 1:287-302.
1993. A linear-time model-checking algorithm for the alternation-free modal mu-calculus. Formal methods in system design. 2(2):121-147.
1993. Analyzing concurrent systems using the Concurrency Workbench. Functional Programming, Concurrency, Simulation and Automated Reasoning. :129-144.
1991. Space and time bounds on indexing 3D models from 2D images. Pattern Analysis and Machine Intelligence, IEEE Transactions on. 13(10):1007-1017.