Bernardy, Jean-Philippe; Claessen, Koen: Efficient Parallel and Incremental Parsing of Practical Context-Free Languages.

Claessen, Koen; Rosén, Dan; Johansson, Moa; Smallbone, Nicholas: HipSpec: Automating Inductive Proofs using Theory Exploration.

Claessen, Koen; Sörensson, Niklas: A liveness checking algorithm that counts. 2012 Formal Methods in Computer-Aided Design, FMCAD 2012, pp. 52-59. ISBN/ISSN: 978-146734832-4

Claessen, Koen; Sheeran, Mary; Svensson, Joel: Expressive array constructs in an embedded GPU kernel programming language. Proceedings of the 7th workshop on Declarative aspects and applications of multicore programming, DAMP'12, pp. 21-30. ISBN/ISSN: 978-1-4503-1117-5

Claessen, Koen: Shrinking and showing functions (Functional pearl). 2012 ACM SIGPLAN Haskell Symposium, Haskell 2012. Copenhagen, 13 September 2012, 47 (12) pp. 73-80. ISBN/ISSN: 978-145031574-6

Sutcliffe, G.; Schulz, S.; Claessen, Koen; Baumgartner, P.: The TPTP typed first-order form with arithmetic. Lecture Notes in Computer Science. 18th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, Merida, 11-15 March 2012, 7180 pp. 406-419. ISBN/ISSN: 978-364228716-9

Axelsson, Emil; Claessen, Koen; Sheeran, Mary; Svenningsson, Josef; Engdal, David; Persson, Anders: The Design and Implementation of Feldspar: An Embedded Language for Digital Signal Processing. Lecture Notes in Computer Science, Implementation and Application of Functional Languages, 6647 pp. 121-136. ISBN/ISSN: 978-3-642-24275-5

Claessen, Koen; Lillieström, Ann: Automated Inference of Finite Unsatisfiability. Journal of Automated Reasoning, 47 (2) pp. 111-132.

Claessen, Koen; Hughes, John: QuickCheck: a lightweight tool for random testing of Haskell programs. ACM Sigplan Notices, 46 (4) pp. 53-64.

Claessen, Koen; Lillieström, Ann; Smallbone, Nicholas: Sort it out with monotonicity: translating between many-sorted and unsorted first-order logic. Lecture Notes in Computer Science, CADE'11 Proceedings of the 23rd international conference on Automated deduction, pp. 207-221. ISBN/ISSN: 978-3-642-22437-9

Palka, Michal H.; Claessen, Koen; Russo, Alejandro; Hughes, John: Testing an Optimising Compiler by Generating Random Lambda Terms. International Workshop on Automation of Software Test,

Svensson, Joel; Sheeran, Mary; Claessen, Koen: Obsidian: A Domain Specific Embedded Language for Parallel Programming of Graphics Processors. Lecture Notes in Computer Science. 20th International Symposium on Implementation and Application of Functional Languages, IFL 2008, Hatfield, 10-12 September 2008, 5836 pp. 156-173. ISBN/ISSN: 978-364224451-3

Axelsson, Emil; Claessen, Koen; Dévai, Gergely; Horváth, Zoltán; Keijzer, Karin; Lyckegård, Bo; Persson, Anders; Sheeran, Mary; Svenningsson, Josef; Vajda, András: Feldspar: A Domain Specific Language for Digital Signal Processing algorithms. Eighth ACM/IEEE International Conference on Formal Methods and Models for Codesign, pp. 169-178 . ISBN/ISSN: 978-142447885-9

Axelsson, Emil; Claessen, Koen; Sheeran, Mary; Svenningsson, Josef; Engdal, David; Persson, Anders: The Design and Implementation of Feldspar: an Embedded Language for Digital Signal Processing. IFL 2010, the 22nd Symposium on Implementation and Application of Functional Languages,

Bernardy, Jean-Philippe; Jansson, Patrik; Claessen, Koen: Testing Polymorphic Properties. Lecture Notes in Computer Science. 19th European Symposium on Programming, ESOP 2010, 6012 pp. 125-144. ISBN/ISSN: 978-3-642-11956-9

Blanchette, J.C.; Claessen, Koen: Generating counterexamples for structural inductions by exploiting nonstandard models. Lecture Notes in Computer Science. 17th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-17, Yogyakarta, 10-15 October 2010, 6397 pp. 127-141. ISBN/ISSN: 978-364216241-1

