Publications

Modal Mu-Calculus

  • S. Berezin, E. Clarke, S. Jha, W. Marrero. Model Checking Algorithms for the mu-Calculus. Technical Report TR-CMU-CS-96-180, Carnegie Mellon University, September 1996. To appear in a book. ( Postscript)

  • D.E. Long, A. Browne, E.M. Clarke, S. Jha, W.R. Marrero. An improved algorithm for the evaluation of fixpoint expressions. In Theoretical Computer Science, Volume 178, 1997. A preliminary version appeared in Proceedings of Computer-Aided Verification, 1994. ( Postscript)

  • Quantitative Real-Time Analysis

  • S. Campos, E. Clarke, W. Marrero and M. Minea, Verus: a tool for quantitative analysis of finite-state real-time systems. In Workshop on Languages, Compilers and Tools for Real-Time Systems, 1995. ( Postscript)

  • S. Campos, E. Clarke, W. Marrero and M. Minea, Timing analysis of industrial real-time systems. In Workshop on Industrial Strength Formal Specification Techniques, 1995. ( Postscript)

  • S. Campos, E. Clarke, W. Marrero, M. Minea and H. Hiraishi, Computing quantitative characteristics of finite-state real-time systems. In IEEE Real-Time Systems Symposium, 1994. ( Postscript)
  • Analyzing Security Protocols

  • E.M. Clarke and W. Marrero. Using formal methods for analyzing security. Information Survivability Workshop, 1998. ( Postscript)

  • E.M. Clarke, and S. Jha, W. Marrero. A machine checkable logic of knowledge for specifying security properties of electronic commerce protocols. Workshop on Formal Methods and Security Protocols, 1998. (Postscript)

  • E.M. Clarke, and S. Jha, W. Marrero. Using state space exploration and a natural deduction style message derivation engine to verify security protocols. In Proceedings of the IFIP Working Conference on Programming Concepts and Methods (PROCOMET), 1998.(Postscript)

  • W. Marrero, E.M. Clarke, and S. Jha. Model checking for security protocols. In DIMACS Workshop on Design and Formal Verification of Security Protocols, 1997. A Preliminary version appeared as Technical Report TR-CMU-CS-97-139, Carnegie Mellon University, May 1997. (Postscript)