Adrian Francalanza (University of Malta)
Identifiers
- name variant Adrian Francalanza (University of Malta) 0.60 · backfill
Papers (9)
- Reliability and Fault-Tolerance by Choreographic Design cs.PL · 2017 · author #2
- A Survey of Runtime Monitoring Instrumentation Techniques cs.LO · 2017 · author #3
- Proceedings Second International Workshop on Pre- and Post-Deployment Verification Techniques cs.LO · 2017 · author #1
- Preliminary Results Towards Contract Monitorability cs.LO · 2016 · author #2
- Improving Runtime Overheads for detectEr cs.SE · 2015 · author #2
- Compositional Reasoning for Explicit Resource Management in Channel-Based Concurrency cs.LO · 2014 · author #1
- Extensible Technology-Agnostic Runtime Verification cs.SE · 2013 · author #2
- Simplifying Contract-Violating Traces cs.SE · 2012 · author #2
- Permission-Based Separation Logic for Message-Passing Concurrency cs.LO · 2011 · author #1
Mentions
- 1503.04912 #2 · backfill · confidence 0.70 Adrian Francalanza (University of Malta)
- 1405.6100 #1 · backfill · confidence 0.70 Adrian Francalanza (University of Malta)
- 1302.5169 #2 · backfill · confidence 0.70 Adrian Francalanza (University of Malta)
- 1209.2681 #2 · backfill · confidence 0.70 Adrian Francalanza (University of Malta)
- 1106.5128 #1 · backfill · confidence 0.70 Adrian Francalanza (University of Malta)
Frequent Coauthors
- Christian Colombo (University of Malta) 2 shared papers
- Gordon J. Pace (University of Malta) 2 shared papers
- Anna Ing\'olfsd\'ottir (Reykjavik University) 1 shared papers
- Annalizz Vella (University of Malta) 1 shared papers
- Claudio Antares Mezzina (IMT School for Advanced Studies Lucca 1 shared papers
- Edsko DeVries (Well-Typed LLP) 1 shared papers
- Emilio Tuosto (University of Leicester 1 shared papers
- Ian Cassar (Reykjavik University) 1 shared papers
- Ian Cassar (University of Malta 1 shared papers
- Ian Cassar (University of Malta) 1 shared papers
- Ian Grima (University of Malta) 1 shared papers
- Ireland) 1 shared papers
- Italy) 1 shared papers
- Julian Rathke (Southampton University) 1 shared papers
- Luca Aceto (Reykjavik University) 1 shared papers
- Matthew Hennessy (Trinity College Dublin 1 shared papers
- Reykjavik University) 1 shared papers
- Ruth Mizzi (University of Malta) 1 shared papers
- Simon Said (University of Malta) 1 shared papers
- UK) 1 shared papers