Hoppa över menyflikskommandon

Hoppa till huvudinnehåll

Start

Personal

Koen Claessen

Professor, avdelningen för funktionell programmering, Institutionen för data- och informationsteknik.

koen@chalmers.se +46317725424 Hitta till mig

Publikationer
Samverkan och projekt

Senaste publikationer

2020
Enhancing Temporal Logic Falsification with Specification Transformation and Valued Booleans

Författare: Johan Lidén Eddeland; Koen Claessen; Nicholas Smallbone; Zahra Ramezani; Sajed Miremadi; Knut Åkesson

Publiceringsår: 2020

Publicerat i: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Publikationstyp: Artikel i vetenskaplig tidskrift
2019
Automated Drawing of Railway Schematics Using Numerical Optimization in SAT

Författare: Bjørnar Luteberget; Koen Claessen; Christian Johansen

Publiceringsår: 2019

Publicerat i: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Publikationstyp: Paper i proceeding
Design-Time Railway Capacity Verification using SAT modulo Discrete Event Simulation

Författare: Bjornar Luteberget; Koen Claessen; Christian Johansen

Publiceringsår: 2019

Publicerat i: PROCEEDINGS OF THE 2018 18TH CONFERENCE ON FORMAL METHODS IN COMPUTER AIDED DESIGN (FMCAD)

Publikationstyp: Paper i proceeding
Inferring Morphological Rules from Small Examples using 0/1 Linear Programming

Författare: Ann Lillieström; Koen Claessen; Nicholas Smallbone

Publiceringsår: 2019

Publicerat i: 22nd Nordic Conference on Computational Linguistics (NoDaLiDa)

Publikationstyp: Paper i proceeding
Testing Safety PLCs Using QuickCheck

Författare: David Thonnessen; Nicholas Smallbone; Martin Fabian; Koen Claessen; Stefan Kowalewski

Publiceringsår: 2019

Publicerat i: IEEE International Conference on Automation Science and Engineering

Publikationstyp: Paper i proceeding
Safety at speed: in-place array algorithms from pure functional programs by safely re-using storage

Författare: Markus Aronsson; Nicholas Smallbone; Mary Sheeran; Koen Claessen

Publiceringsår: 2019

Publicerat i: FHPNC 2019 Proceedings of the 8th ACM SIGPLAN International Workshop on Functional

Publikationstyp: Paper i proceeding
2018
Applying valued booleans in testing of cyber-physical systems

Författare: Koen Claessen; Nicholas Smallbone; Johan Lidén Eddeland; Zahra Ramezani; Knut Åkesson; Sajed Miremadi

Publiceringsår: 2018

Publicerat i: Proceedings - 2018 3rd Workshop on Monitoring and Testing of Cyber-Physical Systems, MT-CPS 2018

Publikationstyp: Paper i proceeding
Using Valued Booleans to Find Simpler Counterexamples in Random Testing of Cyber-Physical Systems

Författare: Koen Lindström Claessen; Nicholas Smallbone; Johan Lidén Eddeland; Zahra Ramezani; Knut Åkesson

Publiceringsår: 2018

Publicerat i: IFAC-PapersOnLine

Publikationstyp: Paper i proceeding
Efficient Encodings of First-Order Horn Formulas in Equational Logic

Författare: Koen Lindström Claessen; Nicholas Smallbone

Publiceringsår: 2018

Publicerat i: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Publikationstyp: Paper i proceeding
Automatic test suite generation for PMCFG grammars

Författare: Inari Listenmaa; Koen Lindström Claessen

Publiceringsår: 2018

Publicerat i:

Publikationstyp: Konferensbidrag (offentliggjort, men ej förlagsutgivet)
2017
A supervisory control algorithm based on property-directed reachability

Författare: Koen Lindström Claessen; Jonatan Kilhamn; Laura Kovacs; Bengt Lennartson

Publiceringsår: 2017

Publicerat i: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Publikationstyp: Paper i proceeding
QuickSpec: a lightweight theory exploration tool for programmers (system demonstration)

