BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Collaborated with:
V.Rahli I.Vukotic M.Völp
Talks about:
byzantin (2) fault (2) trustworthi (1) velisario (1) asphalion (1) protocol (1) against (1) shield (1) toler (1) power (1)

Person: Paulo Jorge Esteves Veríssimo

DBLP DBLP: Ver=iacute=ssimo:Paulo_Jorge_Esteves

Contributed to:

ESOP 20182018
OOPSLA 20192019

Wrote 2 papers:

ESOP-2018-RahliVVV #coq #fault tolerance #named #protocol
Velisarios: Byzantine Fault-Tolerant Protocols Powered by Coq (VR, IV, MV, PJEV), pp. 619–650.
OOPSLA-2019-VukoticRV #fault #named
Asphalion: trustworthy shielding against Byzantine faults (IV, VR, PJEV), p. 32.

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.