| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Geoff Sutcliffe, Stephan Schulz, Koen Claessen, Peter Baumgartner |
The TPTP Typed First-Order Form with Arithmetic.  |
LPAR  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Koen Claessen, Nikhil Swamy (eds.) |
Proceedings of the sixth workshop on Programming Languages meets Program Verification, PLPV 2012, Philadelphia, PA, USA, January 24, 2012 |
PLPV |
2012 |
DBLP BibTeX RDF |
|
| 1 | Koen Claessen, Mary Sheeran, Joel Svensson |
Expressive array constructs in an embedded GPU kernel programming language. |
DAMP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Koen Claessen, Ann Lillieström |
Automated Inference of Finite Unsatisfiability. |
J. Autom. Reasoning |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Koen Claessen, Ann Lillieström, Nicholas Smallbone |
Sort It Out with Monotonicity - Translating between Many-Sorted and Unsorted First-Order Logic. |
CADE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Koen Claessen |
The Anatomy of Equinox - An Extensible Automated Reasoning Tool for First-Order Logic and Beyond - (Talk Abstract). |
CADE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Koen Claessen (eds.) |
Proceedings of the 4th ACM SIGPLAN Symposium on Haskell, Haskell 2011, Tokyo, Japan, 22 September 2011 |
Haskell |
2011 |
DBLP BibTeX RDF |
|
| 1 | Joel Svensson, Koen Claessen, Mary Sheeran |
GPGPU kernel implementation and refinement using Obsidian. |
Procedia CS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
Feldspar: A domain specific language for digital signal processing algorithms. |
MEMOCODE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jasmin Christian Blanchette, Koen Claessen |
Generating Counterexamples for Structural Inductions by Exploiting Nonstandard Models. |
LPAR (Yogyakarta) |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Koen Claessen, Nicholas Smallbone, John Hughes |
QuickSpec: Guessing Formal Specifications Using Testing. |
TAP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Emil Axelsson, Koen Claessen, Mary Sheeran, Josef Svenningsson, David Engdal, Anders Persson |
The Design and Implementation of Feldspar - An Embedded Language for Digital Signal Processing. |
IFL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Philippe Bernardy, Patrik Jansson, Koen Claessen |
Testing Polymorphic Properties. |
ESOP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Koen Claessen, Jan-Willem Roorda |
A Faithful Semantics for Generalised Symbolic Trajectory Evaluation |
Logical Methods in Computer Science |
2009 |
DBLP BibTeX RDF |
|
| 1 | Koen Claessen, Niklas Eén, Mary Sheeran, Niklas Sörensson, Alexey Voronov, Knut Åkesson |
SAT-Solving in Practice, with a Tutorial Example from Supervisory Control. |
Discrete Event Dynamic Systems |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Koen Claessen, Ann Lillieström |
Automated Inference of Finite Unsatisfiability. |
CADE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Dana N. Xu, Simon L. Peyton Jones, Koen Claessen |
Static contract checking for Haskell. |
POPL |
2009 |
DBLP DOI BibTeX RDF |
contract satisfaction, static contract checking |
| 1 | Koen Claessen, Michal Palka, Nicholas Smallbone, John Hughes, Hans Svensson, Thomas Arts, Ulf T. Wiger |
Finding race conditions in Erlang with QuickCheck and PULSE. |
ICFP |
2009 |
DBLP DOI BibTeX RDF |
QuickCheck, Erlang, race conditions |
| 1 | Koen Claessen |
The Twilight Zone: From Testing to Formal Specifications and Back Again. |
APLAS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Koen Claessen, Hans Svensson |
Finding Counter Examples in Induction Proofs. |
TAP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Alejandro Russo, Koen Claessen, John Hughes |
A library for light-weight information-flow security in haskell. |
Haskell |
2008 |
DBLP DOI BibTeX RDF |
information-flow, library, monad, declassification |
| 1 | Joel Svensson, Mary Sheeran, Koen Claessen |
Obsidian: A Domain Specific Embedded Language for Parallel Programming of Graphics Processors. |
IFL |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Koen Claessen |
A Coverage Analysis for Safety Property Lists. |
FMCAD |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan-Willem Roorda, Koen Claessen |
Explaining Symbolic Trajectory Evaluation by Giving It a Faithful Semantics. |
CSR |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Geoff Sutcliffe, Stephan Schulz, Koen Claessen, Allen Van Gelder |
Using the TPTP Language for Writing Derivations and Finite Interpretations. |
IJCAR |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Koen Claessen, Jan-Willem Roorda |
An Introduction to Symbolic Trajectory Evaluation. |
SFM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan-Willem Roorda, Koen Claessen |
SAT-Based Assistance in Abstraction Refinement for Symbolic Trajectory Evaluation. |
CAV |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan-Willem Roorda, Koen Claessen |
A New SAT-Based Algorithm for Symbolic Trajectory Evaluation. |
CHARME |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Emil Axelsson, Koen Claessen, Mary Sheeran |
Wired: Wire-Aware Circuit Design. |
CHARME |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Koen Claessen, Hans Svensson |
A semantics for distributed Erlang. |
Erlang Workshop |
2005 |
DBLP DOI BibTeX RDF |
distributed systems, verification, semantics, Erlang |
| 1 | Koen Claessen |
Safety Property Verification of Cyclic Synchronous Circuits. |
Electr. Notes Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Koen Claessen |
Parallel Parsing Processes. |
J. Funct. Program. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Koen Claessen, Johan Mårtensson |
An Operational Semantics for Weak PSL. |
FMCAD |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Arts, Koen Claessen, Hans Svensson |
Semi-formal Development of a Fault-Tolerant Leader Election Protocol in Erlang. |
FATES |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Koen Claessen, Mary Sheeran, Satnam Singh |
Using Lava to design and verify recursive and periodic sorters. |
STTT |
2003 |
DBLP DOI BibTeX RDF |
FPGA circuit design, High speed sorting, Hardware description languages |
| 1 | Koen Claessen, Gordon J. Pace |
An embedded language approach to teaching hardware compilation. |
SIGPLAN Notices |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Koen Claessen, John Hughes |
Testing monadic code with QuickCheck. |
SIGPLAN Notices |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Koen Claessen, Colin Runciman, Olaf Chitil, John Hughes, Malcolm Wallace |
Testing and Tracing Lazy Functional Programs Using QuickCheck and Hat. |
Advanced Functional Programming |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Koen Claessen, Mary Sheeran, Satnam Singh |
The Design and Verification of a Sorter Core. |
CHARME |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Koen Claessen, Peter Ljunglöf |
Typed Logical Variables in Haskell. |
Electr. Notes Theor. Comput. Sci. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Per Bjesse, Koen Claessen |
SAT-Based Verification without State Space Traversal. |
FMCAD |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Koen Claessen, John Hughes |
QuickCheck: a lightweight tool for random testing of Haskell programs. |
ICFP |
2000 |
DBLP DOI BibTeX RDF |
Haskell |
| 1 | Koen Claessen |
A Poor Man's Concurrency Monad. |
J. Funct. Program. |
1999 |
DBLP BibTeX RDF |
|
| 1 | Koen Claessen, David Sands |
Observable Sharing for Functional Circuit Description. |
ASIAN |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Per Bjesse, Koen Claessen, Mary Sheeran, Satnam Singh |
Lava: Hardware Design in Haskell. |
ICFP |
1998 |
DBLP DOI BibTeX RDF |
Haskell |
| 1 | Koen Claessen, Ton Vullinghs, Erik Meijer |
Structuring Graphical Paradigms in TkGofer. |
ICFP |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Koen Claessen |
Graphs in Compilation. |
ICFP |
1997 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")