Adéla Stepková

Orcid: 0009-0004-4639-1673

According to our database¹, Adéla Stepková authored at least 4 papers between 2025 and 2026.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2026

Re3ver: Reverse and Verify - (Competition Contribution).

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2026

2025

On Complementation of Nondeterministic Finite Automata without Full Determinization (Technical Report).

[DOI]

CoRR, July, 2025

Reversing Programs for Error Reachability Analysis.

[DOI]

Proceedings of the 34th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2025

On Complementation of Nondeterministic Finite Automata Without Full Determinization.

[DOI]

Proceedings of the Fundamentals of Computation Theory - 25th International Symposium, 2025