Chalmers Research

Filtrera träfflistan

Institution

Samförfattande organisation

Publikationstyp

År

Inga filter valda

Visar 108 publikationer

2024

Story of Your Lazy Function's Life A Bidirectional Demand Semantics for Mechanized Cost Analysis of Lazy Programs

Li-yao Xia, Laura Israel, Maite Kramarz et al

Proceedings of the ACM on Programming Languages (ICFP)

Artikel i vetenskaplig tidskrift

2023

QuickerCheck Implementing and Evaluating a Parallel Run-Time for QuickCheck

Robert Krook, Nicholas Smallbone, Joel Svensson et al

PROCEEDINGS OF THE 2023 35TH SYMPOSIUM ON IMPLEMENTATION AND APPLICATION OF FUNCTIONAL LANGUAGES, IFL 2023

Paper i proceeding

2023

HasTEE - Programming Trusted Execution Environments with Haskell

Abhiroop Sarkar, Robert Krook, Alejandro Russo et al

Haskell 2023 - Proceedings of the 16th ACM SIGPLAN International Symposium on Haskell, Co-located with ICFP 2023, p. 72-88

Paper i proceeding

2022

Testing Cyber-Physical Systems Using a Line-Search Falsification Method

Zahra Ramezani, Koen Claessen, Nicholas Smallbone et al

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (8), p. 2393-2406

Artikel i vetenskaplig tidskrift

2022

Creating a Language for Writing Real-Time Applications for the Internet of Things

Robert Krook, John Hui, Joel Svensson et al

2022 20th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2022

Paper i proceeding

2021

Handling Transitive Relations in First-Order Automated Reasoning

Koen Claessen, Ann Lillieström

Journal of Automated Reasoning (8), p. 1097-1124

Artikel i vetenskaplig tidskrift

2021

SAT modulo discrete event simulation applied to railway design capacity analysis

Bjørnar Luteberget, Koen Claessen, Christian Johansen et al

Formal Methods in System Design (2), p. 211-245

Artikel i vetenskaplig tidskrift

2020

Towards Secure IoT Programming in Haskell

Nachiappan Valliappan, Robert Krook, Alejandro Russo et al

Haskell 2020 - Proceedings of the 13th ACM SIGPLAN International Symposium on Haskell, co-located with ICFP 2020, p. 136-150

Paper i proceeding

2020

Multiple Objective Functions for Falsification of Cyber-Physical Systems

Zahra Ramezani, Johan Lidén Eddeland, Koen Claessen et al

IFAC-PapersOnLine (4), p. 417-422

Paper i proceeding

2020

Finger trees explained anew, and slightly simplified (functional pearl)

Koen Claessen

Haskell 2020 - Proceedings of the 13th ACM SIGPLAN International Symposium on Haskell, co-located with ICFP 2020, p. 31-38

Paper i proceeding

Ladda ner till din dator

Ladda ner publikationslistor

Du kan ladda ner denna lista till din dator.

Export i APA, Vancouver, IEEE som text, RTF/Word eller html-format.

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.

RSS-flöde

Använder du en RSS-läsare eller vill göra en integration kan du använda denna länk som ger dig de senaste publikationerna i RSS-format.

Publikationer för Chalmers tekniska högskola

Det finns inga projekt som matchar sökfrågan Persons.PersonData.IdentifierCid:koen

Det kan finnas fler projekt, men du måste vara inloggad som anställd på Chalmers för att kunna se dem.

Ett tekniskt fel uppstod i sökning efter projekt.

Detta kan bero på att ett fältnamn som är angivet i söksträngen inte existerar.

Det finns inga personer som matchar sökfrågan Persons.PersonData.IdentifierCid:koen