Graphs in Compilation. - Koen Claessen (ICFP, 1997)

Structuring Graphical Paradigms in TkGofer. - Koen Claessen; Ton Vullinghs; Erik Meijer 001 (ICFP, 1997)

Lava: Hardware Design in Haskell. - Per Bjesse; Koen Claessen; Mary Sheeran; Satnam Singh (ICFP, 1998)

Observable Sharing for Functional Circuit Description. - Koen Claessen; David Sands 001 (ASIAN, 1999)

A Poor Man's Concurrency Monad. - Koen Claessen (J. Funct. Program., 1999)

SAT-Based Verification without State Space Traversal. - Per Bjesse; Koen Claessen (FMCAD, 2000)

QuickCheck: a lightweight tool for random testing of Haskell programs. - Koen Claessen; John Hughes 001 (ICFP, 2000)

Typed Logical Variables in Haskell. - Koen Claessen; Peter Ljunglöf (Haskell, 2000)

The Design and Verification of a Sorter Core. - Koen Claessen; Mary Sheeran; Satnam Singh (CHARME, 2001)

Embedded Languages for Describing and Verifying Hardware. - Koen Claessen (2001)

Testing and Tracing Lazy Functional Programs Using QuickCheck and Hat. - Koen Claessen; Colin Runciman; Olaf Chitil; John Hughes 001; Malcolm Wallace (Advanced Functional Programming, 2002)

Testing monadic code with QuickCheck. - Koen Claessen; John Hughes 001 (ACM SIGPLAN Notices, 2002)

An embedded language approach to teaching hardware compilation. - Koen Claessen; Gordon J. Pace (ACM SIGPLAN Notices, 2002)

Safety Property Verification of Cyclic Synchronous Circuits. - Koen Claessen (SLAP, 2003)

Using Lava to design and verify recursive and periodic sorters. - Koen Claessen; Mary Sheeran; Satnam Singh (Int. J. Softw. Tools Technol. Transf., 2003)

Semi-formal Development of a Fault-Tolerant Leader Election Protocol in Erlang. - Thomas Arts; Koen Claessen; Hans Svensson (FATES, 2004)

An Operational Semantics for Weak PSL. - Koen Claessen; Johan Mårtensson (FMCAD, 2004)

Parallel Parsing Processes. - Koen Claessen (J. Funct. Program., 2004)

Wired: Wire-Aware Circuit Design. - Emil Axelsson; Koen Claessen; Mary Sheeran (CHARME, 2005)

A New SAT-Based Algorithm for Symbolic Trajectory Evaluation. - Jan-Willem Roorda; Koen Claessen (CHARME, 2005)

A semantics for distributed Erlang. - Koen Claessen; Hans Svensson (Erlang Workshop, 2005)

Using the TPTP Language for Writing Derivations and Finite Interpretations. - Geoff Sutcliffe; Stephan Schulz 001; Koen Claessen; Allen Van Gelder (IJCAR, 2006)

SAT-Based Assistance in Abstraction Refinement for Symbolic Trajectory Evaluation. - Jan-Willem Roorda; Koen Claessen (CAV, 2006)

Explaining Symbolic Trajectory Evaluation by Giving It a Faithful Semantics. - Jan-Willem Roorda; Koen Claessen (CSR, 2006)

An Introduction to Symbolic Trajectory Evaluation. - Koen Claessen; Jan-Willem Roorda (SFM, 2006)

A Coverage Analysis for Safety Property Lists. - Koen Claessen (FMCAD, 2007)

A library for light-weight information-flow security in haskell. - Alejandro Russo; Koen Claessen; John Hughes 001 (Haskell, 2008)

Obsidian: A Domain Specific Embedded Language for Parallel Programming of Graphics Processors. - Joel Svensson; Mary Sheeran; Koen Claessen (IFL, 2008)

Finding Counter Examples in Induction Proofs. - Koen Claessen; Hans Svensson (TAP, 2008)

The Twilight Zone: From Testing to Formal Specifications and Back Again. - Koen Claessen (APLAS, 2009)

Finding race conditions in Erlang with QuickCheck and PULSE. - Koen Claessen; Michal H. Palka; Nicholas Smallbone; John Hughes 001; Hans Svensson; Thomas Arts; Ulf T. Wiger (ICFP, 2009)

Static contract checking for Haskell. - Dana N. Xu; Simon L. Peyton Jones; Koen Claessen (POPL, 2009)

A Faithful Semantics for Generalised Symbolic Trajectory Evaluation - Koen Claessen; Jan-Willem Roorda (Log. Methods Comput. Sci., 2009)

SAT-Solving in Practice, with a Tutorial Example from Supervisory Control. - Koen Claessen; Niklas Eén; Mary Sheeran; Niklas Sörensson; Alexey Voronov; Knut Åkesson (Discret. Event Dyn. Syst., 2009)

Testing Polymorphic Properties. - Jean-Philippe Bernardy; Patrik Jansson; Koen Claessen (ESOP, 2010)

