Avoid a Void: The Eradication of Null Dereferencing. - Bertrand Meyer 001; Alexander Kogtenkov; Emmanuel Stapf (Reflections on the Work of C. A. R. Hoare, 2010)

Processors and Their Collection. - Bertrand Meyer 001; Alexander Kogtenkov; Anton Akhi (MSEPT, 2012)

Alias and Change Calculi, Applied to Frame Inference. - Alexander Kogtenkov; Bertrand Meyer 001; Sergey Velder (CoRR, 2013)

Negative Variables and the Essence of Object-Oriented Programming. - Bertrand Meyer 001; Alexander Kogtenkov (Specification, Algebra, and Software, 2014)

Alias calculus, change calculus and frame inference. - Alexander Kogtenkov; Bertrand Meyer 001; Sergey Velder (Sci. Comput. Program., 2015)

Practical Void Safety. - Alexander Kogtenkov (VSTTE, 2017)

Void safety. - Alexander Kogtenkov (2017)

The concept of class invariant in object-oriented programming. - Bertrand Meyer 001; Alisa Arkadova; Alexander Kogtenkov; Alexandr Naumchev (CoRR, 2021)

Lessons from Formally Verified Deployed Software Systems. - Li Huang 001; Sophie Ebersold; Alexander Kogtenkov; Alexandr Naumchev; Bertrand Meyer 001; Yinling Liu; ALiyu Alege (CoRR, 2023)

The Concept of Class Invariant in Object-oriented Programming. - Bertrand Meyer 001; Alisa Arkadova; Alexander Kogtenkov (Formal Aspects Comput., 2024)