Ivan Lanese

According to our database1, Ivan Lanese authored at least 98 papers between 2004 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
No more, no less - A formal model for serverless computing.
CoRR, 2019

Causal-Consistent Replay Debugging for Message Passing Programs.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2019

No More, No Less - A Formal Model for Serverless Computing.
Proceedings of the Coordination Models and Languages, 2019

Playing with Bisimulation in Erlang.
Proceedings of the Models, Languages, and Tools for Concurrent and Distributed Programming, 2019

Reversing Unbounded Petri Nets.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2019

2018
Preface for the special issue of the 8th Conference on Reversible Computation (RC 2016).
Sci. Comput. Program., 2018

A theory of retractable and speculative contracts.
Sci. Comput. Program., 2018

A theory of reversibility for Erlang.
J. Log. Algebr. Meth. Program., 2018

A Theory of Reversibility for Erlang.
CoRR, 2018

From Reversible Semantics to Reversible Debugging.
Proceedings of the Reversible Computation - 10th International Conference, 2018

ChIP: A Choreographic Integration Process.
Proceedings of the On the Move to Meaningful Internet Systems. OTM 2018 Conferences, 2018

A Language-based Approach for Interoperability of IoT Platforms.
Proceedings of the 51st Hawaii International Conference on System Sciences, 2018

CauDEr: A Causal-Consistent Reversible Debugger for Erlang.
Proceedings of the Functional and Logic Programming - 14th International Symposium, 2018

2017
Preface for the special issue on Interaction and Concurrency Experience 2015.
J. Log. Algebr. Meth. Program., 2017

Causal-consistent rollback in a tuple-based language.
J. Log. Algebr. Meth. Program., 2017

Dynamic Choreographies: Theory And Implementation.
Logical Methods in Computer Science, 2017

Microservices: a Language-based Approach.
CoRR, 2017

Microservices: How To Make Your Application Scale.
CoRR, 2017

Most General Property-Preserving Updates.
Proceedings of the Language and Automata Theory and Applications, 2017

Microservices: How To Make Your Application Scale.
Proceedings of the Perspectives of System Informatics, 2017

Retractable and Speculative Contracts.
Proceedings of the Coordination Models and Languages, 2017

Microservices: A Language-Based Approach.
Proceedings of the Present and Ulterior Software Engineering., 2017

2016
Reversibility in the higher-order π-calculus.
Theor. Comput. Sci., 2016

Preface for the special issue of the 11th International Symposium on Formal Aspects of Component Software.
Sci. Comput. Program., 2016

Preface for the special issue on Interaction and Concurrency Experience 2014.
J. Log. Algebr. Meth. Program., 2016

Foundations of Session Types and Behavioural Contracts.
ACM Comput. Surv., 2016

Towards Microservices and Beyond: An incoming Paradigm Shift in Distributed Computing.
CoRR, 2016

A Modular Formalization of Reversibility for Concurrent Models and Languages.
Proceedings of the Proceedings 9th Interaction and Concurrency Experience, 2016

2015
Developing correct, distributed, adaptive software.
Sci. Comput. Program., 2015

Special issue on Service-Oriented Architecture and Programming (SOAP 2013).
Sci. Comput. Program., 2015

Preface for the special issue of Interaction and Concurrency Experience 2013.
Sci. Comput. Program., 2015

Preface for the special issue on Interaction and Concurrency Experience 2012.
Sci. Comput. Program., 2015

Preface: Special issue on objects and services.
Mathematical Structures in Computer Science, 2015

Retractable Contracts.
Proceedings of the Proceedings Eighth International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2015

Causal-Consistent Reversibility in a Tuple-Based Language.
Proceedings of the 23rd Euromicro International Conference on Parallel, 2015

Dynamic Choreographies - Safe Runtime Updates of Distributed Applications.
Proceedings of the Coordination Models and Languages, 2015

The Evolution of Jolie - From Orchestrations to Adaptable Choreographies.
Proceedings of the Software, 2015

2014
The stream-based service-centred calculus: a foundation for service-oriented programming.
Formal Asp. Comput., 2014

Causal-Consistent Reversibility.
Bulletin of the EATCS, 2014

AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications.
CoRR, 2014

Deadlock Freedom by Construction for Distributed Adaptive Applications.
CoRR, 2014

AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications.
Proceedings of the Software Language Engineering - 7th International Conference, 2014

Fault Model Design Space for Cooperative Concurrency.
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

2013
Amending Choreographies.
Proceedings of the Proceedings 9th International Workshop on Automated Specification and Verification of Web Systems, 2013

Towards Global and Local Types for Adaptation.
Proceedings of the Software Engineering and Formal Methods, 2013

Internet of things: a process calculus approach.
Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

Concurrent Flexible Reversibility.
Proceedings of the Programming Languages and Systems, 2013

Decidability Results for Dynamic Installation of Compensation Handlers.
Proceedings of the Coordination Models and Languages, 15th International Conference, 2013

2012
Controlled Reversibility and Compensations.
Proceedings of the Reversible Computation, 4th International Workshop, 2012

A Reversible Abstract Machine and Its Space Overhead.
Proceedings of the Formal Techniques for Distributed Systems, 2012

2011
On the expressiveness and decidability of higher-order process calculi.
Inf. Comput., 2011

