Formalizing Correct-by-Construction Casper in Coq. - Elaine Li; Traian Serbanuta; Denisa Diaconescu; Vlad Zamfir; Grigore Rosu (IEEE ICBC, 2020)

VLSM: Validating Labelled State Transition and Message Production Systems. - Vlad Zamfir; Mihai Calancea; Denisa Diaconescu; Brandon M. Moore; Karl Palmskog; Traian-Florin Serbanuta; Michael Stay (CoRR, 2022)

Asynchronous Muddy Children Puzzle (work in progress). - Dafina Trufas; Ioan Teodorescu; Denisa Diaconescu; Traian Serbanuta; Vlad Zamfir (FROM, 2023)