Articles with public access mandates - Gabriele KellerLearn more
Available somewhere: 11
Optimising purely functional GPU programs
TL McDonell, MMT Chakravarty, G Keller, B Lippmeier
ACM SIGPLAN Notices 48 (9), 49-60, 2013
Mandates: Australian Research Council
Cogent: Verifying high-assurance file system implementations
S Amani, A Hixon, Z Chen, C Rizkallah, P Chubb, L O'Connor, J Beeren, ...
ACM SIGARCH Computer Architecture News 44 (2), 175-188, 2016
Mandates: Australian Research Council
File systems deserve verification too!
G Keller, T Murray, S Amani, L O'Connor, Z Chen, L Ryzhyk, G Klein, ...
Proceedings of the Seventh Workshop on Programming Languages and Operating …, 2013
Mandates: Australian Research Council
A Framework for the Automatic Formal Verification of Refinement from Cogent to C
C Rizkallah, J Lim, Y Nagashima, T Sewell, Z Chen, L O’Connor, T Murray, ...
International Conference on Interactive Theorem Proving, 323-340, 2016
Mandates: Australian Research Council
Data flow fusion with series expressions in Haskell
B Lippmeier, MMT Chakravarty, G Keller, A Robinson
ACM SIGPLAN Notices 48 (12), 93-104, 2013
Mandates: Australian Research Council
Provably trustworthy systems
G Klein, J Andronick, G Keller, D Matichuk, T Murray, L O'Connor
Philosophical Transactions of the Royal Society A: Mathematical, Physical …, 2017
Mandates: US Department of Defense
Using an agent-based approach for robust automated testing of computer games
S Shirzadehhajimahmood, I Prasetya, F Dignum, M Dastani, G Keller
Proceedings of the 12th International Workshop on Automating TEST Case …, 2021
Mandates: European Commission
An appraisal transition system for event-driven emotions in agent-based player experience testing
SG Ansari, I Prasetya, M Dastani, F Dignum, G Keller
International Workshop on Engineering Multi-Agent Systems, 156-174, 2021
Mandates: European Commission
Translation certification for smart contracts
JOG Krijnen, MMT Chakravarty, G Keller, W Swierstra
International Symposium on Functional and Logic Programming, 94-111, 2022
Mandates: Netherlands Organisation for Scientific Research
PX-MBT: A framework for model-based player experience testing
SG Ansari, I Prasetya, M Dastani, G Keller, D Prandi, FM Kifetew, ...
Science of Computer Programming 236, 103108, 2024
Mandates: European Commission
EmoSTL: Formal Spatial-Temporal Verification of Emotion Specifications in Computer Games
SG Ansari, I Prasetya, M Dastani, F Dignum, G Keller
2024 IEEE Conference on Software Testing, Verification and Validation (ICST …, 2024
Mandates: European Commission
Publication and funding information is determined automatically by a computer program