49 citations · 71 across the 14 of their papers we have counts for
9 papers · 1 filter
Model Checking in multiplayer games development
Ruslan Rezin, Ilya Afanasyev, Manuel Mazzara +1
Multiplayer computer games play a big role in the ever-growing entertainment industry. Being competitive in this industry means releasing the best possible software, and reliabilit…
Gene expression for simulation of biological tissue
Sadyk Sayfullin, Fedor Akhmetov, Manuel Mazzara +2
BioDynaMo is a biological processes simulator developed by an international community of researchers and software engineers working closely with neuroscientists. The authors have b…
Teaching Programming and Design-by-Contract
Daniel de Carvalho, Rasheed Hussain, Adil Khan +7
This paper summarizes the experience of teaching an introductory course to programming by using a correctness by construction approach at Innopolis University, Russian Federation.…
Domain Objects and Microservices for Systems Development: a roadmap
Kizilov Mikhail, Antonio Bucchiarone, Manuel Mazzara +2
This paper discusses a roadmap to investigate Domain Objects being an adequate formalism to capture the peculiarity of microservice architecture, and to support Software developmen…
Self-adaptive node-based PCA encodings
Leonard Johard, Victor Rivera, Manuel Mazzara +1
In this paper we propose an algorithm, Simple Hebbian PCA, and prove that it is able to calculate the principal component analysis (PCA) in a distributed fashion across nodes. It s…
Microservices Science and Engineering
Manuel Mazzara, Kevin Khanda, Ruslan Mustafin +3
In this paper we offer an overview on the topic of Microservices Science and Engineering (MSE) and we provide a collection of bibliographic references and links relevant to underst…
Translating Event-B machines to Eiffel programs
Victor Rivera, JooYoung Lee, Manuel Mazzara +1
Formal modelling languages play a key role in the development of software since they enable users to prove correctness of system properties. However, there is still not a clear und…
Link Prediction using Top- Shortest Distances
Andrei Lebedev, JooYoung Lee, Victor Rivera +1
In this paper, we apply an efficient top- shortest distance routing algorithm to the link prediction problem and test its efficacy. We compare the results with other base line a…
Initial steps towards assessing the usability of a verification tool
Mansur Khazeev, Victor Rivera, Manuel Mazzara +1
In this paper we report the experience of using AutoProof to statically verify a small object oriented program. We identified the problems that emerged by this activity and we clas…