Dan A. Alcantara (2011):
Efficient Hash Tables on the GPU.
University of California, Davis.
Dan A. Alcantara, Andrei Sharf, Fatemeh Abbasinejad, Shubhabrata Sengupta, Michael Mitzenmacher, John D. Owens & Nina Amenta (2009):
Real-time Parallel Hashing on the GPU.
In: ACM SIGGRAPH Asia.
ACM,
New York, NY, USA,
pp. 154:1–154:9,
doi:10.1145/1661412.1618500.
Dan A. Alcantara, Vasily Volkov, Shubhabrata Sengupta, Michael Mitzenmacher, John D. Owens & Nina Amenta (2012):
Building an Efficient Hash Table on the GPU.
In: GPU Computing Gems Jade Edition.
Morgan Kaufmann Publishers Inc.,
pp. 39–53,
doi:10.1016/B978-0-12-385963-1.00004-6.
Christel Baier & Joost-Pieter Katoen (2008):
Principles of model checking.
MIT Press.
Ezio Bartocci, Richard DeFrancisco & Scott A. Smolka (2014):
Towards a GPGPU-parallel SPIN Model Checker.
In: SPIN.
ACM,
New York, NY, USA,
pp. 87–96,
doi:10.1145/2632362.2632379.
Rajesh Bordawekar (2014):
Evaluation of Parallel Hashing Techniques.
Presentation at GTC'14 (last checked on 17 February 2017).
http://on-demand.gputechconf.com/gtc/2014/presentations/S4507-evaluation-of-parallel-hashing-techniques.pdf.
Dragan Bošnački, Stefan Edelkamp, Damian Sulewski & Anton Wijs (2011):
Parallel probabilistic model checking on general purpose graphics processors.
STTT 13(1),
pp. 21–35,
doi:10.1007/s10009-010-0176-4.
Dragan Bošnački, Stefan Edelkamp, Damian Sulewski & Anton Wijs (2010):
GPU-PRISM: An Extension of PRISM for General Purpose Graphics Processing Units.
In: PDMC.
IEEE,
pp. 17–19,
doi:10.1109/PDMC-HiBi.2010.11.
Nathan Cassee, Thomas Neele & Anton Wijs (2017):
On the Scalability of the GPUexplore Explicit-State Model Checker.
In: GaM.
Open Publishing Association.
Thomas H. Cormen, Clifford Stein, Ronald L. Rivest & Charles E. Leiserson (2001):
Introduction to Algorithms,
2nd edition.
McGraw-Hill Higher Education.
Stefan Edelkamp, Damian Sulewski & Cengizhan Yücel (2010):
Perfect Hashing for State Space Exploration on the GPU.
In: ICAPS.
AAAI,
pp. 57–64.
Hubert Garavel, Frédéric Lang, Radu Mateescu & Wendelin Serwe (2013):
CADP 2011: A Toolbox for the Construction and Analysis of Distributed Processes.
STTT 15(2),
pp. 89–107,
doi:10.1007/978-3-540-73368-3_18.
Prabhakar Misra & Mainak Chaudhuri (2012):
Performance Evaluation of Concurrent Lock-free Data Structures on GPUs.
In: ICPADS.
IEEE,
pp. 53–60,
doi:10.1109/ICPADS.2012.18.
M. Moazeni & M. Sarrafzadeh (2012):
Lock-free Hash Table on Graphics Processors.
In: SAAHPC,
pp. 133–136,
doi:10.1109/SAAHPC.2012.25.
Thomas Neele, Anton Wijs, Dragan Bošnački & Jaco van de Pol (2016):
Partial Order Reduction for GPU Model Checking.
In: ATVA,
LNCS 9938.
Springer,
pp. 357–374,
doi:10.1007/978-3-319-46520-3_23.
John Nickolls, Ian Buck, Michael Garland & Kevin Skadron (2008):
Scalable Parallel Programming with CUDA.
Queue 6(2),
pp. 40–53,
doi:10.1145/1365490.1365500.
Rasmus Pagh & Flemming Friche Rodler (2001):
Cuckoo Hashing.
In: ESA,
LNCS 2161.
Springer,
pp. 121–133,
doi:10.1007/3-540-44676-1_10.
Radek Pelánek (2008):
Properties of state spaces and their applications.
STTT 10(5),
pp. 443–454,
doi:10.1007/s10009-008-0070-5.
Mohammad Torabi Dashti & Anton Wijs (2007):
Pruning State Spaces with Extended Beam Search.
In: ATVA,
LNCS 4762.
Springer,
pp. 543–552,
doi:10.1007/978-3-540-75596-8_39.
Anton Wijs (2007):
Achieving Discrete Relative Timing with Untimed Process Algebra.
In: ICECCS.
IEEE,
pp. 35–44,
doi:10.1109/ICECCS.2007.13.
Anton Wijs (2015):
GPU Accelerated Strong and Branching Bisimilarity Checking.
In: TACAS,
LNCS 9035.
Springer,
pp. 368–383,
doi:10.1007/978-3-662-46681-0_29.
Anton Wijs (2016):
BFS-Based Model Checking of Linear-Time Properties With An Application on GPUs.
In: CAV, Part II,
LNCS 9780.
Springer,
pp. 472–493,
doi:10.1007/978-3-319-41540-6_26.
Anton Wijs & Dragan Bosnacki (2014):
GPUexplore: Many-Core On-the-Fly State Space Exploration Using GPUs.
In: TACAS,
pp. 233–247,
doi:10.1007/978-3-642-54862-8_16.
Anton Wijs & Dragan Bošnački (2016):
Many-Core On-The-Fly Model Checking of Safety Properties Using GPUs.
STTT 18(2),
pp. 169–185,
doi:10.1007/s10009-015-0379-9.
Anton Wijs & Luc Engelen (2014):
REFINER: Towards Formal Verification of Model Transformations.
In: NFM,
LNCS 8430.
Springer,
pp. 258–263,
doi:10.1007/978-3-319-06200-6_21.
Anton Wijs, Joost-Pieter Katoen & Dragan Bošnački (2014):
GPU-Based Graph Decomposition into Strongly Connected and Maximal End Components.
In: CAV,
LNCS 8559.
Springer,
pp. 310–326,
doi:10.1007/978-3-319-08867-9_20.
Anton Wijs, Joost-Pieter Katoen & Dragan Bošnački (2016):
Efficient GPU Algorithms for Parallel Decomposition of Graphs into Strongly Connected and Maximal End Components.
Formal Methods in System Design 48(3),
pp. 274–300,
doi:10.1007/s10703-016-0246-7.
Anton Wijs, Thomas Neele & Dragan Bošnački (2016):
GPUexplore 2.0: Unleashing GPU Explicit-State Model Checking.
In: FM,
LNCS 9995.
Springer,
pp. 694–701,
doi:10.1007/978-3-319-48989-6_42.
Zhimin Wu, Yang Liu, Jun Sun, Jianqi Shi & Shengchao Qin (2015):
GPU Accelerated On-the-Fly Reachability Checking.
In: ICECCS.
IEEE,
pp. 100–109,
doi:10.1109/ICECCS.2015.21.