Author: Gerald J. Popek
Publications
Co-authors
Productive Colleagues
Publications
Kuenning, Geoffrey H., Reiher, Peter L., Popek, Gerald J. (1997): Experience with an Automated Hoarding System. In Personal and Ubiquitous Computing, 1 (3) pp. . https://
Walker, Bruce J., Kemmerer, Richard A., Popek, Gerald J. (1980): Specification and Verification of the UCLA Unix Security Kernel. In Communications of the ACM, 23 (2) pp. 118-131.
Popek, Gerald J., Farber, David A. (1978): A Model for Verification of Data Security in Operating Systems. In Communications of the ACM, 21 (9) pp. 737-749.
Popek, Gerald J., Goldberg, Robert P. (1974): Formal Requirements for Virtualizable Third Generation Architectures. In Communications of the ACM, 17 (7) pp. 412-421.