The role of mathematically formal methods in the development and assessment of safety-critical systems. - Peter K. D. Froome; Brian Monahan (Microprocess. Microsystems, 1988)

Formal support for the ELLA hardwar description language. - Howard Barringer; Graham Gough; Brian Monahan; Alan R. Williams (CHARME, 1995)

A Process Algebra Foundation for Reasoning about Core ELLA. - Howard Barringer; Graham Gough; Brian Monahan; Alan R. Williams (Comput. J., 1996)

Improving instruction and staff development by building K-12/university partnerships. - Rodney Zagury; Brian Monahan (SIGGRAPH Abstracts and Applications, 1998)

From Security Protocols to Systems Security. - Brian Monahan (Security Protocols Workshop, 2003)

From Security Protocols to Systems Security (Discussion). - Brian Monahan (Security Protocols Workshop, 2003)

Assessing the Value of Investments in Network Security Operations: A Systems Analytics Approach. - Jonathan Griffin; Brian Monahan; David J. Pym; Mike Wonham; Mike Yearworth (WEIS, 2007)

Modelling the Human and Technological Costs and Benefits of USB Memory Stick Security. - Adam Beautement; Robert Coles; Jonathan Griffin; Christos Ioannidis; Brian Monahan; David J. Pym; M. Angela Sasse; Mike Wonham (WEIS, 2008)

Modelling the Human and Technological Costs and Benefits of USB Memory Stick Security. - Adam Beautement; Robert Coles; Jonathan Griffin; Christos Ioannidis; Brian Monahan; David J. Pym; M. Angela Sasse; Mike Wonham (Managing Information Risk and the Economics of Security, 2009)

A Logical and Computational Theory of Located Resource. - Matthew Collinson; Brian Monahan; David J. Pym (J. Log. Comput., 2009)

Semantics for structured systems modelling and simulation. - Matthew Collinson; Brian Monahan; David J. Pym (SimuTools, 2010)