Colin Pilbrow

Publication Activity (10 Years)

Years Active: 2013-2017
Publications (10 Years): 2

Top Topics

Formal Specification

Causal Relationships

Reactive Systems

Semantic Description

Top Venues

Sci. Comput. Program.

Publications

Colin Pilbrow, Steve Reeves
Characterising Sound Visualisations of Specifications Using Micro-Charts and Refinement. APSEC (2017)
Colin Pilbrow, Steve Reeves
Characterising Sound Visualisations of Specifications Using Micro-Charts and Refinement. APSEC Workshops (2017)
Colin Pilbrow, Robi Malik
An algorithm for compositional nonblocking verification using special events. Sci. Comput. Program. 113 (2015)
Colin Pilbrow, Steve Reeves
Using State Machines for the Visualisation of Specifications via Refinement. ASWEC (2) (2015)
Colin Pilbrow, Robi Malik
Compositional Nonblocking Verification with Always Enabled Events and Selfloop-Only Events. FTSCS (2013)