435 citations · 840 across the 65 of their papers we have counts for
10 papers · 2 filters
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…
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…
Software Quality - Traditional vs. Agile: an Empirical Investigation
Mohamad Kassab, JooYoung Lee, Manuel Mazzara +2
It is well known that the software process impacts the quality of the resulting product. There are also anecdotal claims that agile processes result in higher level of quality than…
LTL-based Verification of Reconfigurable Workflows
Manuel Mazzara
Logics and model-checking have been successfully used in the last decades for modeling and verification of various types of hardware (and software) systems. While most languages an…
Model Checking of BPMN Models for Reconfigurable Workflows
Juan Carlos Polanco Aguilar, Koji Hasebe, Manuel Mazzara +1
Nowadays, business enterprises often need to dynamically reconfigure their internal processes in order to improve the efficiency of the business flow. However, modifications of the…
Lessons from DEPLOYment
Manuel Mazzara, Cliff Jones, Alexei Iliasov
This paper reviews the major lessons learnt during two significant pilot projects by Bosch Research during the DEPLOY project. Principally, the use of a single formalism, even when…