Victor B. F. Gomes

IEEE Trans. Parallel Distributed Syst., 2022

2019

Exploring C semantics and pointer provenance.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2019

Interleaving anomalies in collaborative text editors.

[BibT_eX]

[DOI]

Proceedings of the 6th Workshop on Principles and Practice of Consistency for Distributed Data, 2019

Cerberus-BMC: A Principled Reference Semantics and Exploration Tool for Concurrent and Sequential C.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018

OpSets: Sequential Specifications for Replicated Datatypes (Extended Version).

[BibT_eX]

[DOI]

CoRR, 2018

OpSets: Sequential Specifications for Replicated Datatypes.

[BibT_eX]

[DOI]

Arch. Formal Proofs, 2018

2017

Verifying strong eventual consistency in distributed systems.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2017

The LambdaMu-calculus.

[BibT_eX]

[DOI]

Cristina Matache

Arch. Formal Proofs, 2017

A framework for establishing Strong Eventual Consistency for Conflict-free Replicated Datatypes.

[BibT_eX]

[DOI]

Arch. Formal Proofs, 2017

Partial Semigroups and Convolution Algebras.

[BibT_eX]

[DOI]

Arch. Formal Proofs, 2017

Programming and Proving with Classical Types.

[BibT_eX]

[DOI]

Cristina Matache

Proceedings of the Programming Languages and Systems - 15th Asian Symposium, 2017

2016

Building program construction and verification tools from algebraic principles.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2016

Program Construction and Verification Components Based on Kleene Algebra.

[BibT_eX]

[DOI]

Arch. Formal Proofs, 2016

Kleene Algebras with Domain.

[BibT_eX]

[DOI]

Arch. Formal Proofs, 2016

Modal Kleene Algebra Applied to Program Correctness.

[BibT_eX]

[DOI]

Victor Borges Ferreira Gomes

Proceedings of the FM 2016: Formal Methods, 2016

2015

Algebraic principles for program correctness tools in Isabelle/HOL.

[BibT_eX]

[DOI]

PhD thesis, 2015

Residuated Lattices.

[BibT_eX]

[DOI]

Arch. Formal Proofs, 2015

A Program Construction and Verification Tool for Separation Logic.

[BibT_eX]

[DOI]

Brijesh Dongol

Proceedings of the Mathematics of Program Construction - 12th International Conference, 2015

2014

Principles for Verification Tools: Separation Logic.

[BibT_eX]

[DOI]

Brijesh Dongol

CoRR, 2014

Kleene Algebra with Tests and Demonic Refinement Algebras.

[BibT_eX]

[DOI]

Arch. Formal Proofs, 2014

Lightweight Program Construction and Verification Tools in Isabelle/HOL.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods - 12th International Conference, 2014

Algebraic Principles for Rely-Guarantee Style Concurrency Verification Tools.

[BibT_eX]

[DOI]

Proceedings of the FM 2014: Formal Methods, 2014

Algebras for Program Correctness in Isabelle/HOL.

[BibT_eX]

[DOI]