BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Francalanza:Adrian

Contributed to:

SEFM 20152015
TACAS 20152015
SEFM 20122012
ECOOP 20082008
ESOP 20072007
FoSSaCS 20062006
OOPSLA 20172017
POPL 20192019

Wrote 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.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.