E-LIB Suche - Ergebnisse für: Keller, Gabriele

1

Proceedings of the 2024 ACM SIGPLAN International Workshop ..:

Keller, Gabriele ; Wang, Meng , 2024

2

Work Assisting: Linking Task-Parallel Work Stealing with Da..:

, In: Proceedings of the 10th ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming,

de Wolff, Ivo Gabe ; Keller, Gabriele - p. 13-24 , 2024

Link: https://dl.acm.org/doi/1..

3

Translation certification for smart contracts:

Krijnen, Jacco O.G. ; Chakravarty, Manuel M.T. ; Keller, Gabriele.
Science of Computer Programming. 233 (2024) - p. 103051 , 2024

Link: https://doi.org/10.1016/..

4

PX-MBT: A framework for model-based player experience testi..:

Gholizadeh Ansari, Saba ; Prasetya, I.S.W.B. ; Dastani, Mehdi...
Science of Computer Programming. 236 (2024) - p. 103108 , 2024

Link: https://doi.org/10.1016/..

5

Proceedings of the 11th ACM SIGPLAN International Workshop ..:

Keller, Gabriele ; Westrick, Sam , 2023

Link: https://dl.acm.org/doi/1..

6

Dargent: A Silver Bullet for Verified Data Layout Refinemen:

Chen, Zilin ; Lafont, Ambroise ; O'Connor, Liam...
Proceedings of the ACM on Programming Languages. 7 (2023) POPL - p. 1369-1395 , 2023

Link: https://doi.org/10.1145/..

7

Model-based Player Experience Testing with Emotion Pattern ..:

, In: Fundamental Approaches to Software Engineering; Lecture Notes in Computer Science,

Ansari, Saba Gholizadeh ; Prasetya, I. S. W. B. ; Prandi, Davide... - p. 151-172 , 2023

Link: https://doi.org/10.1007/..

8

Embedded pattern matching:

, In: Proceedings of the 15th ACM SIGPLAN International Haskell Symposium,

McDonell, Trevor L. ; Meredith, Joshua D. ; Keller, Gabriele - p. 123-136 , 2022

Link: https://dl.acm.org/doi/1..

9

Property-Based Testing: Climbing the Stairway to Verificati..:

, In: Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering,

Chen, Zilin ; Rizkallah, Christine ; O'Connor, Liam... - p. 84-97 , 2022

Link: https://dl.acm.org/doi/1..

10

An Appraisal Transition System for Event-Driven Emotions in..:

, In: Engineering Multi-Agent Systems; Lecture Notes in Computer Science,

Ansari, Saba Gholizadeh ; Prasetya, I. S. W. B. ; Dastani, Mehdi.. - p. 156-174 , 2022

Link: https://doi.org/10.1007/..

11

Translation Certification for Smart Contracts:

, In: Functional and Logic Programming; Lecture Notes in Computer Science,

Krijnen, Jacco O. G. ; Chakravarty, Manuel M. T. ; Keller, Gabriele. - p. 94-111 , 2022

Link: https://doi.org/10.1007/..

12

Using an agent-based approach for robust automated testing ..:

, In: Proceedings of the 12th International Workshop on Automating TEST Case Design, Selection, and Evaluation,

Shirzadehhajimahmood, Samira ; Prasetya, I. S. W. B. ; Dignum, Frank.. - p. 1-8 , 2021

Link: https://dl.acm.org/doi/1..

13

Proceedings of the 9th ACM SIGPLAN International Workshop o..:

Keller, Gabriele ; Henriksen, Troels , 2021

Link: https://dl.acm.org/doi/1..

14

Cogent: uniqueness types and certifying compilation:

O'CONNOR, LIAM ; CHEN, ZILIN ; RIZKALLAH, CHRISTINE...
Journal of Functional Programming. 31 (2021) - p. , 2021

Link: https://doi.org/10.1017/..

15

On reconstruction of bandlimited signals from purely timing..:

Wijenayake, Chamith ; Ignjatovic, Aleksandar ; Keller, Gabriele
Signal Processing. 159 (2019) - p. 89-92 , 2019

Link: https://doi.org/10.1016/..