Folgen
Elli Anastasiadi
Elli Anastasiadi
Bestätigte E-Mail-Adresse bei it.uu.se - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Monitoring hyperproperties with circuits
L Aceto, A Achilleos, E Anastasiadi, A Francalanza
International Conference on Formal Techniques for Distributed Objects …, 2022
52022
In search of lost time: Axiomatising parallel composition in process algebras
L Aceto, E Anastasiadi, V Castiglioni, A Ingólfsdóttir, B Luttik
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-14, 2021
52021
On the axiomatisability of priority III: priority strikes again
L Aceto, E Anastasiadi, V Castiglioni, A Ingólfsdóttir, B Luttik, ...
Theoretical Computer Science 837, 223-246, 2020
32020
On the Axiomatizability of Priority III: The Return of Sequential Composition.
L Aceto, E Anastasiadi, V Castiglioni, A Ingólfsdóttir, MR Pedersen
ICTCS, 145-157, 2019
32019
Complexity through Translations for Modal Logic with Recursion
L Aceto, A Achilleos, E Anastasiadi, A Francalanza, A Ingolfsdottir
arXiv preprint arXiv:2209.10377, 2022
22022
Axiomatizing recursion-free, regular monitors
L Aceto, A Achilleos, E Anastasiadi, A Ingolfsdottir
Journal of Logical and Algebraic Methods in Programming 127, 100778, 2022
22022
Complexity results for modal logic with recursion via translations and tableaux
L Aceto, A Achilleos, E Anastasiadi, A Francalanza, A Ingólfsdóttir
arXiv preprint arXiv:2306.16881, 2023
12023
On probabilistic monitorability
L Aceto, A Achilleos, E Anastasiadi, A Francalanza, A Ingólfsdóttir, ...
Principles of Systems Design: Essays Dedicated to Thomas A. Henzinger on the …, 2022
12022
Non-finite axiomatisability results via reductions: CSP parallel composition and CCS restriction
L Aceto, E Anastasiadi, V Castiglioni, A Ingólfsdóttir
A Journey from Process Algebra via Timed Automata to Model Learning: Essays …, 2022
12022
Centralized vs Decentralized Monitors for Hyperproperties
L Aceto, A Achilleos, E Anastasiadi, A Francalanza, D Gorla, ...
arXiv preprint arXiv:2405.12882, 2024
2024
Syntactic approaches to negative results in process algebras and modal logics
E Anastasiadi
2022
An axiomatization of verdict equivalence over regular monitors.
L Acetoa, A Achilleosa, E Anastasiadia, A Ingolfsdottira
arXiv preprint arXiv:2006.05463, 2020
2020
Parameterized Fine-Grained Reductions
E Anastasiadi, A Antonopoulos, A Pagourtzis, S Petsalakis
arXiv preprint arXiv:1902.05529, 2019
2019
Satisfiability-checking of modal logic with recursion via translations and tableaux
L Aceto, A Achilleos, E Anastasiadi, A Francalanza, A Ingólfsdóttir
Axiomatizing Equivalences over Regular Monitors
L Aceto, A Achilleos, E Anastasiadi, A Ingólfsdóttir
NWPT 2019, 4, 0
Epistemic Logic for verifying runtime verification communication protocols
A Achilleos, E Anastasiadi, A Francalanza, J Xuereb
Monitoring Hyperproperties with Circuits
A Achilleos, E Anastasiadi, A Francalanza
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–17