Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Jaco Geldenhuys
@article{DBLP:journals/jucs/GroblerHZG23,
author = {Trienko L. Grobler and
Manfred Habeck and
Lynette van Zijl and
Jaco Geldenhuys},
title = {Search Algorithms for the Combinatorial Generation of Bordered Box
Repetition-Free Words},
journal = {J. Univers. Comput. Sci.},
volume = {29},
number = {2},
pages = {100--117},
year = {2023},
url = {https://doi.org/10.3897/jucs.87330},
doi = {10.3897/JUCS.87330},
timestamp = {Sat, 13 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/GroblerHZG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/TaljaardGV20,
author = {Jan Taljaard and
Jaco Geldenhuys and
Willem Visser},
editor = {Ritchie Lee and
Susmit Jha and
Anastasia Mavridou},
title = {Constraint Caching Revisited},
booktitle = {{NASA} Formal Methods - 12th International Symposium, {NFM} 2020,
Moffett Field, CA, USA, May 11-15, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12229},
pages = {251--266},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-55754-6\_15},
doi = {10.1007/978-3-030-55754-6\_15},
timestamp = {Wed, 26 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/TaljaardGV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/VisserG20,
author = {Willem Visser and
Jaco Geldenhuys},
editor = {Armin Biere and
David Parker},
title = {{COASTAL:} Combining Concolic and Fuzzing for Java (Competition Contribution)},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 26th International Conference, {TACAS} 2020, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {12079},
pages = {373--377},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-45237-7\_23},
doi = {10.1007/978-3-030-45237-7\_23},
timestamp = {Fri, 14 May 2021 08:34:19 +0200},
biburl = {https://dblp.org/rec/conf/tacas/VisserG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/joi/DunaiskiGV19,
author = {Marcel Dunaiski and
Jaco Geldenhuys and
Willem Visser},
title = {On the interplay between normalisation, bias, and performance of paper
impact metrics},
journal = {J. Informetrics},
volume = {13},
number = {1},
pages = {270--290},
year = {2019},
url = {https://doi.org/10.1016/j.joi.2019.01.003},
doi = {10.1016/J.JOI.2019.01.003},
timestamp = {Thu, 09 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/joi/DunaiskiGV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/joi/DunaiskiGV19a,
author = {Marcel Dunaiski and
Jaco Geldenhuys and
Willem Visser},
title = {Globalised vs averaged: Bias and ranking performance on the author
level},
journal = {J. Informetrics},
volume = {13},
number = {1},
pages = {299--313},
year = {2019},
url = {https://doi.org/10.1016/j.joi.2019.01.006},
doi = {10.1016/J.JOI.2019.01.006},
timestamp = {Thu, 09 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/joi/DunaiskiGV19a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/joi/DunaiskiGV18,
author = {Marcel Dunaiski and
Jaco Geldenhuys and
Willem Visser},
title = {How to evaluate rankings of academic entities using test data},
journal = {J. Informetrics},
volume = {12},
number = {3},
pages = {631--655},
year = {2018},
url = {https://doi.org/10.1016/j.joi.2018.06.002},
doi = {10.1016/J.JOI.2018.06.002},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/joi/DunaiskiGV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/joi/DunaiskiGV18a,
author = {Marcel Dunaiski and
Jaco Geldenhuys and
Willem Visser},
title = {Author ranking evaluation at scale},
journal = {J. Informetrics},
volume = {12},
number = {3},
pages = {679--702},
year = {2018},
url = {https://doi.org/10.1016/j.joi.2018.06.004},
doi = {10.1016/J.JOI.2018.06.004},
timestamp = {Thu, 13 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/joi/DunaiskiGV18a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/joi/DunaiskiVG16,
author = {Marcel Dunaiski and
Willem Visser and
Jaco Geldenhuys},
title = {Evaluating paper and author ranking algorithms using impact and contribution
awards},
journal = {J. Informetrics},
volume = {10},
number = {2},
pages = {392--407},
year = {2016},
url = {https://doi.org/10.1016/j.joi.2016.01.010},
doi = {10.1016/J.JOI.2016.01.010},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/joi/DunaiskiVG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/RosnerGAVF15,
author = {Nicol{\'{a}}s Rosner and
Jaco Geldenhuys and
Nazareno Aguirre and
Willem Visser and
Marcelo F. Frias},
title = {{BLISS:} Improved Symbolic Execution by Bounded Lazy Initialization
with {SAT} Support},
journal = {{IEEE} Trans. Software Eng.},
volume = {41},
number = {7},
pages = {639--660},
year = {2015},
url = {https://doi.org/10.1109/TSE.2015.2389225},
doi = {10.1109/TSE.2015.2389225},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/RosnerGAVF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gttse/DwyerFGGPV15,
author = {Matthew B. Dwyer and
Antonio Filieri and
Jaco Geldenhuys and
Mitchell J. Gerrard and
Corina S. Pasareanu and
Willem Visser},
editor = {J{\'{a}}come Cunha and
Jo{\~{a}}o Paulo Fernandes and
Ralf L{\"{a}}mmel and
Jo{\~{a}}o Saraiva and
Vadim Zaytsev},
title = {Probabilistic Program Analysis},
booktitle = {Grand Timely Topics in Software Engineering - International Summer
School {GTTSE} 2015, Braga, Portugal, August 23-29, 2015, Tutorial
Lectures},
series = {Lecture Notes in Computer Science},
volume = {10223},
pages = {1--25},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-60074-1\_1},
doi = {10.1007/978-3-319-60074-1\_1},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gttse/DwyerFGGPV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/FilieriPVG15,
author = {Antonio Filieri and
Corina S. Pasareanu and
Willem Visser and
Jaco Geldenhuys},
editor = {Uwe A{\ss}mann and
Birgit Demuth and
Thorsten Spitta and
Georg P{\"{u}}schel and
Ronny Kaiser},
title = {Statistical Symbolic Execution with Informed Sampling},
booktitle = {Software Engineering {\&} Management 2015, Multikonferenz der
GI-Fachbereiche Softwaretechnik {(SWT)} und Wirtschaftsinformatik
(WI), {FA} WI-MAW, 17. M{\"{a}}rz - 20. M{\"{a}}rz 2015,
Dresden, Germany},
series = {{LNI}},
volume = {{P-239}},
pages = {51--52},
publisher = {{GI}},
year = {2015},
timestamp = {Thu, 14 Nov 2019 16:35:28 +0100},
biburl = {https://dblp.org/rec/conf/se/FilieriPVG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/spin/2015,
editor = {Bernd Fischer and
Jaco Geldenhuys},
title = {Model Checking Software - 22nd International Symposium, {SPIN} 2015,
Stellenbosch, South Africa, August 24-26, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9232},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23404-5},
doi = {10.1007/978-3-319-23404-5},
isbn = {978-3-319-23403-8},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/spin/2015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/MerweZG14,
author = {A. B. van der Merwe and
Lynette van Zijl and
Jaco Geldenhuys},
title = {Ambiguity and structural ambiguity of symmetric difference NFAs},
journal = {Theor. Comput. Sci.},
volume = {537},
pages = {97--104},
year = {2014},
url = {https://doi.org/10.1016/j.tcs.2013.04.019},
doi = {10.1016/J.TCS.2013.04.019},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/MerweZG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/FilieriPVG14,
author = {Antonio Filieri and
Corina S. Pasareanu and
Willem Visser and
Jaco Geldenhuys},
editor = {Shing{-}Chi Cheung and
Alessandro Orso and
Margaret{-}Anne D. Storey},
title = {Statistical symbolic execution with informed sampling},
booktitle = {Proceedings of the 22nd {ACM} {SIGSOFT} International Symposium on
Foundations of Software Engineering, (FSE-22), Hong Kong, China, November
16 - 22, 2014},
pages = {437--448},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2635868.2635899},
doi = {10.1145/2635868.2635899},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/FilieriPVG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/PasareanuVBGMR13,
author = {Corina S. Pasareanu and
Willem Visser and
David H. Bushnell and
Jaco Geldenhuys and
Peter C. Mehlitz and
Neha Rungta},
title = {Symbolic PathFinder: integrating symbolic execution with model checking
for Java bytecode analysis},
journal = {Autom. Softw. Eng.},
volume = {20},
number = {3},
pages = {391--425},
year = {2013},
url = {https://doi.org/10.1007/s10515-013-0122-2},
doi = {10.1007/S10515-013-0122-2},
timestamp = {Thu, 18 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ase/PasareanuVBGMR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/MerweFG13,
author = {Brink van der Merwe and
Mark Farag and
Jaco Geldenhuys},
editor = {Adrian{-}Horia Dediu and
Carlos Mart{\'{\i}}n{-}Vide and
Bianca Truthe},
title = {Counting Minimal Symmetric Difference NFAs},
booktitle = {Language and Automata Theory and Applications - 7th International
Conference, {LATA} 2013, Bilbao, Spain, April 2-5, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7810},
pages = {419--430},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-37064-9\_37},
doi = {10.1007/978-3-642-37064-9\_37},
timestamp = {Mon, 16 Sep 2019 15:27:03 +0200},
biburl = {https://dblp.org/rec/conf/lata/MerweFG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/GeldenhuysAFV13,
author = {Jaco Geldenhuys and
Nazareno Aguirre and
Marcelo F. Frias and
Willem Visser},
editor = {Guillaume Brat and
Neha Rungta and
Arnaud Venet},
title = {Bounded Lazy Initialization},
booktitle = {{NASA} Formal Methods, 5th International Symposium, {NFM} 2013, Moffett
Field, CA, USA, May 14-16, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7871},
pages = {229--243},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38088-4\_16},
doi = {10.1007/978-3-642-38088-4\_16},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/nfm/GeldenhuysAFV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/GeldenhuysDV12,
author = {Jaco Geldenhuys and
Matthew B. Dwyer and
Willem Visser},
editor = {Mats Per Erik Heimdahl and
Zhendong Su},
title = {Probabilistic symbolic execution},
booktitle = {International Symposium on Software Testing and Analysis, {ISSTA}
2012, Minneapolis, MN, USA, July 15-20, 2012},
pages = {166--176},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2338965.2336773},
doi = {10.1145/2338965.2336773},
timestamp = {Thu, 02 Dec 2021 11:46:17 +0100},
biburl = {https://dblp.org/rec/conf/issta/GeldenhuysDV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saicsit/FourieGI12,
author = {Jean Fourie and
Jaco Geldenhuys and
Cornelia P. Inggs},
editor = {Jan H. Kroeze and
Ruth de Villiers},
title = {Improving communication for distributed model checking},
booktitle = {2012 South African Institute of Computer Scientists and Information
Technologists Conference, {SAICSIT} '12, Pretoria, South Africa, October
1-3, 2012},
pages = {41--50},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2389836.2389842},
doi = {10.1145/2389836.2389842},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/saicsit/FourieGI12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saicsit/RedelinghuysVG12,
author = {Gideon Redelinghuys and
Willem Visser and
Jaco Geldenhuys},
editor = {Jan H. Kroeze and
Ruth de Villiers},
title = {Symbolic execution of programs with strings},
booktitle = {2012 South African Institute of Computer Scientists and Information
Technologists Conference, {SAICSIT} '12, Pretoria, South Africa, October
1-3, 2012},
pages = {139--148},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2389836.2389853},
doi = {10.1145/2389836.2389853},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/saicsit/RedelinghuysVG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/VisserGD12,
author = {Willem Visser and
Jaco Geldenhuys and
Matthew B. Dwyer},
editor = {Will Tracz and
Martin P. Robillard and
Tevfik Bultan},
title = {Green: reducing, reusing and recycling constraints in program analysis},
booktitle = {20th {ACM} {SIGSOFT} Symposium on the Foundations of Software Engineering
(FSE-20), SIGSOFT/FSE'12, Cary, NC, {USA} - November 11 - 16, 2012},
pages = {58},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2393596.2393665},
doi = {10.1145/2393596.2393665},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/VisserGD12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/ZijlG11,
author = {Lynette van Zijl and
Jaco Geldenhuys},
title = {Descriptional Complexity of Ambiguity in Symmetric Difference NFAs},
journal = {J. Univers. Comput. Sci.},
volume = {17},
number = {6},
pages = {874--890},
year = {2011},
url = {https://doi.org/10.3217/jucs-017-06-0874},
doi = {10.3217/JUCS-017-06-0874},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/ZijlG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/MerweZG11,
author = {Brink van der Merwe and
Lynette van Zijl and
Jaco Geldenhuys},
editor = {Antonio Cerone and
Pekka Pihlajasaari},
title = {Ambiguity of Unary Symmetric Difference NFAs},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2011 - 8th International
Colloquium, Johannesburg, South Africa, August 31 - September 2, 2011.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6916},
pages = {256--266},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-23283-1\_17},
doi = {10.1007/978-3-642-23283-1\_17},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/ictac/MerweZG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/euromicro/Geldenhuys10,
author = {Jaco Geldenhuys},
title = {Finding the Core Developers},
booktitle = {36th {EUROMICRO} Conference on Software Engineering and Advanced Applications,
{SEAA} 2010, Lille, France, September 1-3, 2010},
pages = {447--450},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/SEAA.2010.66},
doi = {10.1109/SEAA.2010.66},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/euromicro/Geldenhuys10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/VisserG10,
author = {Willem Visser and
Jaco Geldenhuys},
editor = {Charles Pecheur and
Jamie Andrews and
Elisabetta Di Nitto},
title = {Impendulo: debugging the programmer},
booktitle = {{ASE} 2010, 25th {IEEE/ACM} International Conference on Automated
Software Engineering, Antwerp, Belgium, September 20-24, 2010},
pages = {351--352},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1858996.1859071},
doi = {10.1145/1858996.1859071},
timestamp = {Tue, 06 Nov 2018 16:58:23 +0100},
biburl = {https://dblp.org/rec/conf/kbse/VisserG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/saj/GeldenhuysM09,
author = {Jaco Geldenhuys and
Brink van der Merwe},
title = {Comparing leaf and root insertion},
journal = {South Afr. Comput. J.},
volume = {44},
pages = {30--38},
year = {2009},
url = {https://doi.org/10.18489/sacj.v44i0.21},
doi = {10.18489/SACJ.V44I0.21},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/saj/GeldenhuysM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/GeldenhuysHV09,
author = {Jaco Geldenhuys and
Henri Hansen and
Antti Valmari},
editor = {Zhiming Liu and
Anders P. Ravn},
title = {Exploring the Scope for Partial Order Reduction},
booktitle = {Automated Technology for Verification and Analysis, 7th International
Symposium, {ATVA} 2009, Macao, China, October 14-16, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5799},
pages = {39--53},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04761-9\_4},
doi = {10.1007/978-3-642-04761-9\_4},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/atva/GeldenhuysHV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsmnlp/GeldenhuysMZ09,
author = {Jaco Geldenhuys and
Brink van der Merwe and
Lynette van Zijl},
editor = {Anssi Yli{-}Jyr{\"{a}} and
Andr{\'{a}}s Kornai and
Jacques Sakarovitch and
Bruce W. Watson},
title = {Reducing Nondeterministic Finite Automata with {SAT} Solvers},
booktitle = {Finite-State Methods and Natural Language Processing, 8th International
Workshop, {FSMNLP} 2009, Pretoria, South Africa, July 21-24, 2009,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6062},
pages = {81--92},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-14684-8\_9},
doi = {10.1007/978-3-642-14684-8\_9},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/fsmnlp/GeldenhuysMZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oss/OrsilaGRH08,
author = {Heikki Orsila and
Jaco Geldenhuys and
Anna Ruokonen and
Imed Hammouda},
editor = {Barbara Russo and
Ernesto Damiani and
Scott A. Hissam and
Bj{\"{o}}rn Lundell and
Giancarlo Succi},
title = {Update Propagation Practices in Highly Reusable Open Source Components},
booktitle = {Open Source Development, Communities and Quality, {IFIP} 20th World
Computer Congress, Working Group 2.3 on Open Source Software, {OSS}
2008, September 7-10, 2008, Milano, Italy},
series = {{IFIP}},
volume = {275},
pages = {159--170},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-0-387-09684-1\_13},
doi = {10.1007/978-0-387-09684-1\_13},
timestamp = {Wed, 07 Dec 2022 23:13:01 +0100},
biburl = {https://dblp.org/rec/conf/oss/OrsilaGRH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/HansenG08,
author = {Henri Hansen and
Jaco Geldenhuys},
editor = {Antonio Cerone and
Stefan Gruner},
title = {Cheap and Small Counterexamples},
booktitle = {Sixth {IEEE} International Conference on Software Engineering and
Formal Methods, {SEFM} 2008, Cape Town, South Africa, 10-14 November
2008},
pages = {53--62},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/SEFM.2008.18},
doi = {10.1109/SEFM.2008.18},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/HansenG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/GeldenhuysH06,
author = {Jaco Geldenhuys and
Henri Hansen},
editor = {Antti Valmari},
title = {Larger Automata and Less Work for {LTL} Model Checking},
booktitle = {Model Checking Software, 13th International {SPIN} Workshop, Vienna,
Austria, March 30 - April 1, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3925},
pages = {53--70},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11691617\_4},
doi = {10.1007/11691617\_4},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/spin/GeldenhuysH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/GeldenhuysV05,
author = {Jaco Geldenhuys and
Antti Valmari},
title = {More efficient on-the-fly {LTL} verification with Tarjan's algorithm},
journal = {Theor. Comput. Sci.},
volume = {345},
number = {1},
pages = {60--82},
year = {2005},
url = {https://doi.org/10.1016/j.tcs.2005.07.004},
doi = {10.1016/J.TCS.2005.07.004},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/GeldenhuysV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/Geldenhuys04,
author = {Jaco Geldenhuys},
editor = {Susanne Graf and
Laurent Mounier},
title = {State Caching Reconsidered},
booktitle = {Model Checking Software, 11th International {SPIN} Workshop, Barcelona,
Spain, April 1-3, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2989},
pages = {23--38},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24732-6\_3},
doi = {10.1007/978-3-540-24732-6\_3},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/spin/Geldenhuys04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/GeldenhuysV04,
author = {Jaco Geldenhuys and
Antti Valmari},
editor = {Kurt Jensen and
Andreas Podelski},
title = {Tarjan's Algorithm Makes On-the-Fly {LTL} Verification More Efficient},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
10th International Conference, {TACAS} 2004, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2004,
Barcelona, Spain, March 29 - April 2, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2988},
pages = {205--219},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24730-2\_18},
doi = {10.1007/978-3-540-24730-2\_18},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/GeldenhuysV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/GeldenhuysV03,
author = {Jaco Geldenhuys and
Antti Valmari},
editor = {Thomas Ball and
Sriram K. Rajamani},
title = {A Nearly Memory-Optimal Data Structure for Sets and Mappings},
booktitle = {Model Checking Software, 10th International {SPIN} Workshop. Portland,
OR, USA, May 9-10, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2648},
pages = {136--150},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-44829-2\_9},
doi = {10.1007/3-540-44829-2\_9},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/spin/GeldenhuysV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/GeldenhuysV01,
author = {Jaco Geldenhuys and
Antti Valmari},
editor = {Kim Guldstrand Larsen and
Mogens Nielsen},
title = {Techniques for Smaller Intermediary BDDs},
booktitle = {{CONCUR} 2001 - Concurrency Theory, 12th International Conference,
Aalborg, Denmark, August 20-25, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2154},
pages = {233--247},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44685-0\_16},
doi = {10.1007/3-540-44685-0\_16},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/GeldenhuysV01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/GeldenhuysV99,
author = {Jaco Geldenhuys and
P. J. A. de Villiers},
editor = {Dennis Dams and
Rob Gerth and
Stefan Leue and
Mieke Massink},
title = {Runtime Efficient State Compaction in {SPIN}},
booktitle = {Theoretical and Practical Aspects of {SPIN} Model Checking, 5th and
6th International {SPIN} Workshops, Trento, Italy, July 5, 1999, Toulouse,
France, September 21 and 24 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1680},
pages = {12--21},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48234-2\_2},
doi = {10.1007/3-540-48234-2\_2},
timestamp = {Mon, 15 Jun 2020 17:08:41 +0200},
biburl = {https://dblp.org/rec/conf/spin/GeldenhuysV99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwann/EngelbrechtCGZ95,
author = {Andries P. Engelbrecht and
Ian Cloete and
Jaco Geldenhuys and
Jacek M. Zurada},
editor = {Jos{\'{e}} Mira and
Francisco Sandoval Hern{\'{a}}ndez},
title = {Automatic Scaling using Gamma Learning for Feedforward Neural Networks},
booktitle = {From Natural to Artificial Neural Computation, International Workshop
on Artificial Neural Networks, {IWANN} '95, Malaga-Torremolinos, Spain,
June 7-9, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {930},
pages = {374--381},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-59497-3\_198},
doi = {10.1007/3-540-59497-3\_198},
timestamp = {Mon, 16 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwann/EngelbrechtCGZ95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2023-09-27 22:42 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
