Skip to main content

Engineering Virtualized Services

Publications

Complexity of Bradley-Manna-Sipma Lexicographic Ranking Functions

Author(s): Samir Genaim; Amir M. Ben-Amram
Permanent ID: arXiv:1504.05018; Digital Object Identifier:10.1007/978-3-319-21668-3_18

– A Technique Based on Behavioural Types –

Author(s): Einar Broch Johnsen; Ka I Pun; Cosimo Laneve; Elena Giachino
Published in: HAL CCSD https://hal.inria.fr/hal-01229068 2015
Permanent ID: arXiv:1511.05104; Digital Object Identifier:10.1007/978-3-319-28934-2_11

Non-Cumulative Resource Analysis (Author’s version)

Author(s): Albert Albiol, Elvira; Correas Fernández, Jesús; Román Díez, Guillermo
Published in: Springer Array 2015

Deadlock analysis of unbounded process networks

Author(s): Naoki Kobayashi; Cosimo Laneve
Published in: Elsevier BV Information and Computation, Elsevier, 2017, 252, pp.48 - 70. ⟨10.1016/j.ic.2016.03.004⟩ 2017
Permanent ID: Digital Object Identifier:10.1016/j.ic.2016.03.004

Resource Analysis: From Sequential to Concurrent and Distributed Programs

Author(s): Elvira Albert; Jesús Correas; Puri Arenas; Samir Genaim; Germán Puebla; Enrique Martin-Martin; Miguel Gómez-Zamalloa; Guillermo Román-Díez
Published in: Springer International Publishing FM 2015
Permanent ID: Digital Object Identifier:10.1007/978-3-319-19249-9_1

HLogo: A Parallel Haskell Variant of NetLogo

Author(s): I. S. W. B. Prasetya; Ilias Sakellariou; Nikolaos Bezirgiannis
Published in: SCITEPRESS - Science and Technology Publications SIMULTECH 2016
Permanent ID: Digital Object Identifier:10.5220/0005983501190128

Quantified abstract configurations of distributed systems

Author(s): Germán Puebla; Elvira Albert; Jesús Correas; Guillermo Román-Díez
Published in: Springer 2014
Permanent ID: Digital Object Identifier:10.1007/s00165-014-0321-z

Modeling Deployment Decisions for Elastic Services with ABS

Author(s): Einar Broch Johnsen; Silvia Lizeth Tapia Tarifa; Ka I Pun
Published in: Open Publishing Association Electronic Proceedings in Theoretical Computer Science, Vol 228, Iss Proc. iFMCloud 2016, Pp 16-26 (2016) 2016
Permanent ID: Digital Object Identifier:10.4204/eptcs.228.3; arXiv:1610.08199

A Formal, Resource Consumption-Preserving Translation of Actors to Haskell

Author(s): Elvira Albert; Frank S. de Boer; Enrique Martin-Martin; Nikolaos Bezirgiannis
Permanent ID: arXiv:1608.02896; Digital Object Identifier:10.1007/978-3-319-63139-4_2

A Transformational Approach to Resource Analysis with Typed-Norms

Author(s): Raúl Gutiérrez; Samir Genaim; Elvira Albert
Published in: Springer International Publishing LOPSTR 2014
Permanent ID: Digital Object Identifier:10.1007/978-3-319-14125-1_3; Handle:10251/60351

Automatic application deployment in the cloud: From practice to theory and back

Author(s): Di Cosmo, Roberto; Lienhardt, Michael; Mauro, Jacopo; Zacchiroli, Stefano; Zavattaro, Gianluigi; Zwolakowski, Jakub
Published in: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing https://hal.inria.fr/hal-01233426 2015

Static Inference of Transmission Data Sizes in Distributed Systems

Author(s): Guillermo Román-Díez; Enrique Martin-Martin; Elvira Albert; Jesús Correas
Permanent ID: Digital Object Identifier:10.1007/978-3-662-45231-8_8

SACO: Static Analyzer for Concurrent Objects

Author(s): Albert Albiol, Elvira; Arenas Sánchez, Purificación; Flores Montoya, A.; Genaim, Samir; Gómez-Zamalloa Gil, Miguel; Martín Martín, Enrique; Puebla, G.; Román Díez, Guillermo
Published in: Springer Berlin Heidelberg TACAS 2014
Permanent ID: Digital Object Identifier:10.1007/978-3-642-54862-8_46

A formal method for rule analysis and validation in distributed data aggregation service

Author(s): Valentin Cristea; Vlad Serbanescu; Gabriel Antoniu; Florin Pop
Permanent ID: Digital Object Identifier:10.1007/s11280-015-0334-4

Fault Model Design Space for Cooperative Concurrency

