Koen Claessen - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Publications with a 'Koen Claessen' as author, editor, or advisor:

QuickerCheck: Implementing and Evaluating a Parallel Run-Time for QuickCheckRobert Krook, Nicholas Smallbone, Bo Joel Svensson, Koen Claessen. IFL 2023: [doi]
Testing Cyber-Physical Systems Using a Line-Search Falsification MethodZahra Ramezani, Koen Claessen, Nicholas Smallbone, Martin Fabian, Knut Åkesson. tcad, 41(8):2393-2406, 2022. [doi]
Testing monadic code with QuickCheckKoen Claessen, John Hughes 0001. haskell 2002: 65-77 [doi]
Handling Transitive Relations in First-Order Automated ReasoningKoen Claessen, Ann Lillieström. JAR, 65(8):1097-1124, 2021. [doi]
Story of Your Lazy Function's Life: A Bidirectional Demand Semantics for Mechanized Cost Analysis of Lazy ProgramsLi-yao Xia, Laura Israel, Maite Kramarz, Nicholas Coltharp, Koen Claessen, Stephanie Weirich, Yao Li 0004. PACMPL, 8(ICFP):30-63, 2024. [doi]
SAT modulo discrete event simulation applied to railway design capacity analysisBjørnar Luteberget, Koen Claessen, Christian Johansen, Martin Steffen. fmsd, 57(2):211-245, 2021. [doi]
Creating a Language for Writing Real-Time Applications for the Internet of ThingsRobert Krook, John Hui, Bo Joel Svensson, Stephen A. Edwards, Koen Claessen. memocode 2022: 1-20 [doi]
HasTEE: Programming Trusted Execution Environments with HaskellAbhiroop Sarkar, Robert Krook, Alejandro Russo, Koen Claessen. haskell 2023: 72-88 [doi]
The Verse Calculus: A Core Calculus for Deterministic Functional Logic ProgrammingLennart Augustsson, Joachim Breitner, Koen Claessen, Ranjit Jhala, Simon Peyton Jones, Olin Shivers, Guy L. Steele Jr., Tim Sweeney. PACMPL, 7(ICFP):417-447, August 2023. [doi]

runs on WebDSL