Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Koen Claessen
@article{DBLP:journals/pacmpl/AugustssonBCJJSSS23,
author = {Lennart Augustsson and
Joachim Breitner and
Koen Claessen and
Ranjit Jhala and
Simon Peyton Jones and
Olin Shivers and
Guy L. Steele Jr. and
Tim Sweeney},
title = {The Verse Calculus: {A} Core Calculus for Deterministic Functional
Logic Programming},
journal = {Proc. {ACM} Program. Lang.},
volume = {7},
number = {{ICFP}},
pages = {417--447},
year = {2023},
url = {https://doi.org/10.1145/3607845},
doi = {10.1145/3607845},
timestamp = {Sun, 31 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/AugustssonBCJJSSS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/SarkarKRC23,
author = {Abhiroop Sarkar and
Robert Krook and
Alejandro Russo and
Koen Claessen},
editor = {Trevor L. McDonell and
Niki Vazou},
title = {HasTEE: Programming Trusted Execution Environments with Haskell},
booktitle = {Proceedings of the 16th {ACM} {SIGPLAN} International Haskell Symposium,
Haskell 2023, Seattle, WA, USA, September 8-9, 2023},
pages = {72--88},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3609026.3609731},
doi = {10.1145/3609026.3609731},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/haskell/SarkarKRC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-13172,
author = {Abhiroop Sarkar and
Robert Krook and
Alejandro Russo and
Koen Claessen},
title = {HasTEE: Programming Trusted Execution Environments with Haskell},
journal = {CoRR},
volume = {abs/2307.13172},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2307.13172},
doi = {10.48550/ARXIV.2307.13172},
eprinttype = {arXiv},
eprint = {2307.13172},
timestamp = {Tue, 01 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-13172.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/RamezaniCSFA22,
author = {Zahra Ramezani and
Koen Claessen and
Nicholas Smallbone and
Martin Fabian and
Knut {\AA}kesson},
title = {Testing Cyber-Physical Systems Using a Line-Search Falsification Method},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {41},
number = {8},
pages = {2393--2406},
year = {2022},
url = {https://doi.org/10.1109/TCAD.2021.3110740},
doi = {10.1109/TCAD.2021.3110740},
timestamp = {Mon, 08 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/RamezaniCSFA22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/KrookHSEC22,
author = {Robert Krook and
John Hui and
Bo Joel Svensson and
Stephen A. Edwards and
Koen Claessen},
title = {Creating a Language for Writing Real-Time Applications for the Internet
of Things},
booktitle = {20th {ACM-IEEE} International Conference on Formal Methods and Models
for System Design, {MEMOCODE} 2022, Shanghai, China, October 13-14,
2022},
pages = {1--20},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/MEMOCODE57689.2022.9954383},
doi = {10.1109/MEMOCODE57689.2022.9954383},
timestamp = {Wed, 07 Dec 2022 23:11:51 +0100},
biburl = {https://dblp.org/rec/conf/memocode/KrookHSEC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/LutebergetCJS21,
author = {Bj{\o}rnar Luteberget and
Koen Claessen and
Christian Johansen and
Martin Steffen},
title = {{SAT} modulo discrete event simulation applied to railway design capacity
analysis},
journal = {Formal Methods Syst. Des.},
volume = {57},
number = {2},
pages = {211--245},
year = {2021},
url = {https://doi.org/10.1007/s10703-021-00368-2},
doi = {10.1007/S10703-021-00368-2},
timestamp = {Thu, 05 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/LutebergetCJS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/ClaessenL21,
author = {Koen Claessen and
Ann Lilliestr{\"{o}}m},
title = {Handling Transitive Relations in First-Order Automated Reasoning},
journal = {J. Autom. Reason.},
volume = {65},
number = {8},
pages = {1097--1124},
year = {2021},
url = {https://doi.org/10.1007/s10817-021-09605-z},
doi = {10.1007/S10817-021-09605-Z},
timestamp = {Fri, 13 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/ClaessenL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/EddelandCSRMA20,
author = {Johan Lid{\'{e}}n Eddeland and
Koen Claessen and
Nicholas Smallbone and
Zahra Ramezani and
Sajed Miremadi and
Knut {\AA}kesson},
title = {Enhancing Temporal Logic Falsification With Specification Transformation
and Valued Booleans},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {39},
number = {12},
pages = {5247--5260},
year = {2020},
url = {https://doi.org/10.1109/TCAD.2020.2966480},
doi = {10.1109/TCAD.2020.2966480},
timestamp = {Tue, 02 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcad/EddelandCSRMA20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/Claessen20,
author = {Koen Claessen},
editor = {Tom Schrijvers},
title = {Finger trees explained anew, and slightly simplified (functional pearl)},
booktitle = {Proceedings of the 13th {ACM} {SIGPLAN} International Symposium on
Haskell, Haskell@ICFP 2020, Virtual Event, USA, August 7, 2020},
pages = {31--38},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3406088.3409026},
doi = {10.1145/3406088.3409026},
timestamp = {Sun, 25 Oct 2020 23:03:01 +0100},
biburl = {https://dblp.org/rec/conf/haskell/Claessen20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/ValliappanKRC20,
author = {Nachiappan Valliappan and
Robert Krook and
Alejandro Russo and
Koen Claessen},
editor = {Tom Schrijvers},
title = {Towards secure IoT programming in Haskell},
booktitle = {Proceedings of the 13th {ACM} {SIGPLAN} International Symposium on
Haskell, Haskell@ICFP 2020, Virtual Event, USA, August 7, 2020},
pages = {136--150},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3406088.3409027},
doi = {10.1145/3406088.3409027},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/haskell/ValliappanKRC20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/case/ThonnessenSFCK19,
author = {David Th{\"{o}}nnessen and
Nick Smallbone and
Martin Fabian and
Koen Claessen and
Stefan Kowalewski},
title = {Testing Safety PLCs Using QuickCheck},
booktitle = {15th {IEEE} International Conference on Automation Science and Engineering,
{CASE} 2019, Vancouver, BC, Canada, August 22-26, 2019},
pages = {1--6},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/COASE.2019.8843227},
doi = {10.1109/COASE.2019.8843227},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/case/ThonnessenSFCK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/AronssonCSS19,
author = {Markus Aronsson and
Koen Claessen and
Mary Sheeran and
Nicholas Smallbone},
editor = {Marco Zocca},
title = {Safety at speed: in-place array algorithms from pure functional programs
by safely re-using storage},
booktitle = {Proceedings of the 8th {ACM} {SIGPLAN} International Workshop on Functional
High-Performance and Numerical Computing, FHPNC@ICFP 2019, Berlin,
Germany, August 18, 2019},
pages = {34--46},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3331553.3342616},
doi = {10.1145/3331553.3342616},
timestamp = {Mon, 23 Aug 2021 14:42:04 +0200},
biburl = {https://dblp.org/rec/conf/icfp/AronssonCSS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/LutebergetCJ19,
author = {Bj{\o}rnar Luteberget and
Koen Claessen and
Christian Johansen},
editor = {Wolfgang Ahrendt and
Silvia Lizeth Tapia Tarifa},
title = {Automated Drawing of Railway Schematics Using Numerical Optimization
in {SAT}},
booktitle = {Integrated Formal Methods - 15th International Conference, {IFM} 2019,
Bergen, Norway, December 2-6, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11918},
pages = {341--359},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-34968-4\_19},
doi = {10.1007/978-3-030-34968-4\_19},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/LutebergetCJ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nodalida/LilliestromCS19,
author = {Ann Lilliestr{\"{o}}m and
Koen Claessen and
Nicholas Smallbone},
editor = {Mareike Hartmann and
Barbara Plank},
title = {Inferring morphological rules from small examples using 0/1 linear
programming},
booktitle = {Proceedings of the 22nd Nordic Conference on Computational Linguistics,
NoDaLiDa 2019, Turku, Finland, September 30 - October 2, 2019},
pages = {164--174},
publisher = {Link{\"{o}}ping University Electronic Press},
year = {2019},
url = {https://aclanthology.org/W19-6118/},
timestamp = {Thu, 05 Aug 2021 17:36:17 +0200},
biburl = {https://dblp.org/rec/conf/nodalida/LilliestromCS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1910-08306,
author = {Johan Lid{\'{e}}n Eddeland and
Koen Claessen and
Nicholas Smallbone and
Zahra Ramezani and
Sajed Miremadi and
Knut {\AA}kesson},
title = {Enhancing Temporal Logic Falsification with Specification Transformation
and Valued Booleans},
journal = {CoRR},
volume = {abs/1910.08306},
year = {2019},
url = {http://arxiv.org/abs/1910.08306},
eprinttype = {arXiv},
eprint = {1910.08306},
timestamp = {Wed, 25 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1910-08306.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/ClaessenS18,
author = {Koen Claessen and
Nicholas Smallbone},
editor = {Didier Galmiche and
Stephan Schulz and
Roberto Sebastiani},
title = {Efficient Encodings of First-Order Horn Formulas in Equational Logic},
booktitle = {Automated Reasoning - 9th International Joint Conference, {IJCAR}
2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford,
UK, July 14-17, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10900},
pages = {388--404},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-94205-6\_26},
doi = {10.1007/978-3-319-94205-6\_26},
timestamp = {Mon, 28 Aug 2023 21:17:45 +0200},
biburl = {https://dblp.org/rec/conf/cade/ClaessenS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpsweek/ClaessenSERAM18,
author = {Koen Claessen and
Nicholas Smallbone and
Johan Lid{\'{e}}n Eddeland and
Zahra Ramezani and
Knut {\AA}kesson and
Sajed Miremadi},
title = {Applying Valued Booleans in Testing of Cyber-Physical Systems},
booktitle = {3rd Workshop on Monitoring and Testing of Cyber-Physical Systems,
MT@CPSWeek 2018, Porto, Portugal, April 10, 2018},
pages = {8--9},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/MT-CPS.2018.00011},
doi = {10.1109/MT-CPS.2018.00011},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cpsweek/ClaessenSERAM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/LutebergetCJ18,
author = {Bj{\o}rnar Luteberget and
Koen Claessen and
Christian Johansen},
editor = {Nikolaj S. Bj{\o}rner and
Arie Gurfinkel},
title = {Design-Time Railway Capacity Verification using {SAT} modulo Discrete
Event Simulation},
booktitle = {2018 Formal Methods in Computer Aided Design, {FMCAD} 2018, Austin,
TX, USA, October 30 - November 2, 2018},
pages = {1--9},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.23919/FMCAD.2018.8603003},
doi = {10.23919/FMCAD.2018.8603003},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/LutebergetCJ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/SmallboneJCA17,
author = {Nicholas Smallbone and
Moa Johansson and
Koen Claessen and
Maximilian Algehed},
title = {Quick specifications for the busy programmer},
journal = {J. Funct. Program.},
volume = {27},
pages = {e18},
year = {2017},
url = {https://doi.org/10.1017/S0956796817000090},
doi = {10.1017/S0956796817000090},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/SmallboneJCA17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/AlgehedCJS17,
author = {Maximilian Algehed and
Koen Claessen and
Moa Johansson and
Nicholas Smallbone},
editor = {Iavor S. Diatchki},
title = {QuickSpec: a lightweight theory exploration tool for programmers (system
demonstration)},
booktitle = {Proceedings of the 10th {ACM} {SIGPLAN} International Symposium on
Haskell, Oxford, United Kingdom, September 7-8, 2017},
pages = {38--39},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3122955.3122960},
doi = {10.1145/3122955.3122960},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/haskell/AlgehedCJS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/ClaessenKKL17,
author = {Koen Claessen and
Jonatan Kilhamn and
Laura Kov{\'{a}}cs and
Bengt Lennartson},
editor = {Ofer Strichman and
Rachel Tzoref{-}Brill},
title = {A Supervisory Control Algorithm Based on Property-Directed Reachability},
booktitle = {Hardware and Software: Verification and Testing - 13th International
Haifa Verification Conference, {HVC} 2017, Haifa, Israel, November
13-15, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10629},
pages = {115--130},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-70389-3\_8},
doi = {10.1007/978-3-319-70389-3\_8},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hvc/ClaessenKKL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1711-06501,
author = {Koen Claessen and
Jonatan Kilhamn and
Laura Kov{\'{a}}cs and
Bengt Lennartson},
title = {A Supervisory Control Algorithm Based on Property-Directed Reachability},
journal = {CoRR},
volume = {abs/1711.06501},
year = {2017},
url = {http://arxiv.org/abs/1711.06501},
eprinttype = {arXiv},
eprint = {1711.06501},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1711-06501.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/ClaessenL16,
author = {Koen Claessen and
Ann Lilliestr{\"{o}}m},
editor = {Pascal Fontaine and
Stephan Schulz and
Josef Urban},
title = {Alternative Treatments of Common Binary Relations in First-order Automated
Reasoning},
booktitle = {Proceedings of the 5th Workshop on Practical Aspects of Automated
Reasoning co-located with International Joint Conference on Automated
Reasoning {(IJCAR} 2016), Coimbra, Portugal, July 2nd, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1635},
pages = {11--23},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1635/paper-02.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:14 +0100},
biburl = {https://dblp.org/rec/conf/cade/ClaessenL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/PloegCB16,
author = {Atze van der Ploeg and
Koen Claessen and
Pablo Buiras},
editor = {Geoffrey Mainland},
title = {The Key monad: type-safe unconstrained dynamic typing},
booktitle = {Proceedings of the 9th International Symposium on Haskell, Haskell
2016, Nara, Japan, September 22-23, 2016},
pages = {146--157},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2976002.2976008},
doi = {10.1145/2976002.2976008},
timestamp = {Tue, 06 Nov 2018 16:58:22 +0100},
biburl = {https://dblp.org/rec/conf/haskell/PloegCB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/KaracsonyC16,
author = {M{\'{a}}t{\'{e}} Kar{\'{a}}csony and
Koen Claessen},
editor = {David Duke and
Yukiyoshi Kameyama},
title = {Using fusion to enable late design decisions for pipelined computations},
booktitle = {Proceedings of the 5th International Workshop on Functional High-Performance
Computing, FHPC@ICFP 2016, Nara, Japan, September 22, 2016},
pages = {9--16},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2975991.2975993},
doi = {10.1145/2975991.2975993},
timestamp = {Tue, 06 Nov 2018 16:59:24 +0100},
biburl = {https://dblp.org/rec/conf/icfp/KaracsonyC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lrec/ListenmaaC16,
author = {Inari Listenmaa and
Koen Claessen},
editor = {Nicoletta Calzolari and
Khalid Choukri and
Thierry Declerck and
Sara Goggi and
Marko Grobelnik and
Bente Maegaard and
Joseph Mariani and
H{\'{e}}l{\`{e}}ne Mazo and
Asunci{\'{o}}n Moreno and
Jan Odijk and
Stelios Piperidis},
title = {Analysing Constraint Grammars with a SAT-solver},
booktitle = {Proceedings of the Tenth International Conference on Language Resources
and Evaluation {LREC} 2016, Portoro{\v{z}}, Slovenia, May 23-28, 2016},
publisher = {European Language Resources Association {(ELRA)}},
year = {2016},
url = {http://www.lrec-conf.org/proceedings/lrec2016/summaries/799.html},
timestamp = {Mon, 19 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lrec/ListenmaaC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/BernardyC15,
author = {Jean{-}Philippe Bernardy and
Koen Claessen},
title = {Efficient parallel and incremental parsing of practical context-free
languages},
journal = {J. Funct. Program.},
volume = {25},
year = {2015},
url = {https://doi.org/10.1017/S0956796815000131},
doi = {10.1017/S0956796815000131},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/BernardyC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/ClaessenDP15,
author = {Koen Claessen and
Jonas Dureg{\aa}rd and
Michal H. Palka},
title = {Generating constrained random data with uniform distribution},
journal = {J. Funct. Program.},
volume = {25},
year = {2015},
url = {https://doi.org/10.1017/S0956796815000143},
doi = {10.1017/S0956796815000143},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/ClaessenDP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/FetscherCPHF15,
author = {Burke Fetscher and
Koen Claessen and
Michal H. Palka and
John Hughes and
Robert Bruce Findler},
editor = {Jan Vitek},
title = {Making Random Judgments: Automatically Generating Well-Typed Terms
from the Definition of a Type-System},
booktitle = {Programming Languages and Systems - 24th European Symposium on Programming,
{ESOP} 2015, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2015, London, UK, April 11-18, 2015.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9032},
pages = {383--405},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-46669-8\_16},
doi = {10.1007/978-3-662-46669-8\_16},
timestamp = {Wed, 02 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esop/FetscherCPHF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/PloegC15,
author = {Atze van der Ploeg and
Koen Claessen},
editor = {Kathleen Fisher and
John H. Reppy},
title = {Practical principled {FRP:} forget the past, change the future, FRPNow!},
booktitle = {Proceedings of the 20th {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2015, Vancouver, BC, Canada, September
1-3, 2015},
pages = {302--314},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2784731.2784752},
doi = {10.1145/2784731.2784752},
timestamp = {Wed, 23 Jun 2021 16:58:51 +0200},
biburl = {https://dblp.org/rec/conf/icfp/PloegC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/ClaessenR15,
author = {Koen Claessen and
Dan Ros{\'{e}}n},
editor = {Martin Davis and
Ansgar Fehnker and
Annabelle McIver and
Andrei Voronkov},
title = {{SAT} Modulo Intuitionistic Implications},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 20th
International Conference, {LPAR-20} 2015, Suva, Fiji, November 24-28,
2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9450},
pages = {622--637},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-48899-7\_43},
doi = {10.1007/978-3-662-48899-7\_43},
timestamp = {Mon, 03 Jan 2022 22:31:30 +0100},
biburl = {https://dblp.org/rec/conf/lpar/ClaessenR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/ClaessenJRS15,
author = {Koen Claessen and
Moa Johansson and
Dan Ros{\'{e}}n and
Nicholas Smallbone},
editor = {Manfred Kerber and
Jacques Carette and
Cezary Kaliszyk and
Florian Rabe and
Volker Sorge},
title = {{TIP:} Tons of Inductive Problems},
booktitle = {Intelligent Computer Mathematics - International Conference, {CICM}
2015, Washington, DC, USA, July 13-17, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9150},
pages = {333--337},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-20615-8\_23},
doi = {10.1007/978-3-319-20615-8\_23},
timestamp = {Fri, 20 Nov 2020 16:08:54 +0100},
biburl = {https://dblp.org/rec/conf/mkm/ClaessenJRS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BransenBCD15,
author = {Jeroen Bransen and
L. Thomas van Binsbergen and
Koen Claessen and
Atze Dijkstra},
editor = {Christel Baier and
Cesare Tinelli},
title = {Linearly Ordered Attribute Grammar Scheduling Using SAT-Solving},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 21st International Conference, {TACAS} 2015, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2015, London, UK, April 11-18, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9035},
pages = {289--303},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-46681-0\_24},
doi = {10.1007/978-3-662-46681-0\_24},
timestamp = {Sat, 30 Sep 2023 09:57:43 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BransenBCD15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/ClaessenDP14,
author = {Koen Claessen and
Jonas Dureg{\aa}rd and
Michal H. Palka},
editor = {Michael Codish and
Eijiro Sumii},
title = {Generating Constrained Random Data with Uniform Distribution},
booktitle = {Functional and Logic Programming - 12th International Symposium, {FLOPS}
2014, Kanazawa, Japan, June 4-6, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8475},
pages = {18--34},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-07151-0\_2},
doi = {10.1007/978-3-319-07151-0\_2},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/flops/ClaessenDP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/EkbladC14,
author = {Anton Ekblad and
Koen Claessen},
editor = {Wouter Swierstra},
title = {A seamless, client-centric programming model for type safe web applications},
booktitle = {Proceedings of the 2014 {ACM} {SIGPLAN} symposium on Haskell, Gothenburg,
Sweden, September 4-5, 2014},
pages = {79--89},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2633357.2633367},
doi = {10.1145/2633357.2633367},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/haskell/EkbladC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/JohanssonRSC14,
author = {Moa Johansson and
Dan Ros{\'{e}}n and
Nicholas Smallbone and
Koen Claessen},
editor = {Stephen M. Watt and
James H. Davenport and
Alan P. Sexton and
Petr Sojka and
Josef Urban},
title = {Hipster: Integrating Theory Exploration in a Proof Assistant},
booktitle = {Intelligent Computer Mathematics - International Conference, {CICM}
2014, Coimbra, Portugal, July 7-11, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8543},
pages = {108--122},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08434-3\_9},
doi = {10.1007/978-3-319-08434-3\_9},
timestamp = {Wed, 16 Mar 2022 23:55:39 +0100},
biburl = {https://dblp.org/rec/conf/mkm/JohanssonRSC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/JohanssonRSC14,
author = {Moa Johansson and
Dan Ros{\'{e}}n and
Nicholas Smallbone and
Koen Claessen},
title = {Hipster: Integrating Theory Exploration in a Proof Assistant},
journal = {CoRR},
volume = {abs/1405.3426},
year = {2014},
url = {http://arxiv.org/abs/1405.3426},
eprinttype = {arXiv},
eprint = {1405.3426},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/JohanssonRSC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/ClaessenJRS13,
author = {Koen Claessen and
Moa Johansson and
Dan Ros{\'{e}}n and
Nicholas Smallbone},
editor = {Maria Paola Bonacina},
title = {Automating Inductive Proofs Using Theory Exploration},
booktitle = {Automated Deduction - {CADE-24} - 24th International Conference on
Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7898},
pages = {392--406},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38574-2\_27},
doi = {10.1007/978-3-642-38574-2\_27},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/ClaessenJRS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/ClaessenFIPW13,
author = {Koen Claessen and
Jasmin Fisher and
Samin Ishtiaq and
Nir Piterman and
Qinsi Wang},
editor = {Natasha Sharygina and
Helmut Veith},
title = {Model-Checking Signal Transduction Networks through Decreasing Reachability
Sets},
booktitle = {Computer Aided Verification - 25th International Conference, {CAV}
2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8044},
pages = {85--100},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39799-8\_5},
doi = {10.1007/978-3-642-39799-8\_5},
timestamp = {Wed, 07 Dec 2022 23:12:58 +0100},
biburl = {https://dblp.org/rec/conf/cav/ClaessenFIPW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/ClaessenES13,
author = {Koen Claessen and
Niklas E{\'{e}}n and
Baruch Sterin},
title = {A circuit approach to {LTL} model checking},
booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2013, Portland, OR,
USA, October 20-23, 2013},
pages = {53--60},
publisher = {{IEEE}},
year = {2013},
url = {https://ieeexplore.ieee.org/document/6679391/},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/ClaessenES13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/ClaessenP13,
author = {Koen Claessen and
Michal H. Palka},
editor = {Chung{-}chieh Shan},
title = {Splittable pseudorandom number generators using cryptographic hashing},
booktitle = {Proceedings of the 2013 {ACM} {SIGPLAN} Symposium on Haskell, Boston,
MA, USA, September 23-24, 2013},
pages = {47--58},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2503778.2503784},
doi = {10.1145/2503778.2503784},
timestamp = {Thu, 24 Jun 2021 16:19:29 +0200},
biburl = {https://dblp.org/rec/conf/haskell/ClaessenP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/BernardyC13,
author = {Jean{-}Philippe Bernardy and
Koen Claessen},
editor = {Greg Morrisett and
Tarmo Uustalu},
title = {Efficient divide-and-conquer parsing of practical context-free languages},
booktitle = {{ACM} {SIGPLAN} International Conference on Functional Programming,
ICFP'13, Boston, MA, {USA} - September 25 - 27, 2013},
pages = {111--122},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2500365.2500576},
doi = {10.1145/2500365.2500576},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/icfp/BernardyC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/AxelssonC13,
author = {Emil Axelsson and
Koen Claessen},
editor = {Greg Morrisett and
Tarmo Uustalu},
title = {Using circular programs for higher-order syntax: functional pearl},
booktitle = {{ACM} {SIGPLAN} International Conference on Functional Programming,
ICFP'13, Boston, MA, {USA} - September 25 - 27, 2013},
pages = {257--262},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2500365.2500614},
doi = {10.1145/2500365.2500614},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/AxelssonC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/VytiniotisJCR13,
author = {Dimitrios Vytiniotis and
Simon L. Peyton Jones and
Koen Claessen and
Dan Ros{\'{e}}n},
editor = {Roberto Giacobazzi and
Radhia Cousot},
title = {{HALO:} haskell to logic through denotational semantics},
booktitle = {The 40th Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of
Programming Languages, {POPL} '13, Rome, Italy - January 23 - 25,
2013},
pages = {431--442},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2429069.2429121},
doi = {10.1145/2429069.2429121},
timestamp = {Thu, 24 Jun 2021 16:19:31 +0200},
biburl = {https://dblp.org/rec/conf/popl/VytiniotisJCR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/ClaessenJRS12,
author = {Koen Claessen and
Moa Johansson and
Dan Ros{\'{e}}n and
Nicholas Smallbone},
editor = {Jacques D. Fleuriot and
Peter H{\"{o}}fner and
Annabelle McIver and
Alan Smaill},
title = {HipSpec: Automating Inductive Proofs of Program Properties},
booktitle = {ATx'12/WInG'12: Joint Proceedings of the Workshops on Automated Theory
eXploration and on Invariant Generation, Manchester, UK, June 2012},
series = {EPiC Series in Computing},
volume = {17},
pages = {16--25},
publisher = {EasyChair},
year = {2012},
url = {https://doi.org/10.29007/3qwr},
doi = {10.29007/3QWR},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/ClaessenJRS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/ClaessenS12,
author = {Koen Claessen and
Niklas S{\"{o}}rensson},
editor = {Gianpiero Cabodi and
Satnam Singh},
title = {A liveness checking algorithm that counts},
booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2012, Cambridge,
UK, October 22-25, 2012},
pages = {52--59},
publisher = {{IEEE}},
year = {2012},
url = {https://ieeexplore.ieee.org/document/6462555/},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/ClaessenS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/Claessen12,
author = {Koen Claessen},
editor = {Janis Voigtl{\"{a}}nder},
title = {Shrinking and showing functions: \emph{(functional pearl)}},
booktitle = {Proceedings of the 5th {ACM} {SIGPLAN} Symposium on Haskell, Haskell
2012, Copenhagen, Denmark, 13 September 2012},
pages = {73--80},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2364506.2364516},
doi = {10.1145/2364506.2364516},
timestamp = {Thu, 24 Jun 2021 16:19:29 +0200},
biburl = {https://dblp.org/rec/conf/haskell/Claessen12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/SutcliffeSCB12,
author = {Geoff Sutcliffe and
Stephan Schulz and
Koen Claessen and
Peter Baumgartner},
editor = {Nikolaj S. Bj{\o}rner and
Andrei Voronkov},
title = {The {TPTP} Typed First-Order Form with Arithmetic},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 18th
International Conference, LPAR-18, M{\'{e}}rida, Venezuela, March
11-15, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7180},
pages = {406--419},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28717-6\_32},
doi = {10.1007/978-3-642-28717-6\_32},
timestamp = {Thu, 14 Apr 2022 20:26:15 +0200},
biburl = {https://dblp.org/rec/conf/lpar/SutcliffeSCB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/ClaessenSS12,
author = {Koen Claessen and
Mary Sheeran and
Joel Svensson},
editor = {Umut A. Acar and
V{\'{\i}}tor Santos Costa},
title = {Expressive array constructs in an embedded {GPU} kernel programming
language},
booktitle = {Proceedings of the {POPL} 2012 Workshop on Declarative Aspects of
Multicore Programming, {DAMP} 2012, Philadelphia, PA, USA, Saturday,
January 28, 2012},
pages = {21--30},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2103736.2103740},
doi = {10.1145/2103736.2103740},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/ClaessenSS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/plpv/2012,
editor = {Koen Claessen and
Nikhil Swamy},
title = {Proceedings of the sixth workshop on Programming Languages meets Program
Verification, {PLPV} 2012, Philadelphia, PA, USA, January 24, 2012},
publisher = {{ACM}},
year = {2012},
isbn = {978-1-4503-1125-0},
timestamp = {Fri, 27 Jan 2012 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/plpv/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/ClaessenL11,
author = {Koen Claessen and
Ann Lilliestr{\"{o}}m},
title = {Automated Inference of Finite Unsatisfiability},
journal = {J. Autom. Reason.},
volume = {47},
number = {2},
pages = {111--132},
year = {2011},
url = {https://doi.org/10.1007/s10817-010-9216-8},
doi = {10.1007/S10817-010-9216-8},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jar/ClaessenL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Claessen11,
author = {Koen Claessen},
editor = {Nikolaj S. Bj{\o}rner and
Viorica Sofronie{-}Stokkermans},
title = {The Anatomy of Equinox - An Extensible Automated Reasoning Tool for
First-Order Logic and Beyond - (Talk Abstract)},
booktitle = {Automated Deduction - {CADE-23} - 23rd International Conference on
Automated Deduction, Wroclaw, Poland, July 31 - August 5, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6803},
pages = {1--3},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22438-6\_1},
doi = {10.1007/978-3-642-22438-6\_1},
timestamp = {Mon, 28 Aug 2023 21:17:45 +0200},
biburl = {https://dblp.org/rec/conf/cade/Claessen11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/ClaessenLS11,
author = {Koen Claessen and
Ann Lilliestr{\"{o}}m and
Nicholas Smallbone},
editor = {Nikolaj S. Bj{\o}rner and
Viorica Sofronie{-}Stokkermans},
title = {Sort It Out with Monotonicity - Translating between Many-Sorted and
Unsorted First-Order Logic},
booktitle = {Automated Deduction - {CADE-23} - 23rd International Conference on
Automated Deduction, Wroclaw, Poland, July 31 - August 5, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6803},
pages = {207--221},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22438-6\_17},
doi = {10.1007/978-3-642-22438-6\_17},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/ClaessenLS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/PalkaCRH11,
author = {Michal H. Palka and
Koen Claessen and
Alejandro Russo and
John Hughes},
editor = {Antonia Bertolino and
Howard Foster and
J. Jenny Li},
title = {Testing an optimising compiler by generating random lambda terms},
booktitle = {Proceedings of the 6th International Workshop on Automation of Software
Test, {AST} 2011, Waikiki, Honolulu, HI, USA, May 23-24, 2011},
pages = {91--97},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1982595.1982615},
doi = {10.1145/1982595.1982615},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/PalkaCRH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/haskell/2011,
editor = {Koen Claessen},
title = {Proceedings of the 4th {ACM} {SIGPLAN} Symposium on Haskell, Haskell
2011, Tokyo, Japan, 22 September 2011},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2034675},
doi = {10.1145/2034675},
isbn = {978-1-4503-0860-1},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/haskell/2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/BernardyJC10,
author = {Jean{-}Philippe Bernardy and
Patrik Jansson and
Koen Claessen},
editor = {Andrew D. Gordon},
title = {Testing Polymorphic Properties},
booktitle = {Programming Languages and Systems, 19th European Symposium on Programming,
{ESOP} 2010, Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2010, Paphos, Cyprus, March 20-28,
2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6012},
pages = {125--144},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11957-6\_8},
doi = {10.1007/978-3-642-11957-6\_8},
timestamp = {Mon, 14 Feb 2022 09:20:30 +0100},
biburl = {https://dblp.org/rec/conf/esop/BernardyJC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ClaessenHPSS10,
author = {Koen Claessen and
John Hughes and
Michal H. Palka and
Nicholas Smallbone and
Hans Svensson},
editor = {Hong Zhu and
W. K. Chan and
Christof J. Budnik and
Gregory M. Kapfhammer},
title = {Ranking programs using black box testing},
booktitle = {The 5th Workshop on Automation of Software Test, {AST} 2010, May 3-4,
2010, Cape Town, South Africa},
pages = {103--110},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1808266.1808282},
doi = {10.1145/1808266.1808282},
timestamp = {Wed, 02 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/ClaessenHPSS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/AxelssonCSSEP10,
author = {Emil Axelsson and
Koen Claessen and
Mary Sheeran and
Josef Svenningsson and
David Engdal and
Anders Persson},
editor = {Jurriaan Hage and
Marco T. Moraz{\'{a}}n},
title = {The Design and Implementation of Feldspar - An Embedded Language for
Digital Signal Processing},
booktitle = {Implementation and Application of Functional Languages - 22nd International
Symposium, {IFL} 2010, Alphen aan den Rijn, The Netherlands, September
1-3, 2010, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6647},
pages = {121--136},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-24276-2\_8},
doi = {10.1007/978-3-642-24276-2\_8},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/ifl/AxelssonCSSEP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/BlanchetteC10,
author = {Jasmin Christian Blanchette and
Koen Claessen},
editor = {Christian G. Ferm{\"{u}}ller and
Andrei Voronkov},
title = {Generating Counterexamples for Structural Inductions by Exploiting
Nonstandard Models},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 17th
International Conference, LPAR-17, Yogyakarta, Indonesia, October
10-15, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6397},
pages = {127--141},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16242-8\_10},
doi = {10.1007/978-3-642-16242-8\_10},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/BlanchetteC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/AxelssonCDHKLPSSV10,
author = {Emil Axelsson and
Koen Claessen and
Gergely D{\'{e}}vai and
Zolt{\'{a}}n Horv{\'{a}}th and
Karin Keijzer and
Bo Lyckeg{\aa}rd and
Anders Persson and
Mary Sheeran and
Josef Svenningsson and
Andr{\'{a}}s Vajda},
title = {Feldspar: {A} domain specific language for digital signal processing
algorithms},
booktitle = {8th {ACM/IEEE} International Conference on Formal Methods and Models
for Codesign {(MEMOCODE} 2010), Grenoble, France, 26-28 July 2010},
pages = {169--178},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/MEMCOD.2010.5558637},
doi = {10.1109/MEMCOD.2010.5558637},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/AxelssonCDHKLPSSV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/ClaessenSH10,
author = {Koen Claessen and
Nicholas Smallbone and
John Hughes},
editor = {Gordon Fraser and
Angelo Gargantini},
title = {QuickSpec: Guessing Formal Specifications Using Testing},
booktitle = {Tests and Proofs - 4th International Conference, TAP@TOOLS 2010, M{\'{a}}laga,
Spain, July 1-2, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6143},
pages = {6--21},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13977-2\_3},
doi = {10.1007/978-3-642-13977-2\_3},
timestamp = {Wed, 02 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tap/ClaessenSH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/procedia/SvenssonCS10,
author = {Joel Svensson and
Koen Claessen and
Mary Sheeran},
editor = {Peter M. A. Sloot and
G. Dick van Albada and
Jack J. Dongarra},
title = {{GPGPU} kernel implementation and refinement using Obsidian},
booktitle = {Proceedings of the International Conference on Computational Science,
{ICCS} 2010, University of Amsterdam, The Netherlands, May 31 - June
2, 2010},
series = {Procedia Computer Science},
volume = {1},
number = {1},
pages = {2065--2074},
publisher = {Elsevier},
year = {2010},
url = {https://doi.org/10.1016/j.procs.2010.04.231},
doi = {10.1016/J.PROCS.2010.04.231},
timestamp = {Thu, 08 Jul 2021 14:29:22 +0200},
biburl = {https://dblp.org/rec/journals/procedia/SvenssonCS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0901-2518,
author = {Koen Claessen and
Jan{-}Willem Roorda},
title = {A Faithful Semantics for Generalised Symbolic Trajectory Evaluation},
journal = {Log. Methods Comput. Sci.},
volume = {5},
number = {2},
year = {2009},
url = {http://arxiv.org/abs/0901.2518},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0901-2518.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/deds/ClaessenESSVA09,
author = {Koen Claessen and
Niklas E{\'{e}}n and
Mary Sheeran and
Niklas S{\"{o}}rensson and
Alexey Voronov and
Knut {\AA}kesson},
title = {SAT-Solving in Practice, with a Tutorial Example from Supervisory
Control},
journal = {Discret. Event Dyn. Syst.},
volume = {19},
number = {4},
pages = {495--524},
year = {2009},
url = {https://doi.org/10.1007/s10626-009-0081-8},
doi = {10.1007/S10626-009-0081-8},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/deds/ClaessenESSVA09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/Claessen09,
author = {Koen Claessen},
editor = {Zhenjiang Hu},
title = {The Twilight Zone: From Testing to Formal Specifications and Back
Again},
booktitle = {Programming Languages and Systems, 7th Asian Symposium, {APLAS} 2009,
Seoul, Korea, December 14-16, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5904},
pages = {1},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-10672-9\_1},
doi = {10.1007/978-3-642-10672-9\_1},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/aplas/Claessen09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/ClaessenL09,
author = {Koen Claessen and
Ann Lilliestr{\"{o}}m},
editor = {Renate A. Schmidt},
title = {Automated Inference of Finite Unsatisfiability},
booktitle = {Automated Deduction - CADE-22, 22nd International Conference on Automated
Deduction, Montreal, Canada, August 2-7, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5663},
pages = {388--403},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02959-2\_29},
doi = {10.1007/978-3-642-02959-2\_29},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/ClaessenL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/ClaessenPSHSAW09,
author = {Koen Claessen and
Michal H. Palka and
Nicholas Smallbone and
John Hughes and
Hans Svensson and
Thomas Arts and
Ulf T. Wiger},
editor = {Graham Hutton and
Andrew P. Tolmach},
title = {Finding race conditions in Erlang with QuickCheck and {PULSE}},
booktitle = {Proceeding of the 14th {ACM} {SIGPLAN} international conference on
Functional programming, {ICFP} 2009, Edinburgh, Scotland, UK, August
31 - September 2, 2009},
pages = {149--160},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1596550.1596574},
doi = {10.1145/1596550.1596574},
timestamp = {Wed, 02 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfp/ClaessenPSHSAW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/XuJC09,
author = {Dana N. Xu and
Simon L. Peyton Jones and
Koen Claessen},
editor = {Zhong Shao and
Benjamin C. Pierce},
title = {Static contract checking for Haskell},
booktitle = {Proceedings of the 36th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2009, Savannah, GA, USA, January
21-23, 2009},
pages = {41--52},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1480881.1480889},
doi = {10.1145/1480881.1480889},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/popl/XuJC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/RussoCH08,
author = {Alejandro Russo and
Koen Claessen and
John Hughes},
editor = {Andy Gill},
title = {A library for light-weight information-flow security in haskell},
booktitle = {Proceedings of the 1st {ACM} {SIGPLAN} Symposium on Haskell, Haskell
2008, Victoria, BC, Canada, 25 September 2008},
pages = {13--24},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1411286.1411289},
doi = {10.1145/1411286.1411289},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/haskell/RussoCH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/SvenssonSC08,
author = {Joel Svensson and
Mary Sheeran and
Koen Claessen},
editor = {Sven{-}Bodo Scholz and
Olaf Chitil},
title = {Obsidian: {A} Domain Specific Embedded Language for Parallel Programming
of Graphics Processors},
booktitle = {Implementation and Application of Functional Languages - 20th International
Symposium, {IFL} 2008, Hatfield, UK, September 10-12, 2008. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5836},
pages = {156--173},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-24452-0\_9},
doi = {10.1007/978-3-642-24452-0\_9},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/ifl/SvenssonSC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/ClaessenS08,
author = {Koen Claessen and
Hans Svensson},
editor = {Bernhard Beckert and
Reiner H{\"{a}}hnle},
title = {Finding Counter Examples in Induction Proofs},
booktitle = {Tests and Proofs - 2nd International Conference, {TAP} 2008, Prato,
Italy, April 9-11, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4966},
pages = {48--65},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-79124-9\_5},
doi = {10.1007/978-3-540-79124-9\_5},
timestamp = {Tue, 23 Jun 2020 17:02:04 +0200},
biburl = {https://dblp.org/rec/conf/tap/ClaessenS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/Claessen07,
author = {Koen Claessen},
title = {A Coverage Analysis for Safety Property Lists},
booktitle = {Formal Methods in Computer-Aided Design, 7th International Conference,
{FMCAD} 2007, Austin, Texas, USA, November 11-14, 2007, Proceedings},
pages = {139--145},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/FAMCAD.2007.32},
doi = {10.1109/FAMCAD.2007.32},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/Claessen07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/SutcliffeSCG06,
author = {Geoff Sutcliffe and
Stephan Schulz and
Koen Claessen and
Allen Van Gelder},
editor = {Ulrich Furbach and
Natarajan Shankar},
title = {Using the {TPTP} Language for Writing Derivations and Finite Interpretations},
booktitle = {Automated Reasoning, Third International Joint Conference, {IJCAR}
2006, Seattle, WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4130},
pages = {67--81},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11814771\_7},
doi = {10.1007/11814771\_7},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/SutcliffeSCG06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/RoordaC06,
author = {Jan{-}Willem Roorda and
Koen Claessen},
editor = {Thomas Ball and
Robert B. Jones},
title = {SAT-Based Assistance in Abstraction Refinement for Symbolic Trajectory
Evaluation},
booktitle = {Computer Aided Verification, 18th International Conference, {CAV}
2006, Seattle, WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4144},
pages = {175--189},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11817963\_19},
doi = {10.1007/11817963\_19},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/RoordaC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csr/RoordaC06,
author = {Jan{-}Willem Roorda and
Koen Claessen},
editor = {Dima Grigoriev and
John Harrison and
Edward A. Hirsch},
title = {Explaining Symbolic Trajectory Evaluation by Giving It a Faithful
Semantics},
booktitle = {Computer Science - Theory and Applications, First International Symposium
on Computer Science in Russia, {CSR} 2006, St. Petersburg, Russia,
June 8-12, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3967},
pages = {555--566},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11753728\_56},
doi = {10.1007/11753728\_56},
timestamp = {Tue, 29 Nov 2022 13:36:56 +0100},
biburl = {https://dblp.org/rec/conf/csr/RoordaC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/ClaessenR06,
author = {Koen Claessen and
Jan{-}Willem Roorda},
editor = {Marco Bernardo and
Alessandro Cimatti},
title = {An Introduction to Symbolic Trajectory Evaluation},
booktitle = {Formal Methods for Hardware Verification, 6th International School
on Formal Methods for the Design of Computer, Communication, and Software
Systems, {SFM} 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {3965},
pages = {56--77},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11757283\_3},
doi = {10.1007/11757283\_3},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/sfm/ClaessenR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/AxelssonCS05,
author = {Emil Axelsson and
Koen Claessen and
Mary Sheeran},
editor = {Dominique Borrione and
Wolfgang J. Paul},
title = {Wired: Wire-Aware Circuit Design},
booktitle = {Correct Hardware Design and Verification Methods, 13th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2005, Saarbr{\"{u}}cken,
Germany, October 3-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3725},
pages = {5--19},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11560548\_4},
doi = {10.1007/11560548\_4},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/charme/AxelssonCS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/RoordaC05,
author = {Jan{-}Willem Roorda and
Koen Claessen},
editor = {Dominique Borrione and
Wolfgang J. Paul},
title = {A New SAT-Based Algorithm for Symbolic Trajectory Evaluation},
booktitle = {Correct Hardware Design and Verification Methods, 13th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2005, Saarbr{\"{u}}cken,
Germany, October 3-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3725},
pages = {238--253},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11560548\_19},
doi = {10.1007/11560548\_19},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/RoordaC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/erlang/ClaessenS05,
author = {Koen Claessen and
Hans Svensson},
editor = {Konstantinos Sagonas and
Joe Armstrong},
title = {A semantics for distributed Erlang},
booktitle = {Proceedings of the 2005 {ACM} {SIGPLAN} Workshop on Erlang, Tallinn,
Estonia, September 26-28, 2005},
pages = {78--87},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1088361.1088376},
doi = {10.1145/1088361.1088376},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/erlang/ClaessenS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Claessen04,
author = {Koen Claessen},
title = {Parallel Parsing Processes},
journal = {J. Funct. Program.},
volume = {14},
number = {6},
pages = {741--757},
year = {2004},
url = {https://doi.org/10.1017/S0956796804005192},
doi = {10.1017/S0956796804005192},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/Claessen04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fates/ArtsCS04,
author = {Thomas Arts and
Koen Claessen and
Hans Svensson},
editor = {Jens Grabowski and
Brian Nielsen},
title = {Semi-formal Development of a Fault-Tolerant Leader Election Protocol
in Erlang},
booktitle = {Formal Approaches to Software Testing, 4th International Workshop,
{FATES} 2004, Linz, Austria, September 21, 2004, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {3395},
pages = {140--154},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-31848-4\_10},
doi = {10.1007/978-3-540-31848-4\_10},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/fates/ArtsCS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/ClaessenM04,
author = {Koen Claessen and
Johan M{\aa}rtensson},
editor = {Alan J. Hu and
Andrew K. Martin},
title = {An Operational Semantics for Weak {PSL}},
booktitle = {Formal Methods in Computer-Aided Design, 5th International Conference,
{FMCAD} 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3312},
pages = {337--351},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30494-4\_24},
doi = {10.1007/978-3-540-30494-4\_24},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/ClaessenM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/ClaessenSS03,
author = {Koen Claessen and
Mary Sheeran and
Satnam Singh},
title = {Using Lava to design and verify recursive and periodic sorters},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {4},
number = {3},
pages = {349--358},
year = {2003},
url = {https://doi.org/10.1007/s10009-002-0089-y},
doi = {10.1007/S10009-002-0089-Y},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/ClaessenSS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Claessen04,
author = {Koen Claessen},
editor = {Florence Maraninchi and
Alain Girault and
{\'{E}}ric Rutten},
title = {Safety Property Verification of Cyclic Synchronous Circuits},
booktitle = {Synchronous Languages, Applications and Programming, {SLAP} 2003,
{A} Satellite Workshop of {ECRTS} 2003, Porto, Portugal, July 1, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {88},
pages = {55--69},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/j.entcs.2003.05.004},
doi = {10.1016/J.ENTCS.2003.05.004},
timestamp = {Wed, 07 Dec 2022 09:55:43 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Claessen04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/ClaessenP02,
author = {Koen Claessen and
Gordon J. Pace},
title = {An embedded language approach to teaching hardware compilation},
journal = {{ACM} {SIGPLAN} Notices},
volume = {37},
number = {12},
pages = {35--46},
year = {2002},
url = {https://doi.org/10.1145/636517.636526},
doi = {10.1145/636517.636526},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigplan/ClaessenP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/ClaessenH02,
author = {Koen Claessen and
John Hughes},
title = {Testing monadic code with QuickCheck},
journal = {{ACM} {SIGPLAN} Notices},
volume = {37},
number = {12},
pages = {47--59},
year = {2002},
url = {https://doi.org/10.1145/636517.636527},
doi = {10.1145/636517.636527},
timestamp = {Wed, 02 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigplan/ClaessenH02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/afp/ClaessenRCHW02,
author = {Koen Claessen and
Colin Runciman and
Olaf Chitil and
John Hughes and
Malcolm Wallace},
editor = {Johan Jeuring and
Simon L. Peyton Jones},
title = {Testing and Tracing Lazy Functional Programs Using QuickCheck and
Hat},
booktitle = {Advanced Functional Programming, 4th International School, {AFP} 2002,
Oxford, UK, August 19-24, 2002, Revised Lectures},
series = {Lecture Notes in Computer Science},
volume = {2638},
pages = {59--99},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-44833-4\_3},
doi = {10.1007/978-3-540-44833-4\_3},
timestamp = {Wed, 02 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/afp/ClaessenRCHW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/Claessen002,
author = {Koen Claessen and
John Hughes},
editor = {Manuel M. T. Chakravarty},
title = {Testing monadic code with QuickCheck},
booktitle = {Proceedings of the 2002 {ACM} {SIGPLAN} Workshop on Haskell, Haskell
2002, Pittsburgh, Pennsylvania, USA, October 3, 2002},
pages = {65--77},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/581690.581696},
doi = {10.1145/581690.581696},
timestamp = {Fri, 03 Jun 2022 10:46:18 +0200},
biburl = {https://dblp.org/rec/conf/haskell/Claessen002.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/basesearch/Claessen01,
author = {Koen Claessen},
title = {Embedded Languages for Describing and Verifying Hardware},
school = {Chalmers University of Technology, Gothenburg, Sweden},
year = {2001},
url = {http://publications.lib.chalmers.se/publication/636-embedded-languages-for-describing-and-verifying-hardware},
timestamp = {Tue, 14 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/phd/basesearch/Claessen01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/ClaessenSS01,
author = {Koen Claessen and
Mary Sheeran and
Satnam Singh},
editor = {Tiziana Margaria and
Thomas F. Melham},
title = {The Design and Verification of a Sorter Core},
booktitle = {Correct Hardware Design and Verification Methods, 11th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2001, Livingston,
Scotland, UK, September 4-7, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2144},
pages = {355--369},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44798-9\_28},
doi = {10.1007/3-540-44798-9\_28},
timestamp = {Sun, 02 Jun 2019 21:23:48 +0200},
biburl = {https://dblp.org/rec/conf/charme/ClaessenSS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/BjesseC00,
author = {Per Bjesse and
Koen Claessen},
editor = {Warren A. Hunt Jr. and
Steven D. Johnson},
title = {SAT-Based Verification without State Space Traversal},
booktitle = {Formal Methods in Computer-Aided Design, Third International Conference,
{FMCAD} 2000, Austin, Texas, USA, November 1-3, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1954},
pages = {372--389},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-40922-X\_23},
doi = {10.1007/3-540-40922-X\_23},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/BjesseC00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/ClaessenH00,
author = {Koen Claessen and
John Hughes},
editor = {Martin Odersky and
Philip Wadler},
title = {QuickCheck: a lightweight tool for random testing of Haskell programs},
booktitle = {Proceedings of the Fifth {ACM} {SIGPLAN} International Conference
on Functional Programming {(ICFP} '00), Montreal, Canada, September
18-21, 2000},
pages = {268--279},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/351240.351266},
doi = {10.1145/351240.351266},
timestamp = {Wed, 02 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfp/ClaessenH00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ClaessenL00,
author = {Koen Claessen and
Peter Ljungl{\"{o}}f},
editor = {Graham Hutton},
title = {Typed Logical Variables in Haskell},
booktitle = {Proceedings of the 2000 {ACM} {SIGPLAN} Workshop on Haskell, Haskell
2000, Satellite Event of {PLI} 2000, Montreal, Canada, September 17,
2000},
series = {Electronic Notes in Theoretical Computer Science},
volume = {41},
number = {1},
pages = {37},
publisher = {Elsevier},
year = {2000},
url = {https://doi.org/10.1016/S1571-0661(05)80544-4},
doi = {10.1016/S1571-0661(05)80544-4},
timestamp = {Thu, 01 Dec 2022 09:58:30 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ClaessenL00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Claessen99,
author = {Koen Claessen},
title = {A Poor Man's Concurrency Monad},
journal = {J. Funct. Program.},
volume = {9},
number = {3},
pages = {313--323},
year = {1999},
url = {https://doi.org/10.1017/s0956796899003342},
doi = {10.1017/S0956796899003342},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/Claessen99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/ClaessenS99,
author = {Koen Claessen and
David Sands},
editor = {P. S. Thiagarajan and
Roland H. C. Yap},
title = {Observable Sharing for Functional Circuit Description},
booktitle = {Advances in Computing Science - ASIAN'99, 5th Asian Computing Science
Conference, Phuket, Thailand, December 10-12, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1742},
pages = {62--73},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46674-6\_7},
doi = {10.1007/3-540-46674-6\_7},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/asian/ClaessenS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/BjesseCSS98,
author = {Per Bjesse and
Koen Claessen and
Mary Sheeran and
Satnam Singh},
editor = {Matthias Felleisen and
Paul Hudak and
Christian Queinnec},
title = {Lava: Hardware Design in Haskell},
booktitle = {Proceedings of the third {ACM} {SIGPLAN} International Conference
on Functional Programming {(ICFP} '98), Baltimore, Maryland, USA,
September 27-29, 1998},
pages = {174--184},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/289423.289440},
doi = {10.1145/289423.289440},
timestamp = {Thu, 08 Jul 2021 16:04:01 +0200},
biburl = {https://dblp.org/rec/conf/icfp/BjesseCSS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/ClaessenVM97,
author = {Koen Claessen and
Ton Vullinghs and
Erik Meijer},
editor = {Simon L. Peyton Jones and
Mads Tofte and
A. Michael Berman},
title = {Structuring Graphical Paradigms in TkGofer},
booktitle = {Proceedings of the 1997 {ACM} {SIGPLAN} International Conference on
Functional Programming {(ICFP} '97), Amsterdam, The Netherlands, June
9-11, 1997},
pages = {251--262},
publisher = {{ACM}},
year = {1997},
url = {https://doi.org/10.1145/258948.258972},
doi = {10.1145/258948.258972},
timestamp = {Thu, 08 Jul 2021 16:04:01 +0200},
biburl = {https://dblp.org/rec/conf/icfp/ClaessenVM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/Claessen97,
author = {Koen Claessen},
editor = {Simon L. Peyton Jones and
Mads Tofte and
A. Michael Berman},
title = {Graphs in Compilation},
booktitle = {Proceedings of the 1997 {ACM} {SIGPLAN} International Conference on
Functional Programming {(ICFP} '97), Amsterdam, The Netherlands, June
9-11, 1997},
pages = {309},
publisher = {{ACM}},
year = {1997},
url = {https://doi.org/10.1145/258948.258978},
doi = {10.1145/258948.258978},
timestamp = {Thu, 08 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/Claessen97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-21 17:11 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
