F.B. Schneider
Technische Universität Darmstadt(DE)
Publications by Year
Research Areas
Distributed systems and fault tolerance, Advanced Malware Detection Techniques, Security and Verification in Computing, Logic, programming, and type systems, Formal Methods in Verification
Most-Cited Works
- Refinement Calculus: A Systematic Introduction(1998)
- → IRM enforcement of Java stack inspection(2002)294 cited
- → Hypervisor-based fault tolerance(1995)215 cited
- → Operating system support for mobile agents(2002)184 cited
- → COCA: a secure distributed online certification authority(2004)163 cited
- → SASI enforcement of security policies: a retrospective(2002)152 cited
- → Belief in Information Flow(2005)120 cited
- → Least privilege and more [computer security](2003)98 cited
- → Distributed Systems: Methods and Tools for Specification. An Advanced Course(1985)78 cited
- → NAP: practical fault-tolerance for itinerant computations(2003)71 cited