Publications

I've authored or co-authored the following papers, mostly to do with Overture and VDM.

My ACM Authors page lists the papers referenced by the ACM digital library, though papers are only accessible directly from the ACM library if you are an ACM member.

My ResearchGate and LinkedIn pages contains links to all of my papers.

Google Scholar also has links to most of my publications.