Performance of Movable-Head Disk Storage Devices. - C. C. Gotlieb; Glenn H. MacEwen (J. ACM, 1973)

On Instrumentation Facilities in Programming Languages. - Glenn H. MacEwen (IFIP Congress, 1974)

A programming project for a course in operating systems. - Glenn H. MacEwen (ACM SIGCSE Bull., 1974)

Errata: "Performance of Movable-Head Disk Storage Devices". - C. C. Gotlieb; Glenn H. MacEwen (J. ACM, 1975)

A Simulation Sequencing Algorithm. - Glenn H. MacEwen (Softw. Pract. Exp., 1977)

Abstraction hierarchies in top-down design. - Glenn H. MacEwen; T. Patrick Martin (J. Syst. Softw., 1981)

Information Flow Certification Using an Intermediate Code Program Representation. - Allan L. Mennie; Glenn H. MacEwen (IEEE Trans. Software Eng., 1981)

Specification prototyping. - Glenn H. MacEwen (Rapid Prototyping, 1982)

Correction to "Information Flow Certification Using an Intermediate Code Programm Representation". - Glenn H. MacEwen (IEEE Trans. Software Eng., 1982)

The Design for a Secure System Based on Program Analysis. - Glenn H. MacEwen (IEEE Trans. Software Eng., 1983)

Multi-Level Security Based on Physical Distribution. - Glenn H. MacEwen; Bruce Burwell; Zhuo-Jun Lu (S&P, 1984)

LUCID: a specification language for distributed systems. - Janice I. Glasgow; Glenn H. MacEwen (ACM SIGSOFT Softw. Eng. Notes, 1985)

RNet: A Hard Real-Time Distributed Programming System. - Chantal Belzile; Michael F. Coulas; Glenn H. MacEwen; Genevieve Marquis (RTSS, 1986)

Effects of Distributed System Technology on Database Security: A Survey. - Glenn H. MacEwen (DBSec, 1987)

A Computational Model for Distributed Systems Using Operator Nets. - Janice I. Glasgow; Glenn H. MacEwen (PARLE (2), 1987)

A Model for Multilevel Security Based on Operator Nets. - Glenn H. MacEwen; V. W. W. Poon; Janice I. Glasgow (S&P, 1987)

RNet: A Hard Real-Time Distributed Programming System. - Michael F. Coulas; Glenn H. MacEwen; Genevieve Marquis (IEEE Trans. Computers, 1987)

The Development and Proof of a Formal Specification for a Multilevel Secure System. - Janice I. Glasgow; Glenn H. MacEwen (ACM Trans. Comput. Syst., 1987)

Reasoning about Knowledge and Permission in Secure Distributed Systems. - Janice I. Glasgow; Glenn H. MacEwen; Prakash Panangaden (CSFW, 1988)

Security by Permission in Databases. - Janice I. Glasgow; Glenn H. MacEwen; Prakash Panangaden (DBSec, 1988)

Using Higher-order Logic for Modular Specification of Real-time Distributed Systems. - Glenn H. MacEwen; David B. Skillicorn (FTRTFT, 1988)

Reasoning about knowledge in multilevel secure distributed systems. - Janice I. Glasgow; Glenn H. MacEwen (S&P, 1988)

Obligation as the Basis of Integrity Specification. - Janice I. Glasgow; Glenn H. MacEwen (CSFW, 1989)

An Operator Net Model for Distributed Systems. - Janice I. Glasgow; Glenn H. MacEwen (Distributed Comput., 1989)

A Proof of Secrecy for a Network Security Model. - Glenn H. MacEwen; Janice I. Glasgow (CSFW, 1991)

A Logic for Reasoning About Security. - Janice I. Glasgow; Glenn H. MacEwen; Prakash Panangaden (ACM Trans. Comput. Syst., 1992)

Interfacing Ada with verification languages. - David Leeson; Glenn H. MacEwen; David Andrews (SETA, 1994)

Behavioral patterns for software requirement engineering. - Ayaz Isazadeh; Glenn H. MacEwen; Andrew J. Malton (CASCON, 1995)

Behavioral Views for Software Requirements Engineering. - Ayaz Isazadeh; David Alex Lamb; Glenn H. MacEwen (ECBS, 1996)

Task Behavior Monitoring for Adaptive Real-Time Communication. - Sam K. Oh; Glenn H. MacEwen (Real Time Syst., 1996)

Patient-Specific Physiological Monitoring and Prediction Using Structured Gaussian Processes. - Tingting Zhu 001; Glen Wright Colopy; Glenn H. MacEwen; Katherine E. Niehaus; Yang Yang 125; Chris W. Pugh; David A. Clifton (IEEE Access, 2019)