Guy H. Broadfoot

According to our database, Guy H. Broadfoot authored at least 7 papers between 2003 and 2017.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2017

FDR: From Theory to Industrial Application.

Thomas Gibson-Robinson, Guy H. Broadfoot, Gustavo Carvalho, Philippa J. Hopcroft, Gavin Lowe, Sidney C. Nogueira, Colin O'Halloran, Augusto Sampaio

Proceedings of the Concurrency, Security, and Puzzles, 2017

2014

The highs and lows of deploying Formal Methods in Industry.

Guy H. Broadfoot

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

2005

If Concurrency in Software is So Simple, Why is it So Hard? - Invited Talk.

Guy H. Broadfoot

Proceedings of the 28th Communicating Process Architectures Conference, 2005

ASD Case Notes: Costs and Benefits of Applying Formal Methods to Industrial Control Software.

Guy H. Broadfoot

Proceedings of the FM 2005: Formal Methods, 2005

2004

Combining the Box Structure Development Method and CSP for Software Development.

Philippa J. Hopcroft, Guy H. Broadfoot

Proceedings of the Fouth International Workshop on Automated Verification of Critical Systems, 2004

Combining the Box Structure Development Method and CSP.

Philippa J. Hopcroft, Guy H. Broadfoot

Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE 2004), 2004

2003

Academia and industry meet: Some experiences of formal methods in practice.

Guy H. Broadfoot, Philippa J. Broadfoot

Proceedings of the 10th Asia-Pacific Software Engineering Conference (APSEC 2003), 2003