Mansur Khazeev
Title
Cited by
Cited by
Year
Teaching programming and design-by-contract
D de Carvalho, R Hussain, A Khan, M Khazeev, JY Lee, S Masiagin, ...
International Conference on Interactive Collaborative Learning, 68-76, 2018
92018
Initial steps towards assessing the usability of a verification tool
M Khazeev, V Rivera, M Mazzara, L Johard
International Conference in Software Engineering for Defence Applications, 31-40, 2016
32016
Reflections on teaching formal methods for software development in higher education
M Khazeev, H Aslam, D de Carvalho, M Mazzara, JM Bruel, JA Brown
International Workshop on Frontiers in Software Engineering Education, 28-41, 2019
12019
Towards a Broader Acceptance of Formal Verification Tools
M Khazeev, M Mazzara, H Aslam, D de Carvalho
International Conference on Interactive Collaborative Learning, 188-200, 2019
12019
Towards A Broader Acceptance Of Formal Verification Tools: The Role Of Education
M Khazeev, M Mazzara, D De Carvalho, H Aslam
arXiv preprint arXiv:1906.01430, 2019
12019
Usability of AutoProof: a case study of software verification
M Khazeev, V Rivera, M Mazzara, A Tchitchigin
arXiv preprint arXiv:1605.01663, 2016
12016
Code Review in the Classroom
V Rivera, H Aslam, A Naumchev, D de Carvalho, M Khazeev, M Mazzara
arXiv preprint arXiv:2004.08774, 2020
2020
A Machine to Machine framework for the charging of Electric Autonomous Vehicles
Z Elbanna, I Afanasyev, LJP de Araśjo, R Hussain, M Khazeev, J Lamptey, ...
Workshops of the International Conference on Advanced Information Networking …, 2020
2020
Towards Code Review Guideline in a Classroom
V Rivera, H Aslam, A Naumchev, D de Carvalho, M Khazeev, M Mazzara
International Workshop on Frontiers in Software Engineering Education, 88-105, 2019
2019
Hackathons as a Part of Software Engineering Education: CASE in Tools Example
A Sadovykh, M Beketova, M Khazeev
International Workshop on Frontiers in Software Engineering Education, 232-245, 2019
2019
The system can't perform the operation now. Try again later.
Articles 1–10