I agree that this site is using cookies. You can find further informations here.
X
Bieniusa, Annette
97  results:
Search for persons X
?
1

Models for Storage in Database Backends:

, In: Proceedings of the 11th Workshop on Principles and Practice of Consistency for Distributed Data,
Schiebelbein, Edgard ; Hatia, Saalik ; Bieniusa, Annette... - p. 58-66 , 2024
Link: https://dl.acm.org/doi/1..
 
?
2

LoRe: A Programming Model for Verifiably Safe Local-first S..:

Haas, Julian ; Mogk, Ragnar ; Yanakieva, Elena..
ACM Transactions on Programming Languages and Systems.  46 (2024)  1 - p. 1-26 , 2024
Link: https://doi.org/10.1145/..
 
?
3

Bridging the Gap: Infusing Natural Science Classes with Com..:

, In: Lecture Notes in Computer Science; Informatics in Schools. Beyond Bits and Bytes: Nurturing Informatics Intelligence in Education,
Yanakieva, Elena ; Bieniusa, Annette ; Becka, Thomas... - p. 180-193 , 2023
Link: https://doi.org/10.1007/..
 
?
4

A Study of Semantics for CRDT-based Collaborative Spreadshe..:

, In: Proceedings of the 10th Workshop on Principles and Practice of Consistency for Distributed Data,
Yanakieva, Elena ; Bird, Philipp ; Bieniusa, Annette - p. 37-43 , 2023
Link: https://dl.acm.org/doi/1..
 
?
5

Set-theoretic Types for Erlang:

, In: Proceedings of the 34th Symposium on Implementation and Application of Functional Languages,
Schimpf, Albert ; Wehr, Stefan ; Bieniusa, Annette - p. 1-14 , 2022
Link: https://dl.acm.org/doi/1..
 
?
6

On the Impossibility of Confidentiality, Integrity and Acce..:

, In: Networked Systems; Lecture Notes in Computer Science,
Yanakieva, Elena ; Youssef, Michael ; Rezae, Ahmad Hussein. - p. 3-18 , 2021
Link: https://doi.org/10.1007/..
 
?
7

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

Aronis, Stavros ; Bieniusa, Annette , 2021
Link: https://dl.acm.org/doi/1..
 
?
8

Advanced Domain-Driven Design for Consistency in Distribute..:

, In: Proceedings of the 8th Workshop on Principles and Practice of Consistency for Distributed Data,
Braun, Susanne ; Bieniusa, Annette ; Elberzhager, Frank - p. 1-12 , 2021
Link: https://dl.acm.org/doi/1..
 
?
9

Combining state- and event-based semantics to verify highly..:

Zeller, Peter ; Bieniusa, Annette ; Poetzsch-Heffter, Arnd
Science of Computer Programming.  210 (2021)  - p. 102687 , 2021
Link: https://doi.org/10.1016/..
 
?
10

Bidirectional typing for Erlang:

, In: Proceedings of the 20th ACM SIGPLAN International Workshop on Erlang,
Rajendrakumar, Nithin Vadukkumchery ; Bieniusa, Annette - p. 54-63 , 2021
Link: https://dl.acm.org/doi/1..
 
?
11

Access Control Conflict Resolution in Distributed File Syst..:

, In: Proceedings of the 8th Workshop on Principles and Practice of Consistency for Distributed Data,
Yanakieva, Elena ; Youssef, Michael ; Rezae, Ahmad Hussein. - p. 1-3 , 2021
Link: https://dl.acm.org/doi/1..
 
?
12

Teaching practical realistic verification of distributed al..:

, In: Proceedings of the 19th ACM SIGPLAN International Workshop on Erlang,
Zeller, Peter ; Bieniusa, Annette ; Ferreira, Carla - p. 14-23 , 2020
Link: https://dl.acm.org/doi/1..
 
?
13

AutoCouch : a JSON CRDT framework:

, In: Proceedings of the 7th Workshop on Principles and Practice of Consistency for Distributed Data,
Grosch, Pascal ; Krafft, Roman ; Wölki, Marcel. - p. 1-7 , 2020
Link: https://dl.acm.org/doi/1..
 
?
14

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

Bieniusa, Annette ; Fördős, Viktória , 2020
Link: https://dl.acm.org/doi/1..
 
?
15

Combining State- and Event-Based Semantics to Verify Highly..:

, In: Formal Aspects of Component Software; Lecture Notes in Computer Science,
Zeller, Peter ; Bieniusa, Annette ; Poetzsch-Heffter, Arnd - p. 213-232 , 2020
Link: https://doi.org/10.1007/..
 
1-15