Dimitra Giannakopoulou
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
- Aaron Dutleonce
- Constantin Eneaonce
- Esther Conradonce
all 7 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Model Checking Distributed Protocols in Must | OOPSLA 2024 | 2024-10-20 |
Must is a bounded model checker that verifies real distributed implementations by instrumenting a mainstream language (example: Rust) with a tiny concurrency… | ||
| A Compositional Proof Framework for FRETish Requirements | CPP 2022 | 2022-01-17 |
Formalization defines a new denotational semantics for Fretish and proves semantic equivalence between Fretish requirements and the MTL formulas Fret… | ||
| nothing matches | ||