Paul Kogel

According to our database, Paul Kogel authored at least 5 papers between 2022 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2024

MMLT/ik: Efficiently Learning Mealy Machines with Local Timers by Using Imprecise Symbol Filters.

Paul Kogel, Wolffhardt Schwabe, Sabine Glesner

Proceedings of the Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, 2024

Verifying Opacity of Discrete-Timed Automata.

Julian Klein, Paul Kogel, Sabine Glesner

Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE), 2024

Efficient State Estimation of Discrete-Timed Automata.

Julian Klein, Paul Kogel, Sabine Glesner

Proceedings of the Formal Methods and Software Engineering, 2024

2023

Learning Mealy Machines with Local Timers.

Paul Kogel, Verena Klös, Sabine Glesner

Proceedings of the Formal Methods and Software Engineering, 2023

2022

TTT/ik: Learning Accurate Mealy Automata Efficiently with an Imprecise Symbol Filter.

Paul Kogel, Verena Klös, Sabine Glesner

Proceedings of the Formal Methods and Software Engineering, 2022