Madoda Nxumalo

According to our database, Madoda Nxumalo authored at least 5 papers between 2015 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

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., February, 2023

2021

Spotlight Abstraction in Model Checking Real-Time Task Schedulability.

Madoda Nxumalo, Nils Timm, Stefan Gruner

Proceedings of the Model Checking Software - 27th International Symposium, 2021

2020

Model checking safety and liveness via <i>k</i>-induction and witness refinement with constraint generation.

Nils Timm, Stefan Gruner, Madoda Nxumalo, Josua Botha

Sci. Comput. Program., 2020

2017

An Assessment of Algorithms for Deriving Failure Deterministic Finite Automata.

Madoda Nxumalo, Derrick G. Kourie, Loek Cleophas, Bruce W. Watson

South Afr. Comput. J., 2017

2015

An Aho-Corasick Based Assessment of Algorithms Generating Failure Deterministic Finite Automata.

Madoda Nxumalo, Derrick G. Kourie, Loek G. Cleophas, Bruce W. Watson

Proceedings of the Twelfth International Conference on Concept Lattices and Their Applications, 2015