FKom - Official Portal

Staff Information
Dr. Vitaliy Mezhuyev
Software Engineering Research Group (SERG)
Software Engineering, Formal methods, Cyber-physical systems, Metamodeling

Educational Background

• Sc. D. in Information Technology
Odessa National Technical University
Odessa, Ukraine, 2012
• Ph. D. in Educational Technologies
National Pedagogical University
Kyiv, Ukraine, 2002
• M. Sc. in Informatics and Computer Engineering
Berdyansk State Pedagogical University
Berdyansk, Ukraine, 1997
• IEEE, Professional Member, from 2014.
• IACSIT, Senior Member, from 2014.
• ACM, Professional Member, from 2007.


Software engineering, Formal methods, Meta Modelling,
Cyber-physical systems
1. A smart bin system for the UMP learning factory. UMP flagship grant inside “Cyber Physical System in Malaysian SMEs”, 2018-20 (leader).
2. Temporal Logic Based Formal Metamodel for Safety Modelling, Validation and Verification of Hybrid Software Systems, FRGS Grant of MOSTI, Malaysia, 2017-19 (leader).
2. Design by Contract Approach for Safety Verification of Hybrid Software Systems, RDU grant of UMP, Malaysia, 2017-19 (leader).
1. Development of GPU-based Visual Environment for Metamaterials Design, RDU grant of UMP, Malaysia, 2017-18 (leader). 2. Design and development of mathematical models for interpretation and computing tomographic images for reconstruction of composite porous materials, supported by CONACYT, with Instituto de Física (IF) of BUAP, Mexico, 2015-16 (participant). 3. Development of a Software Tool for Teaching Parallel Computations, Faculty of Computer Systems and Software Engineering, RDU grant of UMP, Malaysia, 2015 (leader). 4. Design and development of mathematical models for the interpretation and reconstruction of computed tomography images of automotive systems, supported by CONACYT grant N214218, with Volkswagen and IF-BUAP, Mexico, 2014-15 (participant). 5. Design and Prototyping Software Tools for Domain-Specific Mathematical Modelling, RDU grant of UMP, Malaysia, 2014-15 (leader). 6. Model Driven Approach to create a customizable e-Commerce System for Women Entrepreneurs in Pahang, KTP Grant of Malaysia Government, 2014-15 (leader). 7. Development of TLA models for fault-tolerant cyber-physical systems, Faculty of Computer Systems and Software Eng., RDU grant of UMP, Malaysia, 2013-14 (leader). 8. Development of Information Technology and Software Tools for Domain Specific Mathematical Modelling, Odessa National Technical University, 2007-12 (leader). 9. Development of Visual Environment for Metamaterials Modelling in the projects “Metamateriales nanoestructurados” supported by Red de Nanociencia y Nanotecnologia del CONACYT (2010-11) and “Fenomenos electromagneticos en sistemas micro- y nanoestructurados”, supported by PROMEP, SEP (IDCA8988, Clave BUAP-CA-250, 2011-12) with IF-BUAP, Mexico (participant). 10. Development of Open Communication Real Time Operating System, the toolset for development of distributed parallel real time applications, formal verification of software systems, web-based tools for specification of requirements in the Berdyansk site of OpenLicenseSociety, Belgium, 2004-11 (participant). 11. Development of tools for verification and validation of products in the frame of EVOLVE (Evolutionary Validation, Verification and Certification) EUREKA-ITEA2 project (2008-11), as subcontractor of OpenLicenseSociety. Development of environment for systems certification accordingly to the safety integrity levels in the frame of Flanders’ DRIVE ASIL project (2009-11), as subcontractor of Altreonic, Belgium. 12. Researches in computer tomography (development of algorithms and software for customs control; reconstruction of 3D objects by series of 2D slices for the medical diagnostics) in cooperation with Ukrainian Engineering and Pedagogical Academy, Kharkov, from 2002 till 2010 (in the frame of the project “New effective methods of solving tasks of computer tomography”, the registration number 042/0718). 13. Development of the logic for optical computers and Vector Logic Visual 2D and 3D Environments with support of USA Civilian Research and Development Foundation – CRDF (Award #UK-T1-6031-BE-05-01, 2005), in cooperation with Fisk University (Tennessee, USA) and Idaho State University (Idaho, USA). 14. Development of Visual Language for Physical Modelling, BSPU and University of Warmia and Mazury in Olsztyn, Poland, 2004 (in the frame of cooperation agreement with BSPU N77-05/06 from 23.11.04).


- Abderrahmane Namane. Based on timed automata approach for early verification of user’s requirements, 2017
- Mohamed Abadi Gumaa Abadi. Real-time management system for Petroleum Company, 2015
- Yousef Fazea. Mode Division Multiplexing: Potential Enabling Technology for Internet of Things. University Malaysia Pahang, Malaysia, 2017.

PhD Students
- Murni Fatehah Binti Alias. Temporal Logic Based Formal Metamodel for Safety Modelling, Validation and Verification of Hybrid Software Systems. University Malaysia Pahang, Malaysia, 2017.
- Mostafa Nadhir Hassan Al-Emran. Extending the Technology Acceptance Model with Knowledge Management Processes to Improve Mobile Learning Acceptance. University Malaysia Pahang, Malaysia, 2016.
- Vladimir Malyhin. Development of the professional competence of the engineers of computer specialities in the domain of security of information systems, Berdyansk State Pedagogical University, Ukraine, 2014.
- Alla Khatko. Development of the professional competence in informatics of engineers and teachers of computer specialities. Berdyansk State Pedagogical University, Berdyansk, Ukraine, 2012.
- Mykola Kudinov. Forming readiness to the automated design of the information systems in the process of professional preparation of future engineers. Classic Private University, Zaporizhja, Ukraine, 2011.
- Maxim Pavlenko. Method for teaching the network’ technologies for students of engineering and pedagogical specialities in higher educational institutions. Ukrainian Engineering and Pedagogical Academy, Kharkiv, 2009.


1. Vitaliy Mezhuyev. Information technology for domain-specific mathematical modelling. Berdyansk: BSPU, 2013. – 310 p.
2. Vitaliy Mezhuyev, Nikolay Kudinov. Preparation of future engineers for computer aided design of information systems. Berdyansk: BSPU, 2013. – 143 p.
3. Vitaliy Mezhuyev, Sergey Sergantov. Content Management Systems. Berdyansk: BSPU, 2007. – 292 p.
1. Eric Verhulst, Raymond T.Boute, José Miguel Sampaio Faria, Bernhard H.C. Sputh and Vitaliy Mezhuyev. Formal Development of a Network-Centric RTOS. Springer, 2011. – 227 p.
2. Vitaliy Mezhuyev, Felipe Pérez-Rodríguez. Visual Environment for Metamaterials Mod-elling. Some current topics in condensed matter physics. Universidad Autónoma del Estado de Morelos. – 2010. – 1-13 pp.
1. Vitaliy Mezhuyev. Programming and simulation of physical phenomena and processes. Revista Virtual del Instituto de Física "Luis Rivera Terrazas" Universidad Autónoma de Puebla, Mexico. 2012. – 32p. 2. Vitaliy Mezhuyev. Programming in C++ Builder. Berdyansk: BSPU, 2002. 54 p.
3. Vitaliy Mezhuyev. Programming in Delphi. Berdyansk: BSPU, 2002. 54 p.
4. Vitaliy Mezhuyev. Programming C. - Berdyansk: BSPU, 2002. 48p.
5. Vitaliy Mezhuyev. Programming Pascal. Berdyansk: BSPU, 2002. 48p.
6. Vitaliy Mezhuyev. Theory of algorithms. Berdyansk: BSPU, 2002. 48p.
7. Vitaliy Mezhuyev Theory of information and coding. Berdyansk: BSPU, 2002. 56 p.
Editorial and Reviewer Activities in 2018
1. Editor in Chief of the International Journal of Software Engineering and Computer Systems, Malaysia (
2. Member of Editorial Board of the journal of Energy Informatics (SpringerOpen).
3. Reviewer of Systems Engineering Journal, Wiley, USA.
4. Reviewer of Intelligent Automation and Soft Computing Journal (Autosoft), Taylor & Francis, USA.
5. Reviewer of Journal of Applied Geophysics, Elsevier.
6. Reviewer of Springer’ Journals of Supercomputing, Transactions on Computer Science, Lecture Notes in Computer Science, and SpringerPlus.
7. Review panel member of Journal of Testing and Evaluation, USA.
8. Reviewer of the magazine of scientific works of BSPU, Ukraine.
9. Member of TPC of 2018 IEEE International Conference on Communications, Control, and Computing Technologies for Smart Grids (SmartGridComm), 29-31 October 2018, Aalborg, Denmark.
10. Member of the program committee of 14th International Conference on Electronics Computer and Computation (ICECCO 2018), Almaty, Kazakhstan, Nov 28-Dec 1, 2018.
11. Conference Chair of the 7th International Conference on Software and Computer Ap-plications (ICSCA 2018), Kuantan, Malaysia, 8-10 Feb, 2018.
82 scientific papers in peer-review journals and indexed conference proceedings; 5 patents; 4 monographs ; 7 workbooks for students.
Scopus Author ID: 24468383200
ORCID: 0000-0002-9335-6131
Researcher ID : M-5432-2016


1. Full professor, Head of the Software Engineering Research Group, Faculty of Computer Systems and Software Engineering (FSKKP), University Malaysia Pahang (UMP), from August 2016 till now (from October 2013 till August 2016 – Visiting Professor). 2. Visiting professor at Benemérita Universidad Autónoma de Puebla (BUAP), Mexico, January, December 2010, October-November 2012. 3. Full professor, Head of Department of Informatics and Software Engineering at Berdyansk State Pedagogical University (BSPU), Ukraine, January 2004 till October 2014. 4. Manager of the site of Belgium IT Research and Development Institute OpenLicenseSociety at Berdyansk, Ukraine, from March 2005 till October 2011. 5. Vice-director of Institute of Nanotechnologies and Systems Engineering (INSE) at BSPU, Ukraine, from February 2007 till October 2010. 6. Academic Secretary of the Scientific Council of BSPU, Ukraine, from 2003 till 2007. 7. Head of the Subject Commission on Computer Systems and Networks of BSPU, Ukraine, from January 2003 till December 2004. 8. Senior lector, associate professor at Computer Technology Department of BSPU, Ukraine, from September 1999 till December 2004.
• Formal Methods (bachelors, University Malaysia Pahang - UMP, 2013-18);
• Architecture of software systems (masters, University Malaysia Pahang, 2013-17);
• Object-oriented programming with Java (bachelors, UMP, 2015-17);
• Methodology of scientific research (master students, UMP, 2013-14);
• Object-oriented programming with C++ (bachelors, BSPU, 1999-2013);
• Programming and simulation of physical phenomena and processes (PhD students, Benemérita Universidad Autónoma de Puebla, Mexico, 2012);
• Parallel programming (master students, BSPU, 2006-2013);
• Theory of information and coding (bachelors, BSPU, 1999-2013);
• Requirements engineering and management of software development (bachelors, BSPU);
• Formal verification of software systems (master students, BSPU, 1999-2013);
• Design and development of real-time and distributed systems (masters, BSPU, 2006-13);
• System programming with C (bachelors, BSPU, 1999-2013);
• Rapid application development with Delphi /C++ Builder (bachelors, BSPU, 1999-2013);
• CASE systems and domain specific modelling (bachelors, BSPU, 1999-2013).
1. Silver medal for the project “Mode Division Multiplexing: Potential Enabling Technology for Internet of Things” and bronze medal for “Process metamodel for safety modelling in smart building systems” at exhibition CITREX 2018, UMP, 7-8 February 2018.
2. Award from the Science and Knowledge Research Society for the 2nd Int. Conference on Mathematical Sciences & CE (ICMSCE 2015), Langkawi, Malaysia 2015, February 5-6.
3. Award for the best paper presentation at International Conference on Computer and Information Sciences ICCOINS-2014, Kuala-Lumpur, Malaysia, 2014, June 4.
4. A decision to award by the Medal "Wilhelm Leibniz" of the Department of awards the "European scientific and industrial consortium", protocol ?27 from 2014, August 01.
5. Award for the best presentation “International Scientific Projects of BSPU” at XXIV International Scientific and Practical Conference, Slovakia, 2012, May 10.
6. The Certificate of Honour of the Parliament of Ukraine for the Outstanding Results of the Scientific and Academic work, 2012, September 01.
7. The Gold Medal for the Results of Academic work, given in the III International Exhibition “Modern Teaching Institutes of Ukraine”, 2012, March 01.
8. The Certificate of Honour of Academy of Pedagogical Sciences of Ukraine for the Contribution to Development of System of Higher Education of Ukraine, 2007, July.
9. The Certificate of Honour of Zaporizhzhya Regional Administration for the Outstanding Results of Educational and Scientific Work, 2006, May 16.
10. The Medal of the Ministry of Education and Science of Ukraine “Honour of System of Education of Ukraine”, 2005, April 08.
11. The Award of Cabinet of Ukraine for Young Scientists, 2003, June 23.


Privacy Policy | Security Policy | Disclaimer | Sitemap | Webmaster | We are part of  ms ia logo

Faculty of Computing (FKOM)
College of Computing and Applied Sciences,

Universiti Malaysia Pahang
Lebuhraya Tun Razak
26300 Gambang,
Kuantan, Pahang Darul Makmur.

Tel: +609 549 2133 (Hotline) | Postgraduate: +609 549 2204 | Undergraduate: +609 549 2147 | Technical: +609 549 2157        
Fax: +609 549 2144 (Main) | Technical: +609 549 2156

ump-helpdeskUMP HELPDESK
Complaint / Feedback

Let us know

Copyright © 2014 . Universiti Malaysia Pahang
Guide: For best desktop view, please use Internet Explorer 11 or above with resolution 1280 x 800 pixel.