Author(s): Volker Stolz; Gianluigi Zavattaro; Einar Broch Johnsen; Ivan Lanese; Rudolf Schlatte; Michael Lienhardt; Mario Bravetti
Published in: Springer Scopus - Elsevier 2014
Permanent ID: Digital Object Identifier:10.1007/978-3-662-45231-8_3

Statically and Dynamically Verifiable SLA Metrics

Author(s): Elena Giachino; Stijn de Gouw; Cosimo Laneve; Behrooz Nobakht
Published in: HAL CCSD Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday, 211 - 225 2016
Permanent ID: Digital Object Identifier:10.1007/978-3-319-30734-3_15; Handle:1820/5ec43e6f-2932-4a93-8ad8-ea5441bbb71a

Automatic deployment of component-based applications

Author(s): Gianluigi Zavattaro; Tudor Alexandru Lascu; Jacopo Mauro
Permanent ID: Digital Object Identifier:10.1016/j.scico.2015.07.006

Towards the Typing of Resource Deployment

Author(s): Elena Giachino; Cosimo Laneve
Published in: HAL CCSD https://hal.inria.fr/hal-01091748 2014
Permanent ID: Digital Object Identifier:10.1007/978-3-662-45231-8_7

Test Case Generation by Symbolic Execution: Basic Concepts, a CLP-Based Instance, and Actor-Based Concurrency

Author(s): Albert, Elvira; Arenas, Puri; Gómez-Zamalloa, Miguel; Rojas, Jose Miguel
Permanent ID: Digital Object Identifier:10.1007/978-3-319-07317-0_7

Actor- and Task-Selection Strategies for Pruning Redundant State-Exploration in Testing

Author(s): Miguel Gómez-Zamalloa; Puri Arenas; Elvira Albert
Published in: HAL CCSD https://hal.inria.fr/hal-01398008 2014
Permanent ID: Digital Object Identifier:10.1007/978-3-662-43613-4_4

