3 citations · 5 across the 5 of their papers we have counts for
11 papers
Implementing Choreography Extraction
Luis Cruz-Filipe, Kim S. Larsen, Fabrizio Montesi +1
Choreographies are global descriptions of interactions among concurrent components, most notably used in the settings of verification and synthesis of correct-by-construction softw…
Proceedings 14th Interaction and Concurrency Experience
Julien Lange, Anastasia Mavridou, Larisa Safina +1
This volume contains the proceedings of ICE'21, the 14th Interaction and Concurrency Experience, which was held online on the 18th of June 2021, as a satellite event of DisCoTec'21…
Implementing choreography extraction
Luís Cruz-Filipe, Fabrizio Montesi, Larisa Safina
Choreography extraction deals with the generation of a choreography (a global description of communication behaviour) from a set of local process behaviours. In this work, we imple…
Ephemeral Data Handling in Microservices - Technical Report
Saverio Giallorenzo, Fabrizio Montesi, Larisa Safina +1
In modern application areas for software systems --- like eHealth, the Internet-of-Things, and Edge Computing --- data is encoded in heterogeneous, tree-shaped data-formats, it mus…
DevOps and its Philosophy : Education Matters!
Evgeny Bobrov, Antonio Bucchiarone, Alfredo Capozucca +4
DevOps processes comply with principles and offer practices with main objective to support efficiently the evolution of IT systems. To be efficient a DevOps process relies on a set…
Teaching DevOps in Corporate Environments: An experience report
Manuel Mazzara, Alexandr Naumchev, Larisa Safina +2
This paper describes our experience of training a team of developers of an East-European phone service provider. The training experience was structured in two sessions of two days…