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
22016
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
Reflections on Teaching Formal Methods for Software Development in Higher Education
M Khazeev, H Aslam, D de Carvalho, M Mazzara, JM Bruel, JA Brown
Hackathons as a Part of Software Engineering Education: CASE in Tools Example
A Sadovykh, M Naumcheva, M Khazeev
The system can't perform the operation now. Try again later.
Articles 1–10