Koen Claessen
Chalmers tekniska högskola
H-index: 38
Europe-Sweden
Top articles of Koen Claessen
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
QuickerCheck: Implementing and Evaluating a Parallel Run-Time for QuickCheck | arXiv preprint arXiv:2404.16062 | Robert Krook Nicholas Smallbone Bo Joel Svensson Koen Claessen | 2024/4/17 |
HasTEE: Programming Trusted Execution Environments with Haskell | Abhiroop Sarkar Robert Krook Alejandro Russo Koen Claessen | 2023/8/30 | |
Falsifying Cyber-Physical Systems--a Hybrid Optimization-Free and an Optimization-Based Line-Search Approach | Authorea Preprints | Zahra Ramezani Koen Claessen Nicholas Smallbone Martin Fabian Knut Åkesson | 2023/11/8 |
The verse calculus: a core calculus for deterministic functional logic programming | Proceedings of the ACM on Programming Languages | Lennart Augustsson Joachim Breitner Koen Claessen Ranjit Jhala Simon Peyton Jones | 2023/8/30 |
Creating a language for writing real-time applications for the internet of things | Robert Krook John Hui Bo Joel Svensson Stephen A Edwards Koen Claessen | 2022/10/13 | |
Handling Transitive Relations in First-Order Automated Reasoning | Journal of Automated Reasoning | Koen Claessen Ann Lillieström | 2021/12 |
Testing cyber–physical systems using a line-search falsification method | IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems | Zahra Ramezani Koen Claessen Nicholas Smallbone Martin Fabian Knut Åkesson | 2021/9/6 |
SAT modulo discrete event simulation applied to railway design capacity analysis | Formal Methods in System Design | Bjørnar Luteberget Koen Claessen Christian Johansen Martin Steffen | 2021/8 |
Finger trees explained anew, and slightly simplified (functional pearl) | Koen Claessen | 2020/8/27 | |
Towards secure IoT programming in Haskell | Nachiappan Valliappan Robert Krook Alejandro Russo Koen Claessen | 2020/8/27 | |
Enhancing temporal logic falsification with specification transformation and valued booleans | IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems | Johan Lidén Eddeland Koen Claessen Nicholas Smallbone Zahra Ramezani Sajed Miremadi | 2020/1/13 |
Multiple objective functions for falsification of cyber-physical systems | IFAC-PapersOnLine | Zahra Ramezani Johan Lidén Eddeland Koen Claessen Martin Fabian Knut Åkesson | 2020/1/1 |