Marek Jankola -

Registered user since Mon 15 Apr 2024

Name:Marek Jankola

Country:Slovakia

Affiliation:LMU Munich

Research interests:Formal Verification, Automata, Logic

Contributions

2027

VMCAI

Committee Member in Artifact Evaluation Committee within the VMCAI 2027-track

2026

CPA

Committee Member in Organizing Committee within the CPAchecker-track
Session Chair of Session 2 (Developments in Software Analysis) (part of CPAchecker)
Author of Interpolation-Based Termination Analysis in CPAchecker within the CPAchecker-track

2025

ASE

Author of Non-termination Witnesses and their Validation within the Research Papers-track

2024

ASE

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

ESEC/FSE

2023

ASE

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