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
)