| Avoid a void: The eradication of null dereferencing B Meyer, A Kogtenkov, E Stapf Reflections on the Work of CAR Hoare, 189-211, 2010 | 18 | 2010 |
| Alias calculus, change calculus and frame inference A Kogtenkov, B Meyer, S Velder Science of Computer Programming 97 (Part 1), 163-172, 2015 | 13 | 2015 |
| Mechanically Proved Practical Local Null Safety AV Kogtenkov Proceedings of the Institute for System Programming of the RAS 28 (5), 27-54, 2016 | 8 | 2016 |
| Negative variables and the essence of object-oriented programming B Meyer, A Kogtenkov Specification, Algebra, and Software: Essays Dedicated to Kokichi Futatsugi …, 2014 | 7 | 2014 |
| Eiffel analysis, design and programming language E Bezault, M Howard, A Kogtenkov, B Meyer, E Stapf ECMA International, Tech. Rep. ECMA-367, 2005 | 5 | 2005 |
| Alias and change calculi, applied to frame inference A Kogtenkov, B Meyer, S Velder arXiv preprint arXiv:1307.3189, 2013 | 4 | 2013 |
| Practical Void Safety A Kogtenkov Andrei Paskevich, Thomas Wies (eds) Verified Software. Theories, Tools, and …, 2017 | 3 | 2017 |
| The concept of class invariant in object-oriented programming B Meyer, A Arkadova, A Kogtenkov Formal Aspects of Computing 36 (1), 1-38, 2024 | 2 | 2024 |
| Towards Null Safety Benchmarks for Object Initialization AV Kogtenkov Modeling and Analysis of Information Systems 24 (6), 718-729, 2017 | 2 | 2017 |
| Void safety A Kogtenkov ETH Zurich, 2017 | 2 | 2017 |
| Processors and their collection B Meyer, A Kogtenkov, A Akhi Multicore Software Engineering, Performance, and Tools: International …, 2012 | 2 | 2012 |
| Lessons from Formally Verified Deployed Software Systems (Extended version) L Huang, S Ebersold, A Kogtenkov, B Meyer, Y Liu arXiv preprint arXiv:2301.02206, 2023 | 1 | 2023 |
| Open compiling machine AV Kogtenkov, AS Shestialtynov, AV Tischeko WOON'98, the white object-oriented Nights, 1998: Third International …, 1998 | 1 | 1998 |
| Lessons from Formally Verified Deployed Software Systems. L Huang, S Ebersold, A Kogtenkov, A Naumchev, B Meyer, Y Liu, ... CoRR, 2023 | | 2023 |
| Making void safety practical A Kogtenkov System Informatics, 45-56, 2017 | | 2017 |
| Null pointer dereferencing: program safety (invited talk) A Kogtenkov Program semantics, specifications, and verification, 4-4, 2017 | | 2017 |
| Null safety benchmarks for object initialization AV Kogtenkov Труды Института системного программирования РАН 29 (6), 135-150, 2017 | | 2017 |
| Void Safety: Putting an End To the Plague of Null Dereferencing ES Bertrand Meyer, Alexander Kogtenkov Dr.Dobb's, 2009 | | 2009 |
| ISO/IEC 25436:2006 (E): Information technology – Eiffel: Analysis, Design and Programming Language. 1st edition. ISO/IEC, 2006 | | 2006 |
| Standard ECMA-367. Eiffel: analysis, design and programming language. 2nd edition Ecma International®, 2006 | | 2006 |
Bertrand MeyerProfessor of Software Engineering, Constructor UniversityVerified email at inf.ethz.ch
