@inproceedings{ClaessenES13,
  title = {A circuit approach to LTL model checking},
  author = {Koen Claessen and Niklas Eén and Baruch Sterin},
  year = {2013},
  url = {http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=6679391},
  researchr = {https://researchr.org/publication/ClaessenES13},
  cites = {0},
  citedby = {0},
  pages = {53-60},
  booktitle = {FMCAD},
}

@inproceedings{Claessen20,
  title = {Finger trees explained anew, and slightly simplified (functional pearl)},
  author = {Koen Claessen},
  year = {2020},
  doi = {10.1145/3406088.3409026},
  url = {https://doi.org/10.1145/3406088.3409026},
  researchr = {https://researchr.org/publication/Claessen20},
  cites = {0},
  citedby = {0},
  pages = {31-38},
  booktitle = {haskell},
}

@article{ClaessenL11,
  title = {Automated Inference of Finite Unsatisfiability},
  author = {Koen Claessen and Ann Lillieström},
  year = {2011},
  doi = {10.1007/s10817-010-9216-8},
  url = {http://dx.doi.org/10.1007/s10817-010-9216-8},
  researchr = {https://researchr.org/publication/ClaessenL11},
  cites = {0},
  citedby = {0},
  journal = {JAR},
  volume = {47},
  number = {2},
  pages = {111-132},
}

@inproceedings{ClaessenDP14,
  title = {Generating Constrained Random Data with Uniform Distribution},
  author = {Koen Claessen and Jonas Duregård and Michal H. Palka},
  year = {2014},
  doi = {10.1007/978-3-319-07151-0_2},
  url = {http://dx.doi.org/10.1007/978-3-319-07151-0_2},
  researchr = {https://researchr.org/publication/ClaessenDP14},
  cites = {0},
  citedby = {0},
  pages = {18-34},
  booktitle = {FLOPS},
}

@inproceedings{ClaessenSERAM18,
  title = {Applying Valued Booleans in Testing of Cyber-Physical Systems},
  author = {Koen Claessen and Nicholas Smallbone and Johan Liden Eddeland and Zahra Ramezani and Knut Åkesson and Sajed Miremadi},
  year = {2018},
  doi = {10.1109/MT-CPS.2018.00011},
  url = {http://doi.ieeecomputersociety.org/10.1109/MT-CPS.2018.00011},
  researchr = {https://researchr.org/publication/ClaessenSERAM18},
  cites = {0},
  citedby = {0},
  pages = {8-9},
  booktitle = {cpsweek},
}

@inproceedings{ClaessenM04,
  title = {An Operational Semantics for Weak PSL},
  author = {Koen Claessen and Johan Mårtensson},
  year = {2004},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3312&spage=337},
  tags = {semantics, operational semantics},
  researchr = {https://researchr.org/publication/ClaessenM04},
  cites = {0},
  citedby = {0},
  pages = {337-351},
  booktitle = {FMCAD},
}

@inproceedings{Claessen12,
  title = {Shrinking and showing functions (functional pearl)},
  author = {Koen Claessen},
  year = {2012},
  doi = {10.1145/2364506.2364516},
  url = {http://doi.acm.org/10.1145/2364506.2364516},
  researchr = {https://researchr.org/publication/Claessen12},
  cites = {0},
  citedby = {0},
  pages = {73-80},
  booktitle = {haskell},
}

@inproceedings{ListenmaaC16,
  title = {Analysing Constraint Grammars with a SAT-solver},
  author = {Inari Listenmaa and Koen Claessen},
  year = {2016},
  url = {http://www.lrec-conf.org/proceedings/lrec2016/summaries/799.html},
  researchr = {https://researchr.org/publication/ListenmaaC16},
  cites = {0},
  citedby = {0},
  booktitle = {lrec},
}

@inproceedings{AlgehedCJS17,
  title = {QuickSpec: a lightweight theory exploration tool for programmers (system demonstration)},
  author = {Maximilian Algehed and Koen Claessen and Moa Johansson and Nicholas Smallbone},
  year = {2017},
  doi = {10.1145/3122955.3122960},
  url = {http://doi.acm.org/10.1145/3122955.3122960},
  researchr = {https://researchr.org/publication/AlgehedCJS17},
  cites = {0},
  citedby = {0},
  pages = {38-39},
  booktitle = {haskell},
}

@inproceedings{ClaessenPSHSAW09,
  title = {Finding race conditions in Erlang with QuickCheck and PULSE},
  author = {Koen Claessen and Michal Palka and Nicholas Smallbone and John Hughes and Hans Svensson and Thomas Arts and Ulf Wiger},
  year = {2009},
  doi = {10.1145/1596550.1596574},
  url = {http://doi.acm.org/10.1145/1596550.1596574},
  tags = {QuickCheck},
  researchr = {https://researchr.org/publication/ClaessenPSHSAW09},
  cites = {0},
  citedby = {0},
  pages = {149-160},
  booktitle = {ICFP},
}

@article{ClaessenH02-0,
  title = {Testing monadic code with QuickCheck},
  author = {Koen Claessen and John Hughes},
  year = {2002},
  doi = {10.1145/636517.636527},
  url = {http://doi.acm.org/10.1145/636517.636527},
  researchr = {https://researchr.org/publication/ClaessenH02-0},
  cites = {0},
  citedby = {0},
  journal = {SIGPLAN},
  volume = {37},
  number = {12},
  pages = {47-59},
}

@inproceedings{BlanchetteC10,
  title = {Generating Counterexamples for Structural Inductions by Exploiting Nonstandard Models},
  author = {Jasmin Christian Blanchette and Koen Claessen},
  year = {2010},
  doi = {10.1007/978-3-642-16242-8_10},
  url = {http://dx.doi.org/10.1007/978-3-642-16242-8_10},
  researchr = {https://researchr.org/publication/BlanchetteC10},
  cites = {0},
  citedby = {0},
  pages = {127-141},
  booktitle = {lpar},
}

@article{ClaessenDP15,
  title = {Generating constrained random data with uniform distribution},
  author = {Koen Claessen and Jonas Duregård and Michal H. Palka},
  year = {2015},
  doi = {10.1017/S0956796815000143},
  url = {http://dx.doi.org/10.1017/S0956796815000143},
  researchr = {https://researchr.org/publication/ClaessenDP15},
  cites = {0},
  citedby = {0},
  journal = {JFP},
  volume = {25},
}

@inproceedings{ClaessenHPSS10,
  title = {Ranking programs using black box testing},
  author = {Koen Claessen and John Hughes and Michal H. Palka and Nicholas Smallbone and Hans Svensson},
  year = {2010},
  doi = {10.1145/1808266.1808282},
  url = {http://doi.acm.org/10.1145/1808266.1808282},
  researchr = {https://researchr.org/publication/ClaessenHPSS10},
  cites = {0},
  citedby = {0},
  pages = {103-110},
  booktitle = {ICSE},
}

@inproceedings{ClaessenFIPW13,
  title = {Model-Checking Signal Transduction Networks through Decreasing Reachability Sets},
  author = {Koen Claessen and Jasmin Fisher and Samin Ishtiaq and Nir Piterman and Qinsi Wang},
  year = {2013},
  doi = {10.1007/978-3-642-39799-8_5},
  url = {http://dx.doi.org/10.1007/978-3-642-39799-8_5},
  researchr = {https://researchr.org/publication/ClaessenFIPW13},
  cites = {0},
  citedby = {0},
  pages = {85-100},
  booktitle = {cav},
}

@article{ClaessenSS03,
  title = {Using Lava to design and verify recursive and periodic sorters},
  author = {Koen Claessen and Mary Sheeran and Satnam Singh},
  year = {2003},
  doi = {10.1007/s10009-002-0089-y},
  url = {http://dx.doi.org/10.1007/s10009-002-0089-y},
  tags = {design},
  researchr = {https://researchr.org/publication/ClaessenSS03},
  cites = {0},
  citedby = {0},
  journal = {STTT},
  volume = {4},
  number = {3},
  pages = {349-358},
}

@article{ClaessenESSVA09,
  title = {SAT-Solving in Practice, with a Tutorial Example from Supervisory Control},
  author = {Koen Claessen and Niklas Eén and Mary Sheeran and Niklas Sörensson and Alexey Voronov and Knut Åkesson},
  year = {2009},
  doi = {10.1007/s10626-009-0081-8},
  url = {http://dx.doi.org/10.1007/s10626-009-0081-8},
  researchr = {https://researchr.org/publication/ClaessenESSVA09},
  cites = {0},
  citedby = {0},
  journal = {deds},
  volume = {19},
  number = {4},
  pages = {495-524},
}

@article{ClaessenP02-0,
  title = {An embedded language approach to teaching hardware compilation},
  author = {Koen Claessen and Gordon J. Pace},
  year = {2002},
  doi = {10.1145/636517.636526},
  url = {http://doi.acm.org/10.1145/636517.636526},
  researchr = {https://researchr.org/publication/ClaessenP02-0},
  cites = {0},
  citedby = {0},
  journal = {SIGPLAN},
  volume = {37},
  number = {12},
  pages = {35-46},
}

@inproceedings{RoordaC06,
  title = {Explaining Symbolic Trajectory Evaluation by Giving It a Faithful Semantics},
  author = {Jan-Willem Roorda and Koen Claessen},
  year = {2006},
  doi = {10.1007/11753728_56},
  url = {http://dx.doi.org/10.1007/11753728_56},
  tags = {semantics},
  researchr = {https://researchr.org/publication/RoordaC06},
  cites = {0},
  citedby = {0},
  pages = {555-566},
  booktitle = {csr},
}

@inproceedings{ArtsCS04,
  title = {Semi-formal Development of a Fault-Tolerant Leader Election Protocol in Erlang},
  author = {Thomas Arts and Koen Claessen and Hans Svensson},
  year = {2004},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3395&spage=140},
  tags = {protocol},
  researchr = {https://researchr.org/publication/ArtsCS04},
  cites = {0},
  citedby = {0},
  pages = {140-154},
  booktitle = {fates},
}

@article{SmallboneJCA17,
  title = {Quick specifications for the busy programmer},
  author = {Nicholas Smallbone and Moa Johansson and Koen Claessen and Maximilian Algehed},
  year = {2017},
  doi = {10.1017/S0956796817000090},
  url = {https://doi.org/10.1017/S0956796817000090},
  researchr = {https://researchr.org/publication/SmallboneJCA17},
  cites = {0},
  citedby = {0},
  journal = {JFP},
  volume = {27},
}

@inproceedings{AxelssonCSSEP10,
  title = {The Design and Implementation of Feldspar - An Embedded Language for Digital Signal Processing},
  author = {Emil Axelsson and Koen Claessen and Mary Sheeran and Josef Svenningsson and David Engdal and Anders Persson},
  year = {2010},
  doi = {10.1007/978-3-642-24276-2_8},
  url = {http://dx.doi.org/10.1007/978-3-642-24276-2_8},
  researchr = {https://researchr.org/publication/AxelssonCSSEP10},
  cites = {0},
  citedby = {0},
  pages = {121-136},
  booktitle = {IFL},
}

@article{Claessen99,
  title = {A Poor Man s Concurrency Monad},
  author = {Koen Claessen},
  year = {1999},
  researchr = {https://researchr.org/publication/Claessen99},
  cites = {0},
  citedby = {0},
  journal = {JFP},
  volume = {9},
  number = {3},
  pages = {313-323},
}

@inproceedings{LutebergetCJ19,
  title = {Automated Drawing of Railway Schematics Using Numerical Optimization in SAT},
  author = {Bjørnar Luteberget and Koen Claessen and Christian Johansen},
  year = {2019},
  doi = {10.1007/978-3-030-34968-4_19},
  url = {https://doi.org/10.1007/978-3-030-34968-4_19},
  researchr = {https://researchr.org/publication/LutebergetCJ19},
  cites = {0},
  citedby = {0},
  pages = {341-359},
  booktitle = {IFM},
}

@inproceedings{BernardyC13,
  title = {Efficient divide-and-conquer parsing of practical context-free languages},
  author = {Jean-Philippe Bernardy and Koen Claessen},
  year = {2013},
  doi = {10.1145/2500365.2500576},
  url = {http://doi.acm.org/10.1145/2500365.2500576},
  researchr = {https://researchr.org/publication/BernardyC13},
  cites = {0},
  citedby = {0},
  pages = {111-122},
  booktitle = {ICFP},
}

@inproceedings{ClaessenS08,
  title = {Finding Counter Examples in Induction Proofs},
  author = {Koen Claessen and Hans Svensson},
  year = {2008},
  doi = {10.1007/978-3-540-79124-9_5},
  url = {http://dx.doi.org/10.1007/978-3-540-79124-9_5},
  researchr = {https://researchr.org/publication/ClaessenS08},
  cites = {0},
  citedby = {0},
  pages = {48-65},
  booktitle = {tapsoft},
}

@inproceedings{ClaessenL09,
  title = {Automated Inference of Finite Unsatisfiability},
  author = {Koen Claessen and Ann Lillieström},
  year = {2009},
  doi = {10.1007/978-3-642-02959-2_29},
  url = {http://dx.doi.org/10.1007/978-3-642-02959-2_29},
  researchr = {https://researchr.org/publication/ClaessenL09},
  cites = {0},
  citedby = {0},
  pages = {388-403},
  booktitle = {cade},
}

@inproceedings{ClaessenR15,
  title = {SAT Modulo Intuitionistic Implications},
  author = {Koen Claessen and Dan Rosén},
  year = {2015},
  doi = {10.1007/978-3-662-48899-7_43},
  url = {http://dx.doi.org/10.1007/978-3-662-48899-7_43},
  researchr = {https://researchr.org/publication/ClaessenR15},
  cites = {0},
  citedby = {0},
  pages = {622-637},
  booktitle = {lpar},
}

@inproceedings{ClaessenJRS13,
  title = {Automating Inductive Proofs Using Theory Exploration},
  author = {Koen Claessen and Moa Johansson and Dan Rosén and Nicholas Smallbone},
  year = {2013},
  doi = {10.1007/978-3-642-38574-2_27},
  url = {http://dx.doi.org/10.1007/978-3-642-38574-2_27},
  researchr = {https://researchr.org/publication/ClaessenJRS13},
  cites = {0},
  citedby = {0},
  pages = {392-406},
  booktitle = {cade},
}

@article{ClaessenP02,
  title = {An embedded language approach to teaching hardware compilation},
  author = {Koen Claessen and Gordon J. Pace},
  year = {2002},
  doi = {10.1145/636517.636526},
  url = {http://doi.acm.org/10.1145/636517.636526},
  tags = {teaching, systematic-approach},
  researchr = {https://researchr.org/publication/ClaessenP02},
  cites = {0},
  citedby = {0},
  journal = {SIGPLAN},
  volume = {37},
  number = {12},
  pages = {35-46},
}

@article{ClaessenL00,
  title = {Typed Logical Variables in Haskell},
  author = {Koen Claessen and Peter Ljunglöf},
  year = {2000},
  url = {http://www.elsevier.com/gej-ng/31/29/23/76/33/show/Products/notes/index.htt#007},
  tags = {Haskell},
  researchr = {https://researchr.org/publication/ClaessenL00},
  cites = {0},
  citedby = {0},
  journal = {ENTCS},
  volume = {41},
  number = {1},
  pages = {37},
}

@inproceedings{EkbladC14,
  title = {A seamless, client-centric programming model for type safe web applications},
  author = {Anton Ekblad and Koen Claessen},
  year = {2014},
  doi = {10.1145/2633357.2633367},
  url = {http://doi.acm.org/10.1145/2633357.2633367},
  researchr = {https://researchr.org/publication/EkbladC14},
  cites = {0},
  citedby = {0},
  pages = {79-89},
  booktitle = {haskell},
}

@article{SvenssonCS10,
  title = {GPGPU kernel implementation and refinement using Obsidian},
  author = {Joel Svensson and Koen Claessen and Mary Sheeran},
  year = {2010},
  doi = {10.1016/j.procs.2010.04.231},
  url = {http://dx.doi.org/10.1016/j.procs.2010.04.231},
  tags = {refinement},
  researchr = {https://researchr.org/publication/SvenssonCS10},
  cites = {0},
  citedby = {0},
  journal = {procedia},
  volume = {1},
  number = {1},
  pages = {2065-2074},
}

@inproceedings{SutcliffeSCB12,
  title = {The TPTP Typed First-Order Form with Arithmetic},
  author = {Geoff Sutcliffe and Stephan Schulz and Koen Claessen and Peter Baumgartner},
  year = {2012},
  doi = {10.1007/978-3-642-28717-6_32},
  url = {http://dx.doi.org/10.1007/978-3-642-28717-6_32},
  researchr = {https://researchr.org/publication/SutcliffeSCB12},
  cites = {0},
  citedby = {0},
  pages = {406-419},
  booktitle = {lpar},
}

@inproceedings{Claessen07,
  title = {A Coverage Analysis for Safety Property Lists},
  author = {Koen Claessen},
  year = {2007},
  doi = {10.1109/FMCAD.2007.1},
  url = {http://doi.ieeecomputersociety.org/10.1109/FMCAD.2007.1},
  tags = {analysis, coverage},
  researchr = {https://researchr.org/publication/Claessen07},
  cites = {0},
  citedby = {0},
  pages = {139-145},
  booktitle = {FMCAD},
}

@inproceedings{BjesseC00,
  title = {SAT-Based Verification without State Space Traversal},
  author = {Per Bjesse and Koen Claessen},
  year = {2000},
  url = {http://link.springer.de/link/service/series/0558/bibs/1954/19540372.htm},
  tags = {rule-based, traversal},
  researchr = {https://researchr.org/publication/BjesseC00},
  cites = {0},
  citedby = {0},
  pages = {372-389},
  booktitle = {FMCAD},
}

@inproceedings{ClaessenSS12,
  title = {Expressive array constructs in an embedded GPU kernel programming language},
  author = {Koen Claessen and Mary Sheeran and Joel Svensson},
  year = {2012},
  doi = {10.1145/2103736.2103740},
  url = {http://doi.acm.org/10.1145/2103736.2103740},
  researchr = {https://researchr.org/publication/ClaessenSS12},
  cites = {0},
  citedby = {0},
  pages = {21-30},
  booktitle = {POPL},
}

@inproceedings{ClaessenSS01,
  title = {The Design and Verification of a Sorter Core},
  author = {Koen Claessen and Mary Sheeran and Satnam Singh},
  year = {2001},
  url = {http://link.springer.de/link/service/series/0558/bibs/2144/21440355.htm},
  tags = {design},
  researchr = {https://researchr.org/publication/ClaessenSS01},
  cites = {0},
  citedby = {0},
  pages = {355-369},
  booktitle = {charme},
}

@inproceedings{JohanssonRSC14,
  title = {Hipster: Integrating Theory Exploration in a Proof Assistant},
  author = {Moa Johansson and Dan Rosén and Nicholas Smallbone and Koen Claessen},
  year = {2014},
  doi = {10.1007/978-3-319-08434-3_9},
  url = {http://dx.doi.org/10.1007/978-3-319-08434-3_9},
  researchr = {https://researchr.org/publication/JohanssonRSC14},
  cites = {0},
  citedby = {0},
  pages = {108-122},
  booktitle = {mkm},
}

@inproceedings{BjesseCSS98,
  title = {Lava: Hardware Design in Haskell},
  author = {Per Bjesse and Koen Claessen and Mary Sheeran and Satnam Singh},
  year = {1998},
  doi = {10.1145/289423.289440},
  url = {http://doi.acm.org/10.1145/289423.289440},
  tags = {Haskell, design},
  researchr = {https://researchr.org/publication/BjesseCSS98},
  cites = {0},
  citedby = {0},
  pages = {174-184},
  booktitle = {ICFP},
}

@inproceedings{AxelssonC13,
  title = {Using circular programs for higher-order syntax: functional pearl},
  author = {Emil Axelsson and Koen Claessen},
  year = {2013},
  doi = {10.1145/2500365.2500614},
  url = {http://doi.acm.org/10.1145/2500365.2500614},
  researchr = {https://researchr.org/publication/AxelssonC13},
  cites = {0},
  citedby = {0},
  pages = {257-262},
  booktitle = {ICFP},
}

@inproceedings{VytiniotisJCR13,
  title = {HALO: haskell to logic through denotational semantics},
  author = {Dimitrios Vytiniotis and Simon L. Peyton Jones and Koen Claessen and Dan Rosén},
  year = {2013},
  doi = {10.1145/2429069.2429121},
  url = {http://doi.acm.org/10.1145/2429069.2429121},
  researchr = {https://researchr.org/publication/VytiniotisJCR13},
  cites = {0},
  citedby = {0},
  pages = {431-442},
  booktitle = {POPL},
}

@inproceedings{PalkaCRH11,
  title = {Testing an optimising compiler by generating random lambda terms},
  author = {Michal H. Palka and Koen Claessen and Alejandro Russo and John Hughes},
  year = {2011},
  doi = {10.1145/1982595.1982615},
  url = {http://doi.acm.org/10.1145/1982595.1982615},
  researchr = {https://researchr.org/publication/PalkaCRH11},
  cites = {0},
  citedby = {0},
  pages = {91-97},
  booktitle = {ICSE},
}

@article{Claessen04,
  title = {Safety Property Verification of Cyclic Synchronous Circuits},
  author = {Koen Claessen},
  year = {2004},
  doi = {10.1016/j.entcs.2003.05.004},
  url = {http://dx.doi.org/10.1016/j.entcs.2003.05.004},
  researchr = {https://researchr.org/publication/Claessen04},
  cites = {0},
  citedby = {0},
  journal = {ENTCS},
  volume = {88},
  pages = {55-69},
}

@inproceedings{Claessen97,
  title = {Graphs in Compilation},
  author = {Koen Claessen},
  year = {1997},
  tags = {graph-rewriting, rewriting},
  researchr = {https://researchr.org/publication/Claessen97},
  cites = {0},
  citedby = {0},
  pages = {309},
  booktitle = {ICFP},
}

@inproceedings{KaracsonyC16,
  title = {Using fusion to enable late design decisions for pipelined computations},
  author = {Máté Karácsony and Koen Claessen},
  year = {2016},
  doi = {10.1145/2975991.2975993},
  url = {http://doi.acm.org/10.1145/2975991.2975993},
  researchr = {https://researchr.org/publication/KaracsonyC16},
  cites = {0},
  citedby = {0},
  pages = {9-16},
  booktitle = {ICFP},
}

@inproceedings{ClaessenS12,
  title = {A liveness checking algorithm that counts},
  author = {Koen Claessen and Niklas Sörensson},
  year = {2012},
  url = {http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6462555},
  researchr = {https://researchr.org/publication/ClaessenS12},
  cites = {0},
  citedby = {0},
  pages = {52-59},
  booktitle = {FMCAD},
}

@inproceedings{PloegC15,
  title = {Practical principled FRP: forget the past, change the future, FRPNow!},
  author = {Atze van der Ploeg and Koen Claessen},
  year = {2015},
  doi = {10.1145/2784731.2784752},
  url = {http://doi.acm.org/10.1145/2784731.2784752},
  researchr = {https://researchr.org/publication/PloegC15},
  cites = {0},
  citedby = {0},
  pages = {302-314},
  booktitle = {ICFP},
}

@inproceedings{ClaessenSH10,
  title = {QuickSpec: Guessing Formal Specifications Using Testing},
  author = {Koen Claessen and Nicholas Smallbone and John Hughes},
  year = {2010},
  doi = {10.1007/978-3-642-13977-2_3},
  url = {http://dx.doi.org/10.1007/978-3-642-13977-2_3},
  tags = {testing},
  researchr = {https://researchr.org/publication/ClaessenSH10},
  cites = {0},
  citedby = {0},
  pages = {6-21},
  booktitle = {tap},
}

@inproceedings{AronssonCSS19,
  title = {Safety at speed: in-place array algorithms from pure functional programs by safely re-using storage},
  author = {Markus Aronsson and Koen Claessen and Mary Sheeran and Nicholas Smallbone},
  year = {2019},
  doi = {10.1145/3331553.3342616},
  url = {https://doi.org/10.1145/3331553.3342616},
  researchr = {https://researchr.org/publication/AronssonCSS19},
  cites = {0},
  citedby = {0},
  pages = {34-46},
  booktitle = {ICFP},
}

@inproceedings{BernardyJC10,
  title = {Testing Polymorphic Properties},
  author = {Jean-Philippe Bernardy and Patrik Jansson and Koen Claessen},
  year = {2010},
  doi = {10.1007/978-3-642-11957-6_8},
  url = {http://dx.doi.org/10.1007/978-3-642-11957-6_8},
  tags = {XML, XML Schema, testing},
  researchr = {https://researchr.org/publication/BernardyJC10},
  cites = {0},
  citedby = {0},
  pages = {125-144},
  booktitle = {ESOP},
}

@inproceedings{ClaessenRCHW02,
  title = {Testing and Tracing Lazy Functional Programs Using QuickCheck and Hat},
  author = {Koen Claessen and Colin Runciman and Olaf Chitil and John Hughes and Malcolm Wallace},
  year = {2002},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2638&spage=59},
  tags = {laziness, functional programming, testing, QuickCheck},
  researchr = {https://researchr.org/publication/ClaessenRCHW02},
  cites = {0},
  citedby = {0},
  pages = {59-99},
  booktitle = {afp},
}

@inproceedings{ClaessenKKL17,
  title = {A Supervisory Control Algorithm Based on Property-Directed Reachability},
  author = {Koen Claessen and Jonatan Kilhamn and Laura Kovács and Bengt Lennartson},
  year = {2017},
  doi = {10.1007/978-3-319-70389-3_8},
  url = {https://doi.org/10.1007/978-3-319-70389-3_8},
  researchr = {https://researchr.org/publication/ClaessenKKL17},
  cites = {0},
  citedby = {0},
  pages = {115-130},
  booktitle = {hvc},
}

@phdthesis{basesearch-223,
  title = {Embedded Languages for Describing and Verifying Hardware},
  author = {Koen Claessen},
  year = {2001},
  url = {https://www.base-search.net/Record/2d9322300af18e47297dc8c2ce464eb44a2c12b084c113f4661cf2b93579e817},
  note = {base-search.net (ftchalmersuniv:oai:publications.lib.chalmers.se:636)},
  researchr = {https://researchr.org/publication/basesearch-223},
  cites = {0},
  citedby = {0},
  school = {Chalmers University of Technology, Gothenburg, Sweden},
}

@inproceedings{ClaessenS05,
  title = {A semantics for distributed Erlang},
  author = {Koen Claessen and Hans Svensson},
  year = {2005},
  doi = {10.1145/1088361.1088376},
  url = {http://doi.acm.org/10.1145/1088361.1088376},
  tags = {semantics},
  researchr = {https://researchr.org/publication/ClaessenS05},
  cites = {0},
  citedby = {0},
  pages = {78-87},
  booktitle = {erlang},
}

@inproceedings{Claessen11,
  title = {The Anatomy of Equinox - An Extensible Automated Reasoning Tool for First-Order Logic and Beyond - (Talk Abstract)},
  author = {Koen Claessen},
  year = {2011},
  doi = {10.1007/978-3-642-22438-6_1},
  url = {http://dx.doi.org/10.1007/978-3-642-22438-6_1},
  tags = {logic},
  researchr = {https://researchr.org/publication/Claessen11},
  cites = {0},
  citedby = {0},
  pages = {1-3},
  booktitle = {cade},
}

@inproceedings{ClaessenJRS15,
  title = {TIP: Tons of Inductive Problems},
  author = {Koen Claessen and Moa Johansson and Dan Rosén and Nicholas Smallbone},
  year = {2015},
  doi = {10.1007/978-3-319-20615-8_23},
  url = {http://dx.doi.org/10.1007/978-3-319-20615-8_23},
  researchr = {https://researchr.org/publication/ClaessenJRS15},
  cites = {0},
  citedby = {0},
  pages = {333-337},
  booktitle = {mkm},
}

@inproceedings{ClaessenL16,
  title = {Alternative Treatments of Common Binary Relations in First-order Automated Reasoning},
  author = {Koen Claessen and Ann Lillieström},
  year = {2016},
  url = {http://ceur-ws.org/Vol-1635/paper-02.pdf},
  researchr = {https://researchr.org/publication/ClaessenL16},
  cites = {0},
  citedby = {0},
  pages = {11-23},
  booktitle = {cade},
}

@inproceedings{SutcliffeSCG06,
  title = {Using the TPTP Language for Writing Derivations and Finite Interpretations},
  author = {Geoff Sutcliffe and Stephan Schulz and Koen Claessen and Allen Van Gelder},
  year = {2006},
  doi = {10.1007/11814771_7},
  url = {http://dx.doi.org/10.1007/11814771_7},
  tags = {writing},
  researchr = {https://researchr.org/publication/SutcliffeSCG06},
  cites = {0},
  citedby = {0},
  pages = {67-81},
  booktitle = {cade},
}

@inproceedings{LutebergetCJ18,
  title = {Design-Time Railway Capacity Verification using SAT modulo Discrete Event Simulation},
  author = {Bjørnar Luteberget and Koen Claessen and Christian Johansen},
  year = {2018},
  doi = {10.23919/FMCAD.2018.8603003},
  url = {https://doi.org/10.23919/FMCAD.2018.8603003},
  researchr = {https://researchr.org/publication/LutebergetCJ18},
  cites = {0},
  citedby = {0},
  pages = {1-9},
  booktitle = {FMCAD},
}

@inproceedings{SvenssonSC08,
  title = {Obsidian: A Domain Specific Embedded Language for Parallel Programming of Graphics Processors},
  author = {Joel Svensson and Mary Sheeran and Koen Claessen},
  year = {2008},
  doi = {10.1007/978-3-642-24452-0_9},
  url = {http://dx.doi.org/10.1007/978-3-642-24452-0_9},
  researchr = {https://researchr.org/publication/SvenssonSC08},
  cites = {0},
  citedby = {0},
  pages = {156-173},
  booktitle = {IFL},
}

@inproceedings{ClaessenR06,
  title = {An Introduction to Symbolic Trajectory Evaluation},
  author = {Koen Claessen and Jan-Willem Roorda},
  year = {2006},
  doi = {10.1007/11757283_3},
  url = {http://dx.doi.org/10.1007/11757283_3},
  researchr = {https://researchr.org/publication/ClaessenR06},
  cites = {0},
  citedby = {0},
  pages = {56-77},
  booktitle = {sfm},
}

@inproceedings{ClaessenH00,
  title = {{QuickCheck}: a lightweight tool for random testing of {Haskell} programs},
  author = {Koen Claessen and John Hughes},
  year = {2000},
  doi = {10.1145/351240.351266},
  url = {http://doi.acm.org/10.1145/351240.351266},
  tags = {test coverage, case study, functional programming, testing, Haskell, data-flow programming, data-flow, random testing, programming, coverage, QuickCheck},
  researchr = {https://researchr.org/publication/ClaessenH00},
  cites = {19},
  citedby = {0},
  pages = {268-279},
  booktitle = {ICFP},
}

@inproceedings{ClaessenP13,
  title = {Splittable pseudorandom number generators using cryptographic hashing},
  author = {Koen Claessen and Michal Palka},
  year = {2013},
  doi = {10.1145/2503778.2503784},
  url = {http://doi.acm.org/10.1145/2503778.2503784},
  researchr = {https://researchr.org/publication/ClaessenP13},
  cites = {0},
  citedby = {0},
  pages = {47-58},
  booktitle = {haskell},
}

@inproceedings{PalkaAST2011,
  title = {Testing an optimising compiler by generating random lambda terms},
  author = {Michal H. Palka and Koen Claessen and Russo, Alejandro and John Hughes},
  year = {2011},
  url = {http://dl.acm.org/citation.cfm?id=1982615},
  tags = {rule-based, testing, Haskell, data-flow programming, data-flow, rules, type checking, random testing, compiler},
  researchr = {https://researchr.org/publication/PalkaAST2011},
  cites = {0},
  citedby = {0},
  pages = {91-97},
  booktitle = {Proceedings of the 6th International Workshop on Automation of Software Test},
}

@inproceedings{FetscherCPHF15,
  title = {Making Random Judgments: Automatically Generating Well-Typed Terms from the Definition of a Type-System},
  author = {Burke Fetscher and Koen Claessen and Michal H. Palka and John Hughes and Robby Findler},
  year = {2015},
  doi = {10.1007/978-3-662-46669-8_16},
  url = {http://dx.doi.org/10.1007/978-3-662-46669-8_16},
  researchr = {https://researchr.org/publication/FetscherCPHF15},
  cites = {0},
  citedby = {0},
  pages = {383-405},
  booktitle = {ESOP},
}

@inproceedings{Claessen09,
  title = {The Twilight Zone: From Testing to Formal Specifications and Back Again},
  author = {Koen Claessen},
  year = {2009},
  doi = {10.1007/978-3-642-10672-9_1},
  url = {http://dx.doi.org/10.1007/978-3-642-10672-9_1},
  tags = {testing},
  researchr = {https://researchr.org/publication/Claessen09},
  cites = {0},
  citedby = {0},
  pages = {1},
  booktitle = {aplas},
}

@inproceedings{XuJC09,
  title = {Static contract checking for Haskell},
  author = {Dana N. Xu and Simon L. Peyton Jones and Koen Claessen},
  year = {2009},
  doi = {10.1145/1480881.1480889},
  url = {http://doi.acm.org/10.1145/1480881.1480889},
  tags = {contracts, Haskell},
  researchr = {https://researchr.org/publication/XuJC09},
  cites = {0},
  citedby = {0},
  pages = {41-52},
  booktitle = {POPL},
}

@inproceedings{AxelssonCS05,
  title = {Wired: Wire-Aware Circuit Design},
  author = {Emil Axelsson and Koen Claessen and Mary Sheeran},
  year = {2005},
  doi = {10.1007/11560548_4},
  url = {http://dx.doi.org/10.1007/11560548_4},
  tags = {context-aware, design},
  researchr = {https://researchr.org/publication/AxelssonCS05},
  cites = {0},
  citedby = {0},
  pages = {5-19},
  booktitle = {charme},
}

@inproceedings{ClaessenS99,
  title = {Observable Sharing for Functional Circuit Description},
  author = {Koen Claessen and David Sands},
  year = {1999},
  url = {http://link.springer.de/link/service/series/0558/bibs/1742/17420062.htm},
  researchr = {https://researchr.org/publication/ClaessenS99},
  cites = {0},
  citedby = {0},
  pages = {62-73},
  booktitle = {asian},
}

@article{EddelandCSRMA20,
  title = {Enhancing Temporal Logic Falsification With Specification Transformation and Valued Booleans},
  author = {Johan Lidén Eddeland and Koen Claessen and Nicholas Smallbone and Zahra Ramezani and Sajed Miremadi and Knut Åkesson},
  year = {2020},
  doi = {10.1109/TCAD.2020.2966480},
  url = {https://doi.org/10.1109/TCAD.2020.2966480},
  researchr = {https://researchr.org/publication/EddelandCSRMA20},
  cites = {0},
  citedby = {0},
  journal = {tcad},
  volume = {39},
  number = {12},
  pages = {5247-5260},
}

@inproceedings{BransenBCD15,
  title = {Linearly Ordered Attribute Grammar Scheduling Using SAT-Solving},
  author = {Jeroen Bransen and L. Thomas van Binsbergen and Koen Claessen and Atze Dijkstra},
  year = {2015},
  doi = {10.1007/978-3-662-46681-0_24},
  url = {http://dx.doi.org/10.1007/978-3-662-46681-0_24},
  researchr = {https://researchr.org/publication/BransenBCD15},
  cites = {0},
  citedby = {0},
  pages = {289-303},
  booktitle = {TACAS},
}

@inproceedings{RussoCH08,
  title = {A library for light-weight information-flow security in haskell},
  author = {Alejandro Russo and Koen Claessen and John Hughes},
  year = {2008},
  doi = {10.1145/1411286.1411289},
  url = {http://doi.acm.org/10.1145/1411286.1411289},
  tags = {Haskell, data-flow, security},
  researchr = {https://researchr.org/publication/RussoCH08},
  cites = {0},
  citedby = {0},
  pages = {13-24},
  booktitle = {haskell},
}

@inproceedings{ThonnessenSFCK19,
  title = {Testing Safety PLCs Using QuickCheck},
  author = {David Thönnessen and Nick Smallbone and Martin Fabian and Koen Claessen and Stefan Kowalewski},
  year = {2019},
  doi = {10.1109/COASE.2019.8843227},
  url = {https://doi.org/10.1109/COASE.2019.8843227},
  researchr = {https://researchr.org/publication/ThonnessenSFCK19},
  cites = {0},
  citedby = {0},
  pages = {1-6},
  booktitle = {case},
}

@inproceedings{AxelssonCDHKLPSSV10,
  title = {Feldspar: A domain specific language for digital signal processing algorithms},
  author = {Emil Axelsson and Koen Claessen and Gergely Dévai and Z. Horváth and Karin Keijzer and Bo Lyckegård and Anders Persson and Mary Sheeran and Josef Svenningsson and A. Vajda},
  year = {2010},
  doi = {10.1109/MEMCOD.2010.5558637},
  url = {http://dx.doi.org/10.1109/MEMCOD.2010.5558637},
  tags = {domain-specific language},
  researchr = {https://researchr.org/publication/AxelssonCDHKLPSSV10},
  cites = {0},
  citedby = {0},
  pages = {169-178},
  booktitle = {memocode},
}

@inproceedings{ValliappanKRC20,
  title = {Towards secure IoT programming in Haskell},
  author = {Nachiappan Valliappan and Robert Krook and Alejandro Russo and Koen Claessen},
  year = {2020},
  doi = {10.1145/3406088.3409027},
  url = {https://doi.org/10.1145/3406088.3409027},
  researchr = {https://researchr.org/publication/ValliappanKRC20},
  cites = {0},
  citedby = {0},
  pages = {136-150},
  booktitle = {haskell},
}

@article{Claessen04:0,
  title = {Parallel Parsing Processes},
  author = {Koen Claessen},
  year = {2004},
  doi = {10.1017/S0956796804005192},
  url = {http://dx.doi.org/10.1017/S0956796804005192},
  tags = {parsing},
  researchr = {https://researchr.org/publication/Claessen04%3A0},
  cites = {0},
  citedby = {0},
  journal = {JFP},
  volume = {14},
  number = {6},
  pages = {741-757},
}

@article{ClaessenH02,
  title = {Testing monadic code with QuickCheck},
  author = {Koen Claessen and John Hughes},
  year = {2002},
  doi = {10.1145/636517.636527},
  url = {http://doi.acm.org/10.1145/636517.636527},
  tags = {testing, QuickCheck},
  researchr = {https://researchr.org/publication/ClaessenH02},
  cites = {0},
  citedby = {0},
  journal = {SIGPLAN},
  volume = {37},
  number = {12},
  pages = {47-59},
}

@inproceedings{ClaessenJRS12,
  title = {HipSpec: Automating Inductive Proofs of Program Properties},
  author = {Koen Claessen and Moa Johansson and Dan Rosén and Nicholas Smallbone},
  year = {2012},
  url = {http://www.easychair.org/publications/?page=1515293356},
  researchr = {https://researchr.org/publication/ClaessenJRS12},
  cites = {0},
  citedby = {0},
  pages = {16-25},
  booktitle = {cade},
}

@inproceedings{ClaessenVM97,
  title = {Structuring Graphical Paradigms in TkGofer},
  author = {Koen Claessen and Ton Vullinghs and Erik Meijer},
  year = {1997},
  researchr = {https://researchr.org/publication/ClaessenVM97},
  cites = {0},
  citedby = {0},
  pages = {251-262},
  booktitle = {ICFP},
}

@inproceedings{RoordaC06:0,
  title = {SAT-Based Assistance in Abstraction Refinement for Symbolic Trajectory Evaluation},
  author = {Jan-Willem Roorda and Koen Claessen},
  year = {2006},
  doi = {10.1007/11817963_19},
  url = {http://dx.doi.org/10.1007/11817963_19},
  tags = {rule-based, refinement, abstraction},
  researchr = {https://researchr.org/publication/RoordaC06%3A0},
  cites = {0},
  citedby = {0},
  pages = {175-189},
  booktitle = {cav},
}

@article{BernardyC15,
  title = {Efficient parallel and incremental parsing of practical context-free languages},
  author = {Jean-Philippe Bernardy and Koen Claessen},
  year = {2015},
  doi = {10.1017/S0956796815000131},
  url = {http://dx.doi.org/10.1017/S0956796815000131},
  researchr = {https://researchr.org/publication/BernardyC15},
  cites = {0},
  citedby = {0},
  journal = {JFP},
  volume = {25},
}

@inproceedings{ClaessenLS11,
  title = {Sort It Out with Monotonicity - Translating between Many-Sorted and Unsorted First-Order Logic},
  author = {Koen Claessen and Ann Lillieström and Nicholas Smallbone},
  year = {2011},
  doi = {10.1007/978-3-642-22438-6_17},
  url = {http://dx.doi.org/10.1007/978-3-642-22438-6_17},
  tags = {translation, logic},
  researchr = {https://researchr.org/publication/ClaessenLS11},
  cites = {0},
  citedby = {0},
  pages = {207-221},
  booktitle = {cade},
}

@inproceedings{LilliestromCS19,
  title = {Inferring morphological rules from small examples using 0/1 linear programming},
  author = {Ann Lillieström and Koen Claessen and Nicholas Smallbone},
  year = {2019},
  url = {https://aclweb.org/anthology/W19-6118/},
  researchr = {https://researchr.org/publication/LilliestromCS19},
  cites = {0},
  citedby = {0},
  pages = {164-174},
  booktitle = {nodalida},
}

@inproceedings{PloegCB16,
  title = {The Key monad: type-safe unconstrained dynamic typing},
  author = {Atze van der Ploeg and Koen Claessen and Pablo Buiras},
  year = {2016},
  doi = {10.1145/2976002.2976008},
  url = {http://doi.acm.org/10.1145/2976002.2976008},
  researchr = {https://researchr.org/publication/PloegCB16},
  cites = {0},
  citedby = {0},
  pages = {146-157},
  booktitle = {haskell},
}

@inproceedings{ClaessenS18,
  title = {Efficient Encodings of First-Order Horn Formulas in Equational Logic},
  author = {Koen Claessen and Nicholas Smallbone},
  year = {2018},
  doi = {10.1007/978-3-319-94205-6_26},
  url = {https://doi.org/10.1007/978-3-319-94205-6_26},
  researchr = {https://researchr.org/publication/ClaessenS18},
  cites = {0},
  citedby = {0},
  pages = {388-404},
  booktitle = {cade},
}

@inproceedings{RoordaC05,
  title = {A New SAT-Based Algorithm for Symbolic Trajectory Evaluation},
  author = {Jan-Willem Roorda and Koen Claessen},
  year = {2005},
  doi = {10.1007/11560548_19},
  url = {http://dx.doi.org/10.1007/11560548_19},
  tags = {rule-based},
  researchr = {https://researchr.org/publication/RoordaC05},
  cites = {0},
  citedby = {0},
  pages = {238-253},
  booktitle = {charme},
}
@proceedings{haskell-2011,
  title = {Proceedings of the 4th ACM SIGPLAN Symposium on Haskell, Haskell 2011, Tokyo, Japan, 22 September 2011},
  year = {2011},
  researchr = {https://researchr.org/publication/haskell-2011},
  cites = {0},
  citedby = {0},
  booktitle = {Proceedings of the 4th ACM SIGPLAN Symposium on Haskell, Haskell 2011, Tokyo, Japan, 22 September 2011},
  conference = {haskell},
  editor = {Koen Claessen},
  publisher = {ACM},
  isbn = {978-1-4503-0860-1},
}

@proceedings{plpv-2012,
  title = {Proceedings of the sixth workshop on Programming Languages meets Program Verification, PLPV 2012, Philadelphia, PA, USA, January 24, 2012},
  year = {2012},
  researchr = {https://researchr.org/publication/plpv-2012},
  cites = {0},
  citedby = {0},
  booktitle = {Proceedings of the sixth workshop on Programming Languages meets Program Verification, PLPV 2012, Philadelphia, PA, USA, January 24, 2012},
  conference = {plpv},
  editor = {Koen Claessen and Nikhil Swamy},
  publisher = {ACM},
  isbn = {978-1-4503-1125-0},
}