Ranking programs using black box testing. - Koen Claessen; John Hughes 001; Michal H. Palka; Nicholas Smallbone; Hans Svensson (AST, 2010)

The Design and Implementation of Feldspar - An Embedded Language for Digital Signal Processing. - Emil Axelsson; Koen Claessen; Mary Sheeran; Josef Svenningsson; David Engdal; Anders Persson (IFL, 2010)

Generating Counterexamples for Structural Inductions by Exploiting Nonstandard Models. - Jasmin Christian Blanchette; Koen Claessen (LPAR (Yogyakarta), 2010)

Feldspar: A domain specific language for digital signal processing algorithms. - Emil Axelsson; Koen Claessen; Gergely Dévai; Zoltán Horváth; Karin Keijzer; Bo Lyckegård; Anders Persson; Mary Sheeran; Josef Svenningsson; András Vajda (MEMOCODE, 2010)

QuickSpec: Guessing Formal Specifications Using Testing. - Koen Claessen; Nicholas Smallbone; John Hughes 001 (TAP@TOOLS, 2010)

GPGPU kernel implementation and refinement using Obsidian. - Joel Svensson; Koen Claessen; Mary Sheeran (ICCS, 2010)

The Anatomy of Equinox - An Extensible Automated Reasoning Tool for First-Order Logic and Beyond - (Talk Abstract). - Koen Claessen (CADE, 2011)

Sort It Out with Monotonicity - Translating between Many-Sorted and Unsorted First-Order Logic. - Koen Claessen; Ann Lillieström; Nicholas Smallbone (CADE, 2011)

Testing an optimising compiler by generating random lambda terms. - Michal H. Palka; Koen Claessen; Alejandro Russo; John Hughes 001 (AST, 2011)

Automated Inference of Finite Unsatisfiability. - Koen Claessen; Ann Lillieström (J. Autom. Reason., 2011)

HipSpec: Automating Inductive Proofs of Program Properties. - Koen Claessen; Moa Johansson; Dan Rosén; Nicholas Smallbone (ATx/WInG@IJCAR, 2012)

A liveness checking algorithm that counts. - Koen Claessen; Niklas Sörensson (FMCAD, 2012)

Shrinking and showing functions: (functional pearl). - Koen Claessen (Haskell, 2012)

The TPTP Typed First-Order Form with Arithmetic. - Geoff Sutcliffe; Stephan Schulz 001; Koen Claessen; Peter Baumgartner 001 (LPAR, 2012)

Expressive array constructs in an embedded GPU kernel programming language. - Koen Claessen; Mary Sheeran; Joel Svensson (DAMP, 2012)

Automating Inductive Proofs Using Theory Exploration. - Koen Claessen; Moa Johansson; Dan Rosén; Nicholas Smallbone (CADE, 2013)

Model-Checking Signal Transduction Networks through Decreasing Reachability Sets. - Koen Claessen; Jasmin Fisher; Samin Ishtiaq; Nir Piterman; Qinsi Wang (CAV, 2013)

A circuit approach to LTL model checking. - Koen Claessen; Niklas Eén; Baruch Sterin (FMCAD, 2013)

Splittable pseudorandom number generators using cryptographic hashing. - Koen Claessen; Michal H. Palka (Haskell, 2013)

Using circular programs for higher-order syntax: functional pearl. - Emil Axelsson; Koen Claessen (ICFP, 2013)

Efficient divide-and-conquer parsing of practical context-free languages. - Jean-Philippe Bernardy; Koen Claessen (ICFP, 2013)

HALO: haskell to logic through denotational semantics. - Dimitrios Vytiniotis; Simon L. Peyton Jones; Koen Claessen; Dan Rosén (POPL, 2013)

A seamless, client-centric programming model for type safe web applications. - Anton Ekblad; Koen Claessen (Haskell, 2014)

Hipster: Integrating Theory Exploration in a Proof Assistant. - Moa Johansson; Dan Rosén; Nicholas Smallbone; Koen Claessen (CICM, 2014)

Making Random Judgments: Automatically Generating Well-Typed Terms from the Definition of a Type-System. - Burke Fetscher; Koen Claessen; Michal H. Palka; John Hughes 001; Robert Bruce Findler (ESOP, 2015)

Practical principled FRP: forget the past, change the future, FRPNow! - Atze van der Ploeg; Koen Claessen (ICFP, 2015)

SAT Modulo Intuitionistic Implications. - Koen Claessen; Dan Rosén (LPAR, 2015)

TIP: Tons of Inductive Problems. - Koen Claessen; Moa Johansson; Dan Rosén; Nicholas Smallbone (CICM, 2015)

Linearly Ordered Attribute Grammar Scheduling Using SAT-Solving. - Jeroen Bransen; L. Thomas van Binsbergen; Koen Claessen; Atze Dijkstra (TACAS, 2015)

Efficient parallel and incremental parsing of practical context-free languages. - Jean-Philippe Bernardy; Koen Claessen (J. Funct. Program., 2015)

