Julia Witek

According to our database¹, Julia Witek authored at least 2 papers between 2024 and 2025.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2025

Logic Mining from Process Logs: Towards Automated Specification and Verification.

[BibT_eX]

[DOI]

CoRR, June, 2025

2024

Automatic Generation of Logical Specifications for Behavioural Models.

[BibT_eX]

[DOI]

Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering Workshops, 2024