@article(Aggarwal88,
 author       = "A. Aggarwal and J. S. Vitter",
 year         = "1988",
 title        = "The input/output complexity of sorting and related problems",
 journal      = "Communications of the ACM",
 volume       = "31",
 number       = "9",
 pages        = "1116--1127",
)
@inproceedings(allmaier97parallel,
 author       = "S. Allmaier and S. Dalibor and D. Kreische",
 year         = "1997",
 title        = "{Parallel Graph Generation Algorithms for Shared and Distributed Memory Machines}",
 editor       = "G. Bilardi and A. G. Ferreira and R. L\"{u}ling and J. D. P. Rolim",
 booktitle    = "Proceeding of the Parallel Computing Conference PARCO'97 (Bonn, Germany)",
 series       = "LNCS",
 volume       = "1253",
 publisher    = "Springer",
 pages        = "207--218",
 url          = "http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.17.2006&rep=rep1&type=pdf",
)
@inproceedings(BaoJ05,
 author       = "Tonglaga Bao and Michael Jones",
 year         = "2005",
 title        = "{Time-Efficient Model Checking with Magnetic Disk}",
 booktitle    = "Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2005)",
 series       = "LNCS",
 volume       = "3440",
 publisher    = "Springer",
 pages        = "526--540",
 doi          = "10.1007/978-3-540-31980-1\_34",
)
@phdthesis(Bar04,
 author       = "J. Barnat",
 year         = "2004",
 title        = "{D}istributed {M}emory {LTL} {M}odel {C}hecking",
 school       = "{M}asaryk {U}niversity {B}rno, {F}aculty of {I}nformatics",
 url          = "http://anna.fi.muni.cz/papers/src/public/74925f5d8351a5a41120c11f26f3a21b.pdf",
)
@inproceedings(BBBC10,
 author       = "J. Barnat and P. Bauch and L. Brim and M. \v {C}e\v {s}ka",
 year         = "2010",
 title        = "{Employing Multiple CUDA Devices to Accelerate LTL Model Checking}",
 booktitle    = "16th International Conference on Parallel and Distributed Systems (ICPADS 2010)",
 publisher    = "IEEE Computer Society",
 pages        = "259--266",
 doi          = "10.1109/ICPADS.2010.82",
)
@inproceedings(BBBC11,
 author       = "J. Barnat and P. Bauch and L. Brim and M. \v {C}e\v {s}ka",
 year         = "2011",
 title        = "{Computing Strongly Connected Components in Parallel on CUDA}",
 booktitle    = "International Parallel \& Distributed Processing Symposium (IPDPS'11)",
 publisher    = "IEEE Computer Society",
 pages        = "541--552",
 doi          = "10.1109/IPDPS.2011.59",
)
@inproceedings(BBC02,
 author       = "J. Barnat and L. Brim and I. {\v {C}}ern\'{a}",
 year         = "2002",
 title        = "Property driven distribution of {N}ested {DFS}",
 booktitle    = "Proc. Workshop on Verification and Computational Logic",
 series       = "DSSE Technical Report",
 volume       = "DSSE-TR-2002-5",
 organization = "University of Southampton, UK",
 pages        = "1--10",
 url          = "http://anna.fi.muni.cz/papers/src/public/5f773c95a13c7b85f303123b36985210.pdf",
)
@inproceedings(BBC03,
 author       = "J. Barnat and L. Brim and J. Chaloupka",
 year         = "2003",
 title        = "{P}arallel {B}readth-{F}irst {S}earch {LTL} {M}odel-{C}hecking",
 booktitle    = "18th IEEE International Conference on Automated Software Engineering (ASE'03)",
 publisher    = "IEEE Computer Society",
 pages        = "106--115",
 doi          = "10.1109/ASE.2003.1240299",
)
@article(BBC05a,
 author       = "J. Barnat and L. Brim and J. Chaloupka",
 year         = "2005",
 title        = "{From Distributed Memory Cycle Detection to Parallel LTL Model Checking}",
 journal      = "Electronic Notes in Theoretical Computer Science",
 volume       = "133",
 number       = "1",
 pages        = "21--39",
 doi          = "10.1016/j.entcs.2004.08.056",
)
@inproceedings(BBR07,
 author       = "J. Barnat and L. Brim and P. Ro\v {c}kai",
 year         = "2007",
 title        = "Scalable Multi-core LTL Model-Checking",
 booktitle    = "Model Checking Software",
 series       = "LNCS",
 volume       = "4595",
 publisher    = "Springer",
 pages        = "187--203",
 doi          = "10.1007/978-3-540-73370-6\_13",
)
@inproceedings(BBR08,
 author       = "J. Barnat and L. Brim and P. Ro\v {c}kai",
 year         = "2008",
 title        = "{DiVinE Multi-Core -- A Parallel LTL Model-Checker}",
 booktitle    = "Automated Technology for Verification and Analysis (ATVA 2008)",
 series       = "LNCS",
 volume       = "5311",
 publisher    = "Springer",
 pages        = "234--239",
 doi          = "10.1007/978-3-540-88387-6\_20",
)
@inproceedings(BBR09a,
 author       = "J. Barnat and L. Brim and P. Ro\v {c}kai",
 year         = "2009",
 title        = "{A Time-Optimal On-the-Fly Parallel Algorithm for Model Checking of Weak LTL Properties}",
 booktitle    = "Formal Methods and Software Engineering (ICFEM 2009)",
 series       = "LNCS",
 volume       = "5885",
 publisher    = "Springer",
 pages        = "407--425",
 doi          = "10.1007/978-3-642-10373-5\_21",
)
@inproceedings(BBR10b,
 author       = "J. Barnat and L. Brim and P. Ro\v {c}kai",
 year         = "2010",
 title        = "{Parallel Partial Order Reduction with Topological Sort Proviso}",
 booktitle    = "Software Engineering and Formal Methods (SEFM 2010)",
 publisher    = "IEEE Computer Society Press",
 pages        = "222--231",
 doi          = "10.1109/SEFM.2010.35",
)
@inproceedings(BBS01,
 author       = "J. Barnat and L. Brim and J. St\v {r}\'{\i }brn\'{a}",
 year         = "2001",
 title        = "Distributed {L}{T}{L} {M}odel-{C}hecking in {S}{P}{I}{N}",
 booktitle    = "Proc. SPIN Workshop on Model Checking of Software",
 series       = "LNCS",
 volume       = "2057",
 publisher    = "Springer",
 pages        = "200--216",
 doi          = "10.1007/3-540-45139-0\_13",
)
@inproceedings(BBC+06,
 author       = "J. Barnat and L. Brim and I. \v {C}ern\'{a} and P. Moravec and P. Ro\v {c}kai and P. \v {S}ime\v {c}ek",
 year         = "2006",
 title        = "{DiVinE -- A Tool for Distributed Verification (Tool Paper)}",
 booktitle    = "{Computer Aided Verification}",
 series       = "LNCS",
 volume       = "4144/2006",
 publisher    = "Springer Berlin / Heidelberg",
 pages        = "278--281",
 doi          = "10.1007/11817963\_26",
)
@article(BBC09,
 author       = "J. Barnat and L. Brim and M. \v {C}e\v {s}ka",
 year         = "2009",
 title        = "{DiVinE-CUDA: A Tool for GPU Accelerated LTL Model Checking}",
 journal      = "Electronic Proceedings in Theoretical Computer Science (PDMC 2009)",
 volume       = "14",
 pages        = "107--111",
 doi          = "10.4204/EPTCS.14.8",
)
@inproceedings(BBCL09,
 author       = "J. Barnat and L. Brim and M. \v {C}e\v {s}ka and T. Lamr",
 year         = "2009",
 title        = "{CUDA accelerated LTL Model Checking}",
 booktitle    = "15th International Conference on Parallel and Distributed Systems (ICPADS 2009)",
 publisher    = "IEEE Computer Society",
 pages        = "34--41",
 doi          = "10.1109/ICPADS.2009.50",
)
@inproceedings(BBCR10,
 author       = "J. Barnat and L. Brim and M. \v {C}e\v {s}ka and P. Ro\v {c}kai",
 year         = "2010",
 title        = "{DiVinE: Parallel Distributed Model Checker (Tool paper)}",
 booktitle    = "Parallel and Distributed Methods in Verification and High Performance Computational Systems Biology (HiBi/PDMC 2010)",
 publisher    = "IEEE",
 pages        = "4--7",
 doi          = "10.1109/PDMC-HiBi.2010.9",
)
@inproceedings(BBS07,
 author       = "J. Barnat and L. Brim and P. \v {S}ime\v {c}ek",
 year         = "2007",
 title        = "{I/O Efficient Accepting Cycle Detection}",
 booktitle    = "Computer Aided Verification",
 series       = "LNCS",
 volume       = "4590",
 publisher    = "Springer",
 pages        = "281--293",
 doi          = "10.1007/978-3-540-73368-3\_32",
)
@inproceedings(BBSW08,
 author       = "J. Barnat and L. Brim and P. \v {S}ime\v {c}ek and M. Weber",
 year         = "2008",
 title        = "{Revisiting Resistance Speeds Up I/O-Efficient LTL Model Checking}",
 booktitle    = "Tools and Algorithms for the Construction and Analysis of Systems (TACAS).",
 series       = "LNCS",
 volume       = "4963",
 publisher    = "Springer",
 pages        = "48--62",
 doi          = "10.1007/978-3-540-78800-3\_5",
)
@article(BR08,
 author       = "J. Barnat and P. Ro\v {c}kai",
 year         = "2008",
 title        = "{Shared Hash Tables in Parallel Model Checking}",
 journal      = "ENTCS",
 volume       = "198",
 number       = "1",
 pages        = "79--91",
 doi          = "10.1016/j.entcs.2007.10.021",
)
@inproceedings(behrmann00distributed,
 author       = "G. Behrmann and T. S. Hune and F. W. Vaandrager",
 year         = "2000",
 title        = "Distributed Timed Model Checking --- How the Search Order Matters",
 booktitle    = "Proc. 12th Conference on Computer-Aided Verification CAV00",
 series       = "LNCS",
 volume       = "1855",
 publisher    = "Springer",
 pages        = "216--231",
 doi          = "10.1007/10722167\_19",
)
@article(BiereAS02,
 author       = "Armin Biere and Cyrille Artho and Viktor Schuppan",
 year         = "2002",
 title        = "{Liveness Checking as Safety Checking}",
 journal      = "Electronic Notes in Theoretical Computer Science",
 volume       = "66",
 number       = "2",
 pages        = "160 -- 177",
 doi          = "10.1016/S1571-0661(04)80410-9",
)
@inproceedings(BBPE+10,
 author       = "Brad Bingham and Jesse Bingham and Flavio M. de Paula and John Erickson and Gaurav Singh and Mark Reitblatt",
 year         = "2010",
 title        = "{Industrial Strength Distributed Explicit State Model Checking}",
 booktitle    = "Parallel and Distributed Methods in Verification, 2010 Ninth International Workshop on, and High Performance Computational Systems Biology, Second International Workshop on",
 publisher    = "IEEE Computer Society",
 pages        = "28--36",
 doi          = "10.1109/PDMC-HiBi.2010.13",
)
@inproceedings(BES09,
 author       = "D. Bosnacki and S. Edelkamp and D. Sulewski",
 year         = "2009",
 title        = "{Efficient Probabilistic Model Checking on General Purpose Graphics Processors}",
 booktitle    = "Model Checking Software (SPIN 2009)",
 series       = "LNCS",
 volume       = "5578",
 publisher    = "Springer",
 pages        = "32--49",
 doi          = "10.1007/978-3-642-02652-2\_7",
)
@techreport(brim03parallel,
 author       = "L. Brim and I. {\v {C}}ern\'a and L. Hejtm\'anek",
 year         = "2003",
 title        = "Parallel {A}lgorithms for {D}etection of {N}egative {C}ycles",
 type         = "Technical Report",
 number       = "FIMU-RS-2003-04",
 institution  = "Faculty of Informatics, Masaryk University Brno",
 url          = "http://www.fi.muni.cz/informatics/reports/files/2003/FIMU-RS-2003-04.pdf",
)
@inproceedings(brim04accepting,
 author       = "L. Brim and I. {\v {C}}ern\'a and P. Moravec and J. {\v {S}}im\v {s}a",
 year         = "2004",
 title        = "Accepting Predecessors are Better than Back Edges in Distributed {LTL} Model-Checking",
 booktitle    = "Formal Methods in Computer Aided Design (FMCAD)",
 series       = "LNCS",
 volume       = "4144",
 publisher    = "Springer",
 pages        = "352--366",
 doi          = "10.1007/978-3-540-30494-4\_25",
)
@inproceedings(BCKP-FSTTCS01,
 author       = "L. Brim and I. \v {C}ern\'{a} and P. Kr\v {c}\'{a}l and R. Pel\'{a}nek",
 year         = "2001",
 title        = "{Distributed LTL Model Checking Based on Negative Cycle Detection}",
 booktitle    = "Proc. of Foundations of Software Technology and Theoretical Computer Science (FST TCS 2001)",
 series       = "LNCS",
 volume       = "2245",
 publisher    = "Springer",
 pages        = "96--107",
 doi          = "10.1007/3-540-45294-X\_9",
)
@article(burch92symbolic,
 author       = "J. R. Burch and E. M. Clarke and K. L. McMillan and D. L. Dill and L. J. Hwang",
 year         = "1992",
 title        = "Symbolic Model Checking: $10^{20}$ States and Beyond",
 journal      = "Information and Computation",
 volume       = "98",
 number       = "2",
 pages        = "142--170",
 url          = "http://citeseer.nj.nec.com/burch92symbolic.html",
)
@inproceedings(caselli95parallel,
 author       = "S. Caselli and G. Conte and P. Marenzoni",
 year         = "1995",
 title        = "Parallel state space exploration for {GSPN} models",
 editor       = "G. de Michelis and M. Diaz",
 booktitle    = "Applications and Theory of Petri Nets 1995",
 series       = "LNCS",
 volume       = "935",
 publisher    = "Springer Verlag",
 pages        = "181--200",
 doi          = "10.1007/3-540-60029-9\_40",
)
@inproceedings(cerna03distributed,
 author       = "I. {\v {C}}ern\'{a} and R. Pel\'{a}nek",
 year         = "2003",
 title        = "Distributed Explicit Fair Cycle Detection",
 booktitle    = "Model Checking Software, 10th International SPIN Workshop",
 series       = "LNCS",
 volume       = "2648",
 publisher    = "Springer",
 pages        = "49--73",
 doi          = "10.1007/3-540-44829-2\_4",
)
@inproceedings(cerna02relating,
 author       = "I. {\v {C}}ern\'a and R. Pel\'anek",
 year         = "2003",
 title        = "Relating Hierarchy of Temporal Properties to Model Checking",
 booktitle    = "Mathematical Foundations of Computer Science (MFCS)",
 series       = "LNCS",
 volume       = "2747",
 publisher    = "Springer",
 pages        = "318--327",
 doi          = "10.1007/978-3-540-45138-9\_26",
)
@inproceedings(Vitter95,
 author       = "Yi-Jen Chiang and Michael T. Goodrich and Edward F. Grove and Roberto Tamassia and Darren Erik Vengroff and Jeffrey Scott Vitter",
 year         = "1995",
 title        = "External-memory graph algorithms",
 booktitle    = "soda",
 publisher    = "Society for Industrial and Applied Mathematics",
 pages        = "139--149",
 doi          = "10.1145/313651.313681",
)
@article(ciardo98distributed,
 author       = "G. Ciardo and J. Gluckman and D.M. Nicol",
 year         = "1998",
 title        = "Distributed {S}tate {S}pace {G}eneration of {D}iscrete-{S}tate {S}tochastic {M}odels",
 journal      = "INFORMS Journal on Computing",
 volume       = "10",
 number       = "1",
 pages        = "82--93",
 doi          = "10.1287/ijoc.10.1.82",
)
@article(ciardo97automated,
 author       = "Gianfranco Ciardo",
 year         = "1997",
 title        = "Automated parallelization of discrete state-space generation",
 journal      = "J. Parallel Distrib. Comput.",
 volume       = "47",
 pages        = "153--167",
 doi          = "10.1006/jpdc.1997.1409",
)
@article(Symmetry1,
 author       = "E. M. Clarke and R. Enders and T. Filkorn and S. Jha",
 year         = "1996",
 title        = "Exploiting symmetry in temporal logic model checking",
 journal      = "Form. Methods Syst. Des.",
 volume       = "9",
 number       = "1-2",
 pages        = "77--104",
 doi          = "10.1007/BF00625969",
)
@inproceedings(clarke01progress,
 author       = "E.M. Clarke and O. Grumberg and S. Jha and Y. Lu and H. Veith",
 year         = "2001",
 title        = "Progress on the {S}tate {E}xplosion {P}roblem in {M}odel {C}hecking",
 editor       = "R. Wilhelm",
 booktitle    = "Informatics - 10 Years Back. 10 Years Ahead",
 series       = "LNCS",
 volume       = "2000",
 publisher    = "Springer",
 pages        = "176--194",
)
@misc(CUDA,
 year         = "2009",
 title        = "{NVIDIA CUDA Compute Unified Device Architecture - Programming Guide Version 2.0,}",
 note         = "\url {http://www.nvidia.com/object/cuda\_develop.html}, June 2009",
)
@inproceedings(dill96themurphi,
 author       = "David L. Dill",
 year         = "1996",
 title        = "The Mur$\varphi $ verification system",
 booktitle    = "Conference on Computer-Aided Verification (CAV'96)",
 series       = "LNCS",
 publisher    = "Springer-Verlag",
 pages        = "390--393",
 url          = "http://dl.acm.org/citation.cfm?id=647765.735832",
)
@inproceedings(Semiext,
 author       = "Stefan Edelkamp and Peter Sanders and Pavel \v {S}ime\v {c}ek",
 year         = "2008",
 title        = "{Semi-external LTL Model Checking}",
 booktitle    = "Computer Aided Verification (CAV 2008)",
 publisher    = "Springer",
 address      = "Berlin, Heidelberg",
 pages        = "530--542",
 doi          = "10.1007/978-3-540-70545-1\_50",
)
@techreport(ES08,
 author       = "Stefan Edelkamp and Damian Sulewski",
 year         = "2008",
 title        = "{Model Checking via Delayed Duplicate Detection on the GPU.}",
 type         = "Technical Report",
 number       = "Technical Report 821",
 institution  = "TU Dortmund",
 url          = "http://www.tzi.de/~edelkamp/GPU\_Technical.pdf",
 note         = "Presented on the 22nd Workshop on Planning, Scheduling, and Design PUK 2008",
)
@misc(SOCS09,
 author       = "Stefan Edelkamp and Damian Sulewski",
 year         = "2009",
 title        = "{Parallel State Space Search on the GPU}",
 url          = "http://www.cs.ualberta.ca/~nathanst/sara/papers/socs09\_submission\_24.pdf",
 note         = "International Symposium on Combinatorial Search (SoCS 2009)",
)
@inproceedings(eicken92active,
 author       = "T. von Eicken and D. E. Culler and S. C. Goldstein and K. E. Schauser",
 year         = "1992",
 title        = "Active messages: a mechanism for integrated communication and computation",
 booktitle    = "19th Annual International Symposium on Computer Architecture",
 pages        = "256--266",
 doi          = "10.1145/285930.286002",
)
@article(Symmetry2,
 author       = "E. Allen Emerson and A. Prasad Sistla",
 year         = "1996",
 title        = "Symmetry and model checking",
 journal      = "Form. Methods Syst. Des.",
 volume       = "9",
 number       = "1-2",
 pages        = "105--131",
 doi          = "10.1007/BF00625970",
)
@inproceedings(Evangelista08,
 author       = "Sami Evangelista",
 year         = "2008",
 title        = "Dynamic Delayed Duplicate Detection for External Memory Model Checking",
 booktitle    = "SPIN '08: Proc. of the 15th international workshop on Model Checking Software",
 publisher    = "Springer",
 address      = "Berlin, Heidelberg",
 pages        = "77--94",
 doi          = "10.1007/978-3-540-85114-1\_8",
)
@inproceedings(garavel01parallel,
 author       = "H. Garavel and R. Mateescu and I.M Smarandache",
 year         = "2001",
 title        = "Parallel {S}tate {S}pace {C}onstruction for {M}odel-{C}hecking",
 editor       = "Matthew B. Dwyer",
 booktitle    = "Model Checking of Software (SPIN'2001)",
 series       = "LNCS",
 volume       = "2057",
 publisher    = "Springer-Verlag",
 pages        = "216--234",
 doi          = "10.1007/3-540-45139-0\_14",
)
@inproceedings(geldenhuys99runtime,
 author       = "Jaco Geldenhuys and P. J. A. de Villiers",
 year         = "1999",
 title        = "Runtime Efficient State Compaction in {SPIN}",
 booktitle    = "{SPIN}",
 pages        = "12--21",
 doi          = "10.1007/3-540-48234-2\_2",
)
@inproceedings(govindaraju06gputerasort,
 author       = "Naga K. Govindaraju and Jim Gray and Ritesh Kumar and Dinesh Manocha",
 year         = "2006",
 title        = "{GPUTeraSort: high performance graphics co-processor sorting for large database management}",
 booktitle    = "International Conference on Management of Data (SIGMOD 06)",
 publisher    = "ACM",
 pages        = "325--336",
 doi          = "10.1145/1142473.1142511",
)
@inproceedings(Weber06,
 author       = "Moritz Hammer and Michael Weber",
 year         = "2006",
 title        = "{"To Store or Not To Store" Reloaded: Reclaiming Memory on Demand}",
 booktitle    = "Formal Methods: Applications and Technology",
 series       = "LNCS",
 volume       = "4346",
 publisher    = "Springer",
 pages        = "51--66",
 doi          = "10.1007/978-3-540-70952-7\_4",
)
@inproceedings(HarishN07,
 author       = "P. Harish and P. J. Narayanan",
 year         = "2007",
 title        = "{Accelerating Large Graph Algorithms on the GPU Using CUDA}",
 booktitle    = "HiPC",
 series       = "LNCS",
 volume       = "4873",
 publisher    = "Springer",
 pages        = "197--208",
 doi          = "10.1007/978-3-540-77220-0\_21",
)
@techreport(harish2009large,
 author       = "P. Harish and V. Vineet and P. J. Narayanan",
 year         = "2009",
 title        = "{Large Graph Algorithms for Massively Multithreaded Architectures}",
 type         = "Technical Report",
 number       = "IIIT/TR/2009/74",
 institution  = "Center for Visual Information Technology, International Institute of Information Technology Hyderabad, INDIA",
 url          = "http://cvit.iiit.ac.in/papers/pawan09GraphAlgorithms.pdf",
)
@misc(cuda_reduce,
 author       = "M. Harris",
 title        = "{Optimizing Parallel Reduction in CUDA,}",
 note         = "\url {http://developer.download.nvidia.com/compute/cuda/1\_1/Website/projects/reduction/doc/reduction.pdf}, March 2010",
)
@inproceedings(haverkort99ontheefficient,
 author       = "B. R. Haverkort and A. Bell and H. C. Bohnenkamp",
 year         = "1999",
 title        = "{On the efficient sequential and distributed generation of very large Markov chains from stochastic Petri nets.}",
 booktitle    = "Petri Net and Performance Models (PNPM'99)",
 publisher    = "IEEE Computer Society Press",
 pages        = "12--21",
 doi          = "10.1109/PNPM.1999.796528",
)
@inproceedings(haverkort98efficiency,
 author       = "Boudewijn R. Haverkort and Henrik Bohnenkamp and Alexander Bell",
 year         = "1998",
 title        = "{Efficiency Improvements in the Evaluation of Large Stochastic Petri Nets}",
 booktitle    = "Forschungsbericht: 5. Workshop Algorithmen und Werkzeuge f\IeC {\"u}r Petrinetze",
 publisher    = "Universit\IeC {\"a}t Dortmund, Fachbereich Informatik",
 pages        = "55--61",
 url          = "http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.41.3435&rep=rep1&type=pdf",
)
@inproceedings(Heljanko02parallelisation,
 author       = "Keijo Heljanko and Victor Khomenko and Maciej Koutny",
 year         = "2002",
 title        = "{Parallelisation of the Petri Net Unfolding Algorithm}",
 booktitle    = "Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2002)",
 series       = "LNCS",
 volume       = "2280",
 publisher    = "Springer",
 pages        = "371--385",
 doi          = "10.1007/3-540-46002-0\_26",
)
@book(spinbook,
 author       = "Gerard J. Holzmann",
 year         = "2003",
 title        = "{The Spin Model Checker: Primer and Reference Manual}",
 publisher    = "Addison-Wesley",
)
@article(Hol08,
 author       = "Gerard J. Holzmann",
 year         = "2008",
 title        = "{A Stack-Slicing Algorithm for Multi-Core Model Checking}",
 journal      = "ENTCS",
 volume       = "198",
 number       = "1",
 pages        = "3--16",
 doi          = "10.1016/j.entcs.2007.10.017",
)
@article(holzmann07design,
 author       = "Gerard J. Holzmann and Dragan Bosnacki",
 year         = "2007",
 title        = "The Design of a Multicore Extension of the SPIN Model Checker",
 journal      = "IEEE Trans. Software Eng.",
 volume       = "33",
 number       = "10",
 pages        = "659--674",
 doi          = "10.1109/TSE.2007.70724",
)
@misc(ifest,
 title        = "iFEST: Integration Framework for Embedded Systems Tools",
 url          = "http://www.artemis-ifest.eu",
)
@article(InggsB05,
 author       = "Cornelia P. Inggs and Howard Barringer",
 year         = "2005",
 title        = "{CTL$^*$ Model Checking on a Shared-Memory Architecture}",
 journal      = "Electronic Notes in Theoretical Computer Science",
 volume       = "128",
 number       = "3",
 pages        = "107--123",
 doi          = "10.1016/j.entcs.2004.10.022",
)
@inproceedings(JabbarE05,
 author       = "Shahid Jabbar and Stefan Edelkamp",
 year         = "2005",
 title        = "{I/O Efficient Directed Model Checking}",
 booktitle    = "Verification, Model Checking, and Abstract Interpretation (VMCAI 2005)",
 series       = "LNCS",
 volume       = "3385",
 publisher    = "Springer",
 pages        = "313--329",
 doi          = "10.1007/978-3-540-30579-8\_21",
)
@inproceedings(JabbarE06,
 author       = "Shahid Jabbar and Stefan Edelkamp",
 year         = "2006",
 title        = "{Parallel External Directed Model Checking with Linear I/O}",
 booktitle    = "Verification, Model Checking, and Abstract Interpretation (VMCAI 2006)",
 series       = "LNCS",
 volume       = "3855",
 publisher    = "Springer",
 pages        = "237--251",
 doi          = "10.1007/11609773\_16",
)
@article(Jayachandran06using,
 author       = "G. Jayachandran and V. Vishal and V. S. Pande",
 year         = "2006",
 title        = "{Using massively parallel simulations and Markovian models to study protein folding: examining the villin head-piece}",
 journal      = "Journal of Chemical Physics",
 volume       = "124",
 number       = "6",
 pages        = "903\IeC {\textendash }914",
 doi          = "10.1063/1.2186317",
)
@inproceedings(JonesM04,
 author       = "Michael Jones and Eric Mercer",
 year         = "2004",
 title        = "{Explicit State Model Checking with Hopper}",
 booktitle    = "Model Checking Software (SPIN 2004)",
 series       = "Lecture Notes in Computer Science",
 volume       = "2989",
 publisher    = "Springer",
 pages        = "146--150",
 doi          = "10.1007/978-3-540-24732-6\_10",
)
@article(kahn62,
 author       = "A. B. Kahn",
 year         = "1962",
 title        = "Topological sorting of large networks",
 journal      = "Communications of the ACM",
 volume       = "5",
 number       = "11",
 pages        = "558--562",
)
@article(knottenbelt00probabilistic,
 author       = "W. Knottenbelt and P.G Harrison and M. Mestern and P.S. Kritzinger",
 year         = "2000",
 title        = "{A Probabilistic Dynamic Technique for the Distributed Generation of Very Large State Spaces}",
 journal      = "Performance Evaluation",
 volume       = "35",
 number       = "1--4",
 pages        = "127--148",
 doi          = "10.1016/S0166-5316(99)00061-9",
)
@inproceedings(knottenbelt98probability,
 author       = "W. Knottenbelt and M. Mestern and P.G Harrison and P.S. Kritzinger",
 year         = "1998",
 title        = "Probability, Parallelism and the State Space Exploration Problem",
 editor       = "R. Puigjaner",
 booktitle    = "Tools'98",
 series       = "LNCS",
 volume       = "1469",
 publisher    = "Springer Verlag",
 pages        = "165--179",
 doi          = "10.1007/3-540-68061-6\_14",
)
@inproceedings(Korf04,
 author       = "R. Korf",
 year         = "2004",
 title        = "{Best-First Frontier Search with Delayed Duplicate Detection}",
 booktitle    = "AAAI'04",
 publisher    = "AAAI Press / The MIT Press",
 pages        = "650--657",
 url          = "http://dl.acm.org/citation.cfm?id=1597148.1597253",
)
@inproceedings(KorfS05,
 author       = "R. Korf and P. Schultze",
 year         = "2005",
 title        = "{Large-Scale Parallel Breadth-First Search}",
 booktitle    = "Proceedings of the 20th national conference on Artificial intelligence - Volume 3",
 publisher    = "AAAI Press / The MIT Press",
 pages        = "1380--1385",
 url          = "http://dl.acm.org/citation.cfm?id=1619499.1619555",
)
@article(KumarM05,
 author       = "Rahul Kumar and Eric G. Mercer",
 year         = "2005",
 title        = "{Load Balancing Parallel Explicit State Model Checking}",
 journal      = "Electronic Notes in Theoretical Computer Science",
 volume       = "128",
 number       = "3",
 pages        = "19--34",
 doi          = "10.1016/j.entcs.2004.10.016",
)
@inproceedings(Laarman10boosting,
 author       = "Alfons Laarman and Jaco van de Pol and Michael Weber",
 year         = "2010",
 title        = "{Boosting Multi-Core Reachability Performance with Shared Hash Tables}",
 booktitle    = "Formal Methods in Computer-Aided Design (FMCAD 2010)",
 publisher    = "IEEE",
 pages        = "247--255",
 url          = "http://ieeexplore.ieee.org/xpls/abs\_all.jsp?arnumber=5770956",
)
@inproceedings(Lamborn08,
 author       = "Peter Lamborn and Eric A. Hansen",
 year         = "2008",
 title        = "Layered Duplicate Detection in External-Memory Model Checking",
 booktitle    = "SPIN '08: Proc. of the 15th international workshop on Model Checking Software",
 publisher    = "Springer",
 address      = "Berlin, Heidelberg",
 pages        = "160--175",
 doi          = "10.1007/978-3-540-85114-1\_13",
)
@inproceedings(lerda99distributed,
 author       = "Flavio Lerda and Riccardo Sisto",
 year         = "1999",
 title        = "Distributed-memory {M}odel {C}hecking with {SPIN}",
 booktitle    = "Proc. of the 5th {I}nternational {SPIN} Workshop",
 series       = "LNCS",
 volume       = "1680",
 publisher    = "Springer-Verlag",
 pages        = "22--39",
 doi          = "10.1007/3-540-48234-2\_3",
)
@inproceedings(lerda01addressing,
 author       = "Flavio Lerda and Willem Visser",
 year         = "2001",
 title        = "{Addressing Dynamic Issues of Program Model Checking}",
 booktitle    = "International SPIN Workshop on Model Checking of Software (SPIN'2001)",
 series       = "LNCS",
 volume       = "2057",
 publisher    = "Springer",
 pages        = "80--102",
 doi          = "10.1007/3-540-45139-0\_6",
)
@proceedings(ExternalMemory,
 editor       = "Ulrich Meyer and Peter Sanders and Jop Sibeyn",
 year         = "2003",
 title        = "Algorithms for Memory Hierarchies",
 publisher    = "Springer",
)
@inproceedings(peled98ten,
 author       = "Doron Peled",
 year         = "1998",
 title        = "Ten Years of Partial Order Reduction",
 booktitle    = "Proceedings of the 10th International Conference on Computer Aided Verification",
 publisher    = "Springer-Verlag",
 pages        = "17--28",
)
@inproceedings(pelanek09fighting,
 author       = "R. {Pel\IeC {\'a}nek}",
 year         = "2009",
 title        = "{Fighting State Space Explosion: Review and Evaluation}",
 booktitle    = "Formal Methods for Industrial Critical Systems (FMICS 2008)",
 series       = "LNCS",
 volume       = "5596",
 publisher    = "Springer",
 pages        = "37--52",
 doi          = "10.1007/978-3-642-03240-0\_7",
)
@inproceedings(PennaITZ02,
 author       = "Giuseppe Della Penna and Benedetto Intrigila and Enrico Tronci and Marisa Venturini Zilli",
 year         = "2002",
 title        = "{Exploiting Transition Locality in the Disk Based Mur$\varphi $ Verifier}",
 booktitle    = "Formal Methods in Computer-Aided Design (FMCAD 2002)",
 pages        = "202--219",
 doi          = "10.1007/3-540-36126-X\_13",
)
@inproceedings(stern97parallelizing,
 author       = "U. Stern and D. L. Dill",
 year         = "1997",
 title        = "Parallelizing the Mur$\varphi $ Verifier",
 editor       = "O. Grumberg",
 booktitle    = "Proceedings of Computer Aided Verification ({CAV} '97)",
 series       = "LNCS",
 volume       = "1254",
 publisher    = "Springer-Verlag",
 pages        = "256--267",
 doi          = "10.1007/BFb0028727",
)
@inproceedings(Stern98,
 author       = "U. Stern and D. L. Dill",
 year         = "1998",
 title        = "{Using Magnetic Disk Instead of Main Memory in the Mur$\varphi $ Verifier}",
 booktitle    = "Computer Aided Verification. 10th International Conference",
 pages        = "172--183",
 doi          = "10.1007/BFb0028743",
)
@inproceedings(vardi86autom,
 author       = "M.Y. Vardi and P. Wolper",
 year         = "1986",
 title        = "An automata-theoretic approach to automatic program verification",
 booktitle    = "Proc. IEEE Symposium on Logic in Computer Science",
 publisher    = "Computer Society Press",
 pages        = "322--331",
)
@inproceedings(VBBB09,
 author       = "K. Verstoep and H. Bal and J. Barnat and L. Brim",
 year         = "2009",
 title        = "{Efficient Large-Scale Model Checking}",
 booktitle    = "23rd IEEE International Parallel \& Distributed Processing Symposium (IPDPS 2009)",
 publisher    = "IEEE",
 pages        = "1--12",
 doi          = "10.1109/IPDPS.2009.5161000",
)
@inproceedings(ZhouH04a,
 author       = "Rong Zhou and Eric A. Hansen",
 year         = "2004",
 title        = "{Structured Duplicate Detection in External-Memory Graph Search}",
 booktitle    = "AAAI",
 publisher    = "AAAI Press / The MIT Press",
 pages        = "683--689",
 url          = "http://www.aaai.org/Papers/AAAI/2004/AAAI04-108.pdf",
)