Laura Titolo
where else to find them
what they talk about
where they keep going back
- CPP2 editions2022–2024
on a stage with
- Aaron Dutleonce
- Cesar Munozonce
- Dimitra Giannakopoulouonce
all 7 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| A Temporal Differential Dynamic Logic Formal Embedding | CPP 2024 | 2024-01-15 |
This work embeds dTL2 embedded in PVS by formalizing a trace semantics, a proof calculus extended for universally quantified reachability, and tactics so… | ||
| 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 | ||