Koen Claessen

Visar 107 publikationer
HasTEE - Confidential Computing on Trusted Execution Environments with Haskell
Creating a Language for Writing Real-Time Applications for the Internet of Things
Testing Cyber-Physical Systems Using a Line-Search Falsification Method
SAT modulo discrete event simulation applied to railway design capacity analysis
Handling Transitive Relations in First-Order Automated Reasoning
Enhancing Temporal Logic Falsification with Specification Transformation and Valued Booleans
Multiple Objective Functions for Falsification of Cyber-Physical Systems
Finger trees explained anew, and slightly simplified (functional pearl)
Towards Secure IoT Programming in Haskell
Testing Safety PLCs Using QuickCheck
Inferring Morphological Rules from Small Examples using 0/1 Linear Programming
Safety at speed: in-place array algorithms from pure functional programs by safely re-using storage
Automated Drawing of Railway Schematics Using Numerical Optimization in SAT
Design-Time Railway Capacity Verification using SAT modulo Discrete Event Simulation
Automatic test suite generation for PMCFG grammars
Efficient Encodings of First-Order Horn Formulas in Equational Logic
Applying valued booleans in testing of cyber-physical systems
Using Valued Booleans to Find Simpler Counterexamples in Random Testing of Cyber-Physical Systems
Quick Specifications for the Busy Programmer
QuickSpec: a lightweight theory exploration tool for programmers (system demonstration)
A supervisory control algorithm based on property-directed reachability
QuickSpec: A lightweight theory exploration tool for programmers (system demonstration)
The Key monad: Type-safe unconstrained dynamic typing
Handling common transitive relations in first-order automated reasoning
Analysing constraint grammars with a SAT-solver
Using fusion to enable late design decisions for pipelined computations
Generating constrained random data with uniform distribution
TIP: Tons of Inductive Problems
SAT modulo intuitionistic implications
Constraint Grammar as a SAT problem
Efficient Parallel and Incremental Parsing
Efficient parallel and incremental parsing of practical context-free languages
Practical principled FRP: Forget the past, change the future, FRPNow!
Linearly ordered attribute grammar scheduling using SAT-solving
Practical Principled FRP Forget the Past, Change the Future, FRPNow!
A seamless, client-centric programming model for type safe web applications
Generating Constrained Random Data with Uniform Distribution
Splittable pseudorandom number generators using cryptographic hashing
Hipster: Integrating theory exploration in a proof assistant
Efficient Divide-and-Conquer Parsing of Practical Context-Free Languages
HALO: Haskell to Logic through Denotational Semantics
HALO: Haskell to logic through denotational semantics
Automating Inductive Proofs using Theory Exploration
Model-checking signal transduction networks through decreasing reachability sets
A circuit approach to LTL model checking
Using Circular Programs for Higher-Order Syntax Functional pearl
Using circular programs for higher-order syntax: Functional pearl
Efficient divide-and-conquer parsing of practical context-free languages
Splittable Pseudorandom Number Generators using Cryptographic Hashing
Expressive array constructs in an embedded GPU kernel programming language
A liveness checking algorithm that counts
Shrinking and showing functions (Functional pearl)
The TPTP typed first-order form with arithmetic
Testing an Optimising Compiler by Generating Random Lambda Terms
QuickCheck: a lightweight tool for random testing of Haskell programs
The Design and Implementation of Feldspar: An Embedded Language for Digital Signal Processing
Automated Inference of Finite Unsatisfiability
Obsidian: A Domain Specific Embedded Language for Parallel Programming of Graphics Processors
Sort it out with monotonicity: translating between many-sorted and unsorted first-order logic
GPGPU Kernel Implementation and Refinement using Obsidian
Generating counterexamples for structural inductions by exploiting nonstandard models
GPGPU Kernel Implementation using an Embedded Language: a Status Report
Chalk: a language and tool for architecture design and analysis
Feldspar: A Domain Specific Language for Digital Signal Processing algorithms
QuickSpec: Guessing Formal Specifications using Testing
The Design and Implementation of Feldspar: an Embedded Language for Digital Signal Processing
Testing Polymorphic Properties
Ranking programs using black box testing
Finding Race Conditions in Erlang with Quick Check and PULSE
Static contract checking for haskell
Finding Race Conditions in Erlang with QuickCheck and PULSE
A Library for Light-Weight Information-Flow Security in Haskell
Static Contract Checking for Haskell
High level architectural modelling for early estimation of power and performance
A FAITHFUL SEMANTICS FOR GENERALISED SYMBOLIC TRAJECTORY EVALUATION
Finding race conditions in erlang with quickcheck and PULSE
SAT-Solving in Practice, with a Tutorial Example from Supervisory Control
A Library for Light-Weight Information-Flow Security in Haskell
Finding Counter Examples in Induction Proofs
Obsidian: An Embedded Language for Data-Parallel Programming
Embedded Hardware Description Languages: Exploring the Design Space
A Coverage Analysis for Safety Property Lists
SAT-based Assistance in Abstraction Refinement for Symbolic Trajectory Evaluation
A Faithful Semantics for Generalised Symbolic Trajectory Evaluation
Using Lava and Wired for Design Exploration
Explaining Symbolic Trajectory Evaluation by Giving It a Faithful Semantics.
An Introduction to Symbolic Trajectory Evaluation
SAT-based Assistance in Abstraction Refinement for Symbolic Trajectory Evaluation
A Semantics for Distributed Erlang
Semi-Formal Development of a Fault-Tolerant Leader Election Protocol in Erlang
A new SAT-based Algorithm for Symbolic Trajectory Evaluation
Wired: Wire-Aware Circuit Design
Testing Implementations of Formally Verified Algorithms
Wired - a Language for Describing Non-Functional Properties of Digital Circuits
An Operational Semantics for Weak PSL
New Techniques that Improve MACE-style Model Finding
Functional Hardware Description in Lava
Safety Property Verification of Cyclic Synchronous Circuits
Specification-Based Testing with QuickCheck
Testing monadic code with QuickCheck
Embedded Languages for Describing and Verifying Hardware
An embedded language approach to hardware description and verification
QuickCheck: A lightweight tool for random testing of Haskell programs
Typed logical variables in Haskell
Ladda ner publikationslistor
Du kan ladda ner denna lista till din dator.
Filtrera och ladda ner publikationslista
Som inloggad användare hittar du ytterligare funktioner i MyResearch.
Du kan även exportera direkt till Zotero eller Mendeley genom webbläsarplugins. Dessa hittar du här:
Zotero Connector
Mendeley Web Importer
Tjänsten SwePub erbjuder uttag av Researchs listor i andra format, till exempel kan du få uttag av publikationer enligt Harvard och Oxford i .RIS, BibTex och RefWorks-format.
Visar 5 forskningsprojekt
Octopi: Säker Programmering för Sakernas Internet
Octopi: Säker Programering för Sakernas Internet
Systematisk testning av cyberfysiska system (SyTeC)
Development of automated methods for specification extraction from programs