Cesar Munoz
where else to find them
linkedin:cesar-a-munoz-1208854
what they talk about
where they keep going back
- CPP2 editions2022–2024
on a stage with
- J Tanner Slagelonce
- Jason Plumbonce
- Laura Titoloonce
all 4 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Lazy Robots: Telemetry Buffering on Android | Observability Day Europe 2024 | 2024-03-19 |
OpenTelemetry Android adds a disk-buffering layer that serializes telemetry to internal storage as Protobuf files, creating per-signal folders and honoring… | ||
| 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… | ||
| Structural Embeddings Revisited | CPP 2022 | 2022-01-17 |
Formal verification shows the parallel-landing alert algorithm issues warnings for conflicts that occur between 9.5–10 seconds (a counterexample appears at… | ||
| nothing matches | ||