Författare: Maximilian Algehed; Koen Lindström Claessen; Moa Johansson; Nicholas Smallbone

Publiceringsår: 2017

Publicerat i: SIGPLAN Notices (ACM Special Interest Group on Programming Languages)

Publikationstyp: Artikel i vetenskaplig tidskrift
Quick Specifications for the Busy Programmer

Författare: Nicholas Smallbone; Moa Johansson; Koen Lindström Claessen; Maximilian Algehed

Publiceringsår: 2017

Publicerat i: Journal of Functional Programming

Publikationstyp: Artikel i vetenskaplig tidskrift
2016
Analysing constraint grammars with a SAT-solver

Författare: Inari Listenmaa; Koen Claessen

Publiceringsår: 2016

Publicerat i: 10th International Conference on Language Resources and Evaluation, LREC 2016; Grand Hotel Bernardin Conference CenterPortoroz; Slovenia; 23 May 2016 through 28 May 2016

Publikationstyp: Paper i proceeding
Handling common transitive relations in first-order automated reasoning

Författare: Koen Lindström Claessen; Ann Lillieström

Publiceringsår: 2016

Publicerat i: CEUR Workshop Proceedings

Publikationstyp: Paper i proceeding
2015
Constraint Grammar as a SAT problem

Författare: Inari Listenmaa; Koen Lindström Claessen

Publiceringsår: 2015

Publicerat i:

Publikationstyp: Paper i proceeding
Efficient parallel and incremental parsing of practical context-free languages

Författare: Jean-Philippe Bernardy; Koen Lindström Claessen

Publiceringsår: 2015

Publicerat i: Journal of Functional Programming

Publikationstyp: Artikel i vetenskaplig tidskrift
TIP: Tons of Inductive Problems

Författare: Koen Lindström Claessen; Moa Johansson; Dan Rosén; Nicholas Smallbone

Publiceringsår: 2015

Publicerat i: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Publikationstyp: Paper i proceeding
Efficient Parallel and Incremental Parsing

Författare: Jean-Philippe Bernardy; Koen Lindström Claessen

Publiceringsår: 2015

Publicerat i: Journal of Functional Programming

Publikationstyp: Artikel i vetenskaplig tidskrift
SAT modulo intuitionistic implications

Författare: Koen Lindström Claessen; Dan Rosén

Publiceringsår: 2015

Publicerat i: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Publikationstyp: Paper i proceeding
Linearly ordered attribute grammar scheduling using SAT-solving

Författare: J. Bransen; L.T. Van Binsbergen; Koen Lindström Claessen; A.H. Dijkstra

Publiceringsår: 2015

Publicerat i: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Publikationstyp: Paper i proceeding
Practical Principled FRP Forget the Past, Change the Future, FRPNow!

Författare: Atze van der Ploeg; Koen Lindström Claessen

Publiceringsår: 2015

Publicerat i: SIGPLAN Notices (ACM Special Interest Group on Programming Languages)

Publikationstyp: Paper i proceeding
Making Random Judgments: Automatically Generating Well-Typed Terms from the Definition of a Type-System

Författare: B. Fetscher; Koen Lindström Claessen; Michal Palka; John Hughes; R. B. Findler

Publiceringsår: 2015

Publicerat i: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Publikationstyp: Paper i proceeding
Generating constrained random data with uniform distribution

Författare: Koen Lindström Claessen; Jonas Almström Duregård; Michal Palka

Publiceringsår: 2015

Publicerat i: Journal of Functional Programming

Publikationstyp: Artikel i vetenskaplig tidskrift
2014
A seamless, client-centric programming model for type safe web applications

Författare: Anton Ekblad; Koen Lindström Claessen

Publiceringsår: 2014

Publicerat i: 6th ACM SIGPLAN Haskell Symposium, Haskell 2014; Gothenburg; Sweden; 4 September 2014 through 5 September 2014

Publikationstyp: Paper i proceeding

Gå till Chalmers publikationsbibliotek

Publicerad: on 23 aug 2017.