Alexander Kogtenkov

According to our database, Alexander Kogtenkov authored at least 13 papers between 2010 and 2026.

Collaborative distances:

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

2026

Lessons from Formally Verified Deployed Software Systems.

Li Huang, Sophie Ebersold, Alexander Kogtenkov, Bertrand Meyer, Yinling Liu

ACM Comput. Surv., June, 2026

Identifying Design Flaws in a Lock-Free Task Pool with TLA+.

Vasil Dyadov, Alexander Kogtenkov, Ilya Shchepetkov

Proceedings of the Rigorous State-Based Methods - 12th International Conference, 2026

VeHa: A Hybrid National Verification Hackathon for Better Formal Methods Education.

Sergey M. Staroletov, Dmitry A. Kondratyev, Vladimir I. Shelekhov, Alexander Kogtenkov, Nikolay V. Shilov, Natalia Olegovna Garanina, Irina V. Shoshmina, Timofey Cherganov, Vasil Dyadov

Proceedings of the Formal Methods Teaching - 7th Formal Methods Teaching Workshop, 2026

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