Travelled to:1 × Austria
1 × Cyprus
1 × Greece
1 × Portugal
2 × United Kingdom
Collaborated with:M.Hennessy C.Colombo C.Cini G.Dimech R.Mizzi G.J.Pace S.Drossopoulou P.Müller A.J.Summers N.Grech G.Fourtounis Y.Smaragdakis L.Aceto A.Achilleos A.Ingólfsdóttir K.Lehtinen
Talks about:verif (4) runtim (3) techniqu (2) monitor (2) toler (2) proof (2) fault (2) heap (2) instrument (1) polylarva (1)
Person: Adrian Francalanza
DBLP: Francalanza:Adrian
Contributed to:
2015
20152012
2008
2007
2006
2017
2019Wrote 8 papers:
- SEFM-2015-ColomboDF #runtime #verification
- Investigating Instrumentation Techniques for ESB Runtime Verification (CC, GD, AF), pp. 99–107.
- TACAS-2015-CiniF #ltl #proving #runtime #verification
- An LTL Proof System for Runtime Verification (CC, AF), pp. 581–595.
- SEFM-2012-ColomboFMP #bound #configuration management #monitoring #named #resource management #runtime #verification
- polyLarva: Runtime Verification with Configurable Resource-Aware Monitoring Boundaries (CC, AF, RM, GJP), pp. 218–232.
- ECOOP-2008-DrossopoulouFMS #framework #invariant #verification
- A Unified Framework for Verification Techniques for Object Invariants (SD, AF, PM, AJS), pp. 412–437.
- ESOP-2007-FrancalanzaH #bisimulation #fault tolerance #proving
- A Fault Tolerance Bisimulation Proof for Consensus (AF, MH), pp. 395–410.
- FoSSaCS-2006-FrancalanzaH #fault tolerance
- A Theory for Observational Fault Tolerance (AF, MH), pp. 16–31.
- OOPSLA-2017-GrechFFS
- Heaps don't lie: countering unsoundness with heap snapshots (NG, GF, AF, YS), p. 27.
- POPL-2019-AcetoAFIL #branch #linear
- Adventures in monitorability: from branching to linear time and back again (LA, AA, AF, AI, KL), p. 29.