Generating constrained random data with uniform distribution. - Koen Claessen; Jonas Duregård; Michal H. Palka (J. Funct. Program., 2015)

Alternative Treatments of Common Binary Relations in First-order Automated Reasoning. - Koen Claessen; Ann Lillieström (PAAR@IJCAR, 2016)

The Key monad: type-safe unconstrained dynamic typing. - Atze van der Ploeg; Koen Claessen; Pablo Buiras (Haskell, 2016)

Using fusion to enable late design decisions for pipelined computations. - Máté Karácsony; Koen Claessen (FHPC@ICFP, 2016)

Analysing Constraint Grammars with a SAT-solver. - Inari Listenmaa; Koen Claessen (LREC, 2016)

QuickSpec: a lightweight theory exploration tool for programmers (system demonstration). - Maximilian Algehed; Koen Claessen; Moa Johansson; Nicholas Smallbone (Haskell, 2017)

A Supervisory Control Algorithm Based on Property-Directed Reachability. - Koen Claessen; Jonatan Kilhamn; Laura Kovács; Bengt Lennartson (Haifa Verification Conference, 2017)

Quick specifications for the busy programmer. - Nicholas Smallbone; Moa Johansson; Koen Claessen; Maximilian Algehed (J. Funct. Program., 2017)

Efficient Encodings of First-Order Horn Formulas in Equational Logic. - Koen Claessen; Nicholas Smallbone (IJCAR, 2018)

Applying Valued Booleans in Testing of Cyber-Physical Systems. - Koen Claessen; Nicholas Smallbone; Johan Lidén Eddeland; Zahra Ramezani; Knut Åkesson; Sajed Miremadi (MT@CPSWeek, 2018)

Design-Time Railway Capacity Verification using SAT modulo Discrete Event Simulation. - Bjørnar Luteberget; Koen Claessen; Christian Johansen (FMCAD, 2018)

Testing Safety PLCs Using QuickCheck. - David Thönnessen; Nick Smallbone; Martin Fabian; Koen Claessen; Stefan Kowalewski (CASE, 2019)

Safety at speed: in-place array algorithms from pure functional programs by safely re-using storage. - Markus Aronsson; Koen Claessen; Mary Sheeran; Nicholas Smallbone (FHPNC@ICFP, 2019)

Automated Drawing of Railway Schematics Using Numerical Optimization in SAT. - Bjørnar Luteberget; Koen Claessen; Christian Johansen (IFM, 2019)

Inferring morphological rules from small examples using 0/1 linear programming. - Ann Lillieström; Koen Claessen; Nicholas Smallbone (NODALIDA, 2019)

Finger trees explained anew, and slightly simplified (functional pearl). - Koen Claessen (Haskell@ICFP, 2020)

Towards secure IoT programming in Haskell. - Nachiappan Valliappan; Robert Krook; Alejandro Russo; Koen Claessen (Haskell@ICFP, 2020)

Enhancing Temporal Logic Falsification With Specification Transformation and Valued Booleans. - Johan Lidén Eddeland; Koen Claessen; Nicholas Smallbone; Zahra Ramezani; Sajed Miremadi; Knut Åkesson (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020)

SAT modulo discrete event simulation applied to railway design capacity analysis. - Bjørnar Luteberget; Koen Claessen; Christian Johansen; Martin Steffen (Formal Methods Syst. Des., 2021)

Handling Transitive Relations in First-Order Automated Reasoning. - Koen Claessen; Ann Lillieström (J. Autom. Reason., 2021)

Creating a Language for Writing Real-Time Applications for the Internet of Things. - Robert Krook; John Hui; Bo Joel Svensson; Stephen A. Edwards; Koen Claessen (MEMOCODE, 2022)

Testing Cyber-Physical Systems Using a Line-Search Falsification Method. - Zahra Ramezani; Koen Claessen; Nicholas Smallbone; Martin Fabian; Knut Åkesson (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022)

HasTEE: Programming Trusted Execution Environments with Haskell. - Abhiroop Sarkar; Robert Krook; Alejandro Russo; Koen Claessen (Haskell, 2023)

QuickerCheck: Implementing and Evaluating a Parallel Run-Time for QuickCheck. - Robert Krook; Nicholas Smallbone; Bo Joel Svensson; Koen Claessen (IFL, 2023)

The Verse Calculus: A Core Calculus for Deterministic Functional Logic Programming. - Lennart Augustsson; Joachim Breitner; Koen Claessen; Ranjit Jhala; Simon Peyton Jones; Olin Shivers; Guy L. Steele Jr.; Tim Sweeney (Proc. ACM Program. Lang., 2023)

Story of Your Lazy Function's Life: A Bidirectional Demand Semantics for Mechanized Cost Analysis of Lazy Programs. - Li-yao Xia; Laura Israel; Maite Kramarz; Nicholas Coltharp; Koen Claessen; Stephanie Weirich; Yao Li 004 (Proc. ACM Program. Lang., 2024)