Jaco Geldenhuys
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
9
Active years
1995–2025
Best venue rank
A*
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ICSE | Formally Verified Cloud-Scale Authorization. | 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, Clment 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, Taejoon Byun, Joshua M. Cohen, Ruijie Fang, Junyoung Jang, Jakob Rath, Hira Taqdees Syeda, Dominik Wagner, Yongwei Yuan |
| 2020 | TACAS | COASTAL: Combining Concolic and Fuzzing for Java (Competition Contribution). | Willem Visser, Jaco Geldenhuys |
| 2013 | LATA | Counting Minimal Symmetric Difference NFAs. | Brink van der Merwe, Mark Farag, Jaco Geldenhuys |
| 2012 | ISSTA | Probabilistic symbolic execution. | Jaco Geldenhuys, Matthew B. Dwyer, Willem Visser |
| 2011 | ICTAC | Ambiguity of Unary Symmetric Difference NFAs. | Brink van der Merwe, Lynette van Zijl, Jaco Geldenhuys |
| 2009 | ATVA | Exploring the Scope for Partial Order Reduction. | Jaco Geldenhuys, Henri Hansen, Antti Valmari |
| 2008 | SEFM | Cheap and Small Counterexamples. | Henri Hansen, Jaco Geldenhuys |
| 2004 | TACAS | Tarjan's Algorithm Makes On-the-Fly LTL Verification More Efficient. | Jaco Geldenhuys, Antti Valmari |
| 2001 | CONCUR | Techniques for Smaller Intermediary BDDs. | Jaco Geldenhuys, Antti Valmari |
| 1995 | IWANN | Automatic Scaling using Gamma Learning for Feedforward Neural Networks. | Andries P. Engelbrecht, Ian Cloete, Jaco Geldenhuys, Jacek M. Zurada |