- Bjørnar Luteberget
, Koen Claessen, Christian Johansen
:
Design-Time Railway Capacity Verification using SAT modulo Discrete Event Simulation. FMCAD 2018: 1-9 - Alex Catarineu, Philipp Claßen, Konark Modi, Josep M. Pujol:
Preventing Attacks on Anonymous Data Collection. CoRR abs/1812.07927 (2018) - 2017
- Nicholas Smallbone, Moa Johansson, Koen Claessen, Maximilian Algehed:
Quick specifications for the busy programmer. J. Funct. Program. 27: e18 (2017) - Maximilian Algehed, Koen Claessen, Moa Johansson, Nicholas Smallbone:
QuickSpec: a lightweight theory exploration tool for programmers (system demonstration). Haskell 2017: 38-39 - Koen Claessen, Jonatan Kilhamn, Laura Kovács
, Bengt Lennartson:
A Supervisory Control Algorithm Based on Property-Directed Reachability. Haifa Verification Conference 2017: 115-130 - Koen Claessen, Jonatan Kilhamn, Laura Kovács, Bengt Lennartson:
A Supervisory Control Algorithm Based on Property-Directed Reachability. CoRR abs/1711.06501 (2017) - 2016
- Koen Claessen, Ann Lillieström:
Alternative Treatments of Common Binary Relations in First-order Automated Reasoning. PAAR@IJCAR 2016: 11-23 - Atze van der Ploeg
, Koen Claessen, Pablo Buiras:
The Key monad: type-safe unconstrained dynamic typing. Haskell 2016: 146-157 - Máté Karácsony, Koen Claessen:
Using fusion to enable late design decisions for pipelined computations. FHPC@ICFP 2016: 9-16 - Inari Listenmaa, Koen Claessen:
Analysing Constraint Grammars with a SAT-solver. LREC 2016 - 2015
- Jean-Philippe Bernardy, Koen Claessen:
Efficient parallel and incremental parsing of practical context-free languages. J. Funct. Program. 25 (2015) - Koen Claessen, Jonas Duregård, Michal H. Palka:
Generating constrained random data with uniform distribution. J. Funct. Program. 25 (2015) - Burke Fetscher, Koen Claessen, Michal H. Palka, John Hughes, Robert Bruce Findler:
Making Random Judgments: Automatically Generating Well-Typed Terms from the Definition of a Type-System. ESOP 2015: 383-405 - Atze van der Ploeg
, Koen Claessen:
Practical principled FRP: forget the past, change the future, FRPNow! ICFP 2015: 302-314 - Koen Claessen, Dan Rosén:
SAT Modulo Intuitionistic Implications. LPAR 2015: 622-637 - Koen Claessen, Moa Johansson, Dan Rosén, Nicholas Smallbone:
TIP: Tons of Inductive Problems. CICM 2015: 333-337 - Jeroen Bransen, L. Thomas van Binsbergen
, Koen Claessen, Atze Dijkstra:
Linearly Ordered Attribute Grammar Scheduling Using SAT-Solving. TACAS 2015: 289-303 - 2014
- Koen Claessen, Jonas Duregård, Michal H. Palka:
Generating Constrained Random Data with Uniform Distribution. FLOPS 2014: 18-34 - Anton Ekblad
, Koen Claessen:
A seamless, client-centric programming model for type safe web applications. Haskell 2014: 79-89 - Moa Johansson, Dan Rosén, Nicholas Smallbone, Koen Claessen:
Hipster: Integrating Theory Exploration in a Proof Assistant. CICM 2014: 108-122 - Moa Johansson, Dan Rosén, Nicholas Smallbone, Koen Claessen:
Hipster: Integrating Theory Exploration in a Proof Assistant. CoRR abs/1405.3426 (2014) - 2013
- Koen Claessen, Moa Johansson, Dan Rosén, Nicholas Smallbone:
Automating Inductive Proofs Using Theory Exploration. CADE 2013: 392-406 - Koen Claessen, Jasmin Fisher
, Samin Ishtiaq, Nir Piterman
, Qinsi Wang:
Model-Checking Signal Transduction Networks through Decreasing Reachability Sets. CAV 2013: 85-100 - Koen Claessen, Niklas Eén, Baruch Sterin:
A circuit approach to LTL model checking. FMCAD 2013: 53-60 - Koen Claessen, Michal H. Palka:
Splittable pseudorandom number generators using cryptographic hashing. Haskell 2013: 47-58 - Emil Axelsson, Koen Claessen:
Using circular programs for higher-order syntax: functional pearl. ICFP 2013: 257-262 - Jean-Philippe Bernardy, Koen Claessen:
Efficient divide-and-conquer parsing of practical context-free languages. ICFP 2013: 111-122 - Dimitrios Vytiniotis, Simon L. Peyton Jones, Koen Claessen, Dan Rosén:
HALO: haskell to logic through denotational semantics. POPL 2013: 431-442 - 2012
- Koen Claessen, Moa Johansson, Dan Rosén, Nicholas Smallbone:
HipSpec: Automating Inductive Proofs of Program Properties. ATx/WInG@IJCAR 2012: 16-25 - Koen Claessen, Niklas Sörensson:
A liveness checking algorithm that counts. FMCAD 2012: 52-59