Glenn H. MacEwen

32 papers A 1B 2C 1Journal 15Unranked 13
YearRankTypeTitle / Venue / Authors
2019 J jnl
Patient-Specific Physiological Monitoring and Prediction Using Structured Gaussian Processes.
IEEE Access
Tingting Zhu, Glen Wright Colopy, Glenn H. MacEwen, Katherine E. Niehaus, Yang Yang, Chris W. Pugh, David A. Clifton
1996 — conf
Behavioral Views for Software Requirements Engineering.
ECBS
Ayaz Isazadeh, David Alex Lamb, Glenn H. MacEwen
1996 J jnl
Task Behavior Monitoring for Adaptive Real-Time Communication.
Real Time Syst.
Sam K. Oh, Glenn H. MacEwen
1995 — conf
Behavioral patterns for software requirement engineering.
CASCON
Ayaz Isazadeh, Glenn H. MacEwen, Andrew J. Malton
1994 C conf
Interfacing Ada with verification languages.
SETA
David Leeson, Glenn H. MacEwen, David Andrews
1992 J jnl
A Logic for Reasoning About Security.
ACM Trans. Comput. Syst.
Janice I. Glasgow, Glenn H. MacEwen, Prakash Panangaden
1991 — conf
A Proof of Secrecy for a Network Security Model.
CSFW
Glenn H. MacEwen, Janice I. Glasgow
1990 — conf
A Logic for Reasoning about Security.
CSFW
Janice I. Glasgow, Glenn H. MacEwen, Prakash Panangaden
1989 J jnl
An Operator Net Model for Distributed Systems.
Distributed Comput.
Janice I. Glasgow, Glenn H. MacEwen
1989 — conf
Obligation as the Basis of Integrity Specification.
CSFW
Janice I. Glasgow, Glenn H. MacEwen
1988 — conf
Reasoning about Knowledge and Permission in Secure Distributed Systems.
CSFW
Janice I. Glasgow, Glenn H. MacEwen, Prakash Panangaden
1988 — conf
Reasoning about knowledge in multilevel secure distributed systems.
S&P
Janice I. Glasgow, Glenn H. MacEwen
1988 B conf
Security by Permission in Databases.
DBSec
Janice I. Glasgow, Glenn H. MacEwen, Prakash Panangaden
1988 — conf
Using Higher-order Logic for Modular Specification of Real-time Distributed Systems.
FTRTFT
Glenn H. MacEwen, David B. Skillicorn
1987 — conf
A Computational Model for Distributed Systems Using Operator Nets.
PARLE (2)
Janice I. Glasgow, Glenn H. MacEwen
1987 — conf
A Model for Multilevel Security Based on Operator Nets.
S&P
Glenn H. MacEwen, V. W. W. Poon, Janice I. Glasgow
1987 B conf
Effects of Distributed System Technology on Database Security: A Survey.
DBSec
Glenn H. MacEwen
1987 J jnl
RNet: A Hard Real-Time Distributed Programming System.
IEEE Trans. Computers
Michael F. Coulas, Glenn H. MacEwen, Genevieve Marquis
1987 J jnl
The Development and Proof of a Formal Specification for a Multilevel Secure System.
ACM Trans. Comput. Syst.
Janice I. Glasgow, Glenn H. MacEwen
1986 A conf
RNet: A Hard Real-Time Distributed Programming System.
RTSS
Chantal Belzile, Michael F. Coulas, Glenn H. MacEwen, Genevieve Marquis
1985 J jnl
LUCID: a specification language for distributed systems.
ACM SIGSOFT Softw. Eng. Notes
Janice I. Glasgow, Glenn H. MacEwen
1984 — conf
Multi-Level Security Based on Physical Distribution.
S&P
Glenn H. MacEwen, Bruce Burwell, Zhuo-Jun Lu
1983 J jnl
The Design for a Secure System Based on Program Analysis.
IEEE Trans. Software Eng.
Glenn H. MacEwen
1982 J jnl
Correction to "Information Flow Certification Using an Intermediate Code Programm Representation".
IEEE Trans. Software Eng.
Glenn H. MacEwen
1982 — conf
Specification prototyping.
Rapid Prototyping
Glenn H. MacEwen
1981 J jnl
Abstraction hierarchies in top-down design.
J. Syst. Softw.
Glenn H. MacEwen, T. Patrick Martin
1981 J jnl
Information Flow Certification Using an Intermediate Code Program Representation.
IEEE Trans. Software Eng.
Allan L. Mennie, Glenn H. MacEwen
1977 J jnl
A Simulation Sequencing Algorithm.
Softw. Pract. Exp.
Glenn H. MacEwen
1975 J jnl
Errata: "Performance of Movable-Head Disk Storage Devices".
J. ACM
C. C. Gotlieb, Glenn H. MacEwen
1974 J jnl
A programming project for a course in operating systems.
ACM SIGCSE Bull.
Glenn H. MacEwen
1974 — conf
On Instrumentation Facilities in Programming Languages.
IFIP Congress
Glenn H. MacEwen
1973 J jnl
Performance of Movable-Head Disk Storage Devices.
J. ACM
C. C. Gotlieb, Glenn H. MacEwen