Jaco Geldenhuys

According to our database, Jaco Geldenhuys authored at least 36 papers between 1995 and 2023.

Collaborative distances:

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

2023

Search Algorithms for the Combinatorial Generation of Bordered Box Repetition-Free Words.

Trienko L. Grobler, Manfred Habeck, Lynette van Zijl, Jaco Geldenhuys

J. Univers. Comput. Sci., February, 2023

2020

COASTAL: Combining Concolic and Fuzzing for Java (Competition Contribution).

Willem Visser, Jaco Geldenhuys

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

Constraint Caching Revisited.

Jan Taljaard, Jaco Geldenhuys, Willem Visser

Proceedings of the NASA Formal Methods - 12th International Symposium, 2020

2019

Globalised vs averaged: Bias and ranking performance on the author level.

Marcel Dunaiski, Jaco Geldenhuys, Willem Visser

J. Informetrics, 2019

On the interplay between normalisation, bias, and performance of paper impact metrics.

Marcel Dunaiski, Jaco Geldenhuys, Willem Visser

J. Informetrics, 2019

2018

Author ranking evaluation at scale.

Marcel Dunaiski, Jaco Geldenhuys, Willem Visser

J. Informetrics, 2018

How to evaluate rankings of academic entities using test data.

Marcel Dunaiski, Jaco Geldenhuys, Willem Visser

J. Informetrics, 2018

2016

Evaluating paper and author ranking algorithms using impact and contribution awards.

Marcel Dunaiski, Willem Visser, Jaco Geldenhuys

J. Informetrics, 2016

2015

BLISS: Improved Symbolic Execution by Bounded Lazy Initialization with SAT Support.

Nicolás Rosner, Jaco Geldenhuys, Nazareno Aguirre, Willem Visser, Marcelo F. Frias

IEEE Trans. Software Eng., 2015

Statistical Symbolic Execution with Informed Sampling.

Antonio Filieri, Corina S. Pasareanu, Willem Visser, Jaco Geldenhuys

Proceedings of the Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März, 2015

Probabilistic Program Analysis.

Matthew B. Dwyer, Antonio Filieri, Jaco Geldenhuys, Mitchell J. Gerrard, Corina S. Pasareanu, Willem Visser

Proceedings of the Grand Timely Topics in Software Engineering, 2015

2014

Ambiguity and structural ambiguity of symmetric difference NFAs.

A. B. van der Merwe, Lynette van Zijl, Jaco Geldenhuys

Theor. Comput. Sci., 2014

2013

Symbolic PathFinder: integrating symbolic execution with model checking for Java bytecode analysis.

Corina S. Pasareanu, Willem Visser, David H. Bushnell, Jaco Geldenhuys, Peter C. Mehlitz, Neha Rungta

Autom. Softw. Eng., 2013

Bounded Lazy Initialization.

Jaco Geldenhuys, Nazareno Aguirre, Marcelo F. Frias, Willem Visser

Proceedings of the NASA Formal Methods, 2013

Counting Minimal Symmetric Difference NFAs.

Brink van der Merwe, Mark Farag, Jaco Geldenhuys

Proceedings of the Language and Automata Theory and Applications, 2013

2012

Green: reducing, reusing and recycling constraints in program analysis.

Willem Visser, Jaco Geldenhuys, Matthew B. Dwyer

Proceedings of the 20th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-20), 2012

Symbolic execution of programs with strings.

Gideon Redelinghuys, Willem Visser, Jaco Geldenhuys

Proceedings of the 2012 South African Institute of Computer Scientists and Information Technologists Conference, 2012

Improving communication for distributed model checking.

Jean Fourie, Jaco Geldenhuys, Cornelia P. Inggs

Proceedings of the 2012 South African Institute of Computer Scientists and Information Technologists Conference, 2012

Probabilistic symbolic execution.

Jaco Geldenhuys, Matthew B. Dwyer, Willem Visser

Proceedings of the International Symposium on Software Testing and Analysis, 2012

2011

Descriptional Complexity of Ambiguity in Symmetric Difference NFAs.

Lynette van Zijl, Jaco Geldenhuys

J. Univers. Comput. Sci., 2011

Ambiguity of Unary Symmetric Difference NFAs.

Brink van der Merwe, Lynette van Zijl, Jaco Geldenhuys

Proceedings of the Theoretical Aspects of Computing - ICTAC 2011 - 8th International Colloquium, Johannesburg, South Africa, August 31, 2011

2010

Impendulo: debugging the programmer.

Willem Visser, Jaco Geldenhuys

Proceedings of the ASE 2010, 2010

Finding the Core Developers.

Jaco Geldenhuys

Proceedings of the 36th EUROMICRO Conference on Software Engineering and Advanced Applications, 2010

2009

Comparing leaf and root insertion.

Jaco Geldenhuys, Brink van der Merwe

South Afr. Comput. J., 2009

Reducing Nondeterministic Finite Automata with SAT Solvers.

Jaco Geldenhuys, Brink van der Merwe, Lynette van Zijl

Proceedings of the Finite-State Methods and Natural Language Processing, 2009

Exploring the Scope for Partial Order Reduction.

Jaco Geldenhuys, Henri Hansen, Antti Valmari

Proceedings of the Automated Technology for Verification and Analysis, 2009

2008

Cheap and Small Counterexamples.

Henri Hansen, Jaco Geldenhuys

Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods, 2008

Update Propagation Practices in Highly Reusable Open Source Components.

Heikki Orsila, Jaco Geldenhuys, Anna Ruokonen, Imed Hammouda

Proceedings of the Open Source Development, 2008

2006

Larger Automata and Less Work for LTL Model Checking.

Jaco Geldenhuys, Henri Hansen

Proceedings of the Model Checking Software, 13th International SPIN Workshop, Vienna, Austria, March 30, 2006

2005

More efficient on-the-fly LTL verification with Tarjan's algorithm.

Jaco Geldenhuys, Antti Valmari

Theor. Comput. Sci., 2005

2004

Tarjan's Algorithm Makes On-the-Fly LTL Verification More Efficient.

Jaco Geldenhuys, Antti Valmari

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2004

State Caching Reconsidered.

Jaco Geldenhuys

Proceedings of the Model Checking Software, 2004

2003

A Nearly Memory-Optimal Data Structure for Sets and Mappings.

Jaco Geldenhuys, Antti Valmari

Proceedings of the Model Checking Software, 2003

2001

Techniques for Smaller Intermediary BDDs.

Jaco Geldenhuys, Antti Valmari

Proceedings of the CONCUR 2001, 2001

1999

Runtime Efficient State Compaction in SPIN.

Jaco Geldenhuys, P. J. A. de Villiers

Proceedings of the Theoretical and Practical Aspects of SPIN Model Checking, 1999

1995

Automatic Scaling using Gamma Learning for Feedforward Neural Networks.

Andries P. Engelbrecht, Ian Cloete, Jaco Geldenhuys, Jacek M. Zurada

Proceedings of the From Natural to Artificial Neural Computation, 1995