VLDB 2026 Research / reviewers in the wild / expert
Martin Hána
dblp:305/9044
· DBLP profile ↗
2ranked-venue papers
1as first author
2since 2021 · last 2025
0000-0001-8977-5950ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 2 · 1 first-author · 2 since 2021Theory of computation · 2 · 1 first-author · 2 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2025 | Formal Verification of PKCS#1 Signature Parser Using Frama-C
Martin Hána, Nikolai Kosmatov, Virgile Prevosto, Julien Signoles |
iFM | 1 |
| 2021 | Formal Verification of a JavaCard Virtual Machine with Frama-C
Adel Djoudi, Martin Hána, Nikolai Kosmatov |
FM | 2 |