Adrian Francalanza
University of Malta
H-index: 28
Europe-Malta
Top articles of Adrian Francalanza
COTS: Connected OpenAPI Test Synthesis for RESTful Applications
arXiv preprint arXiv:2404.19614
2024/4/30
Adrian Francalanza
H-Index: 20
Alceste Scalas
H-Index: 9
A monitoring tool for linear-time ????HML
Science of Computer Programming
2024
Duncan Paul Attard
H-Index: 5
Adrian Francalanza
H-Index: 20
On first-order runtime enforcement of branching-time properties
Acta Informatica
2023/12
Ian Cassar
H-Index: 9
Adrian Francalanza
H-Index: 20
ElixirST: A session-based type system for Elixir modules
Journal of Logical and Algebraic Methods in Programming
2023/10/1
Adrian Francalanza
H-Index: 20
Complexity results for modal logic with recursion via translations and tableaux
arXiv preprint arXiv:2306.16881
2023/6/29
Adrian Francalanza
H-Index: 20
If At First You Don't Succeed: Extended Monitorability through Multiple Executions
arXiv preprint arXiv:2306.05229
2023/6/8
Adrian Francalanza
H-Index: 20
Bidirectional Runtime Enforcement of First-Order Branching-Time Properties
Logical Methods in Computer Science
2023/2/28
Ian Cassar
H-Index: 9
Adrian Francalanza
H-Index: 20
Journal of Logical and Algebraic Methods in Programming
2023
PSTMonitor: Monitor synthesis from probabilistic session types
Science of Computer Programming
2022/10/1
Adrian Francalanza
H-Index: 20
Alceste Scalas
H-Index: 9
Complexity through Translations for Modal Logic with Recursion
arXiv preprint arXiv:2209.10377
2022/9/21
Adrian Francalanza
H-Index: 20
Session Fidelity for ElixirST: A Session-Based Type System for Elixir Modules
arXiv preprint arXiv:2208.04631
2022/8/9
Adrian Francalanza
H-Index: 20
A synthesis tool for optimal monitors in a branching-time setting
2022/6/13
Adrian Francalanza
H-Index: 20
Karoliina Lehtinen
H-Index: 7
A Monitoring Tool for Linear-Time HML
2022/6/13
Duncan Paul Attard
H-Index: 5
Adrian Francalanza
H-Index: 20
Monitoring hyperproperties with circuits
2022/6/12
Adrian Francalanza
H-Index: 20
Static Checking of Concurrent Programs in Elixir Using Session Types
2022/3
Adrian Francalanza
H-Index: 20
Preface to the JOT special issue on ECOOP 2021: selected workshop papers
Journal of Object Technology
2022
Adrian Francalanza
H-Index: 20
A theory of monitors
Information and Computation
2021/12/1
Adrian Francalanza
H-Index: 20
Session types in Elixir
2021/10/17
Adrian Francalanza
H-Index: 20
Graft: general purpose raft consensus in Elixir
2021/8/18
Duncan Paul Attard
H-Index: 5
Adrian Francalanza
H-Index: 20