Brian Monahan

Publication Activity (10 Years)

Years Active: 1988-2010
Publications (10 Years): 0

Publications

Matthew Collinson, Brian Monahan, David J. Pym
Semantics for structured systems modelling and simulation. SimuTools (2010)
Matthew Collinson, Brian Monahan, David J. Pym
A Logical and Computational Theory of Located Resource. J. Log. Comput. 19 (6) (2009)
Adam Beautement, Robert Coles, Jonathan Griffin, Christos Ioannidis, Brian Monahan, David J. Pym, M. Angela Sasse, Mike Wonham
Modelling the Human and Technological Costs and Benefits of USB Memory Stick Security. WEIS (2008)
Jonathan Griffin, Brian Monahan, David J. Pym, Mike Wonham, Mike Yearworth
Assessing the Value of Investments in Network Security Operations: A Systems Analytics Approach. WEIS (2007)
Brian Monahan
From Security Protocols to Systems Security (Discussion). Security Protocols Workshop (2003)
Brian Monahan
From Security Protocols to Systems Security. Security Protocols Workshop (2003)
Rodney Zagury, Brian Monahan
Improving instruction and staff development by building K-12/university partnerships. SIGGRAPH Abstracts and Applications (1998)
Howard Barringer, Graham Gough, Brian Monahan, Alan R. Williams
A Process Algebra Foundation for Reasoning about Core ELLA. Comput. J. 39 (4) (1996)
Howard Barringer, Graham Gough, Brian Monahan, Alan R. Williams
Formal support for the ELLA hardwar description language. CHARME (1995)
Peter K. D. Froome, Brian Monahan
The role of mathematically formal methods in the development and assessment of safety-critical systems. Microprocess. Microsystems 12 (10) (1988)