Peak Cost Analysis of Distributed Systems (Author's version)

Author(s): Albert Albiol, Elvira; Correas Fernández, Jesús; Román Díez, Guillermo

Parallel Cost Analysis of Distributed Systems

Author(s): Elvira Albert; Jesús Correas; Einar Broch Johnsen; Guillermo Román-Díez
Published in: Springer Berlin Heidelberg SAS 2015
Permanent ID: Digital Object Identifier:10.1007/978-3-662-48288-9_16

Deadlock Analysis of Unbounded Process Networks

Author(s): Cosimo Laneve; Elena Giachino; Naoki Kobayashi
Published in: HAL CCSD CONCUR 2014 - Concurrency Theory - 25th International Conference, Sep 2014, Rome, Italy. pp.63 - 77, ⟨10.1007/978-3-662-44584-6_6⟩ 2014
Permanent ID: Digital Object Identifier:10.1007/978-3-662-44584-6_6

An Algebraic Theory for Web Service Contracts

Author(s): Cosimo Laneve; Luca Padovani
Published in: HAL CCSD Formal Aspects of Computing, Springer Verlag, 2015, 27 (4), pp.27. ⟨10.1007/s00165-015-0334-2⟩ 2015
Permanent ID: Digital Object Identifier:10.1007/978-3-642-38613-8_21; Digital Object Identifier:10.1007/s00165-015-0334-2

Actors may synchronize, safely!

Author(s): Ludovic Henrio; Cosimo Laneve; Vincenzo Mastandrea; Elena Giachino
Published in: HAL CCSD PPDP 2016 18th International Symposium on Principles and Practice of Declarative Programming 2016
Permanent ID: Digital Object Identifier:10.1145/2967973.2968599

Dynamic Rebinding for Concurrent Object Groups: Theory and Practice

Author(s): Michael Lienhardt; Peter Y. H. Wong; Mario Bravetti; Elena Giachino
Published in: Elsevier BV https://hal.inria.fr/hal-01337333 2016
Permanent ID: Digital Object Identifier:10.1016/j.jlamp.2016.03.002

Ranking Functions for Linear-Constraint Loops

Author(s): Ben-Amram, Amir M.; Genaim, Samir
Published in: Association for Computing Machinery (ACM) 2012
Permanent ID: Digital Object Identifier:10.1145/2629488; arXiv:1208.4041

Analysis of SLA Compliance in the Cloud : An Automated, Model-based Approach

Author(s): Boer, Frank S. de; Giachino, Elena; Gouw, Stijn de; Hähnle, Reiner; Johnsen, Einar Broch; Laneve, Cosimo; Pun, Ka I; Zavattaro, Gianluigi; Ancona, Davide; Pace, Gordon
Permanent ID: Digital Object Identifier:10.4204/eptcs.302.1; Handle:1820/7aca7647-19ef-4e55-8164-b91ecc4d4daf; arXiv:1908.10040

ABS: A High-Level Modeling Language for Cloud-Aware Programming

Author(s): Frank S. de Boer; Nikolaos Bezirgiannis
Published in: Springer Berlin Heidelberg Crossref 2016
Permanent ID: Digital Object Identifier:10.1007/978-3-662-49192-8_35

Test Case Generation of Actor Systems

Author(s): Elvira Albert; Puri Arenas; Miguel Gómez-Zamalloa
Published in: Springer International Publishing ATVA 2015
Permanent ID: Digital Object Identifier:10.1007/978-3-319-24953-7_21

Envisage: Developing SLA-aware Deployed Services with Formal Methods

Author(s): Albert, Elvira; De Boer, Frank; Hähnle, Reiner; Johnsen, Einar Broch; Laneve, Cosimo
Published in: HAL CCSD https://hal.inria.fr/hal-01345020 2016

A practical comparator of cost functions and its applications

Author(s): Elvira Albert; Puri Arenas; Germán Puebla; Samir Genaim
Published in: Elsevier 2015
Permanent ID: Digital Object Identifier:10.1016/j.scico.2014.12.001

A multi-domain incremental analysis engine and its application to incremental resource analysis

Author(s): Elvira Albert; Jesús Correas; Germán Puebla; Guillermo Román-Díez
Published in: Elsevier 2015
Permanent ID: Digital Object Identifier:10.1016/j.tcs.2015.03.002

Behavioral Types in Programming Languages

Author(s): Ancona, Davide; Bono, Viviana; Bravetti, Mario; Campos, Joana; Castagna, Giuseppe; Deniélou, Pierre-Malo; Gay, Simon J.; Gesbert, Nils; Giachino, Elena; Hu, Raymond; Johnsen, Einar Broch; Martins, Francisco; Mascardi, Viviana; Montesi, Fabrizio; Neykova, Rumyana; Ng, Nicholas; Padovani, Luca; Vasconcelos, Vasco T.; Yoshida, Nobuko
Published in: HAL CCSD ISSN: 2325-1107 2016
Permanent ID: Digital Object Identifier:10.1561/9781680831351; Digital Object Identifier:10.1561/2500000031

Static analysis of cloud elasticity

Author(s): Michael Lienhardt; Abel Garcia; Cosimo Laneve
Published in: Elsevier BV Science of Computer Programming, Elsevier, 2017, 147, pp.27 - 53. ⟨10.1016/j.scico.2017.03.008⟩ 2015
Permanent ID: Digital Object Identifier:10.1016/j.scico.2017.03.008; Digital Object Identifier:10.1145/2790449.2790524

Automatic Deployment of Services in the Cloud with Aeolus Blender

Author(s): Di Cosmo, Roberto; Eiche, Antoine; Mauro, Jacopo; Zacchiroli, Stefano; Zavattaro, Gianluigi; Zwolakowski, Jakub
Published in: HAL CCSD isbn: 978-3-662-48615-3 2015
Permanent ID: Digital Object Identifier:10.1007/978-3-662-48616-0_28

A framework for deadlock detection in core ABS

Author(s): Cosimo Laneve; Michael Lienhardt; Elena Giachino
Permanent ID: arXiv:1511.04926; Digital Object Identifier:10.1007/s10270-014-0444-y

High Performance Computing Applications Using Parallel Data Processing Units

Author(s): Azadbakht, Keyvan; Serbanescu, Vlad; Boer, Frank; Dastani, M.; Sirjani, Marjan
Published in: Springer FSEN 2015
Permanent ID: Digital Object Identifier:10.1007/978-3-319-24644-4_13

A formal model of service-oriented dynamic object groups

Author(s): Dave Clarke; Einar Broch Johnsen; Olaf Owe; Joakim Bjørk
Published in: Uppsala universitet, Datalogi 2014
Permanent ID: Digital Object Identifier:10.1016/j.scico.2014.11.014

Deadlock Detection in Linear Recursive Programs

Author(s): Elena Giachino; Cosimo Laneve
Published in: HAL CCSD Formal Methods for Executable Software Models - 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, 2014, Jun 2014, Bertinoro, Italy. pp.26 - 64, ⟨10.1007/978-3-319-07317-0_2⟩ 2014
Permanent ID: Digital Object Identifier:10.1007/978-3-319-07317-0_2; arXiv:1310.7449

Architecture of Distributed Data Aggregation Service

Author(s): Vlad Serbanescu; Gabriel Antoniu; Valentin Cristea; Florin Pop
Published in: IEEE 28th IEEE International Conference on Advanced Information Networking and Applications, AINA 2014, Victoria, BC, Canada, May 13-16, 2014 2014
Permanent ID: Digital Object Identifier:10.1109/aina.2014.89

On the Integration of Automatic Deployment into the ABS Modeling Language

Author(s): Gouw, Stijn; Lienhardt, M.; Mauro, Jacopo; Nobakht, Behrooz; Zavattaro, Gianluigi; Dustdar, S.; Leymann, F.; Villari, M.

Declarative Elasticity in ABS

Author(s): Behrooz Nobakht; Jacopo Mauro; Stijn de Gouw; Gianluigi Zavattaro
Published in: Springer International Publishing 5th European Conference on Service-Oriented and Cloud Computing (ESOCC) 2016
Permanent ID: Digital Object Identifier:10.1007/978-3-319-44482-6_8

OpenJDK's Java.utils.Collection.sort() Is Broken: The Good, the Bad and the Worst Case

Author(s): Gouw, Stijn; Rot, Jurriaan; Boer, Frank; Bubel, Richard; Haehnle, R; Kroening, D.; Pasareanu, C.S.

EasyInterface: A Toolkit for Rapid Development of GUIs for Research Prototype Tools

Author(s): Einar Broch Johnsen; Jesús J. Doménech; Samir Genaim; Rudolf Schlatte
Published in: Springer Berlin Heidelberg arXiv.org e-Print Archive 2017
Permanent ID: arXiv:1702.00364; Digital Object Identifier:10.1007/978-3-662-54494-5_22

On the Expressiveness of Synchronization in Component Deployment

Author(s): Gianluigi Zavattaro; Jacopo Mauro
Published in: HAL CCSD https://hal.inria.fr/hal-01334772 2016
Permanent ID: Digital Object Identifier:10.1007/978-3-319-30734-3_23

Analyse de synchronisation dans les objets actifs basée sur les types comportementaux

Author(s): Mastandrea, Vicenzo
Published in: HAL CCSD Other [cs.OH]. Université Côte d'Azur, 2017. English. ⟨NNT : 2017AZUR4113⟩ 2017

Decidability problems for actor systems

Author(s): Gianluigi Zavattaro; Mohammad Mahdi Jaghoori; Frank S. de Boer; Cosimo Laneve
Permanent ID: arXiv:1409.5022; Digital Object Identifier:10.1007/978-3-642-32940-1_39; Digital Object Identifier:10.2168/lmcs-10(4:5)2014; Handle:1887/56107

A DESIGN PATTERN IN DATA INTENSIVE APPLICATIONS USING ABS

Author(s): Behrooz Nobakht; Keyvan Azadbakht; Chetan Nagarajagowda; Vlad Serbanescu; Frank S. de Boer
Permanent ID: Handle:1887/3198469; Digital Object Identifier:10.1002/cpe.3480

On the Integration of Automatic Deployment into the ABS Modeling Language

Author(s): Gianluigi Zavattaro; Michael Lienhardt; Stijn de Gouw; Behrooz Nobakht; Jacopo Mauro
Published in: Springer International Publishing https://hal.inria.fr/hal-01170926 2015
Permanent ID: Digital Object Identifier:10.1007/978-3-319-24072-5_4

Analysis of Synchronisations in Stateful Active Objects

Author(s): Vincenzo Mastandrea; Vincenzo Mastandrea; Ludovic Henrio; Cosimo Laneve; Cosimo Laneve
Published in: HAL CCSD IFM 2017 - 13th International Conference on Integrated Formal Methods 2017
Permanent ID: Digital Object Identifier:10.1007/978-3-319-66845-1_13

Resource–usage–aware configuration in software product lines

Author(s): Elvira Albert; Damiano Zanardini; Karina Villela
Permanent ID: Digital Object Identifier:10.1016/j.jlamp.2015.08.003

Verifying OpenJDK's Sort Method for Generic Collections.

Author(s): Gouw, S de; Boer, F.S. de; Bubel, Richard; Haehnle, Reiner; Rot, Jurriaan; Steinhoefel, Dominic
Published in: Springer Science and Business Media LLC Gouw , S D , Boer , F S D , Bubel , R , Hähnle , R , Rot , J & Steinhöfel , D 2019 , ' Verifying OpenJDK's Sort Method for Generic Collections ' , Journal of Automated Reasoning , vol. 62 , no. 1 , pp. 93-126 . https://doi.org/10.1007/s10817-017-9426-4 2019
Permanent ID: Digital Object Identifier:10.1007/s10817-017-9426-4; Handle:2066/200907; Handle:1820/9011c448-e0dc-4ffe-bf11-f9caae936c1f; PubMed Central ID:PMC6404383; PubMed ID:30930511

Formal Verification of Service Level Agreements Through Distributed Monitoring

Author(s): Stijn de Gouw; Frank S. de Boer; Behrooz Nobakht
Permanent ID: Digital Object Identifier:10.1007/978-3-319-24072-5_9

Formal Verification of Service Level Agreements Through Distributed Monitoring

Author(s): Nobakht, Behrooz; Gouw, Stijn; Boer, Frank; Dustdar, S.; Leymann, F.; Villari, M.