Andrea Esposito

16 papers B 1C 3Journal 8Unranked 4
YearRankTypeTitle / Venue / Authors
2026 J jnl
Causal reversibility in nondeterministic process calculi extended with time or probabilities.
Theor. Comput. Sci.
Marco Bernardo, Claudio Antares Mezzina, Andrea Esposito
2025 B conf
Alternative Characterizations of Hereditary History-Preserving Bisimilarity via Backward Ready Multisets.
FoSSaCS
Marco Bernardo, Andrea Esposito, Claudio Antares Mezzina
2025 J jnl
Formal Modeling and Verification of the Algorand Consensus Protocol in CADP.
CoRR
Andrea Esposito, Francesco P. Rossi, Marco Bernardo, Francesco Fabris, Hubert Garavel
2025 J jnl
Hereditary History-Preserving Bisimilarity: Characterizations via Backward Ready Multisets.
CoRR
Marco Bernardo, Andrea Esposito, Claudio Antares Mezzina
2025 — conf
Noninterference Analysis of Deterministically Timed Reversible Systems.
QEST+FORMATS
Andrea Esposito, Alessandro Aldini, Marco Bernardo
2025 J jnl
Noninterference Analysis of Irreversible or Reversible Systems with Nondeterminism and Probabilities.
CoRR
Andrea Esposito, Alessandro Aldini, Marco Bernardo
2025 J jnl
Noninterference Analysis of Reversible Systems: An Approach Based on Branching Bisimilarity.
Log. Methods Comput. Sci.
Andrea Esposito, Alessandro Aldini, Marco Bernardo, Sabina Rossi
2025 C conf
Noninterference Analysis ofStochastically Timed Reversible Systems.
FORTE
Andrea Esposito, Alessandro Aldini, Marco Bernardo
2025 J jnl
On the Operational Resilience of CBDC: Threats and Prospects of Formal Validation for Offline Payments.
CoRR
Marco Bernardo, Federico Calandra, Andrea Esposito, Francesco Fabris
2025 J jnl
Redactable Blockchains: An Overview.
CoRR
Federico Calandra, Marco Bernardo, Andrea Esposito, Francesco Fabris
2024 — conf
Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings.
EXPRESS/SOS
Marco Bernardo, Andrea Esposito, Claudio Antares Mezzina
2024 C conf
Noninterference Analysis of Reversible Probabilistic Systems.
FORTE
Andrea Esposito, Alessandro Aldini, Marco Bernardo
2023 C conf
Branching Bisimulation Semantics Enables Noninterference Analysis of Reversible Systems.
FORTE
Andrea Esposito, Alessandro Aldini, Marco Bernardo
2023 — conf
Modal Logic Characterizations of Forward, Reverse, and Forward-Reverse Bisimilarities.
GandALF
Marco Bernardo, Andrea Esposito
2023 J jnl
Noninterference Analysis of Reversible Systems: An Approach Based on Branching Bisimilarity.
CoRR
Andrea Esposito, Alessandro Aldini, Marco Bernardo, Sabina Rossi
2023 — conf
On the Weak Continuation of Reverse Bisimilarity vs. Forward Bisimilarity.
ICTCS
Marco Bernardo, Andrea Esposito