Jaco Geldenhuys

39 papers A* 2A 2B 3C 2Misc 1Journal 12Unranked 16
YearRankTypeTitle / Venue / Authors
2025 A* conf
Formally Verified Cloud-Scale Authorization.
ICSE
Aleks Chakarov, Jaco Geldenhuys, Matthew Heck, Michael Hicks, Sam Huang, Georges-Axel Jaloyan, Anjali Joshi, K. Rustan M. Leino, Mikael Mayer, Sean McLaughlin, Akhilesh Mritunjai, Clément Pit-Claudel, Sorawee Porncharoenwase, Florian Rabe, Marianna Rapoport, Giles Reger, Cody Roux, Neha Rungta, Robin Salkeld, Matthias Schlaipfer, Daniel Schoepe, Johanna Schwartzentruber, Serdar Tasiran, Aaron Tomb, Emina Torlak, Jean-Baptiste Tristan, Lucas G. Wagner, Michael W. Whalen, Remy Willems, Tongtong Xiang, Tae Joon Byun, Joshua M. Cohen, Ruijie Fang, Junyoung Jang, Jakob Rath, Hira Taqdees Syeda, Dominik Wagner, Yongwei Yuan
2023 J jnl
Search Algorithms for the Combinatorial Generation of Bordered Box Repetition-Free Words.
J. Univers. Comput. Sci.
Trienko L. Grobler, Manfred Habeck, Lynette van Zijl, Jaco Geldenhuys
2020 — conf
COASTAL: Combining Concolic and Fuzzing for Java (Competition Contribution).
TACAS (2)
Willem Visser, Jaco Geldenhuys
2020 — conf
Constraint Caching Revisited.
NFM
Jan Taljaard, Jaco Geldenhuys, Willem Visser
2019 J jnl
Globalised vs averaged: Bias and ranking performance on the author level.
J. Informetrics
Marcel Dunaiski, Jaco Geldenhuys, Willem Visser
2019 J jnl
On the interplay between normalisation, bias, and performance of paper impact metrics.
J. Informetrics
Marcel Dunaiski, Jaco Geldenhuys, Willem Visser
2018 J jnl
Author ranking evaluation at scale.
J. Informetrics
Marcel Dunaiski, Jaco Geldenhuys, Willem Visser
2018 J jnl
How to evaluate rankings of academic entities using test data.
J. Informetrics
Marcel Dunaiski, Jaco Geldenhuys, Willem Visser
2016 J jnl
Evaluating paper and author ranking algorithms using impact and contribution awards.
J. Informetrics
Marcel Dunaiski, Willem Visser, Jaco Geldenhuys
2015 J jnl
BLISS: Improved Symbolic Execution by Bounded Lazy Initialization with SAT Support.
IEEE Trans. Software Eng.
Nicolás Rosner, Jaco Geldenhuys, Nazareno Aguirre, Willem Visser, Marcelo F. Frias
2015 — ed.
Model Checking Software - 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings
SPIN
Bernd Fischer, Jaco Geldenhuys
2015 — conf
Probabilistic Program Analysis.
GTTSE
Matthew B. Dwyer, Antonio Filieri, Jaco Geldenhuys, Mitchell J. Gerrard, Corina S. Pasareanu, Willem Visser
2015 — conf
Statistical Symbolic Execution with Informed Sampling.
Software Engineering & Management
Antonio Filieri, Corina S. Pasareanu, Willem Visser, Jaco Geldenhuys
2014 J jnl
Ambiguity and structural ambiguity of symmetric difference NFAs.
Theor. Comput. Sci.
A. B. van der Merwe, Lynette van Zijl, Jaco Geldenhuys
2014 — conf
Statistical symbolic execution with informed sampling.
SIGSOFT FSE
Antonio Filieri, Corina S. Pasareanu, Willem Visser, Jaco Geldenhuys
2013 — conf
Bounded Lazy Initialization.
NASA Formal Methods
Jaco Geldenhuys, Nazareno Aguirre, Marcelo F. Frias, Willem Visser
2013 C conf
Counting Minimal Symmetric Difference NFAs.
LATA
Brink van der Merwe, Mark Farag, Jaco Geldenhuys
2013 J jnl
Symbolic PathFinder: integrating symbolic execution with model checking for Java bytecode analysis.
Autom. Softw. Eng.
Corina S. Pasareanu, Willem Visser, David H. Bushnell, Jaco Geldenhuys, Peter C. Mehlitz, Neha Rungta
2012 — conf
Green: reducing, reusing and recycling constraints in program analysis.
SIGSOFT FSE
Willem Visser, Jaco Geldenhuys, Matthew B. Dwyer
2012 — conf
Improving communication for distributed model checking.
SAICSIT
Jean Fourie, Jaco Geldenhuys, Cornelia P. Inggs
2012 A conf
Probabilistic symbolic execution.
ISSTA
Jaco Geldenhuys, Matthew B. Dwyer, Willem Visser
2012 — conf
Symbolic execution of programs with strings.
SAICSIT
Gideon Redelinghuys, Willem Visser, Jaco Geldenhuys
2011 C conf
Ambiguity of Unary Symmetric Difference NFAs.
ICTAC
Brink van der Merwe, Lynette van Zijl, Jaco Geldenhuys
2011 J jnl
Descriptional Complexity of Ambiguity in Symmetric Difference NFAs.
J. Univers. Comput. Sci.
Lynette van Zijl, Jaco Geldenhuys
2010 — conf
Finding the Core Developers.
EUROMICRO-SEAA
Jaco Geldenhuys
2010 A* conf
Impendulo: debugging the programmer.
ASE
Willem Visser, Jaco Geldenhuys
2009 J jnl
Comparing leaf and root insertion.
South Afr. Comput. J.
Jaco Geldenhuys, Brink van der Merwe
2009 B conf
Exploring the Scope for Partial Order Reduction.
ATVA
Jaco Geldenhuys, Henri Hansen, Antti Valmari
2009 — conf
Reducing Nondeterministic Finite Automata with SAT Solvers.
FSMNLP
Jaco Geldenhuys, Brink van der Merwe, Lynette van Zijl
2008 B conf
Cheap and Small Counterexamples.
SEFM
Henri Hansen, Jaco Geldenhuys
2008 — conf
Update Propagation Practices in Highly Reusable Open Source Components.
OSS
Heikki Orsila, Jaco Geldenhuys, Anna Ruokonen, Imed Hammouda
2006 — conf
Larger Automata and Less Work for LTL Model Checking.
SPIN
Jaco Geldenhuys, Henri Hansen
2005 J jnl
More efficient on-the-fly LTL verification with Tarjan's algorithm.
Theor. Comput. Sci.
Jaco Geldenhuys, Antti Valmari
2004 — conf
State Caching Reconsidered.
SPIN
Jaco Geldenhuys
2004 A conf
Tarjan's Algorithm Makes On-the-Fly LTL Verification More Efficient.
TACAS
Jaco Geldenhuys, Antti Valmari
2003 — conf
A Nearly Memory-Optimal Data Structure for Sets and Mappings.
SPIN
Jaco Geldenhuys, Antti Valmari
2001 B conf
Techniques for Smaller Intermediary BDDs.
CONCUR
Jaco Geldenhuys, Antti Valmari
1999 — conf
Runtime Efficient State Compaction in SPIN.
SPIN
Jaco Geldenhuys, P. J. A. de Villiers
1995 Misc conf
Automatic Scaling using Gamma Learning for Feedforward Neural Networks.
IWANN
Andries P. Engelbrecht, Ian Cloete, Jaco Geldenhuys, Jacek M. Zurada