Paul Kogel

dblp:330/9755 · DBLP profile ↗
← Back
3ranked-venue papers
2as first author
3since 2021 · last 2024
0009-0005-1860-0711ORCID · verified

Domains — the database's venue-derived domains; a paper can count in several

Software engineering, systems software and programming languages · 3 · 2 first-author · 3 since 2021
YearPublicationVenuePosition
2024 Efficient State Estimation of Discrete-Timed Automata
Julian Klein 0001, Paul Kogel, Sabine Glesner
ICFEM2
2023 Learning Mealy Machines with Local Timers
Paul Kogel, Verena Klös, Sabine Glesner
ICFEM1
2022 TTT/ik: Learning Accurate Mealy Automata Efficiently with an Imprecise Symbol Filter
Paul Kogel, Verena Klös, Sabine Glesner
ICFEM1