According to our database1, Elena Giachino authored at least 30 papers between 2006 and 2017.
Legend:Book In proceedings Article PhD thesis Other
Causal-consistent rollback in a tuple-based language.
J. Log. Algebr. Meth. Program., 2017
Dynamic Rebinding for Concurrent Object Groups: Theory and practice.
J. Log. Algebr. Meth. Program., 2017
A framework for deadlock detection in core ABS.
Software and System Modeling, 2016
Behavioral Types in Programming Languages.
Foundations and Trends in Programming Languages, 2016
Actors may synchronize, safely!
Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, 2016
Statically and Dynamically Verifiable SLA Metrics.
Proceedings of the Theory and Practice of Formal Methods, 2016
Causal-Consistent Reversibility in a Tuple-Based Language.
Proceedings of the 23rd Euromicro International Conference on Parallel, 2015
Time Complexity of Concurrent Programs - - A Technique Based on Behavioural Types -.
Proceedings of the Formal Aspects of Component Software - 12th International Conference, 2015
Deadlock Detection in Linear Recursive Programs.
Proceedings of the Formal Methods for Executable Software Models, 2014
Towards the Typing of Resource Deployment.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014
Causal-Consistent Reversible Debugging.
Proceedings of the Fundamental Approaches to Software Engineering, 2014
Deadlock Analysis of Unbounded Process Networks.
Proceedings of the CONCUR 2014 - Concurrency Theory - 25th International Conference, 2014
Deriving session and union types for objects.
Mathematical Structures in Computer Science, 2013
A Type System for Components.
Proceedings of the Software Engineering and Formal Methods - 11th International Conference, 2013
Deadlock Analysis of Concurrent Objects: Theory and Practice.
Proceedings of the Integrated Formal Methods, 10th International Conference, 2013
A Beginner's Guide to the DeadLock Analysis Model.
Proceedings of the Trustworthy Global Computing - 7th International Symposium, 2012
Session types revisited.
Proceedings of the Principles and Practice of Declarative Programming, 2012
Analysis of Deadlocks in Object Groups.
Proceedings of the Formal Techniques for Distributed Systems, 2011
Global Escape in Multiparty Sessions.
Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2010
Amalgamating sessions and methods in object-oriented languages with generics.
Theor. Comput. Sci., 2009
Foundations of session types.
Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2009
Featherweight Wrap Java: wrapping objects and methods.
Journal of Object Technology, 2008
Alias Types and Effects for "Environment-aware" Computations.
Fundam. Inform., 2008
A type safe state abstraction for coordination in Java -like languages.
Acta Inf., 2008
On Traits and Types in a Java-like Setting.
Proceedings of the Fifth IFIP International Conference On Theoretical Computer Science, 2008
Session and Union Types for Object Oriented Programming.
Proceedings of the Concurrency, 2008
Featherweight wrap Java.
Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007
On State Classes and Their Dynamic Semantics.
Proceedings of the Software and Data Technologies - First International Conference, 2006
On state classes and their dynamic semantics.
Proceedings of the ICSOFT 2006, 2006
Bounded Session Types for Object Oriented Languages.
Proceedings of the Formal Methods for Components and Objects, 5th International Symposium, 2006