@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}, ) @article(DAS5, author = {Henri Bal and Dick Epema and Cees de Laat and Rob van Nieuwpoort and John Romein and Frank Seinstra and Cees Snoek and Harry Wijshoff}, year = {2016}, title = {A Medium-Scale Distributed System for Computer Science Research: Infrastructure for the Long Term}, journal = {IEEE Computer}, volume = {49}, number = {5}, pages = {54--63}, doi = {10.1109/MC.2016.127}, ) @article(divinegpu, author = {Ji\v{r}{\'{i}} Barnat and Petr Bauch and Lubo{\v{s}} Brim and {\v{C}}e{\v{s}}ka, Milan}, year = {2012}, title = {{Designing Fast LTL Model Checking Algorithms for Many-Core GPUs}}, journal = {JPDC}, volume = {72}, number = {9}, pages = {1083--1097}, doi = {10.1016/j.jpdc.2011.10.015}, ) @inproceedings(Spin, author = {Ezio Bartocci and Richard DeFrancisco and Scott A. Smolka}, year = {2014}, title = {Towards a GPGPU-parallel SPIN Model Checker}, booktitle = {SPIN 2014}, 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(GamPaperHashtables, author = {Nathan Cassee and Anton Wijs}, year = {2017}, title = {Analysing the Performance of GPU Hash Tables for State Space Exploration}, booktitle = {GaM}, series = {EPTCS}, publisher = {Open Publishing Association}, ) @inproceedings(Ceska2016, author = {{\v{C}}e{\v{s}}ka, Milan and Pila\v{r}, Petr and Nicola Paoletti and Lubo{\v{s}} Brim and Marta Kwiatkowska}, year = {2016}, title = {{PRISM-PSY: Precise GPU-Accelerated Parameter Synthesis for Stochastic Systems}}, booktitle = {TACAS}, series = {LNCS}, volume = {9636}, publisher = {Springer}, pages = {367--384}, doi = {10.1007/978-3-642-54862-8}, ) @inproceedings(mcrl2, author = {Sjoerd Cranen and Jan Friso Groote and Jeroen J. A. Keiren and Frank P. M. Stappers and {De Vink}, Erik P. and Wieger Wesselink and Tim A. C. Willemse}, year = {2013}, title = {{An Overview of the mCRL2 Toolset and Its Recent Advances}}, booktitle = {TACAS}, series = {LNCS}, volume = {7795}, publisher = {Springer}, pages = {199--213}, doi = {10.1007/978-3-642-36742-7_15}, ) @inproceedings(EdSul10, author = {Stefan Edelkamp and Damian Sulewski}, year = {2010}, title = {{Efficient Explicit-State Model Checking on General Purpose Graphics Processors}}, booktitle = {SPIN}, series = {LNCS}, volume = {6349}, publisher = {Springer}, pages = {106--123}, doi = {10.1007/978-3-642-16164-3_8}, ) @inproceedings(edelkamp-delayedduplicate, author = {Stefan Edelkamp and Damian Sulewski}, year = {2010}, title = {{External memory breadth-first search with delayed duplicate detection on the GPU}}, booktitle = {MoChArt}, series = {LNCS}, volume = {6572}, publisher = {Springer}, pages = {12--31}, doi = {10.1007/978-3-642-20674-0_2}, ) @article(cadp, 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}, ) @article(gasstation, author = {David Heimbold and David Luckham}, year = {1985}, title = {Debugging Ada Tasking Programs}, journal = {IEEE Software}, volume = {2}, number = {2}, pages = {47--57}, doi = {10.1109/MS.1985.230351}, ) @phdthesis(laarmanthesis, author = {Alfons Laarman}, year = {2014}, title = {{Scalable Multi-Core Model Checking}}, school = {University of Twente}, doi = {10.3990/1.9789036536561}, ) @inproceedings(Lang06, author = {Fr{\'e}d{\'e}ric Lang}, year = {2006}, title = {{R}efined {I}nterfaces for {C}ompositional {V}erification}, booktitle = {FORTE}, series = {LNCS}, volume = {4229}, publisher = {Springer}, pages = {159--174}, doi = {10.1007/11888116_13}, ) @inproceedings(PerfEvlLockFree, author = {Prabhakar Misra and Mainak Chaudhuri}, year = {2012}, title = {Performance Evaluation of Concurrent Lock-free Data Structures on GPUs}, booktitle = {ICPADS}, pages = {53--60}, doi = {10.1109/ICPADS.2012.18}, ) @inproceedings(linkedList, author = {Maryam Moazeni and Majid 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}, ) @inproceedings(beem, author = {Radek Pel{\'{a}}nek}, year = {2007}, title = {{BEEM: Benchmarks for Explicit Model Checkers}}, booktitle = {SPIN 2007}, series = {LNCS}, volume = {4595}, pages = {263--267}, doi = {10.1007/978-3-540-73370-6_17}, ) @inproceedings(laarman-hashtable, author = {Steven van der Vegt and Alfons Laarman}, year = {2011}, title = {{A Parallel Compact Hash Table}}, booktitle = {MEMICS}, series = {LNCS}, volume = {7119}, publisher = {Springer}, pages = {191--204}, doi = {10.1007/978-3-642-25929-6_18}, ) @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.tacas15, 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 Bo{\v{s}}na{\v{c}}ki, Dragan}, year = {2014}, title = {GPUexplore: Many-Core On-the-Fly State Space Exploration Using GPUs}, booktitle = {TACAS}, series = {LNCS}, volume = {8413}, 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(wijs.fokkink:chit.mcrl, author = {Anton Wijs and Wan Fokkink}, year = {2005}, title = {From $\chi_{\textnormal{t}}$ to $\mu${CRL}: {C}ombining {P}erformance and {F}unctional {A}nalysis}, booktitle = {ICECCS}, publisher = {IEEE}, pages = {184--193}, doi = {10.1109/ICECCS.2005.51}, ) @inproceedings(wijs.cav14, 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 = {309--325}, 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(gpu-counterexamples, author = {Zhimin Wu and Yang Liu and Yun Liang and Jun Sun}, year = {2014}, title = {{GPU Accelerated Counterexample Generation in LTL Model Checking}}, booktitle = {ICFEM}, series = {LNCS}, volume = {8829}, publisher = {Springer}, pages = {413--429}, doi = {10.1007/978-3-319-11737-9_27}, ) @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 2015}, pages = {100--109}, doi = {10.1109/ICECCS.2015.21}, )