681 citations
- Moscow Institute of Physics and TechnologyRU4 papers
- ITMO UniversityRU2 papers
- Politecnico di MilanoIT2 papers
- A.P. Ershov Institute of Informatics Systems, Siberian Branch of the Russian Academy of Sciences1 paper
- Associated Compiler Experts (Netherlands)NL1 paper
- Beijing Institute of TechnologyCN1 paper
- Boston UniversityUS1 paper
- Brandenburg University of Technology Cottbus-SenftenbergDE1 paper
- Cardiff UniversityGB1 paper
- Centre Inria de l'Université de LorraineFR1 paper
- Centre National de la Recherche ScientifiqueFR1 paper
- Chinese Academy of SciencesCN1 paper
4 papers · 1 filter
Size Matters: Microservices Research and Applications
Manuel Mazzara, Antonio Bucchiarone, Nicola Dragoni +1
In this chapter we offer an overview of microservices providing the introductory information that a reader should know before continuing reading this book. We introduce the idea of…
An architecture for non-invasive software measurement
Vasilii Artemev, Vladimir Ivanov, Manuel Mazzara +4
Analysis of data related to software development helps to increase quality, control and predictability of software development processes and products.However, collecting such data…
Jolie Good Buildings: Internet of things for smart building infrastructure supporting concurrent apps utilizing distributed microservices
Kamill Gusmanov, Kevin Khanda, Dilshat Salikhov +2
A large percentage of buildings, domestic or special-purpose, is expected to become increasingly "smarter" in the future, due to the immense benefits in terms of energy saving, saf…
An LTL Semantics of Business Workflows with Recovery
Luca Ferrucci, Marcello M. Bersani, Manuel Mazzara
We describe a business workflow case study with abnormal behavior management (i.e. recovery) and demonstrate how temporal logics and model checking can provide a methodology to ite…