Graceful Interruption of Request-Response Service Interactions.
Proceedings of the Service-Oriented Computing - 9th International Conference, 2011

Fault in the Future.
Proceedings of the Coordination Models and Languages - 13th International Conference, 2011

Controlling Reversibility in Higher-Order Pi.
Proceedings of the CONCUR 2011 - Concurrency Theory - 22nd International Conference, 2011

Behavioral Theory for Session-Oriented Calculi.
Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011

Advanced Mechanisms for Service Combination and Transactions.
Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011

Tools and Verification.
Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011

2010
An operational semantics for a calculus for wireless systems.
Theor. Comput. Sci., 2010

Static vs Dynamic SAGAs
Proceedings of the Proceedings Third Interaction and Concurrency Experience: Guaranteed Interaction, 2010

A New Strategy for Distributed Compensations with Interruption in Long-Running Transactions.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2010

A Framework for Rule-Based Dynamic Adaptation.
Proceedings of the Trustworthly Global Computing - 5th International Symposium, 2010

Error Handling: From Theory to Practice.
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

On the Expressiveness of Polyadic and Synchronous Communication in Higher-Order Process Calculi.
Proceedings of the Automata, Languages and Programming, 37th International Colloquium, 2010

A Component Model for the ABS Language.
Proceedings of the Formal Methods for Components and Objects - 9th International Symposium, 2010

On the Expressive Power of Primitives for Compensation Handling.
Proceedings of the Programming Languages and Systems, 2010

Reversing Higher-Order Pi.
Proceedings of the CONCUR 2010 - Concurrency Theory, 21th International Conference, 2010

2009
Dynamic Error Handling in Service Oriented Applications.
Fundam. Inform., 2009

Programming Sagas in SOCK.
Proceedings of the Seventh IEEE International Conference on Software Engineering and Formal Methods, 2009

On the Expressiveness of Polyadicity in Higher-Order Process Calculi.
Proceedings of the Theoretical Computer Science, 11th Italian Conference, 2009

2008
Parametric synchronizations in mobile nominal calculi.
Theor. Comput. Sci., 2008

Exploiting User-definable Synchronizations in Graph Transformation.
Electr. Notes Theor. Comput. Sci., 2008

Tiles for Reo.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2008

Contract-Driven Implementation of Choreographies.
Proceedings of the Trustworthy Global Computing, 4th International Symposium, 2008

Bridging the Gap between Interaction- and Process-Oriented Choreographies.
Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods, 2008

On the Expressiveness and Decidability of Higher-Order Process Calculi.
Proceedings of the Twenty-Third Annual IEEE Symposium on Logic in Computer Science, 2008

Behavioural Theory at Work: Program Transformations in a Service-Centred Calculus.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2008

Dynamic Fault Handling Mechanisms for Service-Oriented Applications.
Proceedings of the ECOWS 2008, 2008

Multiparty Sessions in SOC.
Proceedings of the Coordination Models and Languages, 10th International Conference, 2008

Synchronous Multiparty Synchronizations and Transactions.
Proceedings of the Concurrency, 2008

On the interplay between fault handling and request-response service invocations.
Proceedings of the 8th International Conference on Application of Concurrency to System Design (ACSD 2008), 2008

2007
Mapping Fusion and Synchronized Hyperedge Replacement into logic programming.
TPLP, 2007

Concurrent and Located Synchronizations in pi-Calculus.
Proceedings of the SOFSEM 2007: Theory and Practice of Computer Science, 2007

Disciplining Orchestration and Conversation in Service-Oriented Computing.
Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 2007

2006
A basic algebra of stateless connectors.
Theor. Comput. Sci., 2006

Hoare vs Milner: Comparing Synchronizations in a Graphical Framework With Mobility.
Electr. Notes Theor. Comput. Sci., 2006

Towards a Unifying Theory for Web Services Composition.
Proceedings of the Web Services and Formal Methods, Third International Workshop, 2006

SCC: A Service Centered Calculus.
Proceedings of the Web Services and Formal Methods, Third International Workshop, 2006

PRISMA: A Mobile Calculus with Parametric Synchronization.
Proceedings of the Trustworthy Global Computing, Second Symposium, 2006

2005
Synchronization Algebras with Mobility for Graph Transformations.
Electr. Notes Theor. Comput. Sci., 2005

Mapping Fusion and Synchronized Hyperedge Replacement into Logic Programming
CoRR, 2005

Synchronised Hyperedge Replacement as a Model for Service Oriented Computing.
Proceedings of the Formal Methods for Components and Objects, 4th International Symposium, 2005

Insights emerged while comparing three models for global computing.
Proceedings of the Foundations of Global Computing, 20.-25. February 2005, 2005

Synchronized Hyperedge Replacement for Heterogeneous Systems.
Proceedings of the Coordination Models and Languages, 7th International Conference, 2005

Complete Axioms for Stateless Connectors.
Proceedings of the Algebra and Coalgebra in Computer Science: First International Conference, 2005

2004
A Graphical Fusion Calculus.
Electr. Notes Theor. Comput. Sci., 2004

New Insights on Architectural Connectors.
Proceedings of the Exploring New Frontiers of Theoretical Informatics, 2004

Summary 3: On Graph(ic) Encodings.
Proceedings of the Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems, 2004


  Loading...