Login / Signup
Vlad Zamfir
Publication Activity (10 Years)
Years Active: 2020-2023
Publications (10 Years): 3
Top Topics
State Transitions
Multiprocessor Architecture
Young Children
Multistage
Top Venues
CoRR
FROM
IEEE ICBC
</>
Publications
</>
Dafina Trufas
,
Ioan Teodorescu
,
Denisa Diaconescu
,
Traian Serbanuta
,
Vlad Zamfir
Asynchronous Muddy Children Puzzle (work in progress).
FROM
(2023)
Vlad Zamfir
,
Mihai Calancea
,
Denisa Diaconescu
,
Brandon M. Moore
,
Karl Palmskog
,
Traian-Florin Serbanuta
,
Michael Stay
VLSM: Validating Labelled State Transition and Message Production Systems.
CoRR
(2022)
Elaine Li
,
Traian Serbanuta
,
Denisa Diaconescu
,
Vlad Zamfir
,
Grigore Rosu
Formalizing Correct-by-Construction Casper in Coq.
IEEE ICBC
(2020)