Scholar
Adrian Francalanza
Google Scholar ID: 2KyiwjEAAAAJ
University of Malta
Citations & Impact
Citations
1,763
H-index
21
i10-index
46
Publications
20
Co-authors
45
list available
Contact
Publications
Resume (English only)
Academic Achievements
- Journal paper 'A monitoring tool for linear-time muHML' accepted in Science of Computer Programming
- Journal paper 'ElixirST: A session-based type system for Elixir modules' accepted in Journal of Logical and Algebraic Methods in Programming
- Journal paper 'On first-order runtime enforcement of branching-time properties' accepted in Acta Informatica
- Journal paper 'Bidirectional Runtime Enforcement of First-Order Branching-Time Properties' accepted in Logical Methods in Computer Science
- Journal paper 'PSTMonitor: Monitor synthesis from probabilistic session types' accepted in Science of Computer Programming
- Multiple conference papers accepted at top-tier venues including ECOOP, CONCUR, LICS, Coordination, FORTE, GandALF, ICE, Agere, etc.
- Paper 'A Monitoring Tool for the Linear-Time muHML' won Best Paper Award at DisCoTec 2022
- Paper 'A theory of (linear-time) timed monitors' received Distinguished Paper Award at ECOOP 2025
