Manuel Mazzara

Manuel Mazzara
Innopolis University · Department of Computer Science and Engineering

PhD in Computing Science

About

394
Publications
160,057
Reads
How we measure 'reads'
A 'read' is counted each time someone views a publication summary (such as the title, abstract, and list of authors), clicks on a figure, or views or downloads the full-text. Learn more
4,124
Citations
Introduction
Manuel Mazzara is a professor of Computer Science at Innopolis University (Russia) with a research background in software engineering, service-oriented architectures and programming, concurrency theory, formal methods and software verification. He cooperated with european and US industry, plus governmental and inter governmental organizations such as the United Nations, always at the edge between science and software production. The work conducted by Manuel and his team in recent years focuses on the development of theories, methods, tools and programs covering the two major aspects of software engineering: the process side, describing how we develop software, and the product side, describing the results of this process.
Additional affiliations
December 2019 - present
Innopolis University
Position
  • Professor (Full)
January 2014 - December 2019
Innopolis University
Position
  • Professor (Associate)
January 2014 - present
Innopolis University
Position
  • Head of Department

Publications

Publications (394)
Conference Paper
Full-text available
Zoom has become a powerful tool of online education in today’s society. Ensuring the quality of online education platforms has been a growing concern for the last several years. However, there is a lack of research in this field especially in relation to the perspectives of students. Hence, there is a need for more empirical research in this area....
Article
Full-text available
Insertion is one of the basic operations in DNA computing. Based on this operation, an evolutionary computation model, the insertion system, was defined. For the above defined evolutionary computation model, varying levels of ambiguity and basic descriptional complexity measures were defined. In this paper, we define twelve new (descriptional) comp...
Article
Background Predictive models for academic performance forecasting have been a useful tool in the improvement of the administrative, counseling and instructional personnel of academic institutions. Aim The aim of this work is to develop a Radial Basis Function Neural Network for prediction of students’ performance using their past academic records...
Conference Paper
Full-text available
This study examines social media addiction and prototypes a software application. This application is meant to be integrated with any social media platform to alarm users when they are near the usage addiction stage. The work is ongoing and this paper elaborates on the preliminary findings. We survey participants in the age range of 18-40 years to...
Conference Paper
Advances in the field of Deep learning (DL), a subsidiary of Machine Learning (ML), for the classification of natural images has sparked much research and inspiration for the same type of techniques to be implemented on medical images. Here we develop a DL algorithm, using LabVIEW, which accurately detects breast cancer in its early stages on X-ray...
Book
Full-text available
This open access book describes the development of Innopolis, a young Russian university established in 2012 to focus on teaching excellence in computer science, engineering, and robotics. It reports on the problems that were faced in the first decade of its development, and the adopted solutions. It shows how the key aspects for the development of...
Article
With the recent advances in technology, smart cities are rapidly earning momentum. To provide better lives, smart cities should host several applications to increase the efficiency and accessibility of services. Since these services involve the conveyance of significant data among the smart cities’ cloud and the dwellers over the Internet, security...
Preprint
Full-text available
One of the most important component of a smart city is smart transport. To configure large scale smart transport systems, the simulation software is used. The simulations are useful for designing the traffic lights algorithms. The designers can take advantage of the simulation software and build reliable and robust algorithms. In this work, we desi...
Article
Full-text available
The quest for accurate and more efficient methods for solving periodic/oscillatory problems is gaining more attention in recent time. This paper presents the construction and implementation of a family of exponentially-fitted Obrechkoff methods using a six-step flowchart discussed in the literature. A single-step Obrechkoff method involving terms u...
Preprint
Full-text available
It is no news that the COVID–19 pandemic has affected many persons in different ways. As the number of reported cases rises across the globe, efforts are geared towards production and administration of effective vaccines for the disease. However, many developing countries are faced with the dilemma of how to slow the spread and flatten the curves o...
Article
Full-text available
Cloud computing is a long-standing dream of computing as a utility, where users can store their data remotely in the cloud to enjoy on-demand services and high-quality applications from a shared pool of configurable computing resources. Thus, the privacy and security of data are of utmost importance to all of its users regardless of the nature of t...
Conference Paper
Full-text available
The COVID-19 pandemic has been a game changer for many aspects of the educational environment worldwide. Together with positive aspects of digital acceleration there have been also obstacles in keeping internationalization processes on track. In this paper, we consider a case study of an educational institution: Innopolis University. We analyze the...
Preprint
Full-text available
The COVID-19 pandemic has been a game changer for many aspects of the educational environment worldwide. Together with positive aspects of digital acceleration, there have also been obstacles in keeping internationalization processes on track. In this paper, we consider a case study of an educational institution: Innopolis University. We analyze th...
Preprint
Full-text available
0000−0002−9143−5231] , Siham Hattab 2[0000−0002−5344−046X] , and Manuel Mazzara 1[0000−0002−3860−4948] Abstract. Since the introduction of Bitcoin and Ethereum, blockchain introduced new ways to handle payment and dealing with financial transactions. From 2009 till now, several blockchain systems were developed. However, the main issue for each blo...
Chapter
For the future, the vision is transforming the university into a multidimensional center of excellence, still focused on IT, but not just related to pure computer science, including possible synergistic domains of knowledge.
Chapter
The chapter presents some conclusive thoughts.
Chapter
One aspect that strikes foreign visitors when they first come to the campus is the impressive real estate. A common impression of new visitors, since the early days, is that it had to exist for at least 20 or 30 years, while indeed it is only a few years old. What happened before the construction of the campus? Innopolis already existed as a small...
Chapter
We discuss here the ideas behind the international faculty, the hiring process, the relocation of people, the training and coaching, and the growth in size of the faculty. We share how all the processes bootstrapped and the challenges of starting from zero.
Chapter
These days, universities acquire a reputation appearing on international rankings such as THE and QS. Innopolis is in the process of entering such rankings. In this chapter, we discuss how this challenge should be attacked and how the related processes should be organized in order to achieve the result. We also present some of the early successes o...
Chapter
Fundamental research without applied research cannot have a direct impact on the economic ecosystem. Modern universities require intense cooperation with industry. The model of the Innopolis system is peculiar, companies support scholarships, and students have free education that they will pay back by working for 1 year after graduation.
Chapter
After setting up the teaching process, research is fundamental to reach international recognition. Setting up from zero, an effective research process takes time. What assessment system should be created to motivate and incentivize researchers to perform their work at best? How to motivate professionals to join, stay, and work effectively? In this...
Chapter
Full-text available
In this chapter, we will cover the development of educational programs from scratch, the rationale behind the curricula, and the objectives and the bootstrapping of teaching, including the experience with CMU and the University of Amsterdam for the initial master programs. We also discuss the manifesto of our intention for what concerns the languag...
Chapter
Institute and labs are not only about spaces. It is necessary to create a structure where people can work with motivation and efficiency. We present here the structure and how it works.
Chapter
Innopolis is now featuring the third place in Russia for quality of incoming students, according to the final grades of school state examination. The early days were different; how was this progress achieved? What has been the process?
Chapter
A large number of pictures have been collected over the years. This last chapter is special, and the text is serving pictures and not the other way around. It is a visual journey into the Innopolis development. This chapter has been built on top of the beautiful photo archive of our colleague Timur Tsiunchuk. Sometimes, an image is more information...
Chapter
We present here the key people supporting the university development, the legacy of the Russian educational system combined with the novelty of the project. The past and the future live in Innopolis in a unique blend. As a private university, there are also challenges.
Chapter
Full-text available
The year 2020 changed the panorama and horizon of teaching forever. Innopolis University switched to online and blended education with minor problems only. Why we were “almost” ready for the switch. This chapter presents those days, how we reacted and managed to move on. What is going to be the future of education?
Conference Paper
Full-text available
Video-sharing sites platforms like YouTube have unique architecture and atmosphere. The comments section is one of the evolution that attracted the users towards expressing opinions and sharing more about videos. Opinions can be used to examine knowledge, user behavior analysis and provide the creator with more ideas to create videos. This paper pr...
Conference Paper
In today's time, ad-listing websites work as the main leads generator for businesses. Such websites are managed by a central authority called website admins. Because of the centralization, admins can change and remove some business information and manipulate the reviews and ratings to increase the benefits for other businesses. So, in this paper, w...
Cover Page
Full-text available
The aim and scope of this topical issue are aligned with those of the DEVOPS series: to provide the most recent stages of what is being done in the area of software engineering targeting modern software development methods, with particular interest at those aimed at speeding up the development life cycle, while ensuring that the product to be relea...
Chapter
Full-text available
The year 2020 has brought life-changing events for many and affected numerous professional sectors. Education has been one of those fields heavily impacted, and institutions have almost worldwide switched to forms of online education, which has become a common practice. With a fourth industrial revolution happening in front of our eyes, some elemen...
Conference Paper
Full-text available
This research proposes a smart parking system that is geared towards business entities. The system focuses on privacy, scalability, and performance for an enterprise system on a decentralized network(Blockchain). In a business setup, performance, scalability, and privacy should be at the centre stage. This research aims to improve on already existi...
Conference Paper
Many IT giants like Google, Apple, Yandex, etc., find mindfulness helpful and offer their employees the opportunity to spend time on practising mindfulness. Nevertheless, claims of performance improvement with meditation have met certain criticism. In this study, we analyse whether meditation causes short-term positive effects on software engineers...
Conference Paper
Full-text available
This study considers gamification as a tool for increasing employees’ efficiency and loyalty in the company. Gamification is the application of game mechanics to non-game processes. The article provides an overview of gamification history, as well as its fundamental ideas and practices. This is followed by a demonstration of how gamification is use...
Conference Paper
Far from being a bizarre pastime, alchemy played a crucially important role in the history of science, being supported and promoted by leading political and scientific figures (such as Rudolf II, Jabir ibn Hayyan, Gerard of Cremona, Adelard of Bath, Roger Bacon, Paracelsus, and even Newton). To understand alchemy, however, one has to approach it fr...
Conference Paper
Full-text available
Internationalization of higher education institutions in the twenty-first century is commonly regarded as a process that is essential for the development of a wide range of activities and engagements. Nowadays, a growing number of leaders of higher education institutions do not question the need of internationalization, but instead are actively loo...
Preprint
Full-text available
Convolutional Neural Networks (CNN) are more suitable, indeed. However, fixed kernel sizes make traditional CNN too specific, neither flexible nor conducive to feature learning, thus impacting on the classification accuracy. The convolution of different kernel size networks may overcome this problem by capturing more discriminating and relevant inf...
Article
The application of evolutionary optimization algorithms in problem solving is currently gaining wide popularity. Use of Differential Evolution (DE) algorithm in obtaining analytically approximate solution of unstable second–order initial value Ordinary Differential Equation (ODE) is presented in this work. The methodology involves solving an associ...
Article
Full-text available
Today, accurate and automated abnormality diagnosis and identification have become of paramount importance as they are involved in many critical and life-saving scenarios. To accomplish such frontiers, we propose three artificial intelligence models through the application of deep learning algorithms to analyze and detect anomalies in human heartbe...
Article
Full-text available
Traffic sign recognition is a key module of autonomous cars and driver assistance systems. Traffic sign detection accuracy and inference time are the two most important parameters. Current methods for traffic sign recognition are very accurate; however, they do not meet the requirement for real-time detection. While some are fast enough for real-ti...
Article
Full-text available
The most common reason for software product failure is misunderstanding user needs. Analysing and validating user needs before developing a product can allow to prevent such failures. This paper investigates several data-driven techniques for user research and product design through prototyping, customer validation, and usability testing. The autho...
Article
Full-text available
Declarative programming languages such as SwiftUI have gained increasing relevance for user interface implementation in mobile applications. A tool for evaluating and improving the quality of such projects is static analysis (SA). This study compares the usefulness of two of the most popular SA tools (SonarQube and Codacy) for evaluating real-world...
Article
Full-text available
Preserving red-chili quality is of utmost importance in which the authorities demand quality techniques to detect, classify, and prevent it from impurities. For example, salt, wheat flour, wheat bran, and rice bran contamination in grounded red chili, which though are food items, are a serious threat to the people who are allergic to such items. Th...
Conference Paper
Full-text available
The year 2020 has brought life-changing events for many and affected numerous professional sectors. Education has been one of those fields heavily impacted, and institutions have almost worldwide switched to forms of online education, which has become a common practice. With a fourth industrial revolution happening in front of our eyes, some elemen...
Preprint
Full-text available
Hyperspectral Imaging (HSI) has been extensively utilized in many real-life applications because it benefits from the detailed spectral information contained in each pixel. Notably, the complex characteristics i.e., the nonlinear relation among the captured spectral information and the corresponding object of HSI data make accurate classification c...
Chapter
A number of COVID-19 outbreak classification and prediction methods have been proposed and are being applied around the globe to make the right decision and to enforce proper control measures. Among these methods, simple statistical and epidemiological methods have received much attention whereas, for the long term prediction, the standard methods...
Article
Full-text available
The development of smart cities is a clear growing trend all around the world. The convergence of different technological, social, political, economical, and ecological trends has allowed the concepts to rise up quickly in governmental agendas. In this paper, we analyze the situation of Russia regarding smart cities. Moscow, Saint Petersburg, and K...
Article
Full-text available
Terrorism can be described as the use of violence against persons or properties to intimidate or coerce a government or its citizens to some certain political or social objectives. It is a global problem which has led to loss of lives and properties and known to have negative impacts on tourism and global economy. Terrorism has also been associated...
Preprint
Full-text available
Far from being a bizarre pastime, alchemy played a crucially important role in the history of science, being supported and promoted by leading political and scientific figures (such as Rudolf II, Jābir ibn Hayyān, Ger-ard of Cremona, Adelard of Bath, Roger Bacon, Paracelsus, and even Newton). To understand alchemy, however, one has to approach it f...
Preprint
Full-text available
The development of Smart Cities is a clear growing trend all around the world. The convergence of different technological, social, political, economical end ecological trends allowed the concepts to rank up quickly in governmental agendas. In this paper, we analyze the situation of Russia regarding Smart Cities. The reasons to focus on Russia are t...
Preprint
Full-text available
Internationalization of higher education institutions in the twenty-first century is commonly regarded as a process that is essential for the development of a wide range of activities and engagements. Nowadays, a growing number of leaders of higher education institutions do not question the need of internationalization, but instead are actively loo...
Article
Full-text available
The migration from monolithic to microservice-based systems have become increasingly popular in the last decade. However, the advantages of this type of migration have not been extensively investigated in the literature, to the best of the authors' knowledge. This paper aims to present a methodology and performance indicators to support better asse...
Article
Hyperspectral Image Classification (HSIC) is a challenging task due to the spectral mixing effect which induces high intra-class variability and inter-class similarity. To overcome these limitations, Convolutional Neural Networks (CNNs) are utilized for feature extraction and classification. However, 3D CNNs are computationally expensive and 2D CNN...
Presentation
Full-text available
What do we do all day at Innopolis? The presentation was delivered at the summer bootcamp addressing incoming students. It covers two parts: 1. Part 1: Emerging Trends in IT 2. Part 2: Education after COVID19
Chapter
Full-text available
Building an educational software product has two facets: software engineering and educational design. This paper proposes an approach that combines commonly used requirements engineering techniques with the educational concept of constructive alignment to develop an educational software product. The approach is novel in that it shows the direct cor...
Article
Full-text available
Convolutional Neural Networks (CNN) have been rigorously studied for Hyperspectral Image Classification (HSIC) and are known to be effective in exploiting joint spatial-spectral information with the expense of lower generalization performance and learning speed due to the hard labels and non-uniform distribution over labels. Therefore, this paper p...
Chapter
Full-text available
The year 2020 has brought life-changing events for many and affected numerous professional sectors. Education has been one of those fields heavily impacted, and institutions have almost worldwide switched to forms of online education, which has become a common practice. With a fourth industrial revolution happening in front of our eyes, some elemen...
Book
Una poesia dalle pennellate veloci, che racconta l'impressione del momento, consapevole della sua fugacità e al contempo della sua ricorsività: ricama sotto gli occhi del lettore un disegno che tratteggia le vicende del poeta e della sua matura sensibilità.
Chapter
Full-text available
Extracting information from the Web is one of the most trending subjects for data analysts and scientists. Web scraping is one of the prominent means to do so by parsing HTML pages and extracting data from their embedded tags. To that end, software developers write customized scripts for each target Website. Crafting such scripts is a challenging t...
Chapter
Full-text available
Blockchain is a decentralized, distributed, public, and digital ledger that is used to record transactions across many computers. At the top of Blockchain, Ethereum introduces smart contracts to support on-chain storage and enable Decentralized Apps (DApps) to interact with the Blockchain programmatically. In the healthcare domain, programmable Blo...
Chapter
Full-text available
This paper proposes a parking management system that is geared towards business entities. The proposed system will focus on privacy for the different entities who use the system. In a business setup, performance, scalability, and privacy should be at the centre stage. The paper aims to improve on already existing research on smart parking using blo...
Chapter
Full-text available
In recent years, data science has been used extensively to solve several problems and its application has been extended to several domains. This paper summarises the literature on the synergistic use of Software Engineering and Data Science techniques (e.g. descriptive statistics, inferential statistics, machine learning, and deep learning models)...
Article
Full-text available
Blood is key evidence to reconstruct crime scenes in forensic sciences. Blood identification can help to confirm a suspect, and for that reason, several chemical methods are used to reconstruct the crime scene however, these methods can affect subsequent DNA analysis. Therefore, this study presents a non-destructive method for bloodstain identifica...
Conference Paper
Full-text available
Modern UAVs are incredibly complex systems with numerous tunable knobs such as the battery capacity, camera settings, sampling rate, constraints on the route, etc. The area of theoretical exploration of the optimization problems that arise in such settings is dominated by traditional approaches that use regular nonlinear optimization often enhanced...
Preprint
Full-text available
Convolutional Neural Networks (CNN) have been rigorously studied for Hyperspectral Image Classification (HSIC) and are known to be effective in exploiting joint spatial-spectral information with the expense of lower generalization performance and learning speed due to the hard labels and non-uniform distribution over labels. Several regularization...
Article
Smartphones have ubiquitously integrated into our home and work environments, however, users normally rely on explicit but inefficient identification processes in a controlled environment. Therefore, when a device is stolen, a thief can have access to the owner’s personal information and services against the stored passwords. As a result of this po...