@phdthesis(phdAlc,
 author       = {Dan A. Alcantara},
 year         = {2011},
 title        = {Efficient Hash Tables on the GPU},
 school       = {University of California, Davis},
)
@inproceedings(AlcTwoLevelCuckoo,
 author       = {Dan A. Alcantara and Andrei Sharf and Fatemeh Abbasinejad and Shubhabrata Sengupta and Michael Mitzenmacher and John D. Owens and Nina Amenta},
 year         = {2009},
 title        = {Real-time Parallel Hashing on the GPU},
 booktitle    = {ACM SIGGRAPH Asia},
 publisher    = {ACM},
 address      = {New York, NY, USA},
 pages        = {154:1--154:9},
 doi          = {10.1145/1661412.1618500},
)
@incollection(AlcChpt,
 author       = {Dan A. Alcantara and Vasily Volkov and Shubhabrata Sengupta and Michael Mitzenmacher and John D. Owens and Nina Amenta},
 year         = {2012},
 title        = {Building an Efficient Hash Table on the GPU},
 booktitle    = {GPU Computing Gems Jade Edition},
 publisher    = {Morgan Kaufmann Publishers Inc.},
 pages        = {39--53},
 doi          = {10.1016/B978-0-12-385963-1.00004-6},
)
@book(principlesofmodelchecking,
 author       = {Christel Baier and Joost{-}Pieter Katoen},
 year         = {2008},
 title        = {Principles of model checking},
 publisher    = {{MIT} Press},
)
@inproceedings(Spin,
 author       = {Ezio Bartocci and Richard DeFrancisco and Scott A. Smolka},
 year         = {2014},
 title        = {Towards a GPGPU-parallel SPIN Model Checker},
 booktitle    = {SPIN},
 publisher    = {ACM},
 address      = {New York, NY, USA},
 pages        = {87--96},
 doi          = {10.1145/2632362.2632379},
)
@misc(pres,
 author       = {Rajesh Bordawekar},
 year         = {2014},
 title        = {Evaluation of Parallel Hashing Techniques},
 howpublished = {Presentation at GTC'14 (last checked on 17 February 2017)},
 note         = {\url{http://on-demand.gputechconf.com/gtc/2014/presentations/S4507-evaluation-of-parallel-hashing-techniques.pdf}},
)
@article(Edelkamp,
 author       = {Bo{\v{s}}na{\v{c}}ki, Dragan and Stefan Edelkamp and Damian Sulewski and Anton Wijs},
 year         = {2011},
 title        = {Parallel probabilistic model checking on general purpose graphics processors},
 journal      = {STTT},
 volume       = {13},
 number       = {1},
 pages        = {21--35},
 doi          = {10.1007/s10009-010-0176-4},
)
@inproceedings(bosnacki.edelkamp.2010,
 author       = {Bo\v{s}na\v{c}ki, Dragan and Stefan Edelkamp and Damian Sulewski and Anton Wijs},
 year         = {2010},
 title        = {{GPU-PRISM}: {A}n {E}xtension of {PRISM} for {G}eneral {P}urpose {G}raphics {P}rocessing {U}nits},
 booktitle    = {PDMC},
 publisher    = {IEEE},
 pages        = {17--19},
 doi          = {10.1109/PDMC-HiBi.2010.11},
)
@inproceedings(gpuexplore-scalability,
 author       = {Nathan Cassee and Thomas Neele and Anton Wijs},
 year         = {2017},
 title        = {{On the Scalability of the GPUexplore Explicit-State Model Checker}},
 booktitle    = {GaM},
 publisher    = {Open Publishing Association},
)
@book(algorithms,
 author       = {Thomas H. Cormen and Clifford Stein and Ronald L. Rivest and Charles E. Leiserson},
 year         = {2001},
 title        = {Introduction to Algorithms},
 edition      = {2nd},
 publisher    = {McGraw-Hill Higher Education},
)
@inproceedings(perfectGPUHashing,
 author       = {Stefan Edelkamp and Damian Sulewski and Cengizhan Y{\"u}cel},
 year         = {2010},
 title        = {Perfect Hashing for State Space Exploration on the GPU},
 booktitle    = {ICAPS},
 publisher    = {AAAI},
 pages        = {57--64},
)
@article(Garavel2013,
 author       = {Hubert Garavel and Fr{\'{e}}d{\'{e}}ric Lang and Radu Mateescu and Wendelin Serwe},
 year         = {2013},
 title        = {{CADP 2011: A Toolbox for the Construction and Analysis of Distributed Processes}},
 journal      = {STTT},
 volume       = {15},
 number       = {2},
 pages        = {89--107},
 doi          = {10.1007/978-3-540-73368-3_18},
)
@inproceedings(PerfEvlLockFree,
 author       = {Prabhakar Misra and Mainak Chaudhuri},
 year         = {2012},
 title        = {Performance Evaluation of Concurrent Lock-free Data Structures on GPUs},
 booktitle    = {ICPADS},
 publisher    = {IEEE},
 pages        = {53--60},
 doi          = {10.1109/ICPADS.2012.18},
)
@inproceedings(linkedList,
 author       = {M. Moazeni and M. Sarrafzadeh},
 year         = {2012},
 title        = {Lock-free Hash Table on Graphics Processors},
 booktitle    = {SAAHPC},
 pages        = {133--136},
 doi          = {10.1109/SAAHPC.2012.25},
)
@inproceedings(gpupor,
 author       = {Thomas Neele and Anton Wijs and Bo{\v s}na{\v c}ki, Dragan and Jaco van de Pol},
 year         = {2016},
 title        = {{Partial Order Reduction for GPU Model Checking}},
 booktitle    = {ATVA},
 series       = {LNCS},
 volume       = {9938},
 publisher    = {Springer},
 pages        = {357--374},
 doi          = {10.1007/978-3-319-46520-3_23},
)
@article(cuda,
 author       = {John Nickolls and Ian Buck and Michael Garland and Kevin Skadron},
 year         = {2008},
 title        = {Scalable Parallel Programming with CUDA},
 journal      = {Queue},
 volume       = {6},
 number       = {2},
 pages        = {40--53},
 doi          = {10.1145/1365490.1365500},
)
@inproceedings(cuckoo,
 author       = {Rasmus Pagh and Flemming Friche Rodler},
 year         = {2001},
 title        = {Cuckoo Hashing},
 booktitle    = {ESA},
 series       = {LNCS},
 volume       = {2161},
 publisher    = {Springer},
 pages        = {121--133},
 doi          = {10.1007/3-540-44676-1_10},
)
@article(propertiesStateSpaces,
 author       = {Radek Pel{\'a}nek},
 year         = {2008},
 title        = {Properties of state spaces and their applications},
 journal      = {STTT},
 volume       = {10},
 number       = {5},
 pages        = {443--454},
 doi          = {10.1007/s10009-008-0070-5},
)
@inproceedings(torabidashti.wijs:beamsearch,
 author       = {{Torabi Dashti}, Mohammad and Anton Wijs},
 year         = {2007},
 title        = {Pruning {S}tate {S}paces with {E}xtended {B}eam {S}earch},
 booktitle    = {ATVA},
 series       = {LNCS},
 volume       = {4762},
 publisher    = {Springer},
 pages        = {543--552},
 doi          = {10.1007/978-3-540-75596-8_39},
)
@inproceedings(wijs:drt,
 author       = {Anton Wijs},
 year         = {2007},
 title        = {Achieving {D}iscrete {R}elative {T}iming with {U}ntimed {P}rocess {A}lgebra},
 booktitle    = {ICECCS},
 publisher    = {IEEE},
 pages        = {35--44},
 doi          = {10.1109/ICECCS.2007.13},
)
@inproceedings(wijs.gpubisim,
 author       = {Anton Wijs},
 year         = {2015},
 title        = {{GPU} {A}ccelerated {S}trong and {B}ranching {B}isimilarity {C}hecking},
 booktitle    = {TACAS},
 series       = {LNCS},
 volume       = {9035},
 publisher    = {Springer},
 pages        = {368--383},
 doi          = {10.1007/978-3-662-46681-0_29},
)
@inproceedings(Wijs2016,
 author       = {Anton Wijs},
 year         = {2016},
 title        = {{BFS-Based Model Checking of Linear-Time Properties With An Application on GPUs}},
 booktitle    = {CAV, Part II},
 series       = {LNCS},
 volume       = {9780},
 publisher    = {Springer},
 pages        = {472--493},
 doi          = {10.1007/978-3-319-41540-6_26},
)
@inproceedings(GPUExplore,
 author       = {Anton Wijs and Dragan Bosnacki},
 year         = {2014},
 title        = {GPUexplore: Many-Core On-the-Fly State Space Exploration Using GPUs},
 booktitle    = {TACAS},
 pages        = {233--247},
 doi          = {10.1007/978-3-642-54862-8_16},
)
@article(GPUexplore-safety,
 author       = {Anton Wijs and Bo{\v{s}}na{\v{c}}ki, Dragan},
 year         = {2016},
 title        = {Many-{C}ore {O}n-{T}he-{F}ly {M}odel {C}hecking of {S}afety {P}roperties {U}sing {GPUs}},
 journal      = {STTT},
 volume       = {18},
 number       = {2},
 pages        = {169--185},
 doi          = {10.1007/s10009-015-0379-9},
)
@inproceedings(refiner,
 author       = {Anton Wijs and Luc Engelen},
 year         = {2014},
 title        = {REFINER: Towards Formal Verification of Model Transformations},
 booktitle    = {NFM},
 series       = {LNCS},
 volume       = {8430},
 publisher    = {Springer},
 pages        = {258--263},
 doi          = {10.1007/978-3-319-06200-6_21},
)
@inproceedings(wijs.cav,
 author       = {Anton Wijs and Joost{-}Pieter Katoen and Bo\v{s}na\v{c}ki, Dragan},
 year         = {2014},
 title        = {{GPU}-{B}ased {G}raph {D}ecomposition into {S}trongly {C}onnected and {M}aximal {E}nd {C}omponents},
 booktitle    = {CAV},
 series       = {LNCS},
 volume       = {8559},
 publisher    = {Springer},
 pages        = {310--326},
 doi          = {10.1007/978-3-319-08867-9_20},
)
@article(WijKaBo16,
 author       = {Anton Wijs and Joost{-}Pieter Katoen and Bo\v{s}na\v{c}ki, Dragan},
 year         = {2016},
 title        = {Efficient {GPU} {A}lgorithms for {P}arallel {D}ecomposition of {G}raphs into {S}trongly {C}onnected and {M}aximal {E}nd {C}omponents},
 journal      = {Formal Methods in System Design},
 volume       = {48},
 number       = {3},
 pages        = {274--300},
 doi          = {10.1007/s10703-016-0246-7},
)
@inproceedings(GPUExplore2,
 author       = {Anton Wijs and Thomas Neele and Bo{\v{s}}na{\v{c}}ki, Dragan},
 year         = {2016},
 title        = {GPUexplore 2.0: Unleashing GPU Explicit-State Model Checking},
 booktitle    = {FM},
 series       = {LNCS},
 volume       = {9995},
 publisher    = {Springer},
 pages        = {694--701},
 doi          = {10.1007/978-3-319-48989-6_42},
)
@inproceedings(singaporePaper,
 author       = {Zhimin Wu and Yang Liu and Jun Sun and Jianqi Shi and Shengchao Qin},
 year         = {2015},
 title        = {GPU Accelerated On-the-Fly Reachability Checking},
 booktitle    = {ICECCS},
 publisher    = {IEEE},
 pages        = {100--109},
 doi          = {10.1109/ICECCS.2015.21},
)