Jaco Geldenhuys

Publication Activity (10 Years)

Years Active: 1995-2023
Publications (10 Years): 11

Top Topics

Specification Language

Ranking Algorithm

Symmetric Difference

Symbolic Execution

Top Venues

J. Informetrics

Autom. Softw. Eng.

Publications

Trienko L. Grobler, Manfred Habeck, Lynette van Zijl, Jaco Geldenhuys
Search Algorithms for the Combinatorial Generation of Bordered Box Repetition-Free Words. J. Univers. Comput. Sci. 29 (2) (2023)
Jan Taljaard, Jaco Geldenhuys, Willem Visser
Constraint Caching Revisited. NFM (2020)
Willem Visser, Jaco Geldenhuys
COASTAL: Combining Concolic and Fuzzing for Java (Competition Contribution). TACAS (2) (2020)
Marcel Dunaiski, Jaco Geldenhuys, Willem Visser
Globalised vs averaged: Bias and ranking performance on the author level. J. Informetrics 13 (1) (2019)
Marcel Dunaiski, Jaco Geldenhuys, Willem Visser
On the interplay between normalisation, bias, and performance of paper impact metrics. J. Informetrics 13 (1) (2019)
Marcel Dunaiski, Jaco Geldenhuys, Willem Visser
Author ranking evaluation at scale. J. Informetrics 12 (3) (2018)
Marcel Dunaiski, Jaco Geldenhuys, Willem Visser
How to evaluate rankings of academic entities using test data. J. Informetrics 12 (3) (2018)
Marcel Dunaiski, Willem Visser, Jaco Geldenhuys
Evaluating paper and author ranking algorithms using impact and contribution awards. J. Informetrics 10 (2) (2016)
Nicolás Rosner, Jaco Geldenhuys, Nazareno Aguirre, Willem Visser, Marcelo F. Frias
BLISS: Improved Symbolic Execution by Bounded Lazy Initialization with SAT Support. IEEE Trans. Software Eng. 41 (7) (2015)
Matthew B. Dwyer, Antonio Filieri, Jaco Geldenhuys, Mitchell J. Gerrard, Corina S. Pasareanu, Willem Visser
Probabilistic Program Analysis. GTTSE (2015)
Antonio Filieri, Corina S. Pasareanu, Willem Visser, Jaco Geldenhuys
Statistical Symbolic Execution with Informed Sampling. Software Engineering & Management (2015)
Antonio Filieri, Corina S. Pasareanu, Willem Visser, Jaco Geldenhuys
Statistical symbolic execution with informed sampling. SIGSOFT FSE (2014)
A. B. van der Merwe, Lynette van Zijl, Jaco Geldenhuys
Ambiguity and structural ambiguity of symmetric difference NFAs. Theor. Comput. Sci. 537 (2014)
Brink van der Merwe, Mark Farag, Jaco Geldenhuys
Counting Minimal Symmetric Difference NFAs. LATA (2013)
Jaco Geldenhuys, Nazareno Aguirre, Marcelo F. Frias, Willem Visser
Bounded Lazy Initialization. NASA Formal Methods (2013)
Corina S. Pasareanu, Willem Visser, David H. Bushnell, Jaco Geldenhuys, Peter C. Mehlitz, Neha Rungta
Symbolic PathFinder: integrating symbolic execution with model checking for Java bytecode analysis. Autom. Softw. Eng. 20 (3) (2013)
Willem Visser, Jaco Geldenhuys, Matthew B. Dwyer
Green: reducing, reusing and recycling constraints in program analysis. SIGSOFT FSE (2012)
Jaco Geldenhuys, Matthew B. Dwyer, Willem Visser
Probabilistic symbolic execution. ISSTA (2012)
Jean Fourie, Jaco Geldenhuys, Cornelia P. Inggs
Improving communication for distributed model checking. SAICSIT (2012)
Gideon Redelinghuys, Willem Visser, Jaco Geldenhuys
Symbolic execution of programs with strings. SAICSIT (2012)
Brink van der Merwe, Lynette van Zijl, Jaco Geldenhuys
Ambiguity of Unary Symmetric Difference NFAs. ICTAC (2011)
Lynette van Zijl, Jaco Geldenhuys
Descriptional Complexity of Ambiguity in Symmetric Difference NFAs. J. Univers. Comput. Sci. 17 (6) (2011)
Jaco Geldenhuys
Finding the Core Developers. EUROMICRO-SEAA (2010)
Willem Visser, Jaco Geldenhuys
Impendulo: debugging the programmer. ASE (2010)
Jaco Geldenhuys, Brink van der Merwe
Comparing leaf and root insertion. South Afr. Comput. J. 44 (2009)
Jaco Geldenhuys, Henri Hansen, Antti Valmari
Exploring the Scope for Partial Order Reduction. ATVA (2009)
Jaco Geldenhuys, Brink van der Merwe, Lynette van Zijl
Reducing Nondeterministic Finite Automata with SAT Solvers. FSMNLP (2009)
Heikki Orsila, Jaco Geldenhuys, Anna Ruokonen, Imed Hammouda
Update Propagation Practices in Highly Reusable Open Source Components. OSS (2008)
Henri Hansen, Jaco Geldenhuys
Cheap and Small Counterexamples. SEFM (2008)
Jaco Geldenhuys, Henri Hansen
Larger Automata and Less Work for LTL Model Checking. SPIN (2006)
Jaco Geldenhuys, Antti Valmari
More efficient on-the-fly LTL verification with Tarjan's algorithm. Theor. Comput. Sci. 345 (1) (2005)
Jaco Geldenhuys, Antti Valmari
Tarjan's Algorithm Makes On-the-Fly LTL Verification More Efficient. TACAS (2004)
Jaco Geldenhuys
State Caching Reconsidered. SPIN (2004)
Jaco Geldenhuys, Antti Valmari
A Nearly Memory-Optimal Data Structure for Sets and Mappings. SPIN (2003)
Jaco Geldenhuys, Antti Valmari
Techniques for Smaller Intermediary BDDs. CONCUR (2001)
Jaco Geldenhuys, P. J. A. de Villiers
Runtime Efficient State Compaction in SPIN. SPIN (1999)
Andries P. Engelbrecht, Ian Cloete, Jaco Geldenhuys, Jacek M. Zurada
Automatic Scaling using Gamma Learning for Feedforward Neural Networks. IWANN (1995)