GIACHINO, ELENA
GIACHINO, ELENA
ARIN - AREA INNOVAZIONE
Personale tecnico amm.vo
A Beginner's Guide to the DeadLock Analysis Model
2013 Elena Giachino; Cosimo Laneve
A framework for deadlock detection in core ABS
2016 Giachino, Elena; Laneve, Cosimo; Lienhardt, Michael
A type safe state abstraction for coordination in Java-like languages
2008 Damiani, F.; Giachino, Elena; Giannini, P.; Drossopoulou, S.
A Type System for Components
2013 Ornela Dardha;Elena Giachino;Michaël Lienhardt
Actors may synchronize, safely!
2016 Giachino, Elena; Henrio, Ludovic; Laneve, Cosimo; Mastandrea, Vincenzo
Alias Types and effects for “environment-aware” computations
2008 F. Damiani; E. Giachino; P. Giannini
Amalgamating Sessions and Methods in Object Oriented Languages with Generics
2009 S. Capecchi; M. Coppo; M. Dezani-Ciancaglini; S. Drossopoulou; E. Giachino
Analysis of Deadlocks in Object Groups
2011 Elena Giachino; Cosimo Laneve
Analysis of SLA compliance in the cloud: An automated, model-based approach
2019 de Boer F.S.; Giachino E.; de Gouw S.; Hahnle R.; Johnsen E.B.; Laneve C.; Pun K.I.; Zavattaro G.
Behavioral Types in Programming Languages
2016 Yoshida, Nobuko; Vasconcelos, Vasco T.; Padovani, Luca; Bono, Nicholas Ng; Neykova, Rumyana; Montesi, Fabrizio; Mascardi, Viviana; Martins, Francisco; Johnsen, Einar Broch; Hu, Raymond; Giachino, Elena; Gesbert, Nils; Gay, Simon J.; Deniélou, Pierre-Malo; Castagna, Giuseppe; Campos, Joana; Bravetti, Mario; Bono, Viviana; Ancona, Davide
Bounded Session Types for Object-Oriented Languages
2007 Dezani Ciancaglini, M.; Giachino, Elena; Drossopoulou, S.; Yoshida, N.
CaReDeb
2014 Elena Giachino; Ivan Lanese; Claudio Antares Mezzina
Causal-consistent reversibility in a tuple-based language
2015 Giachino, Elena; Lanese, Ivan; Mezzina, Claudio Antares; Tiezzi, Francesco
Causal-Consistent Reversible Debugging
2014 Elena Giachino;Ivan Lanese;Claudio Antares Mezzina
Causal-consistent rollback in a tuple-based language
2017 Giachino, Elena; Lanese, Ivan; Mezzina, Claudio Antares; Tiezzi, Francesco
Deadlock Analysis of Concurrent Objects: Theory and Practice
2013 Elena Giachino; Carlo A. Grazia; Cosimo Laneve; Michael Lienhardt; Peter Y. H. Wong
Deadlock Analysis of Unbounded Process Networks
2014 Elena Giachino;Naoki Kobayashi;Cosimo Laneve
Deadlock Detection in Linear Recursive Programs
2014 Elena Giachino;Cosimo Laneve
Deriving session and union types for objects
2013 LORENZO BETTINI;SARA CAPECCHI;MARIANGIOLA DEZANI-CIANCAGLINI;ELENA GIACHINO;BETTI VENNERI
DF4ABS - Deadlock Framework for ABS
2014 Garcia, Abel; Giachino, Elena; Laneve, Cosimo; Lienhardt, Michael
| Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
|---|---|---|---|---|---|---|
| A Beginner's Guide to the DeadLock Analysis Model |
Elena Giachino; Cosimo Laneve |
2013-01-01 | - | - | 4.01 Contributo in Atti di convegno | - |
| A framework for deadlock detection in core ABS | Giachino, Elena; Laneve, Cosimo; Lienhardt, Michael | 2016-01-01 | SOFTWARE AND SYSTEMS MODELING | - | 1.01 Articolo in rivista | Giachino2016_Article_AFrameworkForDeadlockDetection.pdf; SoSyM-Giachino-Laneve-Lienhardt.pdf |
| A type safe state abstraction for coordination in Java-like languages | Damiani, F.; Giachino, Elena; Giannini, P.; Drossopoulou, S. | 2008-01-01 | ACTA INFORMATICA | - | 1.01 Articolo in rivista | - |
| A Type System for Components | Ornela Dardha;Elena Giachino;Michaël Lienhardt | 2013-01-01 | - | - | 4.01 Contributo in Atti di convegno | - |
| Actors may synchronize, safely! | Giachino, Elena; Henrio, Ludovic; Laneve, Cosimo; Mastandrea, Vincenzo | 2016-01-01 | - | Association for Computing Machinery, Inc | 4.01 Contributo in Atti di convegno | - |
| Alias Types and effects for “environment-aware” computations | F. Damiani; E. Giachino; P. Giannini | 2008-01-01 | FUNDAMENTA INFORMATICAE | - | 1.01 Articolo in rivista | - |
| Amalgamating Sessions and Methods in Object Oriented Languages with Generics | S. Capecchi; M. Coppo; M. Dezani-Ciancaglini; S. Drossopoulou; E. Giachino | 2009-01-01 | THEORETICAL COMPUTER SCIENCE | - | 1.01 Articolo in rivista | - |
| Analysis of Deadlocks in Object Groups | Elena Giachino; Cosimo Laneve | 2011-01-01 | - | Springer | 4.01 Contributo in Atti di convegno | - |
| Analysis of SLA compliance in the cloud: An automated, model-based approach | de Boer F.S.; Giachino E.; de Gouw S.; Hahnle R.; Johnsen E.B.; Laneve C.; Pun K.I.; Zavattaro G. | 2019-01-01 | ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | Open Publishing Association | 4.01 Contributo in Atti di convegno | 1908.10040v1.pdf |
| Behavioral Types in Programming Languages | Yoshida, Nobuko; Vasconcelos, Vasco T.; Padovani, Luca; Bono, Nicholas Ng; Neykova, Rumyana; Mont...esi, Fabrizio; Mascardi, Viviana; Martins, Francisco; Johnsen, Einar Broch; Hu, Raymond; Giachino, Elena; Gesbert, Nils; Gay, Simon J.; Deniélou, Pierre-Malo; Castagna, Giuseppe; Campos, Joana; Bravetti, Mario; Bono, Viviana; Ancona, Davide | 2016-01-01 | FOUNDATIONS AND TRENDS® IN PROGRAMMING LANGUAGES | - | 1.01 Articolo in rivista | BETTY_WG3_SOAR.pdf |
| Bounded Session Types for Object-Oriented Languages | Dezani Ciancaglini, M.; Giachino, Elena; Drossopoulou, S.; Yoshida, N. | 2007-01-01 | - | SPRINGER-VERLAG BERLIN | 4.01 Contributo in Atti di convegno | - |
| CaReDeb | Elena Giachino; Ivan Lanese; Claudio Antares Mezzina | 2014-01-01 | - | - | 7.04 Software | - |
| Causal-consistent reversibility in a tuple-based language | Giachino, Elena; Lanese, Ivan; Mezzina, Claudio Antares; Tiezzi, Francesco | 2015-01-01 | - | Institute of Electrical and Electronics Engineers Inc. | 4.01 Contributo in Atti di convegno | - |
| Causal-Consistent Reversible Debugging | Elena Giachino;Ivan Lanese;Claudio Antares Mezzina | 2014-01-01 | - | Springer Berlin Heidelberg | 4.01 Contributo in Atti di convegno | - |
| Causal-consistent rollback in a tuple-based language | Giachino, Elena; Lanese, Ivan; Mezzina, Claudio Antares; Tiezzi, Francesco | 2017-01-01 | THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING | - | 1.01 Articolo in rivista | - |
| Deadlock Analysis of Concurrent Objects: Theory and Practice | Elena Giachino; Carlo A. Grazia; Cosimo Laneve; Michael Lienhardt; Peter Y. H. Wong | 2013-01-01 | - | - | 4.01 Contributo in Atti di convegno | - |
| Deadlock Analysis of Unbounded Process Networks | Elena Giachino;Naoki Kobayashi;Cosimo Laneve | 2014-01-01 | - | - | 4.01 Contributo in Atti di convegno | - |
| Deadlock Detection in Linear Recursive Programs | Elena Giachino;Cosimo Laneve | 2014-01-01 | - | Springer | 2.01 Capitolo / saggio in libro | - |
| Deriving session and union types for objects | LORENZO BETTINI;SARA CAPECCHI;MARIANGIOLA DEZANI-CIANCAGLINI;ELENA GIACHINO;BETTI VENNERI | 2013-01-01 | MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE | - | 1.01 Articolo in rivista | - |
| DF4ABS - Deadlock Framework for ABS | Garcia, Abel; Giachino, Elena; Laneve, Cosimo; Lienhardt, Michael | 2014-01-01 | - | - | 7.04 Software | - |