Mansur Khazeev

Publication Activity (10 Years)

Years Active: 2016-2020
Publications (10 Years): 12

Top Topics

Software Engineering Education

Web Based Teaching

Autonomous Vehicles

Formal Verification

Top Venues

Publications

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