publications: - title: "A circuit approach to LTL model checking" author: - name: "Koen Claessen" link: "http://www.cse.chalmers.se/~koen/" - name: "Niklas Eén" link: "https://researchr.org/alias/niklas-e%C3%A9n" - name: "Baruch Sterin" link: "https://researchr.org/alias/baruch-sterin" year: "2013" doi: "http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=6679391" links: doi: "http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=6679391" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/fmcad/ClaessenES13" researchr: "https://researchr.org/publication/ClaessenES13" cites: 0 citedby: 0 pages: "53-60" booktitle: "Formal Methods in Computer-Aided Design, FMCAD 2013, Portland, OR, USA, October 20-23, 2013" publisher: "IEEE" kind: "inproceedings" key: "ClaessenES13" - title: "Finger trees explained anew, and slightly simplified (functional pearl)" author: - name: "Koen Claessen" link: "http://www.cse.chalmers.se/~koen/" year: "2020" doi: "https://doi.org/10.1145/3406088.3409026" links: doi: "https://doi.org/10.1145/3406088.3409026" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/haskell/Claessen20" researchr: "https://researchr.org/publication/Claessen20" cites: 0 citedby: 0 pages: "31-38" booktitle: "Proceedings of the 13th ACM SIGPLAN International Symposium on Haskell, Haskell@ICFP 2020, Virtual Event, USA, August 7, 2020" editor: - name: "Tom Schrijvers" link: "https://researchr.org/alias/tom-schrijvers" publisher: "ACM" isbn: "978-1-4503-8050-8" kind: "inproceedings" key: "Claessen20" - title: "Automated Inference of Finite Unsatisfiability" author: - name: "Koen Claessen" link: "http://www.cse.chalmers.se/~koen/" - name: "Ann Lillieström" link: "https://researchr.org/alias/ann-lilliestr%C3%B6m" year: "2011" doi: "http://dx.doi.org/10.1007/s10817-010-9216-8" links: doi: "http://dx.doi.org/10.1007/s10817-010-9216-8" dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/jar/ClaessenL11" researchr: "https://researchr.org/publication/ClaessenL11" cites: 0 citedby: 0 journal: "Journal of Automated Reasoning" volume: "47" number: "2" pages: "111-132" kind: "article" key: "ClaessenL11" - title: "Generating Constrained Random Data with Uniform Distribution" author: - name: "Koen Claessen" link: "http://www.cse.chalmers.se/~koen/" - name: "Jonas Duregård" link: "https://researchr.org/alias/jonas-dureg%C3%A5rd" - name: "Michal H. Palka" link: "https://researchr.org/alias/michal-h.-palka" year: "2014" doi: "http://dx.doi.org/10.1007/978-3-319-07151-0_2" links: doi: "http://dx.doi.org/10.1007/978-3-319-07151-0_2" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/flops/ClaessenDP14" researchr: "https://researchr.org/publication/ClaessenDP14" cites: 0 citedby: 0 pages: "18-34" booktitle: "Functional and Logic Programming - 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings" editor: - name: "Michael Codish" link: "https://researchr.org/alias/michael-codish" - name: "Eijiro Sumii" link: "https://researchr.org/alias/eijiro-sumii" volume: "8475" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-319-07150-3" kind: "inproceedings" key: "ClaessenDP14" - title: "Applying Valued Booleans in Testing of Cyber-Physical Systems" author: - name: "Koen Claessen" link: "http://www.cse.chalmers.se/~koen/" - name: "Nicholas Smallbone" link: "https://researchr.org/alias/nicholas-smallbone" - name: "Johan Liden Eddeland" link: "https://researchr.org/alias/johan-liden-eddeland" - name: "Zahra Ramezani" link: "https://researchr.org/alias/zahra-ramezani" - name: "Knut Åkesson" link: "https://researchr.org/alias/knut-%C3%A5kesson" - name: "Sajed Miremadi" link: "https://researchr.org/alias/sajed-miremadi" year: "2018" doi: "http://doi.ieeecomputersociety.org/10.1109/MT-CPS.2018.00011" links: doi: "http://doi.ieeecomputersociety.org/10.1109/MT-CPS.2018.00011" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/cpsweek/ClaessenSERAM18" researchr: "https://researchr.org/publication/ClaessenSERAM18" cites: 0 citedby: 0 pages: "8-9" booktitle: "3rd Workshop on Monitoring and Testing of Cyber-Physical Systems, MT@CPSWeek 2018, Porto, Portugal, April 10, 2018" publisher: "IEEE" isbn: "978-1-5386-6748-4" kind: "inproceedings" key: "ClaessenSERAM18" - title: "An Operational Semantics for Weak PSL" author: - name: "Koen Claessen" link: "http://www.cse.chalmers.se/~koen/" - name: "Johan Mårtensson" link: "https://researchr.org/alias/johan-m%C3%A5rtensson" year: "2004" doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3312&spage=337" links: doi: "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: "Formal Methods in Computer-Aided Design, 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings" editor: - name: "Alan J. Hu" link: "https://researchr.org/alias/alan-j.-hu" - name: "Andrew K. Martin" link: "https://researchr.org/alias/andrew-k.-martin" volume: "3312" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-23738-0" kind: "inproceedings" key: "ClaessenM04" - title: "Shrinking and showing functions (functional pearl)" author: - name: "Koen Claessen" link: "http://www.cse.chalmers.se/~koen/" year: "2012" doi: "http://doi.acm.org/10.1145/2364506.2364516" links: doi: "http://doi.acm.org/10.1145/2364506.2364516" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/haskell/Claessen12" researchr: "https://researchr.org/publication/Claessen12" cites: 0 citedby: 0 pages: "73-80" booktitle: "Proceedings of the 5th ACM SIGPLAN Symposium on Haskell, Haskell 2012, Copenhagen, Denmark, 13 September 2012" editor: - name: "Janis Voigtländer" link: "http://www.iai.uni-bonn.de/~jv/" publisher: "ACM" isbn: "978-1-4503-1574-6" kind: "inproceedings" key: "Claessen12" - title: "Analysing Constraint Grammars with a SAT-solver" author: - name: "Inari Listenmaa" link: "https://researchr.org/alias/inari-listenmaa" - name: "Koen Claessen" link: "http://www.cse.chalmers.se/~koen/" year: "2016" doi: "http://www.lrec-conf.org/proceedings/lrec2016/summaries/799.html" links: doi: "http://www.lrec-conf.org/proceedings/lrec2016/summaries/799.html" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/lrec/ListenmaaC16" researchr: "https://researchr.org/publication/ListenmaaC16" cites: 0 citedby: 0 booktitle: "Proceedings of the Tenth International Conference on Language Resources and Evaluation LREC 2016, Portorož, Slovenia, May 23-28, 2016" editor: - name: "Nicoletta Calzolari" link: "https://researchr.org/alias/nicoletta-calzolari" - name: "Khalid Choukri" link: "https://researchr.org/alias/khalid-choukri" - name: "Thierry Declerck" link: "https://researchr.org/alias/thierry-declerck" - name: "Sara Goggi" link: "https://researchr.org/alias/sara-goggi" - name: "Marko Grobelnik" link: "https://researchr.org/alias/marko-grobelnik" - name: "Bente Maegaard" link: "https://researchr.org/alias/bente-maegaard" - name: "Joseph Mariani" link: "https://researchr.org/alias/joseph-mariani" - name: "Hélène Mazo" link: "https://researchr.org/alias/h%C3%A9l%C3%A8ne-mazo" - name: "Asunción Moreno" link: "https://researchr.org/alias/asunci%C3%B3n-moreno" - name: "Jan Odijk" link: "https://researchr.org/alias/jan-odijk" - name: "Stelios Piperidis" link: "https://researchr.org/alias/stelios-piperidis" publisher: "European Language Resources Association (ELRA)" kind: "inproceedings" key: "ListenmaaC16" - title: "QuickSpec: a lightweight theory exploration tool for programmers (system demonstration)" author: - name: "Maximilian Algehed" link: "https://researchr.org/alias/maximilian-algehed" - name: "Koen Claessen" link: "http://www.cse.chalmers.se/~koen/" - name: "Moa Johansson" link: "https://researchr.org/alias/moa-johansson" - name: "Nicholas Smallbone" link: "https://researchr.org/alias/nicholas-smallbone" year: "2017" doi: "http://doi.acm.org/10.1145/3122955.3122960" links: doi: "http://doi.acm.org/10.1145/3122955.3122960" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/haskell/AlgehedCJS17" researchr: "https://researchr.org/publication/AlgehedCJS17" cites: 0 citedby: 0 pages: "38-39" booktitle: "Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell, Oxford, United Kingdom, September 7-8, 2017" editor: - name: "Iavor S. Diatchki" link: "https://researchr.org/alias/iavor-s.-diatchki" publisher: "ACM" isbn: "978-1-4503-5182-9" kind: "inproceedings" key: "AlgehedCJS17" - title: "Finding race conditions in Erlang with QuickCheck and PULSE" author: - name: "Koen Claessen" link: "http://www.cse.chalmers.se/~koen/" - name: "Michal Palka" link: "https://researchr.org/alias/michal-palka" - name: "Nicholas Smallbone" link: "https://researchr.org/alias/nicholas-smallbone" - name: "John Hughes" link: "http://www.cse.chalmers.se/~rjmh" - name: "Hans Svensson" link: "https://researchr.org/alias/hans-svensson" - name: "Thomas Arts" link: "https://researchr.org/alias/thomas-arts" - name: "Ulf Wiger" link: "https://researchr.org/alias/ulf-wiger" year: "2009" doi: "http://doi.acm.org/10.1145/1596550.1596574" links: doi: "http://doi.acm.org/10.1145/1596550.1596574" tags: - "QuickCheck" researchr: "https://researchr.org/publication/ClaessenPSHSAW09" cites: 0 citedby: 0 pages: "149-160" booktitle: "Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, ICFP 2009, Edinburgh, Scotland, UK, August 31 - September 2, 2009" editor: - name: "Graham Hutton" link: "https://researchr.org/alias/graham-hutton" - name: "Andrew P. Tolmach" link: "http://www.cs.pdx.edu/~apt" publisher: "ACM" isbn: "978-1-60558-332-7" kind: "inproceedings" key: "ClaessenPSHSAW09" - title: "Testing monadic code with QuickCheck" author: - name: "Koen Claessen" link: "http://www.cse.chalmers.se/~koen/" - name: "John Hughes" link: "http://www.cse.chalmers.se/~rjmh" year: "2002" doi: "http://doi.acm.org/10.1145/636517.636527" links: doi: "http://doi.acm.org/10.1145/636517.636527" dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/sigplan/ClaessenH02" researchr: "https://researchr.org/publication/ClaessenH02-0" cites: 0 citedby: 0 journal: "SIGPLAN Notices" volume: "37" number: "12" pages: "47-59" kind: "article" key: "ClaessenH02-0" - title: "Generating Counterexamples for Structural Inductions by Exploiting Nonstandard Models" author: - name: "Jasmin Christian Blanchette" link: "https://researchr.org/alias/jasmin-christian-blanchette" - name: "Koen Claessen" link: "http://www.cse.chalmers.se/~koen/" year: "2010" doi: "http://dx.doi.org/10.1007/978-3-642-16242-8_10" links: doi: "http://dx.doi.org/10.1007/978-3-642-16242-8_10" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/lpar/BlanchetteC10" researchr: "https://researchr.org/publication/BlanchetteC10" cites: 0 citedby: 0 pages: "127-141" booktitle: "Logic for Programming, Artificial Intelligence, and Reasoning - 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings" editor: - name: "Christian G. Fermüller" link: "https://researchr.org/alias/christian-g.-ferm%C3%BCller" - name: "Andrei Voronkov" link: "https://researchr.org/alias/andrei-voronkov" volume: "6397" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-642-16241-1" kind: "inproceedings" key: "BlanchetteC10" - title: "Generating constrained random data with uniform distribution" author: - name: "Koen Claessen" link: "http://www.cse.chalmers.se/~koen/" - name: "Jonas Duregård" link: "https://researchr.org/alias/jonas-dureg%C3%A5rd" - name: "Michal H. Palka" link: "https://researchr.org/alias/michal-h.-palka" year: "2015" doi: "http://dx.doi.org/10.1017/S0956796815000143" links: doi: "http://dx.doi.org/10.1017/S0956796815000143" dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/jfp/ClaessenDP15" researchr: "https://researchr.org/publication/ClaessenDP15" cites: 0 citedby: 0 journal: "Journal of Functional Programming" volume: "25" kind: "article" key: "ClaessenDP15" - title: "Ranking programs using black box testing" author: - name: "Koen Claessen" link: "http://www.cse.chalmers.se/~koen/" - name: "John Hughes" link: "http://www.cse.chalmers.se/~rjmh" - name: "Michal H. Palka" link: "https://researchr.org/alias/michal-h.-palka" - name: "Nicholas Smallbone" link: "https://researchr.org/alias/nicholas-smallbone" - name: "Hans Svensson" link: "https://researchr.org/alias/hans-svensson" year: "2010" doi: "http://doi.acm.org/10.1145/1808266.1808282" links: doi: "http://doi.acm.org/10.1145/1808266.1808282" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icse/ClaessenHPSS10" researchr: "https://researchr.org/publication/ClaessenHPSS10" cites: 0 citedby: 0 pages: "103-110" booktitle: "The 5th Workshop on Automation of Software Test, AST 2010, May 3-4, 2010, Cape Town, South Africa" editor: - name: "Hong Zhu" link: "https://researchr.org/alias/hong-zhu" - name: "W. K. Chan" link: "https://researchr.org/alias/w.-k.-chan" - name: "Christof J. Budnik" link: "https://researchr.org/alias/christof-j.-budnik" - name: "Gregory M. Kapfhammer" link: "https://researchr.org/alias/gregory-m.-kapfhammer" publisher: "ACM" isbn: "978-1-60558-970-1" kind: "inproceedings" key: "ClaessenHPSS10" - title: "Model-Checking Signal Transduction Networks through Decreasing Reachability Sets" author: - name: "Koen Claessen" link: "http://www.cse.chalmers.se/~koen/" - name: "Jasmin Fisher" link: "https://researchr.org/alias/jasmin-fisher" - name: "Samin Ishtiaq" link: "https://researchr.org/alias/samin-ishtiaq" - name: "Nir Piterman" link: "https://researchr.org/alias/nir-piterman" - name: "Qinsi Wang" link: "https://researchr.org/alias/qinsi-wang" year: "2013" doi: "http://dx.doi.org/10.1007/978-3-642-39799-8_5" links: doi: "http://dx.doi.org/10.1007/978-3-642-39799-8_5" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/cav/ClaessenFIPW13" researchr: "https://researchr.org/publication/ClaessenFIPW13" cites: 0 citedby: 0 pages: "85-100" booktitle: "Computer Aided Verification - 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings" editor: - name: "Natasha Sharygina" link: "https://researchr.org/alias/natasha-sharygina" - name: "Helmut Veith" link: "https://researchr.org/alias/helmut-veith" volume: "8044" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-642-39798-1" kind: "inproceedings" key: "ClaessenFIPW13" - title: "Using Lava to design and verify recursive and periodic sorters" author: - name: "Koen Claessen" link: "http://www.cse.chalmers.se/~koen/" - name: "Mary Sheeran" link: "https://researchr.org/alias/mary-sheeran" - name: "Satnam Singh" link: "https://researchr.org/alias/satnam-singh" year: "2003" doi: "http://dx.doi.org/10.1007/s10009-002-0089-y" links: doi: "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" kind: "article" key: "ClaessenSS03" - title: "SAT-Solving in Practice, with a Tutorial Example from Supervisory Control" author: - name: "Koen Claessen" link: "http://www.cse.chalmers.se/~koen/" - name: "Niklas Eén" link: "https://researchr.org/alias/niklas-e%C3%A3%C2%A9n" - name: "Mary Sheeran" link: "https://researchr.org/alias/mary-sheeran" - name: "Niklas Sörensson" link: "https://researchr.org/alias/niklas-s%C3%A3%C2%B6rensson" - name: "Alexey Voronov" link: "https://researchr.org/alias/alexey-voronov" - name: "Knut Ã…kesson" link: "https://researchr.org/alias/knut-%C3%A3%E2%80%A6kesson" year: "2009" doi: "http://dx.doi.org/10.1007/s10626-009-0081-8" links: doi: "http://dx.doi.org/10.1007/s10626-009-0081-8" researchr: "https://researchr.org/publication/ClaessenESSVA09" cites: 0 citedby: 0 journal: "Discrete Event Dynamic Systems" volume: "19" number: "4" pages: "495-524" kind: "article" key: "ClaessenESSVA09" - title: "An embedded language approach to teaching hardware compilation" author: - name: "Koen Claessen" link: "http://www.cse.chalmers.se/~koen/" - name: "Gordon J. Pace" link: "https://researchr.org/alias/gordon-j.-pace" year: "2002" doi: "http://doi.acm.org/10.1145/636517.636526" links: doi: "http://doi.acm.org/10.1145/636517.636526" dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/sigplan/ClaessenP02" researchr: "https://researchr.org/publication/ClaessenP02-0" cites: 0 citedby: 0 journal: "SIGPLAN Notices" volume: "37" number: "12" pages: "35-46" kind: "article" key: "ClaessenP02-0" - title: "Explaining Symbolic Trajectory Evaluation by Giving It a Faithful Semantics" author: - name: "Jan-Willem Roorda" link: "https://researchr.org/alias/jan-willem-roorda" - name: "Koen Claessen" link: "http://www.cse.chalmers.se/~koen/" year: "2006" doi: "http://dx.doi.org/10.1007/11753728_56" links: doi: "http://dx.doi.org/10.1007/11753728_56" tags: - "semantics" researchr: "https://researchr.org/publication/RoordaC06" cites: 0 citedby: 0 pages: "555-566" booktitle: "Computer Science - Theory and Applications, First International Computer Science Symposium in Russia, CSR 2006, St. Petersburg, Russia, June 8-12, 2006, Proceedings" editor: - name: "Dima Grigoriev" link: "https://researchr.org/alias/dima-grigoriev" - name: "John Harrison" link: "https://researchr.org/alias/john-harrison" - name: "Edward A. Hirsch" link: "https://researchr.org/alias/edward-a.-hirsch" volume: "3967" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-34166-8" kind: "inproceedings" key: "RoordaC06" - title: "Semi-formal Development of a Fault-Tolerant Leader Election Protocol in Erlang" author: - name: "Thomas Arts" link: "https://researchr.org/alias/thomas-arts" - name: "Koen Claessen" link: "http://www.cse.chalmers.se/~koen/" - name: "Hans Svensson" link: "https://researchr.org/alias/hans-svensson" year: "2004" doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3395&spage=140" links: doi: "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: "Formal Approaches to Software Testing, 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers" editor: - name: "Jens Grabowski" link: "https://researchr.org/alias/jens-grabowski" - name: "Brian Nielsen" link: "https://researchr.org/alias/brian-nielsen" volume: "3395" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-25109-X" kind: "inproceedings" key: "ArtsCS04" - title: "Quick specifications for the busy programmer" author: - name: "Nicholas Smallbone" link: "https://researchr.org/alias/nicholas-smallbone" - name: "Moa Johansson" link: "https://researchr.org/alias/moa-johansson" - name: "Koen Claessen" link: "http://www.cse.chalmers.se/~koen/" - name: "Maximilian Algehed" link: "https://researchr.org/alias/maximilian-algehed" year: "2017" doi: "https://doi.org/10.1017/S0956796817000090" links: doi: "https://doi.org/10.1017/S0956796817000090" dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/jfp/SmallboneJCA17" researchr: "https://researchr.org/publication/SmallboneJCA17" cites: 0 citedby: 0 journal: "Journal of Functional Programming" volume: "27" kind: "article" key: "SmallboneJCA17" - title: "The Design and Implementation of Feldspar - An Embedded Language for Digital Signal Processing" author: - name: "Emil Axelsson" link: "https://researchr.org/alias/emil-axelsson" - name: "Koen Claessen" link: "http://www.cse.chalmers.se/~koen/" - name: "Mary Sheeran" link: "https://researchr.org/alias/mary-sheeran" - name: "Josef Svenningsson" link: "https://researchr.org/alias/josef-svenningsson" - name: "David Engdal" link: "https://researchr.org/alias/david-engdal" - name: "Anders Persson" link: "https://researchr.org/alias/anders-persson" year: "2010" doi: "http://dx.doi.org/10.1007/978-3-642-24276-2_8" links: doi: "http://dx.doi.org/10.1007/978-3-642-24276-2_8" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/ifl/AxelssonCSSEP10" researchr: "https://researchr.org/publication/AxelssonCSSEP10" cites: 0 citedby: 0 pages: "121-136" 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" editor: - name: "Jurriaan Hage" link: "https://researchr.org/alias/jurriaan-hage" - name: "Marco T. Morazán" link: "https://researchr.org/alias/marco-t.-moraz%C3%A1n" volume: "6647" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-642-24275-5" kind: "inproceedings" key: "AxelssonCSSEP10" - title: "A Poor Man s Concurrency Monad" author: - name: "Koen Claessen" link: "http://www.cse.chalmers.se/~koen/" year: "1999" researchr: "https://researchr.org/publication/Claessen99" cites: 0 citedby: 0 journal: "Journal of Functional Programming" volume: "9" number: "3" pages: "313-323" kind: "article" key: "Claessen99" - title: "Automated Drawing of Railway Schematics Using Numerical Optimization in SAT" author: - name: "Bjørnar Luteberget" link: "https://researchr.org/alias/bj%C3%B8rnar-luteberget" - name: "Koen Claessen" link: "http://www.cse.chalmers.se/~koen/" - name: "Christian Johansen" link: "https://researchr.org/alias/christian-johansen" year: "2019" doi: "https://doi.org/10.1007/978-3-030-34968-4_19" links: doi: "https://doi.org/10.1007/978-3-030-34968-4_19" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/ifm/LutebergetCJ19" researchr: "https://researchr.org/publication/LutebergetCJ19" cites: 0 citedby: 0 pages: "341-359" booktitle: "Integrated Formal Methods - 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings" editor: - name: "Wolfgang Ahrendt" link: "https://researchr.org/alias/wolfgang-ahrendt" - name: "Silvia Lizeth Tapia Tarifa" link: "https://researchr.org/alias/silvia-lizeth-tapia-tarifa" volume: "11918" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-030-34968-4" kind: "inproceedings" key: "LutebergetCJ19" - title: "Efficient divide-and-conquer parsing of practical context-free languages" author: - name: "Jean-Philippe Bernardy" link: "https://researchr.org/alias/jean-philippe-bernardy" - name: "Koen Claessen" link: "http://www.cse.chalmers.se/~koen/" year: "2013" doi: "http://doi.acm.org/10.1145/2500365.2500576" links: doi: "http://doi.acm.org/10.1145/2500365.2500576" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icfp/BernardyC13" researchr: "https://researchr.org/publication/BernardyC13" cites: 0 citedby: 0 pages: "111-122" booktitle: "ACM SIGPLAN International Conference on Functional Programming, ICFP'13, Boston, MA, USA - September 25 - 27, 2013" editor: - name: "Greg Morrisett" link: "https://researchr.org/alias/greg-morrisett" - name: "Tarmo Uustalu" link: "https://researchr.org/alias/tarmo-uustalu" publisher: "ACM" isbn: "978-1-4503-2326-0" kind: "inproceedings" key: "BernardyC13" - title: "Finding Counter Examples in Induction Proofs" author: - name: "Koen Claessen" link: "http://www.cse.chalmers.se/~koen/" - name: "Hans Svensson" link: "https://researchr.org/alias/hans-svensson" year: "2008" doi: "http://dx.doi.org/10.1007/978-3-540-79124-9_5" links: doi: "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: "Tests and Proofs, Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings" editor: - name: "Bernhard Beckert" link: "https://researchr.org/alias/bernhard-beckert" - name: "Reiner Hähnle" link: "https://researchr.org/alias/reiner-h%C3%A4hnle" volume: "4966" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-540-79123-2" kind: "inproceedings" key: "ClaessenS08" - title: "Automated Inference of Finite Unsatisfiability" author: - name: "Koen Claessen" link: "http://www.cse.chalmers.se/~koen/" - name: "Ann Lillieström" link: "https://researchr.org/alias/ann-lilliestr%C3%A3%C2%B6m" year: "2009" doi: "http://dx.doi.org/10.1007/978-3-642-02959-2_29" links: doi: "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: "Automated Deduction - CADE-22, 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings" editor: - name: "Renate A. Schmidt" link: "https://researchr.org/alias/renate-a.-schmidt" volume: "5663" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-642-02958-5" kind: "inproceedings" key: "ClaessenL09" - title: "SAT Modulo Intuitionistic Implications" author: - name: "Koen Claessen" link: "http://www.cse.chalmers.se/~koen/" - name: "Dan Rosén" link: "https://researchr.org/alias/dan-ros%C3%A9n" year: "2015" doi: "http://dx.doi.org/10.1007/978-3-662-48899-7_43" links: doi: "http://dx.doi.org/10.1007/978-3-662-48899-7_43" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/lpar/ClaessenR15" researchr: "https://researchr.org/publication/ClaessenR15" cites: 0 citedby: 0 pages: "622-637" booktitle: "Logic for Programming, Artificial Intelligence, and Reasoning - 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings" editor: - name: "Martin Davis" link: "https://researchr.org/alias/martin-davis" - name: "Ansgar Fehnker" link: "https://researchr.org/alias/ansgar-fehnker" - name: "Annabelle McIver" link: "https://researchr.org/alias/annabelle-mciver" - name: "Andrei Voronkov" link: "https://researchr.org/alias/andrei-voronkov" volume: "9450" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-662-48898-0" kind: "inproceedings" key: "ClaessenR15" - title: "Automating Inductive Proofs Using Theory Exploration" author: - name: "Koen Claessen" link: "http://www.cse.chalmers.se/~koen/" - name: "Moa Johansson" link: "https://researchr.org/alias/moa-johansson" - name: "Dan Rosén" link: "https://researchr.org/alias/dan-ros%C3%A9n" - name: "Nicholas Smallbone" link: "https://researchr.org/alias/nicholas-smallbone" year: "2013" doi: "http://dx.doi.org/10.1007/978-3-642-38574-2_27" links: doi: "http://dx.doi.org/10.1007/978-3-642-38574-2_27" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/cade/ClaessenJRS13" researchr: "https://researchr.org/publication/ClaessenJRS13" cites: 0 citedby: 0 pages: "392-406" booktitle: "Automated Deduction - CADE-24 - 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings" editor: - name: "Maria Paola Bonacina" link: "https://researchr.org/alias/maria-paola-bonacina" volume: "7898" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-642-38573-5" kind: "inproceedings" key: "ClaessenJRS13" - title: "An embedded language approach to teaching hardware compilation" author: - name: "Koen Claessen" link: "http://www.cse.chalmers.se/~koen/" - name: "Gordon J. Pace" link: "http://www.cs.um.edu.mt/gordon.pace" year: "2002" doi: "http://doi.acm.org/10.1145/636517.636526" links: doi: "http://doi.acm.org/10.1145/636517.636526" tags: - "teaching" - "systematic-approach" researchr: "https://researchr.org/publication/ClaessenP02" cites: 0 citedby: 0 journal: "SIGPLAN Notices" volume: "37" number: "12" pages: "35-46" kind: "article" key: "ClaessenP02" - title: "Typed Logical Variables in Haskell" author: - name: "Koen Claessen" link: "http://www.cse.chalmers.se/~koen/" - name: "Peter Ljunglöf" link: "https://researchr.org/alias/peter-ljungl%C3%B6f" year: "2000" doi: "http://www.elsevier.com/gej-ng/31/29/23/76/33/show/Products/notes/index.htt#007" links: doi: "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: "Electronic Notes in Theoretical Computer Science" volume: "41" number: "1" pages: "37" kind: "article" key: "ClaessenL00" - title: "A seamless, client-centric programming model for type safe web applications" author: - name: "Anton Ekblad" link: "https://researchr.org/alias/anton-ekblad" - name: "Koen Claessen" link: "http://www.cse.chalmers.se/~koen/" year: "2014" doi: "http://doi.acm.org/10.1145/2633357.2633367" links: doi: "http://doi.acm.org/10.1145/2633357.2633367" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/haskell/EkbladC14" researchr: "https://researchr.org/publication/EkbladC14" cites: 0 citedby: 0 pages: "79-89" booktitle: "Proceedings of the 2014 ACM SIGPLAN symposium on Haskell, Gothenburg, Sweden, September 4-5, 2014" editor: - name: "Wouter Swierstra" link: "https://researchr.org/alias/wouter-swierstra" publisher: "ACM" isbn: "978-1-4503-3041-1" kind: "inproceedings" key: "EkbladC14" - title: "GPGPU kernel implementation and refinement using Obsidian" author: - name: "Joel Svensson" link: "https://researchr.org/alias/joel-svensson" - name: "Koen Claessen" link: "http://www.cse.chalmers.se/~koen/" - name: "Mary Sheeran" link: "https://researchr.org/alias/mary-sheeran" year: "2010" doi: "http://dx.doi.org/10.1016/j.procs.2010.04.231" links: doi: "http://dx.doi.org/10.1016/j.procs.2010.04.231" dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/procedia/SvenssonCS10" tags: - "refinement" researchr: "https://researchr.org/publication/SvenssonCS10" cites: 0 citedby: 0 journal: "Procedia CS" volume: "1" number: "1" pages: "2065-2074" kind: "article" key: "SvenssonCS10" - title: "The TPTP Typed First-Order Form with Arithmetic" author: - name: "Geoff Sutcliffe" link: "https://researchr.org/alias/geoff-sutcliffe" - name: "Stephan Schulz" link: "https://researchr.org/alias/stephan-schulz" - name: "Koen Claessen" link: "http://www.cse.chalmers.se/~koen/" - name: "Peter Baumgartner" link: "https://researchr.org/alias/peter-baumgartner" year: "2012" doi: "http://dx.doi.org/10.1007/978-3-642-28717-6_32" links: doi: "http://dx.doi.org/10.1007/978-3-642-28717-6_32" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/lpar/SutcliffeSCB12" researchr: "https://researchr.org/publication/SutcliffeSCB12" cites: 0 citedby: 0 pages: "406-419" booktitle: "Logic for Programming, Artificial Intelligence, and Reasoning - 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings" editor: - name: "Nikolaj Bjørner" link: "https://researchr.org/alias/nikolaj-bj%C3%B8rner" - name: "Andrei Voronkov" link: "https://researchr.org/alias/andrei-voronkov" volume: "7180" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-642-28716-9" kind: "inproceedings" key: "SutcliffeSCB12" - title: "A Coverage Analysis for Safety Property Lists" author: - name: "Koen Claessen" link: "http://www.cse.chalmers.se/~koen/" year: "2007" doi: "http://doi.ieeecomputersociety.org/10.1109/FMCAD.2007.1" links: doi: "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: "Formal Methods in Computer-Aided Design, 7th International Conference, FMCAD 2007, Austin, Texas, USA, November 11-14, 2007, Proceedings" publisher: "IEEE Computer Society" kind: "inproceedings" key: "Claessen07" - title: "SAT-Based Verification without State Space Traversal" author: - name: "Per Bjesse" link: "https://researchr.org/alias/per-bjesse" - name: "Koen Claessen" link: "http://www.cse.chalmers.se/~koen/" year: "2000" doi: "http://link.springer.de/link/service/series/0558/bibs/1954/19540372.htm" links: doi: "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: "Formal Methods in Computer-Aided Design, Third International Conference, FMCAD 2000, Austin, Texas, USA, November 1-3, 2000, Proceedings" editor: - name: "Warren A. Hunt Jr." link: "https://researchr.org/alias/warren-a.-hunt-jr." - name: "Steven D. Johnson" link: "https://researchr.org/alias/steven-d.-johnson" volume: "1954" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-41219-0" kind: "inproceedings" key: "BjesseC00" - title: "Expressive array constructs in an embedded GPU kernel programming language" author: - name: "Koen Claessen" link: "http://www.cse.chalmers.se/~koen/" - name: "Mary Sheeran" link: "https://researchr.org/alias/mary-sheeran" - name: "Joel Svensson" link: "https://researchr.org/alias/joel-svensson" year: "2012" doi: "http://doi.acm.org/10.1145/2103736.2103740" links: doi: "http://doi.acm.org/10.1145/2103736.2103740" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/popl/ClaessenSS12" researchr: "https://researchr.org/publication/ClaessenSS12" cites: 0 citedby: 0 pages: "21-30" booktitle: "Proceedings of the POPL 2012 Workshop on Declarative Aspects of Multicore Programming, DAMP 2012, Philadelphia, PA, USA, Saturday, January 28, 2012" editor: - name: "Umut A. Acar" link: "https://researchr.org/alias/umut-a.-acar" - name: "Vítor Santos Costa" link: "https://researchr.org/alias/v%C3%ADtor-santos-costa" publisher: "ACM" isbn: "978-1-4503-1117-5" kind: "inproceedings" key: "ClaessenSS12" - title: "The Design and Verification of a Sorter Core" author: - name: "Koen Claessen" link: "http://www.cse.chalmers.se/~koen/" - name: "Mary Sheeran" link: "https://researchr.org/alias/mary-sheeran" - name: "Satnam Singh" link: "https://researchr.org/alias/satnam-singh" year: "2001" doi: "http://link.springer.de/link/service/series/0558/bibs/2144/21440355.htm" links: doi: "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: "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" editor: - name: "Tiziana Margaria" link: "https://researchr.org/alias/tiziana-margaria" - name: "Thomas F. Melham" link: "https://researchr.org/alias/thomas-f.-melham" volume: "2144" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-42541-1" kind: "inproceedings" key: "ClaessenSS01" - title: "Hipster: Integrating Theory Exploration in a Proof Assistant" author: - name: "Moa Johansson" link: "https://researchr.org/alias/moa-johansson" - name: "Dan Rosén" link: "https://researchr.org/alias/dan-ros%C3%A9n" - name: "Nicholas Smallbone" link: "https://researchr.org/alias/nicholas-smallbone" - name: "Koen Claessen" link: "http://www.cse.chalmers.se/~koen/" year: "2014" doi: "http://dx.doi.org/10.1007/978-3-319-08434-3_9" links: doi: "http://dx.doi.org/10.1007/978-3-319-08434-3_9" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/mkm/JohanssonRSC14" researchr: "https://researchr.org/publication/JohanssonRSC14" cites: 0 citedby: 0 pages: "108-122" booktitle: "Intelligent Computer Mathematics - International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings" editor: - name: "Stephen M. Watt" link: "https://researchr.org/alias/stephen-m.-watt" - name: "James H. Davenport" link: "https://researchr.org/alias/james-h.-davenport" - name: "Alan P. Sexton" link: "https://researchr.org/alias/alan-p.-sexton" - name: "Petr Sojka" link: "https://researchr.org/alias/petr-sojka" - name: "Josef Urban" link: "https://researchr.org/alias/josef-urban" volume: "8543" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-319-08433-6" kind: "inproceedings" key: "JohanssonRSC14" - title: "Lava: Hardware Design in Haskell" author: - name: "Per Bjesse" link: "https://researchr.org/alias/per-bjesse" - name: "Koen Claessen" link: "http://www.cse.chalmers.se/~koen/" - name: "Mary Sheeran" link: "https://researchr.org/alias/mary-sheeran" - name: "Satnam Singh" link: "https://researchr.org/alias/satnam-singh" year: "1998" doi: "http://doi.acm.org/10.1145/289423.289440" links: doi: "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: "Proceedings of the third ACM SIGPLAN international conference on Functional programming" editor: - name: "Matthias Felleisen" link: "http://www.ccs.neu.edu/home/matthias/" - name: "Paul Hudak" link: "http://www.cs.yale.edu/homes/hudak/" - name: "Christian Queinnec" link: "https://researchr.org/alias/christian-queinnec" address: "Baltimore, Maryland, United States" publisher: "ACM" kind: "inproceedings" key: "BjesseCSS98" - title: "Using circular programs for higher-order syntax: functional pearl" author: - name: "Emil Axelsson" link: "https://researchr.org/alias/emil-axelsson" - name: "Koen Claessen" link: "http://www.cse.chalmers.se/~koen/" year: "2013" doi: "http://doi.acm.org/10.1145/2500365.2500614" links: doi: "http://doi.acm.org/10.1145/2500365.2500614" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icfp/AxelssonC13" researchr: "https://researchr.org/publication/AxelssonC13" cites: 0 citedby: 0 pages: "257-262" booktitle: "ACM SIGPLAN International Conference on Functional Programming, ICFP'13, Boston, MA, USA - September 25 - 27, 2013" editor: - name: "Greg Morrisett" link: "https://researchr.org/alias/greg-morrisett" - name: "Tarmo Uustalu" link: "https://researchr.org/alias/tarmo-uustalu" publisher: "ACM" isbn: "978-1-4503-2326-0" kind: "inproceedings" key: "AxelssonC13" - title: "HALO: haskell to logic through denotational semantics" author: - name: "Dimitrios Vytiniotis" link: "https://researchr.org/alias/dimitrios-vytiniotis" - name: "Simon L. Peyton Jones" link: "http://research.microsoft.com/en-us/people/simonpj/" - name: "Koen Claessen" link: "http://www.cse.chalmers.se/~koen/" - name: "Dan Rosén" link: "https://researchr.org/alias/dan-ros%C3%A9n" year: "2013" doi: "http://doi.acm.org/10.1145/2429069.2429121" links: doi: "http://doi.acm.org/10.1145/2429069.2429121" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/popl/VytiniotisJCR13" researchr: "https://researchr.org/publication/VytiniotisJCR13" cites: 0 citedby: 0 pages: "431-442" booktitle: "The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '13, Rome, Italy - January 23 - 25, 2013" editor: - name: "Roberto Giacobazzi" link: "https://researchr.org/alias/roberto-giacobazzi" - name: "Radhia Cousot" link: "https://researchr.org/alias/radhia-cousot" publisher: "ACM" isbn: "978-1-4503-1832-7" kind: "inproceedings" key: "VytiniotisJCR13" - title: "Testing an optimising compiler by generating random lambda terms" author: - name: "Michal H. Palka" link: "https://researchr.org/alias/michal-h.-palka" - name: "Koen Claessen" link: "http://www.cse.chalmers.se/~koen/" - name: "Alejandro Russo" link: "https://researchr.org/alias/alejandro-russo" - name: "John Hughes" link: "http://www.cse.chalmers.se/~rjmh" year: "2011" doi: "http://doi.acm.org/10.1145/1982595.1982615" links: doi: "http://doi.acm.org/10.1145/1982595.1982615" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icse/PalkaCRH11" researchr: "https://researchr.org/publication/PalkaCRH11" cites: 0 citedby: 0 pages: "91-97" booktitle: "Proceedings of the 6th International Workshop on Automation of Software Test, AST 2011, Waikiki, Honolulu, HI, USA, May 23-24, 2011" editor: - name: "Antonia Bertolino" link: "https://researchr.org/alias/antonia-bertolino" - name: "Howard Foster" link: "https://researchr.org/alias/howard-foster" - name: "J. Jenny Li" link: "https://researchr.org/alias/j.-jenny-li" publisher: "ACM" isbn: "978-1-4503-0592-1" kind: "inproceedings" key: "PalkaCRH11" - title: "Safety Property Verification of Cyclic Synchronous Circuits" author: - name: "Koen Claessen" link: "http://www.cse.chalmers.se/~koen/" year: "2004" doi: "http://dx.doi.org/10.1016/j.entcs.2003.05.004" links: doi: "http://dx.doi.org/10.1016/j.entcs.2003.05.004" researchr: "https://researchr.org/publication/Claessen04" cites: 0 citedby: 0 journal: "Electronic Notes in Theoretical Computer Science" volume: "88" pages: "55-69" kind: "article" key: "Claessen04" - title: "Graphs in Compilation" author: - name: "Koen Claessen" link: "http://www.cse.chalmers.se/~koen/" year: "1997" tags: - "graph-rewriting" - "rewriting" researchr: "https://researchr.org/publication/Claessen97" cites: 0 citedby: 0 pages: "309" booktitle: "ICFP" kind: "inproceedings" key: "Claessen97" - title: "Using fusion to enable late design decisions for pipelined computations" author: - name: "Máté Karácsony" link: "https://researchr.org/alias/m%C3%A1t%C3%A9-kar%C3%A1csony" - name: "Koen Claessen" link: "http://www.cse.chalmers.se/~koen/" year: "2016" doi: "http://doi.acm.org/10.1145/2975991.2975993" links: doi: "http://doi.acm.org/10.1145/2975991.2975993" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icfp/KaracsonyC16" researchr: "https://researchr.org/publication/KaracsonyC16" cites: 0 citedby: 0 pages: "9-16" booktitle: "Proceedings of the 5th International Workshop on Functional High-Performance Computing, FHPC@ICFP 2016, Nara, Japan, September 22, 2016" editor: - name: "David Duke" link: "https://researchr.org/alias/david-duke" - name: "Yukiyoshi Kameyama" link: "https://researchr.org/alias/yukiyoshi-kameyama" publisher: "ACM" isbn: "978-1-4503-4433-3" kind: "inproceedings" key: "KaracsonyC16" - title: "A liveness checking algorithm that counts" author: - name: "Koen Claessen" link: "http://www.cse.chalmers.se/~koen/" - name: "Niklas Sörensson" link: "https://researchr.org/alias/niklas-s%C3%B6rensson" year: "2012" doi: "http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6462555" links: doi: "http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6462555" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/fmcad/ClaessenS12" researchr: "https://researchr.org/publication/ClaessenS12" cites: 0 citedby: 0 pages: "52-59" booktitle: "Formal Methods in Computer-Aided Design, FMCAD 2012, Cambridge, UK, October 22-25, 2012" editor: - name: "Gianpiero Cabodi" link: "https://researchr.org/alias/gianpiero-cabodi" - name: "Satnam Singh" link: "https://researchr.org/alias/satnam-singh" publisher: "IEEE" kind: "inproceedings" key: "ClaessenS12" - title: "Practical principled FRP: forget the past, change the future, FRPNow!" author: - name: "Atze van der Ploeg" link: "https://researchr.org/alias/atze-van-der-ploeg" - name: "Koen Claessen" link: "http://www.cse.chalmers.se/~koen/" year: "2015" doi: "http://doi.acm.org/10.1145/2784731.2784752" links: doi: "http://doi.acm.org/10.1145/2784731.2784752" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icfp/PloegC15" researchr: "https://researchr.org/publication/PloegC15" cites: 0 citedby: 0 pages: "302-314" booktitle: "Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, ICFP 2015, Vancouver, BC, Canada, September 1-3, 2015" editor: - name: "Kathleen Fisher" link: "https://researchr.org/alias/kathleen-fisher" - name: "John H. Reppy" link: "https://researchr.org/alias/john-h.-reppy" publisher: "ACM" isbn: "978-1-4503-3669-7" kind: "inproceedings" key: "PloegC15" - title: "QuickSpec: Guessing Formal Specifications Using Testing" author: - name: "Koen Claessen" link: "http://www.cse.chalmers.se/~koen/" - name: "Nicholas Smallbone" link: "https://researchr.org/alias/nicholas-smallbone" - name: "John Hughes" link: "http://www.cse.chalmers.se/~rjmh" year: "2010" doi: "http://dx.doi.org/10.1007/978-3-642-13977-2_3" links: doi: "http://dx.doi.org/10.1007/978-3-642-13977-2_3" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/tap/ClaessenSH10" tags: - "testing" researchr: "https://researchr.org/publication/ClaessenSH10" cites: 0 citedby: 0 pages: "6-21" booktitle: "Tests and Proofs, 4th International Conference, TAP 2010, Málaga, Spain, July 1-2, 2010. Proceedings" editor: - name: "Gordon Fraser" link: "https://researchr.org/alias/gordon-fraser" - name: "Angelo Gargantini" link: "https://researchr.org/alias/angelo-gargantini" volume: "6143" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-642-13976-5" kind: "inproceedings" key: "ClaessenSH10" - title: "Safety at speed: in-place array algorithms from pure functional programs by safely re-using storage" author: - name: "Markus Aronsson" link: "https://researchr.org/alias/markus-aronsson" - name: "Koen Claessen" link: "http://www.cse.chalmers.se/~koen/" - name: "Mary Sheeran" link: "https://researchr.org/alias/mary-sheeran" - name: "Nicholas Smallbone" link: "https://researchr.org/alias/nicholas-smallbone" year: "2019" doi: "https://doi.org/10.1145/3331553.3342616" links: doi: "https://doi.org/10.1145/3331553.3342616" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icfp/AronssonCSS19" researchr: "https://researchr.org/publication/AronssonCSS19" cites: 0 citedby: 0 pages: "34-46" booktitle: "Proceedings of the 8th ACM SIGPLAN International Workshop on Functional High-Performance and Numerical Computing, FHPNC@ICFP 2019, Berlin, Germany, August 18, 2019" editor: - name: "Marco Zocca" link: "https://researchr.org/alias/marco-zocca" publisher: "ACM" isbn: "978-1-4503-6814-8" kind: "inproceedings" key: "AronssonCSS19" - title: "Testing Polymorphic Properties" author: - name: "Jean-Philippe Bernardy" link: "http://www.chalmers.se/cse/EN/people/bernardy-jean-philippe" - name: "Patrik Jansson" link: "http://www.chalmers.se/cse/EN/people/jansson-patrik" - name: "Koen Claessen" link: "http://www.cse.chalmers.se/~koen/" year: "2010" doi: "http://dx.doi.org/10.1007/978-3-642-11957-6_8" abstract: "This paper is concerned with testing properties of polymorphic functions. The problem is that testing can only be performed on specific monomorphic instances, whereas parametrically polymorphic functions are expected to work for any type. We present a schema for constructing a monomorphic instance for a polymorphic property, such that correctness of that single instance implies correctness for all other instances. We also give a formal definition of the class of polymorphic properties the schema can be used for. Compared to the standard method of testing such properties, our schema leads to a significant reduction of necessary test cases." links: doi: "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: "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" editor: - name: "Andrew D. Gordon" link: "http://research.microsoft.com/en-us/um/people/adg/" volume: "6012" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-642-11956-9" kind: "inproceedings" key: "BernardyJC10" - title: "Testing and Tracing Lazy Functional Programs Using QuickCheck and Hat" author: - name: "Koen Claessen" link: "http://www.cse.chalmers.se/~koen/" - name: "Colin Runciman" link: "https://researchr.org/alias/colin-runciman" - name: "Olaf Chitil" link: "https://researchr.org/alias/olaf-chitil" - name: "John Hughes" link: "http://www.cse.chalmers.se/~rjmh" - name: "Malcolm Wallace" link: "https://researchr.org/alias/malcolm-wallace" year: "2002" doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2638&spage=59" links: doi: "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: "Advanced Functional Programming, 4th International School, AFP 2002, Oxford, UK, August 19-24, 2002, Revised Lectures" editor: - name: "Johan Jeuring" link: "http://people.cs.uu.nl/johanj/" - name: "Simon L. Peyton Jones" link: "http://research.microsoft.com/en-us/people/simonpj/" volume: "2638" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-40132-6" kind: "inproceedings" key: "ClaessenRCHW02" - title: "A Supervisory Control Algorithm Based on Property-Directed Reachability" author: - name: "Koen Claessen" link: "http://www.cse.chalmers.se/~koen/" - name: "Jonatan Kilhamn" link: "https://researchr.org/alias/jonatan-kilhamn" - name: "Laura Kovács" link: "https://researchr.org/alias/laura-kov%C3%A1cs" - name: "Bengt Lennartson" link: "https://researchr.org/alias/bengt-lennartson" year: "2017" doi: "https://doi.org/10.1007/978-3-319-70389-3_8" links: doi: "https://doi.org/10.1007/978-3-319-70389-3_8" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/hvc/ClaessenKKL17" researchr: "https://researchr.org/publication/ClaessenKKL17" cites: 0 citedby: 0 pages: "115-130" booktitle: "Hardware and Software: Verification and Testing - 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings" editor: - name: "Ofer Strichman" link: "https://researchr.org/alias/ofer-strichman" - name: "Rachel Tzoref-Brill" link: "https://researchr.org/alias/rachel-tzoref-brill" volume: "10629" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-319-70389-3" kind: "inproceedings" key: "ClaessenKKL17" - title: "Embedded Languages for Describing and Verifying Hardware" author: - name: "Koen Claessen" link: "http://www.cse.chalmers.se/~koen/" year: "2001" doi: "https://www.base-search.net/Record/2d9322300af18e47297dc8c2ce464eb44a2c12b084c113f4661cf2b93579e817" note: "base-search.net (ftchalmersuniv:oai:publications.lib.chalmers.se:636)" links: doi: "https://www.base-search.net/Record/2d9322300af18e47297dc8c2ce464eb44a2c12b084c113f4661cf2b93579e817" dblp: "http://dblp.uni-trier.de/rec/bibtex/phd/basesearch/Claessen01" researchr: "https://researchr.org/publication/basesearch-223" cites: 0 citedby: 0 school: "Chalmers University of Technology, Gothenburg, Sweden" kind: "phdthesis" key: "basesearch-223" - title: "A semantics for distributed Erlang" author: - name: "Koen Claessen" link: "http://www.cse.chalmers.se/~koen/" - name: "Hans Svensson" link: "https://researchr.org/alias/hans-svensson" year: "2005" doi: "http://doi.acm.org/10.1145/1088361.1088376" links: doi: "http://doi.acm.org/10.1145/1088361.1088376" tags: - "semantics" researchr: "https://researchr.org/publication/ClaessenS05" cites: 0 citedby: 0 pages: "78-87" booktitle: "Proceedings of the 2005 ACM SIGPLAN Workshop on Erlang, Tallinn, Estonia, September 26-28, 2005" editor: - name: "Konstantinos F. Sagonas" link: "https://researchr.org/alias/konstantinos-f.-sagonas" - name: "Joe Armstrong" link: "https://researchr.org/alias/joe-armstrong" publisher: "ACM" isbn: "1-59593-066-3" kind: "inproceedings" key: "ClaessenS05" - title: "The Anatomy of Equinox - An Extensible Automated Reasoning Tool for First-Order Logic and Beyond - (Talk Abstract)" author: - name: "Koen Claessen" link: "http://www.cse.chalmers.se/~koen/" year: "2011" doi: "http://dx.doi.org/10.1007/978-3-642-22438-6_1" links: doi: "http://dx.doi.org/10.1007/978-3-642-22438-6_1" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/cade/Claessen11" tags: - "logic" researchr: "https://researchr.org/publication/Claessen11" cites: 0 citedby: 0 pages: "1-3" booktitle: "Automated Deduction - CADE-23 - 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31 - August 5, 2011. Proceedings" editor: - name: "Nikolaj Bjørner" link: "https://researchr.org/alias/nikolaj-bj%26oslash%3Brner" - name: "Viorica Sofronie-Stokkermans" link: "https://researchr.org/alias/viorica-sofronie-stokkermans" volume: "6803" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-642-22437-9" kind: "inproceedings" key: "Claessen11" - title: "TIP: Tons of Inductive Problems" author: - name: "Koen Claessen" link: "http://www.cse.chalmers.se/~koen/" - name: "Moa Johansson" link: "https://researchr.org/alias/moa-johansson" - name: "Dan Rosén" link: "https://researchr.org/alias/dan-ros%C3%A9n" - name: "Nicholas Smallbone" link: "https://researchr.org/alias/nicholas-smallbone" year: "2015" doi: "http://dx.doi.org/10.1007/978-3-319-20615-8_23" links: doi: "http://dx.doi.org/10.1007/978-3-319-20615-8_23" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/mkm/ClaessenJRS15" researchr: "https://researchr.org/publication/ClaessenJRS15" cites: 0 citedby: 0 pages: "333-337" booktitle: "Intelligent Computer Mathematics - International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings" editor: - name: "Manfred Kerber" link: "https://researchr.org/alias/manfred-kerber" - name: "Jacques Carette" link: "https://researchr.org/alias/jacques-carette" - name: "Cezary Kaliszyk" link: "https://researchr.org/alias/cezary-kaliszyk" - name: "Florian Rabe" link: "https://researchr.org/alias/florian-rabe" - name: "Volker Sorge" link: "https://researchr.org/alias/volker-sorge" volume: "9150" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-319-20614-1" kind: "inproceedings" key: "ClaessenJRS15" - title: "Alternative Treatments of Common Binary Relations in First-order Automated Reasoning" author: - name: "Koen Claessen" link: "http://www.cse.chalmers.se/~koen/" - name: "Ann Lillieström" link: "https://researchr.org/alias/ann-lilliestr%C3%B6m" year: "2016" doi: "http://ceur-ws.org/Vol-1635/paper-02.pdf" links: doi: "http://ceur-ws.org/Vol-1635/paper-02.pdf" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/cade/ClaessenL16" researchr: "https://researchr.org/publication/ClaessenL16" cites: 0 citedby: 0 pages: "11-23" 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" editor: - name: "Pascal Fontaine" link: "https://researchr.org/alias/pascal-fontaine" - name: "Stephan Schulz 0001" link: "https://researchr.org/alias/stephan-schulz-0001" - name: "Josef Urban" link: "https://researchr.org/alias/josef-urban" volume: "1635" series: "CEUR Workshop Proceedings" publisher: "CEUR-WS.org" kind: "inproceedings" key: "ClaessenL16" - title: "Using the TPTP Language for Writing Derivations and Finite Interpretations" author: - name: "Geoff Sutcliffe" link: "https://researchr.org/alias/geoff-sutcliffe" - name: "Stephan Schulz" link: "https://researchr.org/alias/stephan-schulz" - name: "Koen Claessen" link: "http://www.cse.chalmers.se/~koen/" - name: "Allen Van Gelder" link: "https://researchr.org/alias/allen-van-gelder" year: "2006" doi: "http://dx.doi.org/10.1007/11814771_7" links: doi: "http://dx.doi.org/10.1007/11814771_7" tags: - "writing" researchr: "https://researchr.org/publication/SutcliffeSCG06" cites: 0 citedby: 0 pages: "67-81" booktitle: "Automated Reasoning, Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings" editor: - name: "Ulrich Furbach" link: "https://researchr.org/alias/ulrich-furbach" - name: "Natarajan Shankar" link: "https://researchr.org/alias/natarajan-shankar" volume: "4130" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-37187-7" kind: "inproceedings" key: "SutcliffeSCG06" - title: "Design-Time Railway Capacity Verification using SAT modulo Discrete Event Simulation" author: - name: "Bjørnar Luteberget" link: "https://researchr.org/alias/bj%C3%B8rnar-luteberget" - name: "Koen Claessen" link: "http://www.cse.chalmers.se/~koen/" - name: "Christian Johansen" link: "https://researchr.org/alias/christian-johansen" year: "2018" doi: "https://doi.org/10.23919/FMCAD.2018.8603003" links: doi: "https://doi.org/10.23919/FMCAD.2018.8603003" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/fmcad/LutebergetCJ18" researchr: "https://researchr.org/publication/LutebergetCJ18" cites: 0 citedby: 0 pages: "1-9" booktitle: "2018 Formal Methods in Computer Aided Design, FMCAD 2018, Austin, TX, USA, October 30 - November 2, 2018" editor: - name: "Nikolaj Bjørner" link: "https://researchr.org/alias/nikolaj-bj%C3%B8rner" - name: "Arie Gurfinkel" link: "https://researchr.org/alias/arie-gurfinkel" publisher: "IEEE" isbn: "978-0-9835678-8-2" kind: "inproceedings" key: "LutebergetCJ18" - title: "Obsidian: A Domain Specific Embedded Language for Parallel Programming of Graphics Processors" author: - name: "Joel Svensson" link: "https://researchr.org/alias/joel-svensson" - name: "Mary Sheeran" link: "https://researchr.org/alias/mary-sheeran" - name: "Koen Claessen" link: "http://www.cse.chalmers.se/~koen/" year: "2008" doi: "http://dx.doi.org/10.1007/978-3-642-24452-0_9" links: doi: "http://dx.doi.org/10.1007/978-3-642-24452-0_9" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/ifl/SvenssonSC08" researchr: "https://researchr.org/publication/SvenssonSC08" cites: 0 citedby: 0 pages: "156-173" booktitle: "Implementation and Application of Functional Languages - 20th International Symposium, IFL 2008, Hatfield, UK, September 10-12, 2008. Revised Selected Papers" editor: - name: "Sven-Bodo Scholz" link: "https://researchr.org/alias/sven-bodo-scholz" - name: "Olaf Chitil" link: "https://researchr.org/alias/olaf-chitil" volume: "5836" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-642-24451-3" kind: "inproceedings" key: "SvenssonSC08" - title: "An Introduction to Symbolic Trajectory Evaluation" author: - name: "Koen Claessen" link: "http://www.cse.chalmers.se/~koen/" - name: "Jan-Willem Roorda" link: "https://researchr.org/alias/jan-willem-roorda" year: "2006" doi: "http://dx.doi.org/10.1007/11757283_3" links: doi: "http://dx.doi.org/10.1007/11757283_3" researchr: "https://researchr.org/publication/ClaessenR06" cites: 0 citedby: 0 pages: "56-77" 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" editor: - name: "Marco Bernardo" link: "https://researchr.org/alias/marco-bernardo" - name: "Alessandro Cimatti" link: "https://researchr.org/alias/alessandro-cimatti" volume: "3965" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-540-34304-2" kind: "inproceedings" key: "ClaessenR06" - title: "QuickCheck: a lightweight tool for random testing of Haskell programs" author: - name: "Koen Claessen" link: "http://www.cse.chalmers.se/~koen/" - name: "John Hughes" link: "http://www.cse.chalmers.se/~rjmh" year: "2000" doi: "http://doi.acm.org/10.1145/351240.351266" abstract: "Quick Check is a tool which aids the Haskell programmer in formulating and testing properties of programs. Properties are described as Haskell functions, and can be automatically tested on random input, but it is also possible to define custom test data generators. We present a number of case studies, in which the tool was successfully used, and also point out some pitfalls to avoid. Random testing is especially suitable for functional programs because properties can be stated at a fine grain. When a function is built from separately tested components, then random testing suffices to obtain good coverage of the definition under test." links: doi: "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" kind: "inproceedings" key: "ClaessenH00" - title: "Splittable pseudorandom number generators using cryptographic hashing" author: - name: "Koen Claessen" link: "http://www.cse.chalmers.se/~koen/" - name: "Michal Palka" link: "https://researchr.org/alias/michal-palka" year: "2013" doi: "http://doi.acm.org/10.1145/2503778.2503784" links: doi: "http://doi.acm.org/10.1145/2503778.2503784" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/haskell/ClaessenP13" researchr: "https://researchr.org/publication/ClaessenP13" cites: 0 citedby: 0 pages: "47-58" booktitle: "Proceedings of the 2013 ACM SIGPLAN Symposium on Haskell, Boston, MA, USA, September 23-24, 2013" editor: - name: "Chung-chieh Shan" link: "https://researchr.org/alias/chung-chieh-shan" publisher: "ACM" isbn: "978-1-4503-2383-3" kind: "inproceedings" key: "ClaessenP13" - title: "Testing an optimising compiler by generating random lambda terms" author: - name: "Michal H. Palka" link: "http://www.chalmers.se/cse/EN/people/palka-michal" - name: "Koen Claessen" link: "http://www.cse.chalmers.se/~koen/" - name: "Russo, Alejandro" link: "https://researchr.org/alias/russo%2C-alejandro" - name: "John Hughes" link: "http://www.cse.chalmers.se/~rjmh" year: "2011" doi: "http://dl.acm.org/citation.cfm?id=1982615" abstract: "This paper considers random testing of a compiler, using randomly generated programs as inputs, and comparing their behaviour with and without optimisation. Since the generated programs must compile, then we need to take into account syntax, scope rules, and type checking during our random generation. Doing so, while attaining a good distribution of test data, proves surprisingly subtle; the main contribution of this paper is a workable solution to this problem. We used it to generate typed functions on lists, which we compiled using the Glasgow Haskell compiler, a mature production quality Haskell compiler. After around 20,000 tests we triggered an optimiser failure, and automatically simplified it to a program with just a few constructs." links: doi: "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" series: "AST '11" address: "New York, NY, USA" publisher: "ACM" isbn: "978-1-4503-0592-1" kind: "inproceedings" key: "PalkaAST2011" - title: "Making Random Judgments: Automatically Generating Well-Typed Terms from the Definition of a Type-System" author: - name: "Burke Fetscher" link: "https://researchr.org/alias/burke-fetscher" - name: "Koen Claessen" link: "http://www.cse.chalmers.se/~koen/" - name: "Michal H. Palka" link: "https://researchr.org/alias/michal-h.-palka" - name: "John Hughes" link: "http://www.cse.chalmers.se/~rjmh" - name: "Robby Findler" link: "http://www.eecs.northwestern.edu/~robby/" year: "2015" doi: "http://dx.doi.org/10.1007/978-3-662-46669-8_16" links: doi: "http://dx.doi.org/10.1007/978-3-662-46669-8_16" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/esop/FetscherCPHF15" researchr: "https://researchr.org/publication/FetscherCPHF15" cites: 0 citedby: 0 pages: "383-405" 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" editor: - name: "Jan Vitek" link: "https://researchr.org/alias/jan-vitek" volume: "9032" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-662-46668-1" kind: "inproceedings" key: "FetscherCPHF15" - title: "The Twilight Zone: From Testing to Formal Specifications and Back Again" author: - name: "Koen Claessen" link: "http://www.cse.chalmers.se/~koen/" year: "2009" doi: "http://dx.doi.org/10.1007/978-3-642-10672-9_1" links: doi: "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: "Programming Languages and Systems, 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009. Proceedings" editor: - name: "Zhenjiang Hu" link: "http://research.nii.ac.jp/~hu/" volume: "5904" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-642-10671-2" kind: "inproceedings" key: "Claessen09" - title: "Static contract checking for Haskell" author: - name: "Dana N. Xu" link: "https://researchr.org/alias/dana-n.-xu" - name: "Simon L. Peyton Jones" link: "http://research.microsoft.com/en-us/people/simonpj/" - name: "Koen Claessen" link: "http://www.cse.chalmers.se/~koen/" year: "2009" doi: "http://doi.acm.org/10.1145/1480881.1480889" links: doi: "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: "Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2009, Savannah, GA, USA, January 21-23, 2009" editor: - name: "Zhong Shao" link: "https://researchr.org/alias/zhong-shao" - name: "Benjamin C. Pierce" link: "http://www.cis.upenn.edu/~bcpierce/" publisher: "ACM" isbn: "978-1-60558-379-2" kind: "inproceedings" key: "XuJC09" - title: "Wired: Wire-Aware Circuit Design" author: - name: "Emil Axelsson" link: "https://researchr.org/alias/emil-axelsson" - name: "Koen Claessen" link: "http://www.cse.chalmers.se/~koen/" - name: "Mary Sheeran" link: "https://researchr.org/alias/mary-sheeran" year: "2005" doi: "http://dx.doi.org/10.1007/11560548_4" links: doi: "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: "Correct Hardware Design and Verification Methods, 13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005, Proceedings" editor: - name: "Dominique Borrione" link: "https://researchr.org/alias/dominique-borrione" - name: "Wolfgang J. Paul" link: "https://researchr.org/alias/wolfgang-j.-paul" volume: "3725" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-29105-9" kind: "inproceedings" key: "AxelssonCS05" - title: "Observable Sharing for Functional Circuit Description" author: - name: "Koen Claessen" link: "http://www.cse.chalmers.se/~koen/" - name: "David Sands" link: "https://researchr.org/alias/david-sands" year: "1999" doi: "http://link.springer.de/link/service/series/0558/bibs/1742/17420062.htm" links: doi: "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: "Advances in Computing Science - ASIAN 99, 5th Asian Computing Science Conference, Phuket, Thailand, December 10-12, 1999, Proceedings" editor: - name: "P. S. Thiagarajan" link: "https://researchr.org/alias/p.-s.-thiagarajan" - name: "Roland H. C. Yap" link: "https://researchr.org/alias/roland-h.-c.-yap" volume: "1742" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-66856-X" kind: "inproceedings" key: "ClaessenS99" - title: "Enhancing Temporal Logic Falsification With Specification Transformation and Valued Booleans" author: - name: "Johan Lidén Eddeland" link: "https://researchr.org/alias/johan-lid%C3%A9n-eddeland" - name: "Koen Claessen" link: "http://www.cse.chalmers.se/~koen/" - name: "Nicholas Smallbone" link: "https://researchr.org/alias/nicholas-smallbone" - name: "Zahra Ramezani" link: "https://researchr.org/alias/zahra-ramezani" - name: "Sajed Miremadi" link: "https://researchr.org/alias/sajed-miremadi" - name: "Knut Åkesson" link: "https://researchr.org/alias/knut-%C3%A5kesson" year: "2020" doi: "https://doi.org/10.1109/TCAD.2020.2966480" links: doi: "https://doi.org/10.1109/TCAD.2020.2966480" dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/tcad/EddelandCSRMA20" researchr: "https://researchr.org/publication/EddelandCSRMA20" cites: 0 citedby: 0 journal: "IEEE Trans. on CAD of Integrated Circuits and Systems" volume: "39" number: "12" pages: "5247-5260" kind: "article" key: "EddelandCSRMA20" - title: "Linearly Ordered Attribute Grammar Scheduling Using SAT-Solving" author: - name: "Jeroen Bransen" link: "https://researchr.org/alias/jeroen-bransen" - name: "L. Thomas van Binsbergen" link: "https://researchr.org/alias/l.-thomas-van-binsbergen" - name: "Koen Claessen" link: "http://www.cse.chalmers.se/~koen/" - name: "Atze Dijkstra" link: "https://researchr.org/alias/atze-dijkstra" year: "2015" doi: "http://dx.doi.org/10.1007/978-3-662-46681-0_24" links: doi: "http://dx.doi.org/10.1007/978-3-662-46681-0_24" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/tacas/BransenBCD15" researchr: "https://researchr.org/publication/BransenBCD15" cites: 0 citedby: 0 pages: "289-303" 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" editor: - name: "Christel Baier" link: "https://researchr.org/alias/christel-baier" - name: "Cesare Tinelli" link: "https://researchr.org/alias/cesare-tinelli" volume: "9035" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-662-46680-3" kind: "inproceedings" key: "BransenBCD15" - title: "A library for light-weight information-flow security in haskell" author: - name: "Alejandro Russo" link: "https://researchr.org/alias/alejandro-russo" - name: "Koen Claessen" link: "http://www.cse.chalmers.se/~koen/" - name: "John Hughes" link: "http://www.cse.chalmers.se/~rjmh" year: "2008" doi: "http://doi.acm.org/10.1145/1411286.1411289" links: doi: "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: "Proceedings of the 1st ACM SIGPLAN Symposium on Haskell, Haskell 2008, Victoria, BC, Canada, 25 September 2008" editor: - name: "Andy Gill" link: "http://www.ittc.ku.edu/~andygill/" publisher: "ACM" isbn: "978-1-60558-064-7" kind: "inproceedings" key: "RussoCH08" - title: "Testing Safety PLCs Using QuickCheck" author: - name: "David Thönnessen" link: "https://researchr.org/alias/david-th%C3%B6nnessen" - name: "Nick Smallbone" link: "https://researchr.org/alias/nick-smallbone" - name: "Martin Fabian" link: "https://researchr.org/alias/martin-fabian" - name: "Koen Claessen" link: "http://www.cse.chalmers.se/~koen/" - name: "Stefan Kowalewski" link: "https://researchr.org/alias/stefan-kowalewski" year: "2019" doi: "https://doi.org/10.1109/COASE.2019.8843227" links: doi: "https://doi.org/10.1109/COASE.2019.8843227" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/case/ThonnessenSFCK19" researchr: "https://researchr.org/publication/ThonnessenSFCK19" cites: 0 citedby: 0 pages: "1-6" booktitle: "15th IEEE International Conference on Automation Science and Engineering, CASE 2019, Vancouver, BC, Canada, August 22-26, 2019" publisher: "IEEE" isbn: "978-1-7281-0356-3" kind: "inproceedings" key: "ThonnessenSFCK19" - title: "Feldspar: A domain specific language for digital signal processing algorithms" author: - name: "Emil Axelsson" link: "https://researchr.org/alias/emil-axelsson" - name: "Koen Claessen" link: "http://www.cse.chalmers.se/~koen/" - name: "Gergely Dévai" link: "https://researchr.org/alias/gergely-d%C3%A9vai" - name: "Z. Horváth" link: "https://researchr.org/alias/z.-horv%C3%A1th" - name: "Karin Keijzer" link: "https://researchr.org/alias/karin-keijzer" - name: "Bo Lyckegård" link: "https://researchr.org/alias/bo-lyckeg%C3%A5rd" - name: "Anders Persson" link: "https://researchr.org/alias/anders-persson" - name: "Mary Sheeran" link: "www.cse.chalmers.se/~ms/" - name: "Josef Svenningsson" link: "https://researchr.org/alias/josef-svenningsson" - name: "A. Vajda" link: "https://researchr.org/alias/a.-vajda" year: "2010" doi: "http://dx.doi.org/10.1109/MEMCOD.2010.5558637" links: doi: "http://dx.doi.org/10.1109/MEMCOD.2010.5558637" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/memocode/AxelssonCDHKLPSSV10" tags: - "domain-specific language" researchr: "https://researchr.org/publication/AxelssonCDHKLPSSV10" cites: 0 citedby: 0 pages: "169-178" booktitle: "8th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010), Grenoble, France, 26-28 July 2010" publisher: "IEEE Computer Society" kind: "inproceedings" key: "AxelssonCDHKLPSSV10" - title: "Towards secure IoT programming in Haskell" author: - name: "Nachiappan Valliappan" link: "https://researchr.org/alias/nachiappan-valliappan" - name: "Robert Krook" link: "https://researchr.org/alias/robert-krook" - name: "Alejandro Russo" link: "https://researchr.org/alias/alejandro-russo" - name: "Koen Claessen" link: "http://www.cse.chalmers.se/~koen/" year: "2020" doi: "https://doi.org/10.1145/3406088.3409027" links: doi: "https://doi.org/10.1145/3406088.3409027" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/haskell/ValliappanKRC20" researchr: "https://researchr.org/publication/ValliappanKRC20" cites: 0 citedby: 0 pages: "136-150" booktitle: "Proceedings of the 13th ACM SIGPLAN International Symposium on Haskell, Haskell@ICFP 2020, Virtual Event, USA, August 7, 2020" editor: - name: "Tom Schrijvers" link: "https://researchr.org/alias/tom-schrijvers" publisher: "ACM" isbn: "978-1-4503-8050-8" kind: "inproceedings" key: "ValliappanKRC20" - title: "Parallel Parsing Processes" author: - name: "Koen Claessen" link: "http://www.cse.chalmers.se/~koen/" year: "2004" doi: "http://dx.doi.org/10.1017/S0956796804005192" links: doi: "http://dx.doi.org/10.1017/S0956796804005192" tags: - "parsing" researchr: "https://researchr.org/publication/Claessen04%3A0" cites: 0 citedby: 0 journal: "Journal of Functional Programming" volume: "14" number: "6" pages: "741-757" kind: "article" key: "Claessen04:0" - title: "Testing monadic code with QuickCheck" author: - name: "Koen Claessen" link: "http://www.cse.chalmers.se/~koen/" - name: "John Hughes" link: "http://www.cse.chalmers.se/~rjmh" year: "2002" doi: "http://doi.acm.org/10.1145/636517.636527" links: doi: "http://doi.acm.org/10.1145/636517.636527" tags: - "testing" - "QuickCheck" researchr: "https://researchr.org/publication/ClaessenH02" cites: 0 citedby: 0 journal: "SIGPLAN Notices" volume: "37" number: "12" pages: "47-59" kind: "article" key: "ClaessenH02" - title: "HipSpec: Automating Inductive Proofs of Program Properties" author: - name: "Koen Claessen" link: "http://www.cse.chalmers.se/~koen/" - name: "Moa Johansson" link: "https://researchr.org/alias/moa-johansson" - name: "Dan Rosén" link: "https://researchr.org/alias/dan-ros%C3%A9n" - name: "Nicholas Smallbone" link: "https://researchr.org/alias/nicholas-smallbone" year: "2012" doi: "http://www.easychair.org/publications/?page=1515293356" links: doi: "http://www.easychair.org/publications/?page=1515293356" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/cade/ClaessenJRS12" researchr: "https://researchr.org/publication/ClaessenJRS12" cites: 0 citedby: 0 pages: "16-25" booktitle: "ATx'12/WInG'12: Joint Proceedings of the Workshops on Automated Theory eXploration and on Invariant Generation, Manchester, UK, June 2012" editor: - name: "Jacques D. Fleuriot" link: "https://researchr.org/alias/jacques-d.-fleuriot" - name: "Peter Höfner" link: "https://researchr.org/alias/peter-h%C3%B6fner" - name: "Annabelle McIver" link: "https://researchr.org/alias/annabelle-mciver" - name: "Alan Smaill" link: "https://researchr.org/alias/alan-smaill" volume: "17" series: "EPiC Series" publisher: "EasyChair" kind: "inproceedings" key: "ClaessenJRS12" - title: "Structuring Graphical Paradigms in TkGofer" author: - name: "Koen Claessen" link: "http://www.cse.chalmers.se/~koen/" - name: "Ton Vullinghs" link: "https://researchr.org/alias/ton-vullinghs" - name: "Erik Meijer" link: "https://researchr.org/alias/erik-meijer" year: "1997" researchr: "https://researchr.org/publication/ClaessenVM97" cites: 0 citedby: 0 pages: "251-262" booktitle: "ICFP" kind: "inproceedings" key: "ClaessenVM97" - title: "SAT-Based Assistance in Abstraction Refinement for Symbolic Trajectory Evaluation" author: - name: "Jan-Willem Roorda" link: "https://researchr.org/alias/jan-willem-roorda" - name: "Koen Claessen" link: "http://www.cse.chalmers.se/~koen/" year: "2006" doi: "http://dx.doi.org/10.1007/11817963_19" links: doi: "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: "Computer Aided Verification, 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings" editor: - name: "Thomas Ball" link: "https://researchr.org/alias/thomas-ball" - name: "Robert B. Jones" link: "https://researchr.org/alias/robert-b.-jones" volume: "4144" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-37406-X" kind: "inproceedings" key: "RoordaC06:0" - title: "Efficient parallel and incremental parsing of practical context-free languages" author: - name: "Jean-Philippe Bernardy" link: "https://researchr.org/alias/jean-philippe-bernardy" - name: "Koen Claessen" link: "http://www.cse.chalmers.se/~koen/" year: "2015" doi: "http://dx.doi.org/10.1017/S0956796815000131" links: doi: "http://dx.doi.org/10.1017/S0956796815000131" dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/jfp/BernardyC15" researchr: "https://researchr.org/publication/BernardyC15" cites: 0 citedby: 0 journal: "Journal of Functional Programming" volume: "25" kind: "article" key: "BernardyC15" - title: "Sort It Out with Monotonicity - Translating between Many-Sorted and Unsorted First-Order Logic" author: - name: "Koen Claessen" link: "http://www.cse.chalmers.se/~koen/" - name: "Ann Lillieström" link: "https://researchr.org/alias/ann-lilliestr%C3%B6m" - name: "Nicholas Smallbone" link: "https://researchr.org/alias/nicholas-smallbone" year: "2011" doi: "http://dx.doi.org/10.1007/978-3-642-22438-6_17" links: doi: "http://dx.doi.org/10.1007/978-3-642-22438-6_17" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/cade/ClaessenLS11" tags: - "translation" - "logic" researchr: "https://researchr.org/publication/ClaessenLS11" cites: 0 citedby: 0 pages: "207-221" booktitle: "Automated Deduction - CADE-23 - 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31 - August 5, 2011. Proceedings" editor: - name: "Nikolaj Bjørner" link: "https://researchr.org/alias/nikolaj-bj%26oslash%3Brner" - name: "Viorica Sofronie-Stokkermans" link: "https://researchr.org/alias/viorica-sofronie-stokkermans" volume: "6803" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-642-22437-9" kind: "inproceedings" key: "ClaessenLS11" - title: "Inferring morphological rules from small examples using 0/1 linear programming" author: - name: "Ann Lillieström" link: "https://researchr.org/alias/ann-lilliestr%C3%B6m" - name: "Koen Claessen" link: "http://www.cse.chalmers.se/~koen/" - name: "Nicholas Smallbone" link: "https://researchr.org/alias/nicholas-smallbone" year: "2019" doi: "https://aclweb.org/anthology/W19-6118/" links: doi: "https://aclweb.org/anthology/W19-6118/" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/nodalida/LilliestromCS19" researchr: "https://researchr.org/publication/LilliestromCS19" cites: 0 citedby: 0 pages: "164-174" booktitle: "Proceedings of the 22nd Nordic Conference on Computational Linguistics, NoDaLiDa 2019, Turku, Finland, September 30 - October 2, 2019" editor: - name: "Mareike Hartmann" link: "https://researchr.org/alias/mareike-hartmann" - name: "Barbara Plank" link: "https://researchr.org/alias/barbara-plank" publisher: "Linköping University Electronic Press" isbn: "978-91-7929-995-8" kind: "inproceedings" key: "LilliestromCS19" - title: "The Key monad: type-safe unconstrained dynamic typing" author: - name: "Atze van der Ploeg" link: "https://researchr.org/alias/atze-van-der-ploeg" - name: "Koen Claessen" link: "http://www.cse.chalmers.se/~koen/" - name: "Pablo Buiras" link: "https://researchr.org/alias/pablo-buiras" year: "2016" doi: "http://doi.acm.org/10.1145/2976002.2976008" links: doi: "http://doi.acm.org/10.1145/2976002.2976008" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/haskell/PloegCB16" researchr: "https://researchr.org/publication/PloegCB16" cites: 0 citedby: 0 pages: "146-157" booktitle: "Proceedings of the 9th International Symposium on Haskell, Haskell 2016, Nara, Japan, September 22-23, 2016" editor: - name: "Geoffrey Mainland" link: "https://researchr.org/alias/geoffrey-mainland" publisher: "ACM" isbn: "978-1-4503-4434-0" kind: "inproceedings" key: "PloegCB16" - title: "Efficient Encodings of First-Order Horn Formulas in Equational Logic" author: - name: "Koen Claessen" link: "http://www.cse.chalmers.se/~koen/" - name: "Nicholas Smallbone" link: "https://researchr.org/alias/nicholas-smallbone" year: "2018" doi: "https://doi.org/10.1007/978-3-319-94205-6_26" links: doi: "https://doi.org/10.1007/978-3-319-94205-6_26" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/cade/ClaessenS18" researchr: "https://researchr.org/publication/ClaessenS18" cites: 0 citedby: 0 pages: "388-404" 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" editor: - name: "Didier Galmiche" link: "https://researchr.org/alias/didier-galmiche" - name: "Stephan Schulz 0001" link: "https://researchr.org/alias/stephan-schulz-0001" - name: "Roberto Sebastiani" link: "https://researchr.org/alias/roberto-sebastiani" volume: "10900" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-319-94205-6" kind: "inproceedings" key: "ClaessenS18" - title: "A New SAT-Based Algorithm for Symbolic Trajectory Evaluation" author: - name: "Jan-Willem Roorda" link: "https://researchr.org/alias/jan-willem-roorda" - name: "Koen Claessen" link: "http://www.cse.chalmers.se/~koen/" year: "2005" doi: "http://dx.doi.org/10.1007/11560548_19" links: doi: "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: "Correct Hardware Design and Verification Methods, 13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005, Proceedings" editor: - name: "Dominique Borrione" link: "https://researchr.org/alias/dominique-borrione" - name: "Wolfgang J. Paul" link: "https://researchr.org/alias/wolfgang-j.-paul" volume: "3725" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-29105-9" kind: "inproceedings" key: "RoordaC05" - title: "Proceedings of the 4th ACM SIGPLAN Symposium on Haskell, Haskell 2011, Tokyo, Japan, 22 September 2011" year: "2011" links: dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/haskell/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: - name: "Koen Claessen" link: "http://www.cse.chalmers.se/~koen/" publisher: "ACM" isbn: "978-1-4503-0860-1" kind: "proceedings" key: "haskell-2011" - title: "Proceedings of the sixth workshop on Programming Languages meets Program Verification, PLPV 2012, Philadelphia, PA, USA, January 24, 2012" year: "2012" links: dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/plpv/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: - name: "Koen Claessen" link: "http://www.cse.chalmers.se/~koen/" - name: "Nikhil Swamy" link: "https://researchr.org/alias/nikhil-swamy" publisher: "ACM" isbn: "978-1-4503-1125-0" kind: "proceedings" key: "plpv-2012"