Publications
Publications
Authors are ordered alphabetically by their last name.
Conferences
[BPSW23] Automata with Timers
2023
Formal Modeling and Analysis of Timed Systems. FORMATS. DOI: 10.1007/978-3-031-42626-1_3. arXiv: 10.48550/arXiv.2305.07451. Won a Best Paper Award at the conference..
[BPS23] Validating Streaming JSON Documents with Learned VPAs
2023
29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. TACAS. DOI: 10.1007/978-3-031-30823-9_14. arXiv: 10.48550/arXiv.2211.08891.
[BPS22] Learning Realtime One-Counter Automata
2022
28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. TACAS. DOI: 10.1007/978-3-030-99524-9_13. arXiv: 10.48550/arXiv.2110.09434.
[KJLSW20] Optimization of Answer Set Programs for Consistent Query Answering by Means of First-Order Rewriting
2020
29th ACM International Conference on Information and Knowledge Management. CIKM. DOI: 10.1145/3340531.3411911.
Preprints
[BGP+24] Active Learning of Mealy Machines with Timers
2024