Parallelism in operating system design. - M. Elizabeth C. Hull (1980)

Concurrency in the Design of Data Processing Systems. - M. Elizabeth C. Hull; R. M. McKeag (Comput. J., 1984)

A Parallel View of Stable Marriages. - M. Elizabeth C. Hull (Inf. Process. Lett., 1984)

A General Approach to Queuing in C. S. P. - M. Elizabeth C. Hull; R. M. McKeag (Softw. Pract. Exp., 1984)

Communicating Sequential Processes for Centralized and Distributed Operating System Design. - M. Elizabeth C. Hull; R. M. McKeag (ACM Trans. Program. Lang. Syst., 1984)

Implementations of the CSP Notation for Concurrent Systems. - M. Elizabeth C. Hull (Comput. J., 1986)

On Processes, Synchronization and Redundant Code in Communicating Sequential Processes. - G. Donnan; M. Elizabeth C. Hull (Comput. Lang., 1986)

Contextually Communicating Sequential Processes: A Software Engineering Environment. - M. Elizabeth C. Hull; G. Donnan (Softw. Pract. Exp., 1986)

Occam - A Programming Language for Multiprocessor Systems. - M. Elizabeth C. Hull (Comput. Lang., 1987)

Interactive Computing Service Monitoring System. - M. Elizabeth C. Hull; R. G. Roulston; T. R. S. Gregg (Comput. Syst. Sci. Eng., 1987)

LQL: A Unified Language for Deductive Database Systems. - J. Shao; David A. Bell; M. Elizabeth C. Hull (DS-3, 1988)

Object-oriented design, Jackson system development (JSD) specifications and concurrency. - M. Elizabeth C. Hull; Adib Zarea-Aliabadi; David A. Guthrie (Softw. Eng. J., 1989)

Real-time system implementation - The transputer and occam alternative. - M. Elizabeth C. Hull; Adib Zarea-Aliabadi (Microprocessing and Microprogramming, 1989)

An Experimental Performance Study of a Pipelined Recursive Query Processing Strategy. - J. Shao; David A. Bell; M. Elizabeth C. Hull (DPDS, 1990)

Integrated Deductive Database System Implementation: A Systematic Study. - David A. Bell; J. Shao; M. Elizabeth C. Hull (Comput. J., 1990)

Combining Rule Decomposition and Data Partitioning in Parallel Datalog Program Processing. - J. Shao; David A. Bell; M. Elizabeth C. Hull (PDIS, 1991)

Development Methods for Real-Time Systems. - M. Elizabeth C. Hull; Peter G. O'Donoghue; B. J. Hagan (Comput. J., 1991)

A Pipelined Strategy for Processing Recursive Queries in Parallel. - David A. Bell; J. Shao; M. Elizabeth C. Hull (Data Knowl. Eng., 1991)

MOON-modular object-oriented notation. - M. Elizabeth C. Hull; Peter G. O'Donoghue; B. J. Hagan (Softw. Eng. J., 1991)

Family Relationships between Requirements and Design Specification Methods. - M. Elizabeth C. Hull; Peter G. O'Donoghue (Comput. J., 1993)

The Millar Polyhedron and its use in the Construction of Octrees. - Richard J. Millar; M. Elizabeth C. Hull; J. H. Frazer (Comput. J., 1993)

Addressing requirements when using the MOON design method. - M. Elizabeth C. Hull; Peter G. O'Donoghue; Patrick Curran (Inf. Softw. Technol., 1993)

A New Rule for Updating Evidence. - ShengLi Shi; M. Elizabeth C. Hull; David A. Bell (ISMIS, 1994)

Belief: updating vs. combining. - ShengLi Shi; M. Elizabeth C. Hull; David A. Bell (SEKE, 1994)

Timed Petri net approach to performance modelling with the MOON method. - M. Elizabeth C. Hull; Peter G. O'Donoghue (Softw. Eng. J., 1994)

Processing recursive queries on transputers. - J. Shao; David A. Bell; M. Elizabeth C. Hull (Concurr. Pract. Exp., 1995)

Using timed CSP during object oriented design of real-time systems. - Peter G. O'Donoghue; M. Elizabeth C. Hull (Inf. Softw. Technol., 1996)

The design and evaluation of a buffer algorithm for database machines. - F. F. Cai; M. Elizabeth C. Hull; David A. Bell (Concurr. Pract. Exp., 1998)

Method engineering for industrial real-time and embedded systems. - Albert Alderson; M. Elizabeth C. Hull; Ken Jackson; L. E. Griffiths (Inf. Softw. Technol., 1998)

Towards a visual approach for component-based software development. - M. Elizabeth C. Hull; Peter N. Nicholl; Philip Houston; Niall Rooney (Softw. Concepts Tools, 2000)

Requirements Engineering. - M. Elizabeth C. Hull; Ken Jackson; Jeremy Dick (Springer, 2002)

Software development processes - an assessment. - M. Elizabeth C. Hull; Philip S. Taylor; J. R. Paul Hanna; Richard J. Millar (Inf. Softw. Technol., 2002)

An XML approach for legacy code reuse. - Yaxin Bi; M. Elizabeth C. Hull; Peter N. Nicholl (J. Syst. Softw., 2002)

Modeling Complex Real-Time and Embedded Systems-The UML and DORIS Combination. - M. Elizabeth C. Hull; S. Ewart; J. R. Paul Hanna (Real Time Syst., 2004)

Requirements Engineering, Second Edition. - M. Elizabeth C. Hull; Ken Jackson; Jeremy Dick (Springer, 2005)

Specifying process and measuring progress in terms of information state. - A. J. J. Dick; M. Elizabeth C. Hull; Ken Jackson (J. Syst. Softw., 2005)

Combining a Safety Management Process with a Safety Framework. - Derrick D. Black; M. Elizabeth C. Hull; Ken Jackson (Intell. Inf. Manag., 2010)

Experience in Using a PFW System - A Case Study. - Derrick D. Black; M. Elizabeth C. Hull; Ken Jackson (J. Softw. Eng. Appl., 2010)

Systems engineering and safety - a framework. - Derrick D. Black; M. Elizabeth C. Hull; Ken Jackson (IET Softw., 2011)

Requirements Engineering, 4th Edition - Jeremy Dick; M. Elizabeth C. Hull; Ken Jackson (Springer, 2017)