Ellie's homepage

My DBLP page can be found here. Below is a list of all my works, with links to current available versions.

Principles of Systems Design: Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday 2022 -On Probabilistic Monitorability. With Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen, and Mathias Ruggaard Pedersen. [PDF]
GANDALF 2022 - Complexity through Translations for Modal Logic with Recursion. With Luca Aceto, Antonis Achilleos, Adrian Francalanza, and Anna Ingólfsdóttir [PDF]
A Journey from Process Algebra via Timed Automata to Model Learning: Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday - Non-finite Axiomatisability Results via Reductions: CSP Parallel Composition and CCS Restriction. With Luca Aceto, Valentina Castiglioni, and Anna Ingólfsdóttir [PDF]
FORTE 2022 - Monitoring Hyperproperties with circuits. With Luca Aceto, Antonis Achilleos, and Adrian Francalanza. [PDF]
LICS 2021 - In search of lost time: Axiomatising parallel composition in process algebras. With Luca Aceto, Valentina Castiglioni, Anna Ingólfsdóttir, and Bas Luttik. [PDF]
ICTCS 2019 - On the Axiomatizability of Priority III: The Return of Sequential Composition. With Luca Aceto, Valentina Castiglioni, Anna Ingólfsdóttir, Bas Luttik, and Mathias Ruggaard Pedersen. [PDF]

Entropy (journal) A partial information decomposition for f-information at discrete random variables. With Tobias Mages and Christian Rohner. [PDF]
LMCS journal - Complexity results for modal logic with recursion via translations and tableaux

NWPT 2023 - Infinite hard families of equations in process algebras. With Luca Aceto. Online proceedings, p70
RADICAL 2023 - Communicating Monitors for Hyper-µHML. With Antonis Achilleos, Adrian Francalanza, and Jana Wagemaker. [PDF]
PLS 2022 - Epistemic logic for verifying runtime verification communication protocols. With Antonis Achilleos, Adrian Francalanza and Jasmine Xuereb. Online proceedings
NWPT 2021 - Monitoring Hyperproperties using circuis - Online proceedings pending. With Luca Aceto, Antonis Achilleos and Adrian Francalanza.
NWPT 2019 - Axiomatizing equivalences over regular monitors. With Luca Aceto and Anna Ingolfsdottir Online proceedings
PLS 2019 - An Axiomatization of Verdict Equivalence over (Closed) Regular Monitors. With Luca Aceto and Anna Ingolfsdottir

Consistency checking under the release-acquire semantics
Centralized vs Distributed Monitors for HyperProperties
On the expressive power of Hyper_mu_HML & its information-theoretic applications
An infinite axiomatic basis for Millner's CCS
Parameterized Fine-Grained Reductions. [PDF]

The final version of my PhD dissertation can be found here.
My master's thesis entry can be found here (in greek). Here is an earlier draft in english.

Elli Anastasiadi