VLDB 2026 Research / reviewers in the wild / expert
Madoda Nxumalo
dblp:173/3616
· DBLP profile ↗
3ranked-venue papers
2as first author
2since 2021 · last 2023
0000-0002-4091-9156ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 3 · 2 first-author · 2 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2023 | An evaluation of approaches to model checking real-time task schedulability analysis
Madoda Nxumalo, Nils Timm, Stefan Gruner |
Int. J. Softw. Tools Technol. Transf. | 1 |
| 2021 | Spotlight Abstraction in Model Checking Real-Time Task Schedulability
Madoda Nxumalo, Nils Timm, Stefan Gruner |
SPIN | 1 |
| 2020 | Model checking safety and liveness via k-induction and witness refinement with constraint generation
Nils Timm, Stefan Gruner, Madoda Nxumalo, Josua Botha |
Sci. Comput. Program. | 3 |