Mansur Khazeev

According to our database, Mansur Khazeev authored at least 11 papers between 2016 and 2020.

Collaborative distances:

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

2020

Code Review in the Classroom.

Victor Rivera, Hamna Aslam, Alexandr Naumchev, Daniel de Carvalho, Mansur Khazeev, Manuel Mazzara

CoRR, 2020

A Machine to Machine Framework for the Charging of Electric Autonomous Vehicles.

Ziyad Elbanna, Ilya Afanasyev, Luiz Jonatã Pires de Araújo, Rasheed Hussain, Mansur Khazeev, Joseph Lamptey, Manuel Mazzara, Swati Megha, Diksha Moolchandani, Dragos Strugar

Proceedings of the Web, Artificial Intelligence and Network Applications, 2020

2019

Towards A Broader Acceptance Of Formal Verification Tools: The Role Of Education.

Mansur Khazeev, Manuel Mazzara, Daniel de Carvalho, Hamna Aslam

CoRR, 2019

Hackathons as a Part of Software Engineering Education: CASE in Tools Example.

Andrey Sadovykh, Maria Beketova, Mansur Khazeev

Proceedings of the Frontiers in Software Engineering Education, 2019

Towards Code Review Guideline in a Classroom.

Victor Rivera, Hamna Aslam, Alexandr Naumchev, Daniel de Carvalho, Mansur Khazeev, Manuel Mazzara

Proceedings of the Frontiers in Software Engineering Education, 2019

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

Proceedings of the Frontiers in Software Engineering Education, 2019

2018

Teaching Programming and Design-by-Contract.

Daniel de Carvalho, Rasheed Hussain, Adil Khan, Mansur Khazeev, Jooyong Lee, Sergey Masyagin, Manuel Mazzara, Ruslan Mustafin, Alexandr Naumchev, Victor Rivera

Proceedings of the Challenges of the Digital Transformation in Education - Proceedings of the 21st International Conference on Interactive Collaborative Learning (ICL 2018), 2018

2017

Teaching Programming and Design-by-Contract.

Daniel de Carvalho, Jooyoung Lee, Adil Khan, Manuel Mazzara, Mansur Khazeev, Ruslan Mustafin, Alexandr Naumchev, Victor Rivera

CoRR, 2017

Initial steps towards assessing the usability of a verification tool.

Mansur Khazeev, Victor Rivera, Manuel Mazzara

CoRR, 2017

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, Leonard Johard

Proceedings of 5th International Conference in Software Engineering for Defence Applications, 2016