Adrian Francalanza
University of Malta
H-index: 28
Europe-Malta
Top articles of Adrian Francalanza
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
A monitoring tool for linear-time ????HML | Science of Computer Programming | Luca Aceto Antonis Achilleos Duncan Paul Attard Léo Exibard Adrian Francalanza | 2024 |
COTS: Connected OpenAPI Test Synthesis for RESTful Applications | arXiv preprint arXiv:2404.19614 | Christian Bartolo Burlò Adrian Francalanza Alceste Scalas Emilio Tuosto | 2024/4/30 |
Bidirectional Runtime Enforcement of First-Order Branching-Time Properties | Logical Methods in Computer Science | Luca Aceto Ian Cassar Adrian Francalanza Anna Ingolfsdottir | 2023/2/28 |
Journal of Logical and Algebraic Methods in Programming | Luca Cardelli Giuseppe Squillace Mirco Tribastone Max Tschaikowski Andrea Vandin | 2023 | |
On first-order runtime enforcement of branching-time properties | Acta Informatica | Luca Aceto Ian Cassar Adrian Francalanza Anna Ingólfsdóttir | 2023/12 |
ElixirST: A session-based type system for Elixir modules | Journal of Logical and Algebraic Methods in Programming | Adrian Francalanza Gerard Tabone | 2023/10/1 |
Complexity results for modal logic with recursion via translations and tableaux | arXiv preprint arXiv:2306.16881 | Luca Aceto Antonis Achilleos Elli Anastasiadi Adrian Francalanza Anna Ingólfsdóttir | 2023/6/29 |
If At First You Don't Succeed: Extended Monitorability through Multiple Executions | arXiv preprint arXiv:2306.05229 | Antonis Achilleos Adrian Francalanza Jasmine Xuereb | 2023/6/8 |
Preface to the JOT special issue on ECOOP 2021: selected workshop papers | Journal of Object Technology | Davide Ancona Olivier Flückiger Adrian Francalanza C Seaton | 2022 |
Session Fidelity for ElixirST: A Session-Based Type System for Elixir Modules | arXiv preprint arXiv:2208.04631 | Gerard Tabone Adrian Francalanza | 2022/8/9 |
A synthesis tool for optimal monitors in a branching-time setting | Antonis Achilleos Léo Exibard Adrian Francalanza Karoliina Lehtinen Jasmine Xuereb | 2022/6/13 | |
A Monitoring Tool for Linear-Time HML | Luca Aceto Antonis Achilleos Duncan Paul Attard Léo Exibard Adrian Francalanza | 2022/6/13 | |
On probabilistic monitorability | Luca Aceto Antonis Achilleos Elli Anastasiadi Adrian Francalanza Anna Ingólfsdóttir | 2022/12/29 | |
Monitoring hyperproperties with circuits | Luca Aceto Antonis Achilleos Elli Anastasiadi Adrian Francalanza | 2022/6/12 | |
PSTMonitor: Monitor synthesis from probabilistic session types | Science of Computer Programming | Christian Bartolo Burlò Adrian Francalanza Alceste Scalas Catia Trubiani Emilio Tuosto | 2022/10/1 |
Static Checking of Concurrent Programs in Elixir Using Session Types | Gerard Tabone Adrian Francalanza | 2022/3 | |
Complexity through Translations for Modal Logic with Recursion | arXiv preprint arXiv:2209.10377 | Luca Aceto Antonis Achilleos Elli Anastasiadi Adrian Francalanza Anna Ingolfsdottir | 2022/9/21 |
On benchmarking for concurrent runtime verification | Luca Aceto Duncan Paul Attard Adrian Francalanza Anna Ingólfsdóttir | 2021/3/20 | |
Better late than never or: verifying asynchronous components at runtime | Duncan Paul Attard Luca Aceto Antonis Achilleos Adrian Francalanza Anna Ingólfsdóttir | 2021/6/8 | |
A theory of monitors | Information and Computation | Adrian Francalanza | 2021/12/1 |