Alexander Kogtenkov

According to our database, Alexander Kogtenkov authored at least 10 papers between 2010 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

The Concept of Class Invariant in Object-oriented Programming.

Bertrand Meyer, Alisa Arkadova, Alexander Kogtenkov

Formal Aspects Comput., March, 2024

2023

Lessons from Formally Verified Deployed Software Systems.

Li Huang, Sophie Ebersold, Alexander Kogtenkov, Alexandr Naumchev, Bertrand Meyer, Yinling Liu, ALiyu Alege

CoRR, 2023

2021

The concept of class invariant in object-oriented programming.

Bertrand Meyer, Alisa Arkadova, Alexander Kogtenkov, Alexandr Naumchev

CoRR, 2021

2017

Void safety.

Alexander Kogtenkov

PhD thesis, 2017

Practical Void Safety.

Alexander Kogtenkov

Proceedings of the Verified Software. Theories, Tools, and Experiments, 2017

2015

Alias calculus, change calculus and frame inference.

Alexander Kogtenkov, Bertrand Meyer, Sergey Velder

Sci. Comput. Program., 2015

2014

Negative Variables and the Essence of Object-Oriented Programming.

Bertrand Meyer, Alexander Kogtenkov

Proceedings of the Specification, Algebra, and Software, 2014

2013

Alias and Change Calculi, Applied to Frame Inference.

Alexander Kogtenkov, Bertrand Meyer, Sergey Velder

CoRR, 2013

2012

Processors and Their Collection.

Bertrand Meyer, Alexander Kogtenkov, Anton Akhi

Proceedings of the Multicore Software Engineering, Performance, and Tools, 2012

2010

Avoid a Void: The Eradication of Null Dereferencing.

Bertrand Meyer, Alexander Kogtenkov, Emmanuel Stapf

Proceedings of the Reflections on the Work of C. A. R. Hoare., 2010