How to read this page
The entries below are grouped by venue category. Each entry is intentionally brief: a two–three line summary describing the technical idea and why it matters. Many entries link to internal notes and project pages so you can follow a reading path without leaving the site.
Journals
-
Compositional Interfaces for Concurrent Components (2012)
Journal article.
A perspective on interfaces that specify interaction, not just data, with an emphasis on compatibility and refinement.
-
Protocol Structure as a Tool for Reliability (2014)
Journal article.
Connects protocol descriptions to implementable checks, showing how structure prevents boundary misunderstandings.
Conferences
-
Behavioural Contracts for Composition (2009)
Conference paper.
Uses assume/guarantee thinking to explain why local correctness does not imply global correctness after composition.
-
From Semantics to Workflow: Practical Verification Loops (2011)
Conference paper.
Frames verification as an iterative loop: model choice, property selection, analysis, and constraint-driven iteration.
Workshop papers
-
HARQ05 (2005)
Workshop paper.
A focused summary page used as a canonical internal target for a legacy download URL.
-
Rigorous Design Building Blocks for Concurrency (2010)
Workshop paper.
Explains why “small building blocks” help when connecting models, operators, and properties for concurrent systems.
Preprints
-
Checking Protocol Compatibility with Lightweight Models (2016)
Preprint.
A pragmatic approach: choose a minimal behavioural model and a check that is repeatable, explainable, and scalable.
-
Contracts, Measurement, and Constraints: A Systems View (2018)
Preprint.
Argues for treating performance constraints as part of the model and contracts as a communication tool between teams.
Connections to notes and projects
If you are using this page as a thematic map, the notes are the easiest way to build intuition quickly.
- Session types and protocolsProtocol structure and safety at boundaries.
- Behavioural contractsAssume/guarantee reasoning for composition.
- Projects hubProject-style topics that explain the motivation behind these entries.