Elena Giachino

39 papers B 4C 6Misc 1Journal 14Unranked 13

Year	Rank	Type	Title / Venue / Authors
2022	C	`conf`	Session Types Revisited: A Decade Later. PPDP Ornela Dardha, Elena Giachino, Davide Sangiorgi
2019	C	`conf`	Foundations of Session Types: 10 Years Later. PPDP Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Elena Giachino, Luca Padovani
2018	—	`conf`	Analysis of SLA Compliance in the Cloud - An Automated, Model-based Approach. VORTEX@ECOOP/ISSTA Frank S. de Boer, Elena Giachino, Stijn de Gouw, Reiner Hähnle, Einar Broch Johnsen, Cosimo Laneve, Ka I Pun, Gianluigi Zavattaro
2017	J	`jnl`	Causal-consistent rollback in a tuple-based language. J. Log. Algebraic Methods Program. Elena Giachino, Ivan Lanese, Claudio Antares Mezzina, Francesco Tiezzi
2017	J	`jnl`	Dynamic Rebinding for Concurrent Object Groups: Theory and practice. J. Log. Algebraic Methods Program. Mario Bravetti, Elena Giachino, Michael Lienhardt, Peter Y. H. Wong
2017	J	`jnl`	Session types revisited. Inf. Comput. Ornela Dardha, Elena Giachino, Davide Sangiorgi
2016	J	`jnl`	A framework for deadlock detection in core ABS. Softw. Syst. Model. Elena Giachino, Cosimo Laneve, Michael Lienhardt
2016	C	`conf`	Actors may synchronize, safely! PPDP Elena Giachino, Ludovic Henrio, Cosimo Laneve, Vincenzo Mastandrea
2016	J	`jnl`	Behavioral Types in Programming Languages. Found. Trends Program. Lang. Davide Ancona, Viviana Bono, Mario Bravetti, Joana Campos, Giuseppe Castagna, Pierre-Malo Deniélou, Simon J. Gay, Nils Gesbert, Elena Giachino, Raymond Hu, Einar Broch Johnsen, Francisco Martins, Viviana Mascardi, Fabrizio Montesi, Rumyana Neykova, Nicholas Ng, Luca Padovani, Vasco T. Vasconcelos, Nobuko Yoshida
2016	J	`jnl`	Global escape in multiparty sessions. Math. Struct. Comput. Sci. Sara Capecchi, Elena Giachino, Nobuko Yoshida
2016	—	`conf`	Statically and Dynamically Verifiable SLA Metrics. Theory and Practice of Formal Methods Elena Giachino, Stijn de Gouw, Cosimo Laneve, Behrooz Nobakht
2015	J	`jnl`	A framework for deadlock detection in core ABS. CoRR Elena Giachino, Cosimo Laneve, Michael Lienhardt
2015	C	`conf`	Causal-Consistent Reversibility in a Tuple-Based Language. PDP Elena Giachino, Ivan Lanese, Claudio Antares Mezzina, Francesco Tiezzi
2015	—	`conf`	Time Complexity of Concurrent Programs - - A Technique Based on Behavioural Types -. FACS Elena Giachino, Einar Broch Johnsen, Cosimo Laneve, Ka I Pun
2015	J	`jnl`	Time complexity of concurrent programs. CoRR Elena Giachino, Einar Broch Johnsen, Cosimo Laneve, Ka I Pun
2014	B	`conf`	Causal-Consistent Reversible Debugging. FASE Elena Giachino, Ivan Lanese, Claudio Antares Mezzina
2014	B	`conf`	Deadlock Analysis of Unbounded Process Networks. CONCUR Elena Giachino, Naoki Kobayashi, Cosimo Laneve
2014	—	`conf`	Deadlock Detection in Linear Recursive Programs. SFM Elena Giachino, Cosimo Laneve
2014	—	`conf`	Towards the Typing of Resource Deployment. ISoLA (2) Elena Giachino, Cosimo Laneve
2013	B	`conf`	A Type System for Components. SEFM Ornela Dardha, Elena Giachino, Michael Lienhardt
2013	B	`conf`	Deadlock Analysis of Concurrent Objects: Theory and Practice. IFM Elena Giachino, Carlo Augusto Grazia, Cosimo Laneve, Michael Lienhardt, Peter Y. H. Wong
2013	J	`jnl`	Deadlock detection in linear recursive programs. CoRR Elena Giachino, Cosimo Laneve
2013	J	`jnl`	Deriving session and union types for objects. Math. Struct. Comput. Sci. Lorenzo Bettini, Sara Capecchi, Mariangiola Dezani-Ciancaglini, Elena Giachino, Betti Venneri
2013	—	`ed.`	Formal Methods for Components and Objects - 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures FMCO Elena Giachino, Reiner Hähnle, Frank S. de Boer, Marcello M. Bonsangue
2012	—	`conf`	A Beginner's Guide to the DeadLock Analysis Model. TGC Elena Giachino, Cosimo Laneve
2012	C	`conf`	Session types revisited. PPDP Ornela Dardha, Elena Giachino, Davide Sangiorgi
2011	—	`conf`	Analysis of Deadlocks in Object Groups. FMOODS/FORTE Elena Giachino, Cosimo Laneve
2010	—	`conf`	Global Escape in Multiparty Sessions. FSTTCS Sara Capecchi, Elena Giachino, Nobuko Yoshida
2009	J	`jnl`	Amalgamating sessions and methods in object-oriented languages with generics. Theor. Comput. Sci. Sara Capecchi, Mario Coppo, Mariangiola Dezani-Ciancaglini, Sophia Drossopoulou, Elena Giachino
2009	C	`conf`	Foundations of session types. PPDP Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Elena Giachino, Luca Padovani
2008	J	`jnl`	A type safe state abstraction for coordination in Java -like languages. Acta Informatica Ferruccio Damiani, Elena Giachino, Paola Giannini, Sophia Drossopoulou
2008	J	`jnl`	Alias Types and Effects for "Environment-aware" Computations. Fundam. Informaticae Ferruccio Damiani, Elena Giachino, Paola Giannini
2008	J	`jnl`	Featherweight Wrap Java: wrapping objects and methods. J. Object Technol. Lorenzo Bettini, Sara Capecchi, Elena Giachino
2008	—	`conf`	On Traits and Types in a Java-like Setting. IFIP TCS Viviana Bono, Ferruccio Damiani, Elena Giachino
2008	—	`conf`	Session and Union Types for Object Oriented Programming. Concurrency, Graphs and Models Lorenzo Bettini, Sara Capecchi, Mariangiola Dezani-Ciancaglini, Elena Giachino, Betti Venneri
2007	Misc	`conf`	Featherweight wrap Java. SAC Lorenzo Bettini, Sara Capecchi, Elena Giachino
2006	—	`conf`	Bounded Session Types for Object Oriented Languages. FMCO Mariangiola Dezani-Ciancaglini, Elena Giachino, Sophia Drossopoulou, Nobuko Yoshida
2006	—	`conf`	On State Classes and Their Dynamic Semantics. ICSOFT (Selected Papers) Ferruccio Damiani, Elena Giachino, Paola Giannini, Emanuele Cazzola
2006	—	`conf`	On state classes and their dynamic semantics. ICSOFT (1) Ferruccio Damiani, Elena Giachino, Paola Giannini, Emanuele Cazzola