Guy H. Broadfoot

Publication Activity (10 Years)

Years Active: 2003-2017
Publications (10 Years): 1

Top Topics

Temporal Properties

Industrial Applications

Top Venues

Electron. Commun. Eur. Assoc. Softw. Sci. Technol.

Concurrency, Security, and Puzzles

Publications

Thomas Gibson-Robinson, Guy H. Broadfoot, Gustavo Carvalho, Philippa J. Hopcroft, Gavin Lowe, Sidney C. Nogueira, Colin O'Halloran, Augusto Sampaio
FDR: From Theory to Industrial Application. Concurrency, Security, and Puzzles (2017)
Guy H. Broadfoot
The highs and lows of deploying Formal Methods in Industry. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 70 (2014)
Guy H. Broadfoot
If Concurrency in Software is So Simple, Why is it So Hard? - Invited Talk. CPA (2005)
Guy H. Broadfoot
ASD Case Notes: Costs and Benefits of Applying Formal Methods to Industrial Control Software. FM (2005)
Philippa J. Hopcroft, Guy H. Broadfoot
Combining the Box Structure Development Method and CSP for Software Development. Electron. Notes Theor. Comput. Sci. 128 (6) (2005)
Philippa J. Hopcroft, Guy H. Broadfoot
Combining the Box Structure Development Method and CSP. ASE (2004)
Guy H. Broadfoot, Philippa J. Broadfoot
Academia and industry meet: Some experiences of formal methods in practice. APSEC (2003)