Unifying Requirements and Code: An Example. - Alexandr Naumchev; Bertrand Meyer 001; Víctor Rivera (Ershov Memorial Conference, 2015)

Complete Contracts through Specification Drivers. - Alexandr Naumchev; Bertrand Meyer 001 (TASE, 2016)

Seamless requirements. - Alexandr Naumchev; Bertrand Meyer 001 (Comput. Lang. Syst. Struct., 2017)

A contract-based method to specify stimulus-response requirements. - Alexandr Naumchev; Manuel Mazzara; Bertrand Meyer 001; Jean-Michel Bruel; Florian Galinier; Sophie Ebersold (CoRR, 2017)

Expressing and verifying embedded software requirements. - Alexandr Naumchev; Bertrand Meyer 001; Manuel Mazzara; Florian Galinier; Jean-Michel Bruel; Sophie Ebersold (CoRR, 2017)

Teaching Programming and Design-by-Contract. - Daniel de Carvalho; Jooyoung Lee; Adil Khan 001; Manuel Mazzara; Mansur Khazeev; Ruslan Mustafin; Alexandr Naumchev; Victor Rivera (CoRR, 2017)

Towards operational natural language. - Alexandr Naumchev (CoRR, 2017)

Teaching Programming and Design-by-Contract. - Daniel de Carvalho; Rasheed Hussain; Adil Khan 001; Mansur Khazeev; Jooyong Lee; Sergey Masyagin; Manuel Mazzara; Ruslan Mustafin; Alexandr Naumchev; Victor Rivera (ICL (1), 2018)

Teaching DevOps in Corporate Environments - An Experience Report. - Manuel Mazzara; Alexandr Naumchev; Larisa Safina; Alberto Sillitti; Konstantin Urysov (DEVOPS, 2018)

Detection of Inconsistent Contracts Through Modular Verification. - Alexandr Naumchev (SEDA, 2018)

Towards Code Review Guideline in a Classroom. - Victor Rivera; Hamna Aslam; Alexandr Naumchev; Daniel de Carvalho; Mansur Khazeev; Manuel Mazzara (FISEE, 2019)

Towards an Anatomy of Software Requirements. - Bertrand Meyer 001; Jean-Michel Bruel; Sophie Ebersold; Florian Galinier; Alexandr Naumchev (TOOLS, 2019)

Object-Oriented Requirements: Reusable, Understandable, Verifiable. - Alexandr Naumchev (TOOLS, 2019)

VERCORS: Hardware and Software Complex for Intelligent Round-Trip Formalized Verification of Dependable Cyber-Physical Systems in a Digital Twin Environment (Position Paper). - Alexandr Naumchev; Andrey Sadovykh; Vladimir Ivanov 001 (TOOLS, 2019)

DevOps and its Philosophy : Education Matters! - Evgeny Bobrov; Antonio Bucchiarone; Alfredo Capozucca; Nicolas Guelfi; Manuel Mazzara; Alexandr Naumchev; Larisa Safina (CoRR, 2019)

The Anatomy of Requirements. - Bertrand Meyer 001; Jean-Michel Bruel; Sophie Ebersold; Florian Galinier; Alexandr Naumchev (CoRR, 2019)

Formality in Software Requirements. - Jean-Michel Bruel; Sophie Ebersold; Florian Galinier; Alexandr Naumchev; Manuel Mazzara; Bertrand Meyer 001 (CoRR, 2019)

Seamless Object-Oriented Requirements. - Alexandr Naumchev (CoRR, 2019)

AutoReq: Expressing and verifying requirements for control systems. - Alexandr Naumchev; Bertrand Meyer 001; Manuel Mazzara; Florian Galinier; Jean-Michel Bruel; Sophie Ebersold (J. Comput. Lang., 2019)

Seamless Object-Oriented Requirements. (Exigences orientées objets dans un cycle de vie continu). - Alexandr Naumchev (2019)

DevOps and Its Philosophy: Education Matters! - Evgeny Bobrov; Antonio Bucchiarone; Alfredo Capozucca; Nicolas Guelfi; Manuel Mazzara; Alexandr Naumchev; Larisa Safina (Microservices, Science and Engineering, 2020)

Code Review in the Classroom. - Victor Rivera; Hamna Aslam; Alexandr Naumchev; Daniel de Carvalho; Mansur Khazeev; Manuel Mazzara (CoRR, 2020)

Extracting Software Requirements from Unstructured Documents. - Vladimir Ivanov 001; Andrey Sadovykh; Alexandr Naumchev; Alessandra Bagnato; Kirill Yakovlev (AIST (Supplement), 2021)

Examining Requirements Documentation through the Focused Conversation Method. - Hamna Aslam; Alexandr Naumchev; Jean-Michel Bruel; Joseph Alexander Brown (ISD, 2021)

Security Requirements as Code: Example from VeriDevOps Project. - Khaled Ismaeel; Alexandr Naumchev; Andrey Sadovykh; Dragos Truscan; Eduard Paul Enoiu; Cristina Seceleanu (RE Workshops, 2021)

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

The Role of Formalism in System Requirements. - Jean-Michel Bruel; Sophie Ebersold; Florian Galinier; Manuel Mazzara; Alexandr Naumchev; Bertrand Meyer 001 (ACM Comput. Surv., 2022)

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)

Object-Oriented Requirements: a Unified Framework for Specifications, Scenarios and Tests. - Maria Naumcheva; Sophie Ebersold; Alexandr Naumchev; Jean-Michel Bruel; Florian Galinier; Bertrand Meyer 001 (J. Object Technol., 2023)