activity
20162018
most citedTeaching Programming and Design-by-Contract

49 citations · 54 across the 2 of their papers we have counts for

collaborators

7 papers

cs.CY2018

On M2M Micropayments : A Case Study of Electric Autonomous Vehicles

Dragos Strugar, Rasheed Hussain, Manuel Mazzara +3

The proliferation of electric vehicles has spurred the research interest in technologies associated with it, for instance, batteries, and charging mechanisms. Moreover, the recent…

q-bio.QM2017

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…

cs.SE2017★ 49 cited

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.…

cs.SE2017

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…

cs.SE2017

Microservices: How To Make Your Application Scale

Nicola Dragoni, Ivan Lanese, Stephan Thordal Larsen +3

The microservice architecture is a style inspired by service-oriented computing that has recently started gaining popularity and that promises to change the way in which software i…

cs.SE2016★ 5 cited

Towards Microservices and Beyond: An incoming Paradigm Shift in Distributed Computing

Manuel Mazzara, Ruslan Mustafin, Larisa Safina +1

The microservice architecture is a style inspired by service-oriented computing that has recently started gaining popularity and that promises to change the way in which software i…

cs.SE2016

Microservices: yesterday, today, and tomorrow

Nicola Dragoni, Saverio Giallorenzo, Alberto Lluch Lafuente +4

Microservices is an architectural style inspired by service-oriented computing that has recently started gaining popularity. Before presenting the current state-of-the-art in the f…