Suivre
Filipe Meirim
Filipe Meirim
PhD student, FCT-NOVA
Adresse e-mail validée de campus.fct.unl.pt
Titre
Citée par
Citée par
Année
A coordination-free, convergent, and safe replicated tree
S Nair, F Meirim, M Pereira, C Ferreira, M Shapiro
arXiv preprint arXiv:2103.04828, 2021
62021
CISE3: Verifica\c {c}\~ ao de aplica\c {c}\~ oes com consist\^ encia fraca em Why3
F Meirim, M Pereira, C Ferreira
arXiv preprint arXiv:1909.03721, 2019
12019
CISE3: Verifying Weakly Consistent Applications with Why3
F Meirim, M Pereira, C Ferreira
arXiv preprint arXiv:2010.06622, 2020
2020
Static Verification of Cloud Applications with Why3
FS Meirim
NOVA University of Lisbon, 2019
2019
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–4