Fred B. Schneider
Cornell University(US)
Publications by Year
Research Areas
Distributed systems and fault tolerance, Logic, programming, and type systems, Security and Verification in Computing, Formal Methods in Verification, Advanced Malware Detection Techniques
Most-Cited Works
- → Implementing fault-tolerant services using the state machine approach: a tutorial(1990)2,368 cited
- → Enforceable security policies(2000)1,261 cited
- → Defining liveness(1985)1,017 cited
- → Fail-stop processors(1983)767 cited
- → Recognizing safety and liveness(1987)551 cited
- → Concepts and Notations for Concurrent Programming(1983)519 cited
- → Hyperproperties(2010)396 cited