Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

20 résultats
Page :
triés par
Image document

Causal-Consistent Reversibility in a Tuple-Based Language

 Elena Giachino , Ivan Lanese , Claudio Antares Mezzina , Francesco Tiezzi
PDP 2015 - 23rd Euromicro International Conference on Parallel, Distributed and Network-Based Processing, Mar 2015, Turku, Finland. pp.467 - 475, ⟨10.1109/PDP.2015.98⟩
Communication dans un congrès hal-01227615v1

DeadLock Analysis of Concurrent Objects ― Theory and Practice

 Elena Giachino , Carlo A. Grazia , Cosimo Laneve , Michael Lienhardt , Peter Wong
IFM - 10th International Conference on integrated Formal Methods - 2013, 2013, Turku, Finland. pp.394-411, ⟨10.1007/978-3-642-38613-8_27⟩
Communication dans un congrès hal-00909311v1
Image document

Causal-Consistent Reversible Debugging

 Elena Giachino , Ivan Lanese , Claudio Antares Mezzina
FASE 2014, Apr 2014, Grenoble, France. pp.370 - 384, ⟨10.1007/978-3-642-54804-8_26⟩
Communication dans un congrès hal-01089270v1

Deriving session and union types for objects

 Lorenzo Bettini , Sara Capecchi , Mariangiola Dezani-Ciancaglini , Elena Giachino , Betti Venneri
Mathematical Structures in Computer Science, 2013, 23, pp.1163--1219
Article dans une revue hal-00909312v1
Image document

Global Escape in Multiparty Sessions

 Sara Capecchi , Elena Giachino , Nobuko Yoshida
Mathematical Structures in Computer Science, 2016, ⟨10.1017/S0960129514000164⟩
Article dans une revue hal-01336832v1
Image document

A Beginner's Guide to the DeadLock Analysis Model

 Elena Giachino , Cosimo Laneve
TGC, 2012, Newcastle, United Kingdom. pp.49-63
Communication dans un congrès hal-00909309v1
Image document

Towards the Typing of Resource Deployment

 Elena Giachino , Cosimo Laneve
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications - 6th International Symposium, ISoLA 2014, Oct 2014, Corfu, Greece. pp.88 - 103, ⟨10.1007/978-3-662-45231-8_7⟩
Communication dans un congrès hal-01091748v1
Image document

Statically and Dynamically Verifiable SLA Metrics

 Elena Giachino , Stijn de Gouw , Cosimo Laneve , Behrooz Nobakht
Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday, 9660, Springer, pp.211-225, 2016, Lecture Notes in Computer Science, 978-3-319-30733-6. ⟨10.1007/978-3-319-30734-3_15⟩
Chapitre d'ouvrage hal-01336836v1
Image document

Foundation of Session Types

 Giuseppe Castagna , Mariangiola Dezani-Ciancaglini , Elena Giachino , Luca Padovani
11th ACM SIGPLAN Conference on Principles and practice of declarative programming, 2009, Portugal. pp.219-230, ⟨10.1145/1599410.1599437⟩
Communication dans un congrès hal-00334435v2
Image document

Causal-consistent rollback in a tuple-based language

 Elena Giachino , Ivan Lanese , Claudio Antares Mezzina , Francesco Tiezzi
Journal of Logical and Algebraic Methods in Programming, 2017, 88, pp.99 - 120. ⟨10.1016/j.jlamp.2016.09.003⟩
Article dans une revue hal-01633260v1
Image document

Deadlock Detection in Linear Recursive Programs

 Elena Giachino , Cosimo Laneve
Formal Methods for Executable Software Models - 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, {SFM} 2014, Jun 2014, Bertinoro, Italy. pp.26 - 64, ⟨10.1007/978-3-319-07317-0_2⟩
Communication dans un congrès hal-01091747v1
Image document

Deadlock Analysis of Unbounded Process Networks

 Elena Giachino , Naoki Kobayashi , Cosimo Laneve
CONCUR 2014 - Concurrency Theory - 25th International Conference, Sep 2014, Rome, Italy. pp.63 - 77, ⟨10.1007/978-3-662-44584-6_6⟩
Communication dans un congrès hal-01091749v1
Image document

Time complexity of concurrent programs

 Elena Giachino , Einar Broch Johnsen , Cosimo Laneve , Ka I Pun
FACS 2015, Oct 2015, Niterói, Rio de Janeiro, Brazil
Communication dans un congrès hal-01229068v1

Dynamic Rebinding for Concurrent Object Groups: Theory and Practice

 Mario Bravetti , Elena Giachino , Michael Lienhardt , Peter Wong
Journal of Logical and Algebraic Methods in Programming, 2016, ⟨10.1016/j.jlamp.2016.03.002⟩
Article dans une revue hal-01337333v1
Image document

Actors may synchronize, safely! *

 Elena Giachino , Ludovic Henrio , Cosimo Laneve , Vincenzo Mastandrea
PPDP 2016 18th International Symposium on Principles and Practice of Declarative Programming , Sep 2016, Edinburgh, United Kingdom
Communication dans un congrès hal-01345315v1

Session types revisited

 Ornela Dardha , Elena Giachino , Davide Sangiorgi
Principles and Practice of Declarative Programming, PPDP'12, 2012, Unknown, pp.139--150
Communication dans un congrès hal-00909389v1
Image document

A framework for deadlock detection in core ABS

 Elena Giachino , Cosimo Laneve , Michael Lienhardt
Software and Systems Modeling, 2016, ⟨10.1007/s10270-014-0444-y⟩
Article dans une revue hal-01229046v1
Image document

A Type System for Components

 Ornela Dardha , Elena Giachino , Michael Lienhardt
SEFM - International Conference on Software Engineering and Formal Methods - 2013, 2013, Madrid, Spain. pp.167-181, ⟨10.1007/978-3-642-40561-7_12⟩
Communication dans un congrès hal-00909310v1
Image document

Session Types Revisited

 Ornela Dardha , Elena Giachino , Davide Sangiorgi
Information and Computation, 2017, 256, pp.253 - 286. ⟨10.1016/j.ic.2017.06.002⟩
Article dans une revue hal-01647086v1

Behavioral Types in Programming Languages

 Davide Ancona , Viviana Bono , Mario Bravetti , Joana Campos , Giuseppe Castagna , et al.
Foundations and Trends in Programming Languages, 2016, 3 (2-3), pp.95-230. ⟨10.1561/2500000031⟩
Article dans une revue hal-01348054v1
Page :