E-LIB Suche - Ergebnisse für: Salvaneschi, Guido

1

Type-Checking CRDT Convergence:

Zakhour, George ; Weisenburger, Pascal ; Salvaneschi, Guido
info:eu-repo/grantAgreement/SNSF/Project funding - Project funding (Div. I-III)/200021_200429/. , 2023

Link: https://zenodo.org/recor..

2

Type-Checking CRDT Convergence:

Zakhour, George ; Weisenburger, Pascal ; Salvaneschi, Guido
info:eu-repo/grantAgreement/SNSF/Project funding - Project funding (Div. I-III)/200021_200429/. , 2023

Link: https://zenodo.org/recor..

3

Towards Reliable Infrastructure as Code:

Sokolowski, Daniel ; Salvaneschi, Guido
2023 IEEE 20th International Conference on Software Architecture Companion (ICSA-C). , 2023

Link: https://www.alexandria.u..

4

Type-Safe Dynamic Placement with First-Class Placed Values:

Zakhour, George ; Weisenburger, Pascal ; Salvaneschi, Guido
info:eu-repo/grantAgreement/SNSF/Project funding - Project funding (Div. I-III)/200021_200429/. , 2023

Link: https://zenodo.org/recor..

5

Functional Programming for Distributed Systems with XC:

Audrito, Giorgio ; Casadei, Roberto ; Damiani, Ferruccio..
doi:10.4230/LIPIcs.ECOOP.2022.20. , 2022

Link: https://doi.org/10.4230/..

6

Prisma: A Tierless Language for Enforcing Contract-Client P..:

Richter, David ; Kretzler, David ; Weisenburger, Pascal...
http://arxiv.org/abs/2205.07780. , 2022

Link: http://arxiv.org/abs/220..

7

Prisma: A Tierless Language for Enforcing Contract-Client P..:

Richter, David ; Kretzler, David ; Weisenburger, Pascal...
doi:10.4230/LIPIcs.ECOOP.2022.35. , 2022

Link: https://doi.org/10.4230/..

8

Evaluation of Safe Dynamic Updating on Collaborative BPMN W..:

Sokolowski, Daniel ; Weisenburger, Pascal ; Salvaneschi, Guido
doi:10.1145/3510003.3510065. , 2022

Link: https://zenodo.org/recor..

9

Prisma: A Tierless Language for Enforcing Contract-Client P..:

Richter, David ; Kretzler, David ; Weisenburger, Pascal...
doi:10.4230/DARTS.8.2.16. , 2022

Link: https://doi.org/10.4230/..

10

Functional Programming for Distributed Systems with XC (Art..:

Audrito, Giorgio ; Casadei, Roberto ; Damiani, Ferruccio..
doi:10.4230/DARTS.8.2.8. , 2022

Link: https://doi.org/10.4230/..

11

Pulumi for µs:

Sokolowski, Daniel ; Weisenburger, Pascal ; Salvaneschi, Guido
https://github.com/mjuz-iac/pulumi/tree/v1.0.0-mjuz. , 2021

Link: https://zenodo.org/recor..

12

µs Infrastructure as Code:

Sokolowski, Daniel ; Weisenburger, Pascal ; Salvaneschi, Guido
https://github.com/mjuz-iac/mjuz/tree/v1.0.0. , 2021

Link: https://zenodo.org/recor..

13

Multiparty Languages: The Choreographic and Multitier Cases:

Giallorenzo, Saverio ; Montesi, Fabrizio ; Peressotti, Marco...
Giallorenzo , S , Montesi , F , Peressotti , M , Richter , D , Salvaneschi , G & Weisenburger , P 2021 , Multiparty Languages : The Choreographic and Multitier Cases . in A Møller & M Sridharan (eds) , 35th European Conference on Object-Oriented Programming (ECOOP 2021) . vol. 194 , 22 , Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik , Leibniz International Proceedings in Informatics (LIPIcs) , pp. 22:1-22:27 , European Conference on Object-Oriented Programming , 11/07/2021 . https://doi.org/10.4230/LIPIcs.ECOOP.2021.22. , 2021

Link: https://portal.findresea..

14

Multiparty Languages: The Choreographic and Multitier Cases..:

Giallorenzo, Saverio ; Montesi, Fabrizio ; Peressotti, Marco...
doi:10.4230/LIPIcs.ECOOP.2021.22. , 2021

Link: https://doi.org/10.4230/..

15

Pulumi TypeScript Stack References to µs Converter:

Sokolowski, Daniel ; Weisenburger, Pascal ; Salvaneschi, Guido
https://github.com/mjuz-iac/stackref-converter/tree/v1.0.0-RC0. , 2021

Link: https://zenodo.org/recor..