iFMCloud@IFM

201620162016

Keyphrases

Publications

2016

Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa
Modeling Deployment Decisions for Elastic Services with ABS. iFMCloud@IFM (2016)
Pavel Zaichenkov, Olga Tveretina, Alex Shafarenko
Configuring Cloud-Service Interfaces Using Flow Inheritance. iFMCloud@IFM (2016)
Nuno Oliveira, Luís Soares Barbosa
An Enhanced Model for Stochastic Coordination. iFMCloud@IFM (2016)
Rahul Kumar, Chetan Bansal, Jakob Lichtenberg
Static Analysis Using the Cloud. iFMCloud@IFM (2016)

volume 228, 2016

Proceedings of the First International Workshop on Formal Methods for and on the Cloud, iFMCloud@IFM 2016, Reykjavik, Iceland, 4th June 2016. iFMCloud@IFM 228 (2016)