Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Marrero, Will - School of Computer Science, Telecommunications and Information Systems, DePaul University
Partial Order Reductions for Security Protocol Verification ?
Computing Quantitative Characteristics of Finite State RealTime Systems \Lambda
A Machine Checkable Logic of Knowledge for Specifying Security Properties of Electronic
Timing Analysis of Industrial RealTime Systems \Lambda S. Campos E. Clarke W. Marrero M. Minea
Model Checking for Security Protocols Will Marrero Edmund Clarke Somesh Jha
Model Checking Algorithms for the Calculus \Lambda Sergey Berezin Edmund Clarke
Using State Space Exploration and a Natural Deduction Style
