Koen Claessen

机构：Chalmers University of Technology · ORCID：0000-0002-8113-4478

发表论文 153 篇 · 总被引 5405 次 · h-index 34

代表论文

• Multiple Objective Functions for Falsification of Cyber-Physical Systems (2020 · IFAC-PapersOnLine · 被引 16)
• Towards secure IoT programming in Haskell (2020 · 被引 14)
• The Verse Calculus: A Core Calculus for Deterministic Functional Logic Programming (2023 · Proceedings of the ACM on Programming Languages · 被引 13)
• Design-Time Railway Capacity Verification using SAT modulo Discrete Event Simulation (2018 · 被引 11)
• SAT modulo discrete event simulation applied to railway design capacity analysis (2021 · Formal Methods in System Design · 被引 9)
• Enhancing Temporal Logic Falsification with Specification Transformation and Valued Booleans (2020 · Chalmers Research (Chalmers University of Technology) · 被引 9)