Jaco Geldenhuys

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

	2013
c19		Brink van der Merwe, Mark Farag, Jaco Geldenhuys: Counting Minimal Symmetric Difference NFAs. LATA 2013: 419-430
	2012
c18		Jaco Geldenhuys, Matthew B. Dwyer, Willem Visser: Probabilistic symbolic execution. ISSTA 2012: 166-176
c17		Jean Fourie, Jaco Geldenhuys, Cornelia P. Inggs: Improving communication for distributed model checking. SAICSIT Conf. 2012: 41-50
c16		Gideon Redelinghuys, Willem Visser, Jaco Geldenhuys: Symbolic execution of programs with strings. SAICSIT Conf. 2012: 139-148
c15		Willem Visser, Jaco Geldenhuys, Matthew B. Dwyer: Green: reducing, reusing and recycling constraints in program analysis. SIGSOFT FSE 2012: 58
	2011
j3		Lynette van Zijl, Jaco Geldenhuys: Descriptional Complexity of Ambiguity in Symmetric Difference NFAs. J. UCS 17(6): 874-890 (2011)
c14		Brink van der Merwe, Lynette van Zijl, Jaco Geldenhuys: Ambiguity of Unary Symmetric Difference NFAs. ICTAC 2011: 256-266
	2010
c13		Jaco Geldenhuys: Finding the Core Developers. EUROMICRO-SEAA 2010: 447-450
c12		Willem Visser, Jaco Geldenhuys: Impendulo: debugging the programmer. ASE 2010: 351-352
	2009
j2		Jaco Geldenhuys, Brink van der Merwe: Comparing leaf and root insertion. South African Computer Journal 44: 30-38 (2009)
c11		Jaco Geldenhuys, Henri Hansen, Antti Valmari: Exploring the Scope for Partial Order Reduction. ATVA 2009: 39-53
c10		Jaco Geldenhuys, Brink van der Merwe, Lynette van Zijl: Reducing Nondeterministic Finite Automata with SAT Solvers. FSMNLP 2009: 81-92
	2008
c9		Heikki Orsila, Jaco Geldenhuys, Anna Ruokonen, Imed Hammouda: Update Propagation Practices in Highly Reusable Open Source Components. OSS 2008: 159-170
c8		Henri Hansen, Jaco Geldenhuys: Cheap and Small Counterexamples. SEFM 2008: 53-62
	2006
c7		Jaco Geldenhuys, Henri Hansen: Larger Automata and Less Work for LTL Model Checking. SPIN 2006: 53-70
	2005
j1		Jaco Geldenhuys, Antti Valmari: More efficient on-the-fly LTL verification with Tarjan's algorithm. Theor. Comput. Sci. 345(1): 60-82 (2005)
	2004
c6		Jaco Geldenhuys: State Caching Reconsidered. SPIN 2004: 23-38
c5		Jaco Geldenhuys, Antti Valmari: Tarjan's Algorithm Makes On-the-Fly LTL Verification More Efficient. TACAS 2004: 205-219
	2003
c4		Jaco Geldenhuys, Antti Valmari: A Nearly Memory-Optimal Data Structure for Sets and Mappings. SPIN 2003: 136-150
	2001
c3		Jaco Geldenhuys, Antti Valmari: Techniques for Smaller Intermediary BDDs. CONCUR 2001: 233-247
	1999
c2		Jaco Geldenhuys, P. J. A. de Villiers: Runtime Efficient State Compaction in SPIN. SPIN 1999: 12-21
	1995
c1		Andries Petrus Engelbrecht, Ian Cloete, Jaco Geldenhuys, Jacek M. Zurada: Automatic Scaling using Gamma Learning for Feedforward Neural Networks. IWANN 1995: 374-381

Coauthor Index

1	Ian Cloete	[c1]
2	Matthew B. Dwyer	[c18] [c15]
3	Andries Petrus Engelbrecht	[c1]
4	Mark Farag	[c19]
5	Jean Fourie	[c17]
6	Imed Hammouda	[c9]
7	Henri Hansen	[c11] [c8] [c7]
8	Cornelia P. Inggs	[c17]
9	Brink van der Merwe	[c19] [c14] [j2] [c10]
10	Heikki Orsila	[c9]
11	Gideon Redelinghuys	[c16]
12	Anna Ruokonen	[c9]
13	Antti Valmari	[c11] [j1] [c5] [c4] [c3]
14	P. J. A. de Villiers	[c2]
15	Willem Visser	[c18] [c16] [c15] [c12]
16	Lynette van Zijl	[j3] [c14] [c10]
17	Jacek M. Zurada	[c1]

Colors in the list of coauthors

Last update Thu May 23 03:02:59 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page