Madoda Nxumalo

Publication Activity (10 Years)

Years Active: 2015-2023
Publications (10 Years): 4

Top Topics

Regular Expressions

Deterministic Finite Automata

Alternating Time Temporal Logic

Top Venues

Int. J. Softw. Tools Technol. Transf.

Sci. Comput. Program.

Publications

Madoda Nxumalo, Nils Timm, Stefan Gruner
An evaluation of approaches to model checking real-time task schedulability analysis. Int. J. Softw. Tools Technol. Transf. 25 (1) (2023)
Madoda Nxumalo, Nils Timm, Stefan Gruner
Spotlight Abstraction in Model Checking Real-Time Task Schedulability. SPIN (2021)
Nils Timm, Stefan Gruner, Madoda Nxumalo, Josua Botha
-induction and witness refinement with constraint generation. Sci. Comput. Program. 200 (2020)
Madoda Nxumalo, Derrick G. Kourie, Loek Cleophas, Bruce W. Watson
An Assessment of Algorithms for Deriving Failure Deterministic Finite Automata. South Afr. Comput. J. 29 (1) (2017)
Madoda Nxumalo, Derrick G. Kourie, Loek G. Cleophas, Bruce W. Watson
An Aho-Corasick Based Assessment of Algorithms Generating Failure Deterministic Finite Automata. CLA (2015)