Fred B. Schneider is an author at Cornell University specializing in engineering, computer science, and formal verification.
Top concepts
EngineeringComputer ScienceFormal VerificationInformation SecurityData SecurityVerificationFormal MethodsSoftware AnalysisSystems EngineeringProgram Analysis
Publications per year
1979–2021
83
83
Fred B. Schneider · ACM Transactions on Information and System Security · 2000 · 1.3K citations · Full text
Bowen Alpern, Fred B. Schneider · Information Processing Letters · 1985 · 1K citations
Richard D. Schlichting, Fred B. Schneider · ACM Transactions on Computer Systems · 1983 · 767 citations · Full text
Recognizing safety and liveness
Bowen Alpern, Fred B. Schneider · Distributed Computing · 1987 · 549 citations
Michael R. Clarkson, Fred B. Schneider · Journal of Computer Security · 2010 · 394 citations
Rows per page
1–5 of 83