| Seamless requirements A Naumchev, B Meyer Computer Languages, Systems & Structures 49, 119-132, 2017 | 23 | 2017 |
| Complete contracts through specification drivers A Naumchev, B Meyer 2016 10th International Symposium on Theoretical Aspects of Software …, 2016 | 23 | 2016 |
| Unifying requirements and code: an example A Naumchev, B Meyer, V Rivera International Andrei Ershov Memorial Conference on Perspectives of System …, 2015 | 21 | 2015 |
| AutoReq: Expressing and verifying requirements for control systems A Naumchev, B Meyer, M Mazzara, F Galinier, JM Bruel, S Ebersold Journal of Computer Languages 51, 131-142, 2019 | 13 | 2019 |
| Teaching DevOps in corporate environments M Mazzara, A Naumchev, L Safina, A Sillitti, K Urysov International Workshop on Software Engineering Aspects of Continuous …, 2018 | 12 | 2018 |
| DevOps and its philosophy: Education matters! E Bobrov, A Bucchiarone, A Capozucca, N Guelfi, M Mazzara, ... Microservices, 349-361, 2020 | 11 | 2020 |
| Teaching programming and design-by-contract D Carvalho, R Hussain, A Khan, M Khazeev, JY Lee, S Masiagin, ... International Conference on Interactive Collaborative Learning, 68-76, 2018 | 10 | 2018 |
| The role of formalism in system requirements JM Bruel, S Ebersold, F Galinier, M Mazzara, A Naumchev, B Meyer ACM Computing Surveys (CSUR) 54 (5), 1-36, 2021 | 9 | 2021 |
| Towards an anatomy of software requirements B Meyer, JM Bruel, S Ebersold, F Galinier, A Naumchev International Conference on Objects, Components, Models and Patterns, 10-40, 2019 | 9 | 2019 |
| Object-oriented requirements: reusable, understandable, verifiable A Naumchev International Conference on Objects, Components, Models and Patterns, 150-162, 2019 | 6 | 2019 |
| Exigences orientées objets dans un cycle de vie continu A Naumchev Toulouse 3, 2019 | 6 | 2019 |
| Seamless object-oriented requirements A Naumchev 2019 International Multi-Conference on Engineering, Computer and Information …, 2019 | 5 | 2019 |
| Expressing and verifying embedded software requirements A Naumchev, B Meyer, M Mazzara, F Galinier, JM Bruel, S Ebersold arXiv preprint arXiv:1710.02801, 2017 | 5 | 2017 |
| Landing Gear System ground model specification and requirements in Eiffel A Naumchev | 5 | 2017 |
| Detection of inconsistent contracts through modular verification A Naumchev International Conference in Software Engineering for Defence Applications …, 2018 | 4 | 2018 |
| Innochain: a distributed ledger for industry with formal verification on all implementation levels VA Kukharenko, KV Ziborov, RF Sadykov, AV Naumchev, RM Rezin, ... Modeling and Analysis of Information Systems 27 (4), 454-471, 2020 | 2 | 2020 |
| Formality in software requirements JM Bruel, S Ebersold, F Galinier, A Naumchev, M Mazzara, B Meyer CoRR, 2019 | 2 | 2019 |
| The role of formalism in system requirements (full version) JM Bruel, S Ebersold, F Galinier, A Naumchev, M Mazzara, B Meyer arXiv preprint arXiv:1911.02564, 2019 | 2 | 2019 |
| VERCORS: Hardware and Software Complex for Intelligent Round-Trip Formalized Verification of Dependable Cyber-Physical Systems in a Digital Twin Environment (Position Paper) A Naumchev, A Sadovykh, V Ivanov International Conference on Objects, Components, Models and Patterns, 351-363, 2019 | 2 | 2019 |
| A contract-based method to specify stimulus-response requirements A Naumchev, M Mazzara, B Meyer, JM Bruel, F Galinier, S Ebersold Труды Института системного программирования РАН 29 (4), 39-54, 2017 | 2 | 2017 |
