Glenn H. MacEwen

According to our database, Glenn H. MacEwen authored at least 31 papers between 1973 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Patient-Specific Physiological Monitoring and Prediction Using Structured Gaussian Processes.

Tingting Zhu, Glen Wright Colopy, Glenn H. MacEwen, Katherine E. Niehaus, Yang Yang, Chris W. Pugh, David A. Clifton

IEEE Access, 2019

1996

Task Behavior Monitoring for Adaptive Real-Time Communication.

Sam K. Oh, Glenn H. MacEwen

Real Time Syst., 1996

Behavioral Views for Software Requirements Engineering.

Ayaz Isazadeh, David Alex Lamb, Glenn H. MacEwen

Proceedings of the IEEE Symposium and Workshop on Engineering of Computer Based Systems (ECBS'96), 1996

1995

Behavioral patterns for software requirement engineering.

Ayaz Isazadeh, Glenn H. MacEwen, Andrew J. Malton

Proceedings of the 1995 Conference of the Centre for Advanced Studies on Collaborative Research, 1995

1994

Interfacing Ada with verification languages.

David Leeson, Glenn H. MacEwen, David Andrews

Proceedings of the Second International Symposium on Environments and Tools for Ada, 1994

1992

A Logic for Reasoning About Security.

Janice I. Glasgow, Glenn H. MacEwen, Prakash Panangaden

ACM Trans. Comput. Syst., 1992

1991

A Proof of Secrecy for a Network Security Model.

Glenn H. MacEwen, Janice I. Glasgow

Proceedings of the 4th IEEE Computer Security Foundations Workshop, 1991

1989

An Operator Net Model for Distributed Systems.

Janice I. Glasgow, Glenn H. MacEwen

Distributed Comput., 1989

Obligation as the Basis of Integrity Specification.

Janice I. Glasgow, Glenn H. MacEwen

Proceedings of the Second IEEE Computer Security Foundations Workshop, 1989

1988

Reasoning about knowledge in multilevel secure distributed systems.

Janice I. Glasgow, Glenn H. MacEwen

Proceedings of the 1988 IEEE Symposium on Security and Privacy, 1988

Using Higher-order Logic for Modular Specification of Real-time Distributed Systems.

Glenn H. MacEwen, David B. Skillicorn

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1988

Security by Permission in Databases.

Janice I. Glasgow, Glenn H. MacEwen, Prakash Panangaden

Proceedings of the Database Security, 1988

Reasoning about Knowledge and Permission in Secure Distributed Systems.

Janice I. Glasgow, Glenn H. MacEwen, Prakash Panangaden

Proceedings of the First IEEE Computer Security Foundations Workshop, 1988

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

RNet: A Hard Real-Time Distributed Programming System.

Michael F. Coulas, Glenn H. MacEwen, Genevieve Marquis

IEEE Trans. Computers, 1987

A Model for Multilevel Security Based on Operator Nets.

Glenn H. MacEwen, V. W. W. Poon, Janice I. Glasgow

Proceedings of the 1987 IEEE Symposium on Security and Privacy, 1987

A Computational Model for Distributed Systems Using Operator Nets.

Janice I. Glasgow, Glenn H. MacEwen

Proceedings of the PARLE, 1987

Effects of Distributed System Technology on Database Security: A Survey.

Glenn H. MacEwen

Proceedings of the Database Security: Status and Prospects. Results of the IFIP WG 11.3 Initial Meeting, 1987

1986

RNet: A Hard Real-Time Distributed Programming System.

Chantal Belzile, Michael F. Coulas, Glenn H. MacEwen, Genevieve Marquis

Proceedings of the 7th IEEE Real-Time Systems Symposium (RTSS '86), 1986

1985

LUCID: a specification language for distributed systems.

Janice I. Glasgow, Glenn H. MacEwen

ACM SIGSOFT Softw. Eng. Notes, 1985

1984

Multi-Level Security Based on Physical Distribution.

Glenn H. MacEwen, Bruce Burwell, Zhuo-Jun Lu

Proceedings of the 1984 IEEE Symposium on Security and Privacy, Oakland, California, USA, April 29, 1984

1983

The Design for a Secure System Based on Program Analysis.

Glenn H. MacEwen

IEEE Trans. Software Eng., 1983

1982

Correction to "Information Flow Certification Using an Intermediate Code Programm Representation".

Glenn H. MacEwen

IEEE Trans. Software Eng., 1982

Specification prototyping.

Glenn H. MacEwen

Proceedings of the workshop on Rapid Prototyping, 1982

1981

Information Flow Certification Using an Intermediate Code Program Representation.

Allan L. Mennie, Glenn H. MacEwen

IEEE Trans. Software Eng., 1981

Abstraction hierarchies in top-down design.

Glenn H. MacEwen, T. Patrick Martin

J. Syst. Softw., 1981

1977

A Simulation Sequencing Algorithm.

Glenn H. MacEwen

Softw. Pract. Exp., 1977

1975

Errata: "Performance of Movable-Head Disk Storage Devices".

C. C. Gotlieb, Glenn H. MacEwen

J. ACM, 1975

1974

A programming project for a course in operating systems.

Glenn H. MacEwen

ACM SIGCSE Bull., 1974

On Instrumentation Facilities in Programming Languages.

Glenn H. MacEwen

Proceedings of the Information Processing, 1974

1973

Performance of Movable-Head Disk Storage Devices.

C. C. Gotlieb, Glenn H. MacEwen

J. ACM, 1973