Verifying Executable Object-Oriented Specifications with Separation Logic. - Stephan van Staden; Cristiano Calcagno; Bertrand Meyer 001 (ECOOP, 2010)

Reasoning about multiple related abstractions with MultiStar. - Stephan van Staden; Cristiano Calcagno (OOPSLA, 2010)

Freefinement. - Stephan van Staden; Cristiano Calcagno; Bertrand Meyer 001 (POPL, 2012)

Algebra Unifies Operational Calculi. - Stephan van Staden; Tony Hoare (UTP, 2012)

A Framework for Concurrent Imperative Programming - Stephan van Staden (CoRR, 2012)

In praise of algebra. - Tony Hoare; Stephan van Staden (Formal Aspects Comput., 2012)

Enhancing separation logic for object-orientation. - Stephan van Staden (2013)

Developments in Concurrent Kleene Algebra. - Tony Hoare; Stephan van Staden; Bernhard Möller; Georg Struth; Jules Villard; Huibiao Zhu; Peter W. O'Hearn (RAMiCS, 2014)

Constructing the Views Framework. - Stephan van Staden (UTP, 2014)

The laws of programming unify process calculi. - Tony Hoare; Stephan van Staden (Sci. Comput. Program., 2014)

On Rely-Guarantee Reasoning. - Stephan van Staden (MPC, 2015)

Developments in concurrent Kleene algebra. - Tony Hoare; Stephan van Staden; Bernhard Möller; Georg Struth; Huibiao Zhu (J. Log. Algebraic Methods Program., 2016)

Pointwise Metrics for Clustering Evaluation. - Stephan van Staden (CoRR, 2024)

ABCDE: Application-Based Cluster Diff Evals. - Stephan van Staden; Alexander Grubb (CoRR, 2024)

More Clustering Quality Metrics for ABCDE. - Stephan van Staden (CoRR, 2024)

Evaluation of Cluster Id Assignment Schemes with ABCDE. - Stephan van Staden (CoRR, 2024)

Decomposing the Jaccard Distance and the Jaccard Index in ABCDE. - Stephan van Staden (CoRR, 2024)