Analysis of SLA Compliance in the Cloud - An Automated, Model-based Approach
de Boer, Frank S., Giachino, Elena, de Gouw, Stijn, Hähnle, Reiner, Johnsen, Einar Broch, Laneve, Cosimo, Pun, Ka I, Zavattaro, Gianluigi
Published in Electronic proceedings in theoretical computer science (27.08.2019)
Published in Electronic proceedings in theoretical computer science (27.08.2019)
Get full text
Journal Article
Session types revisited
Dardha, Ornela, Giachino, Elena, Sangiorgi, Davide
Published in Information and computation (01.10.2017)
Published in Information and computation (01.10.2017)
Get full text
Journal Article
A framework for deadlock detection in core ABS
Giachino, Elena, Laneve, Cosimo, Lienhardt, Michael
Published in Software and systems modeling (01.10.2016)
Published in Software and systems modeling (01.10.2016)
Get full text
Journal Article
Global escape in multiparty sessions
CAPECCHI, SARA, GIACHINO, ELENA, YOSHIDA, NOBUKO
Published in Mathematical structures in computer science (01.02.2016)
Published in Mathematical structures in computer science (01.02.2016)
Get full text
Journal Article
Causal-consistent rollback in a tuple-based language
Giachino, Elena, Lanese, Ivan, Mezzina, Claudio Antares, Tiezzi, Francesco
Published in Journal of logical and algebraic methods in programming (01.04.2017)
Published in Journal of logical and algebraic methods in programming (01.04.2017)
Get full text
Journal Article
Time Complexity of Concurrent Programs: A Technique Based on Behavioural Types
Giachino, Elena, Johnsen, Einar Broch, Laneve, Cosimo, Pun, Ka I.
Published in Formal Aspects of Component Software (29.01.2016)
Published in Formal Aspects of Component Software (29.01.2016)
Get full text
Book Chapter
Statically and Dynamically Verifiable SLA Metrics
Giachino, Elena, de Gouw, Stijn, Laneve, Cosimo, Nobakht, Behrooz
Published in Theory and Practice of Formal Methods (2016)
Published in Theory and Practice of Formal Methods (2016)
Get full text
Book Chapter
Analysis of SLA Compliance in the Cloud -- An Automated, Model-based Approachv
de Boer, Frank, Giachino, Elena, de Gouw, Stijn, Hähnle, Reiner, Johnsen, Einar Broch, Laneve, Cosimo, Pun, Ka I, Zavattaro, Gianluigi
Published in Electronic proceedings in theoretical computer science (2019)
Get full text
Published in Electronic proceedings in theoretical computer science (2019)
Journal Article
Dynamic Rebinding for Concurrent Object Groups: Theory and practice
Bravetti, Mario, Giachino, Elena, Lienhardt, Michael, Wong, Peter Y.H.
Published in Journal of logical and algebraic methods in programming (01.01.2017)
Published in Journal of logical and algebraic methods in programming (01.01.2017)
Get full text
Journal Article
Deriving session and union types for objects
BETTINI, LORENZO, CAPECCHI, SARA, DEZANI-CIANCAGLINI, MARIANGIOLA, GIACHINO, ELENA, VENNERI, BETTI
Published in Mathematical structures in computer science (01.12.2013)
Published in Mathematical structures in computer science (01.12.2013)
Get full text
Journal Article
A Type System for Components
Dardha, Ornela, Giachino, Elena, Lienhardt, Michaël
Published in Software Engineering and Formal Methods
Published in Software Engineering and Formal Methods
Get full text
Book Chapter
A type safe state abstraction for coordination in Java-like languages
Damiani, Ferruccio, Giachino, Elena, Giannini, Paola, Drossopoulou, Sophia
Published in Acta informatica (01.12.2008)
Published in Acta informatica (01.12.2008)
Get full text
Journal Article