Peter Csaba Ölveczky
where else to find them
no profile links on file
what they talk about
where they keep going back
- FTSCS2 editions2022–2023
on a stage with
- Carlos Olarteonce
- Cyrille Arthoonce
- Fredrik Rømmingonce
all 6 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Discussions, Closing | FTSCS 2023 | 2023-10-22 |
Workshop organizers report fewer submissions than expected and trace the drop to deadline clustering with related venues and rising AI/ML interest, propose… | ||
| Rewriting Logic Semantics and Symbolic Analysis for Parametric Timed Automata | FTSCS 2022 | 2022-12-07 |
Rewriting-logic encoding of parametric timed automata yields a Maude-with-SMT symbolic reachability procedure that is proven sound and complete for PTA… | ||
| nothing matches | ||