38 citations · 145 across the 24 of their papers we have counts for
25 papers
A Reversible Semantics for Janus
Ivan Lanese, Germán Vidal
Janus is a paradigmatic example of a reversible programming language. Indeed, Janus programs can be executed backwards as well as forwards. However, its current small-step semantic…
Adaptable TeaStore: A Choreographic Approach
Giuseppe De Palma, Saverio Giallorenzo, Ivan Lanese +1
The Adaptable TeaStore has recently been proposed as a reference model for adaptable microservice architectures. It includes different configurations, as well as scenarios requirin…
Adaptable TeaStore
Simon Bliudze, Giuseppe De Palma, Saverio Giallorenzo +3
Modern cloud-native systems require adapting dynamically to changing operational conditions, including service outages, traffic surges, and evolving user requirements. While existi…
A Behavioral Theory for Distributed Systems with Weak Recovery
Giovanni Fabbretti, Ivan Lanese, Jean-Bernard Stefani
Distributed systems can be subject to various kinds of partial failures, therefore building fault-tolerance or failure mitigation mechanisms for distributed systems remains an impo…
An Axiomatic Theory for Reversible Computation
Ivan Lanese, Iain Phillips, Irek Ulidowski
Undoing computations of a concurrent system is beneficial in many situations, e.g., in reversible debugging of multi-threaded programs and in recovery from errors due to optimistic…
revTPL: The Reversible Temporal Process Language
Laura Bocchi, Ivan Lanese, Claudio Antares Mezzina +1
Reversible debuggers help programmers to find the causes of misbehaviours in concurrent programs more quickly, by executing a program backwards from the point where a misbehaviour…