Marek Jankola -

Registered user since Mon 15 Apr 2024

Name:Marek Jankola

Country:Slovakia

Affiliation:LMU Munich

Research interests:Formal Verification, Automata, Logic

Contributions

2024

ASE

Author of BenchCloud: A Platform for Scalable Performance Benchmarking within the Tool Demonstrations-track

ESEC/FSE

Author of A Transferability Study of Interpolation-Based Hardware Model Checking to Software Verification within the Posters-track
Author of A Transferability Study of Interpolation-Based Hardware Model Checking to Software Verification within the Research Papers-track

2023

ASE

Author of Dual Approximated Reachability Model Checking in CPAchecker within the [Workshop] CPAchecker-track