Publications
2008. An instrumentation-based approach to controller model validation. Model-Driven Development of Reliable Automotive Services. :84-97.
1990. When is `partial' adequate? A logic-based proof technique using partial specifications Logic in Computer Science, 1990. LICS '90, Proceedings., Fifth Annual IEEE Symposium on e. :440-449.
2001. Equivalence and preorder checking for finite-state systems. Handbook of Process Algebra. :391-424.
1996. Priorities for modeling and verifying distributed systems. Tools and Algorithms for the Construction and Analysis of Systems. :278-297.
1990. Testing equivalence as a bisimulation equivalence. Automatic Verification Methods for Finite State Systems. :11-23.
2005. Probabilistic temporal logics via the modal mu-calculus. Theoretical Computer Science. 342(2-3):316-350.
2000. GCCS: A graphical coordination language for system specification. Coordination Languages and Models. :207-212.
1990. On automatically distinguishing inequivalent processes. Workshop on Computer-Aided Verification.
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.