Claessen, Koen; Smallbone, Nicholas; Hughes, John: QuickSpec: Guessing Formal Specifications using Testing. Lecture Notes in Computer Science. 4th International Conference on Tests and Proofs, TAP 2010, Malaga, 1-2 July 2010, 6143 pp. 6-21. ISBN/ISSN: 978-3-642-13976-5

Claessen, Koen; Hughes, John; Palka, Michal H.; Smallbone, Nicholas; Svensson, Hans: Ranking programs using black box testing. Proceedings - International Conference on Software Engineering , pp. 103-110. ISBN/ISSN: 978-160558970-1

Svensson, Joel; Sheeran, Mary; Claessen, Koen: GPGPU Kernel Implementation and Refinement using Obsidian. ICCS 2010 conference proceedings; Amsterdam, NETHERLANDS, MAY 31-JUN 02, 2010, 1 (1) pp. 10 (2059-2068).

Svensson, Joel; Claessen, Koen; Sheeran, Mary: GPGPU Kernel Implementation using an Embedded Language: a Status Report. Göteborg : Chalmers University of Technology.

Swierstra, Wouter; Claessen, Koen; Seger, Carl; Sheeran, Mary; Shriver, Emily: Chalk: a language and tool for architecture design and analysis. Workshop on Designing Correct Circuits, associated with ETAPS,

Claessen, Koen; Roorda, J. W.: A FAITHFUL SEMANTICS FOR GENERALISED SYMBOLIC TRAJECTORY EVALUATION. Logical Methods in Computer Science, 5 (2) pp. 1 (artno).

Claessen, Koen; Palka, Michal H.; Smallbone, Nicholas; Hughes, John; Svensson, Hans; Arts, Thomas; Wiger, U.: Finding Race Conditions in Erlang with Quick Check and PULSE. ICFP'09: Proceedings of the ACM SIGPLAN International Conference on Functional Programming, pp. 149-160. ISBN/ISSN: 978-1-60558-332-7

Claessen, Koen; Seger, Carl; Sheeran, Mary; Shriver, Emily; Swierstra, Wouter: High level architectural modelling for early estimation of power and performance. Workshop on Hardware Design and Functional Languages, associated with ETAPS,

Claessen, Koen; Een, Niklas; Sheeran, Mary; Sörensson, Niklas; Voronov, Alexey; Åkesson, Knut: SAT-Solving in Practice, with a Tutorial Example from Supervisory Control. Discrete Event Dynamic Systems, 19 (4) pp. 495-524.

Russo, Alejandro; Claessen, Koen; Hughes, John: A Library for Light-Weight Information-Flow Security in Haskell. ACM Sigplan Notices, 44 (2) pp. 13-24.

Svensson, Joel; Sheeran, Mary; Claessen, Koen: Obsidian: A Domain Specific Embedded Language for General-Purpose Parallel Programming of Graphics Processors. Lecture Notes in Computer Science, 5836 pp. 14.

Xu, D. N.; Jones, S. P.; Claessen, Koen: Static Contract Checking for Haskell. ACM Sigplan Notices, 44 (1) pp. 41-52.

Claessen, Koen; Svensson, Hans: Finding Counter Examples in Induction Proofs. Proceedings of the 2nd International Conference on Tests and Proofs, in the LNCS series of Springer,

Claessen, Koen; Een, Niklas; Sheeran, Mary; Sörensson, Niklas: SAT-Solving in Practice. 9th International Workshop on Discrete Event Systems,

Russo, Alejandro; Claessen, Koen; Hughes, John: A Library for Light-Weight Information-Flow Security in Haskell. Proceedings of 2008 Haskell Symposium (Haskell 08),

Svensson, Joel; Claessen, Koen; Sheeran, Mary: Obsidian: An Embedded Language for Data-Parallel Programming . Int. Workshop on Designing Correct Circuits, DCC'08, associated with ETAPS,

Claessen, Koen: A Coverage Analysis for Safety Property Lists. Conference on Formal Methods for Computer Aided Design (FMCAD),

Claessen, Koen; Pace, Gordon: Embedded Hardware Description Languages: Exploring the Design Space. Hardware Design and Functional Languages,

