Mansur Khazeev

12 papers Journal 6Unranked 6
YearRankTypeTitle / Venue / Authors
2020 — conf
A Machine to Machine Framework for the Charging of Electric Autonomous Vehicles.
AINA Workshops
Ziyad Elbanna, Ilya Afanasyev, Luiz Jonatã Pires de Araújo, Rasheed Hussain, Mansur Khazeev, Joseph Lamptey, Manuel Mazzara, Swati Megha, Diksha Moolchandani, Dragos Strugar
2020 J jnl
Code Review in the Classroom.
CoRR
Victor Rivera, Hamna Aslam, Alexandr Naumchev, Daniel de Carvalho, Mansur Khazeev, Manuel Mazzara
2019 J jnl
A Machine to Machine framework for the charging of Electric Autonomous Vehicles.
CoRR
Ziyad Elbanna, Ilya Afanasyev, Luiz Jonata Pires de Araujo, Rasheed Hussain, Mansur Khazeev, Joseph Lamptey, Manuel Mazzara, Swati Megha, Diksha Moolchandani, Dragos Strugar
2019 — conf
Hackathons as a Part of Software Engineering Education: CASE in Tools Example.
FISEE
Andrey Sadovykh, Maria Beketova, Mansur Khazeev
2019 — conf
Reflections on Teaching Formal Methods for Software Development in Higher Education.
FISEE
Mansur Khazeev, Hamna Aslam, Daniel de Carvalho, Manuel Mazzara, Jean-Michel Bruel, Joseph Alexander Brown
2019 J jnl
Towards A Broader Acceptance Of Formal Verification Tools: The Role Of Education.
CoRR
Mansur Khazeev, Manuel Mazzara, Daniel de Carvalho, Hamna Aslam
2019 — conf
Towards Code Review Guideline in a Classroom.
FISEE
Victor Rivera, Hamna Aslam, Alexandr Naumchev, Daniel de Carvalho, Mansur Khazeev, Manuel Mazzara
2018 — conf
Teaching Programming and Design-by-Contract.
ICL (1)
Daniel de Carvalho, Rasheed Hussain, Adil Khan, Mansur Khazeev, JooYong Lee, Sergey Masyagin, Manuel Mazzara, Ruslan Mustafin, Alexandr Naumchev, Victor Rivera
2017 J jnl
Initial steps towards assessing the usability of a verification tool.
CoRR
Mansur Khazeev, Victor Rivera, Manuel Mazzara
2017 J jnl
Teaching Programming and Design-by-Contract.
CoRR
Daniel de Carvalho, Jooyoung Lee, Adil Khan, Manuel Mazzara, Mansur Khazeev, Ruslan Mustafin, Alexandr Naumchev, Victor Rivera
2016 — conf
Initial Steps Towards Assessing the Usability of a Verification Tool.
SEDA
Mansur Khazeev, Victor Rivera, Manuel Mazzara, Leonard Johard
2016 J jnl
Usability of AutoProof: a case study of software verification.
CoRR
Mansur Khazeev, Victor Rivera, Manuel Mazzara, Alexander Tchitchigin