Colin Pilbrow

According to our database, Colin Pilbrow authored at least 4 papers between 2013 and 2017.

Collaborative distances:

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

2017

Characterising Sound Visualisations of Specifications Using Micro-Charts and Refinement.

Colin Pilbrow, Steve Reeves

Proceedings of the 24th Asia-Pacific Software Engineering Conference Workshops, 2017

2015

An algorithm for compositional nonblocking verification using special events.

Colin Pilbrow, Robi Malik

Sci. Comput. Program., 2015

Using State Machines for the Visualisation of Specifications via Refinement.

Colin Pilbrow, Steve Reeves

Proceedings of the 24th Australasian Software Engineering Conference, 2015

2013

Compositional Nonblocking Verification with Always Enabled Events and Selfloop-Only Events.

Colin Pilbrow, Robi Malik

Proceedings of the Formal Techniques for Safety-Critical Systems, 2013