Axelsson, Emil; Claessen, Koen; Sheeran, Mary: Using Lava and Wired for Design Exploration. Proceedings of the sixth international workshop on designing correct circuits, March, Vienna, Mary Sheeran and Tom Melham (editors),

Claessen, Koen; Roorda, Jan-Willem: An Introduction to Symbolic Trajectory Evaluation. Lecture notes of the sixth International School on Formal Methods for the Design of Computer, Communication and Software Systems: Hardware Verification, Lecture Notes in Computer Science , 3965

Roorda, Jan-Willem; Claessen, Koen: A Faithful Semantics for Generalised Symbolic Trajectory Evaluation. Göteborg : Chalmers University of Technology.

Roorda, Jan-Willem; Claessen, Koen: Explaining Symbolic Trajectory Evaluation by Giving It a Faithful Semantics.. Proceedings of the First International Computer Science Symposium in Russia, (CSR 2006) Lecture Notes in Computer Science, 3967 pp. 555-566. ISBN/ISSN: 3-540-34166-8

Roorda, Jan-Willem; Claessen, Koen: SAT-based Assistance in Abstraction Refinement for Symbolic Trajectory Evaluation. Proceedings of the 18th International Conference on Computer Aided Verification, (CAV 2006) Lecture Notes in Computer Science, 4144 pp. 175-189.

Roorda, Jan-Willem; Claessen, Koen: SAT-based Assistance in Abstraction Refinement for Symbolic Trajectory Evaluation. Göteborg : Chalmers University of Technology.

Arts, Thomas; Claessen, Koen; Hughes, John; Svensson, Hans: Testing Implementations of Formally Verified Algorithms. Proceedings of the 5th Conference on Software Engineering Research and Practice in Sweden,

Axelsson, Emil; Claessen, Koen; Sheeran, Mary: Wired: Wire-Aware Circuit Design. Correct Hardware Design and Verification Methods, 3725 pp. 5-19. ISBN/ISSN: 3-540-29105-9

Claessen, Koen; Svensson, Hans: A Semantics for Distributed Erlang. Proceedings of the ACM SIGPLAN 2005 Erlang Workshop, ISBN/ISSN: 1-59593-066-3

Roorda, Jan-Willem; Claessen, Koen: A new SAT-based Algorithm for Symbolic Trajectory Evaluation. Proceedings of Correct Hardware Design and Verification Methods 2005, (CHARME 2005), 3725 pp. 238-253. ISBN/ISSN: 3-540-29105-9

Arts, Thomas; Claessen, Koen; Svensson, Hans: Semi-Formal Development of a Fault-Tolerant Leader Election Protocol in Erlang. In Proc. of 4th Int. Workshop on Formal Approaches to Testing of Software, pp. 140-154.

Axelsson, Emil; Sheeran, Mary; Claessen, Koen: Wired - a Language for Describing Non-Functional Properties of Digital Circuits. Proceedings of International Workshop on Designing Correct Circuits. Barcelona, Spain, March 2004,

Claessen, Koen; Mårtensson, Johan: An Operational Semantics for Weak PSL. Formal Methods in Computer Aided Design,

Claessen, Koen: Parallel Parsing Processes. Journal of Functional Programming, 14 (6) pp. 741--757.

Claessen, Koen; Svensson, Hans; Arts, Thomas: Semi-Formal Development of a Fault-Tolerant Leader Election Protocol in Erlang. Formal Aspects of Testing,

Claessen, Koen; Sörensson, Niklas: New Techniques that Improve MACE-style Model Finding. Model Computation,

Claessen, Koen: Safety Property Verification of Cyclic Synchronous Circuits. Electronic Notes in Theoretical Computer Science. SLAP 2003: Synchronous Languages, Applications and Programming, A Satellite Workshop of ECRST 2003, Porto, 1 July 2003, 88 pp. 55-69.

Claessen, Koen; Hughes, John: Testing monadic code with QuickCheck. ACM SIGPLAN Notices, 37 (12) pp. 47-59.

Claessen, Koen: Embedded Languages for Describing and Verifying Hardware. Göteborg : Chalmers University of Technology. Diss.

Claessen, Koen; Ljunglöf, Peter: Typed logical variables in Haskell. Electronic Notes in Theoretical Computer Science, 41 (1)