Gabriele Keller
Universiteit Utrecht
H-index: 27
Europe-Netherlands
Top articles of Gabriele Keller
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
PX-MBT: A framework for model-based player experience testing | Science of Computer Programming | Saba Gholizadeh Ansari ISWB Prasetya Mehdi Dastani Gabriele Keller Davide Prandi | 2024/9/1 |
Model-based Player Experience Testing with Emotion Pattern Verification | Saba Gholizadeh Ansari ISWB Prasetya Davide Prandi Fitsum Meshesha Kifetew Mehdi Dastani | 2023/4/20 | |
Dargent: a silver bullet for verified data layout refinement | Proceedings of the ACM on Programming Languages | Zilin Chen Ambroise Lafont Liam O'Connor Gabriele Keller Craig McLaughlin | 2023/1/9 |
Translation certification for smart contracts | Jacco OG Krijnen Manuel MT Chakravarty Gabriele Keller Wouter Swierstra | 2022/5/3 | |
Property-based testing: Climbing the stairway to verification | Zilin Chen Christine Rizkallah Liam O'Connor Partha Susarla Gerwin Klein | 2022/11/29 | |
Language Report Apache Groovy Programming Language | Athanasios Tsiamis Gabriele Keller Tom Smelding | 2022/2/22 | |
Embedded pattern matching | Trevor L McDonell Joshua D Meredith Gabriele Keller | 2022/9/6 | |
Cogent: uniqueness types and certifying compilation | Journal of Functional Programming | LIAM O’CONNOR Zilin Chen Christine Rizkallah Vincent Jackson Sidney Amani | 2021/1 |
An Appraisal Transition System for Event-Driven Emotions in Agent-Based Player Experience Testing | Saba Gholizadeh Ansari ISWB Prasetya Mehdi Dastani Frank Dignum Gabriele Keller | 2021/5/3 | |
Using an agent-based approach for robust automated testing of computer games | Samira Shirzadehhajimahmood ISWB Prasetya Frank Dignum Mehdi Dastani Gabriele Keller | 2021/8/23 | |
Accelerating Nested Data Parallelism: Preserving Regularity | Lars B van den Haak Trevor L McDonell Gabriele K Keller Ivo Gabe de Wolff | 2020/8/24 |