Initial Steps Towards Assessing the Usability of a Verification Tool. - Mansur Khazeev; Victor Rivera; Manuel Mazzara; Leonard Johard (SEDA, 2016)

Usability of AutoProof: a case study of software verification. - Mansur Khazeev; Victor Rivera; Manuel Mazzara; Alexander Tchitchigin (CoRR, 2016)

Initial steps towards assessing the usability of a verification tool. - Mansur Khazeev; Victor Rivera; Manuel Mazzara (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)

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)

Reflections on Teaching Formal Methods for Software Development in Higher Education. - Mansur Khazeev; Hamna Aslam; Daniel de Carvalho; Manuel Mazzara; Jean-Michel Bruel; Joseph Alexander Brown (FISEE, 2019)

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

Hackathons as a Part of Software Engineering Education: CASE in Tools Example. - Andrey Sadovykh; Maria Beketova; Mansur Khazeev (FISEE, 2019)

Towards A Broader Acceptance Of Formal Verification Tools: The Role Of Education. - Mansur Khazeev; Manuel Mazzara; Daniel de Carvalho; Hamna Aslam (CoRR, 2019)

A Machine to Machine Framework for the Charging of Electric Autonomous Vehicles. - Ziyad Elbanna; Ilya Afanasyev 001; Luiz Jonatã Pires de Araújo; Rasheed Hussain; Mansur Khazeev; Joseph Lamptey; Manuel Mazzara; Swati Megha; Diksha Moolchandani; Dragos Strugar (AINA Workshops, 2020)

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