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

1

The eXchange Calculus (XC): A functional programming langua..:

Audrito, Giorgio ; Casadei, Roberto ; Damiani, Ferruccio..
Journal of Systems and Software. 210 (2024) - p. 111976 , 2024

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

2

Bridging Between Active Objects: Multitier Programming for ..:

, In: Lecture Notes in Computer Science; Active Object Languages: Current Research Trends,

Salvaneschi, Guido ; Weisenburger, Pascal - p. 92-122 , 2024

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

3

Automated Infrastructure as Code Program Testing:

Sokolowski, Daniel ; Spielmann, David ; Salvaneschi, Guido
IEEE Transactions on Software Engineering. , 2024

Link: https://doi.org/10.1109/..

4

Prisma : A Tierless Language for Enforcing Contract-client ..:

Richter, David ; Kretzler, David ; Weisenburger, Pascal...
ACM Transactions on Programming Languages and Systems. 45 (2023) 3 - p. 1-41 , 2023

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

5

Towards Reliable Infrastructure as Code:

, In: 2023 IEEE 20th International Conference on Software Architecture Companion (ICSA-C),

Sokolowski, Daniel ; Salvaneschi, Guido - p. 318-321 , 2023

Link: https://doi.org/10.1109/..

6

Decentralizing Infrastructure as Code:

Sokolowski, Daniel ; Weisenburger, Pascal ; Salvaneschi, Guido
IEEE Software. 40 (2023) 1 - p. 50-55 , 2023

Link: https://doi.org/10.1109/..

7

The uphill journey of FaaS in the open-source community:

Eskandani, Nafise ; Salvaneschi, Guido
Journal of Systems and Software. 198 (2023) - p. 111589 , 2023

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

8

Safe Combination of Data-Centric and Operation-Centric Cons..:

, In: Companion Proceedings of the 2023 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity,

Köhler, Mirko ; Salvaneschi, Guido - p. 65-67 , 2023

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

9

Extensible Testing for Infrastructure as Code:

, In: Companion Proceedings of the 2023 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity,

Spielmann, David ; Sokolowski, Daniel ; Salvaneschi, Guido - p. 58-60 , 2023

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

10

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

Zakhour, George ; Weisenburger, Pascal ; Salvaneschi, Guido
Proceedings of the ACM on Programming Languages. 7 (2023) OOPSLA2 - p. 2142-2170 , 2023

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

11

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

De Meuter, Wolfgang ; Eugster, Patrick ; Salvaneschi, Guido... , 2022

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

12

Change is the only constant : dynamic updates for workfl..:

, In: Proceedings of the 44th International Conference on Software Engineering,

Sokolowski, Daniel ; Weisenburger, Pascal ; Salvaneschi, Guido - p. 350-362 , 2022

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

13

Change Is the Only Constant: Dynamic Updates for Workflows:

, In: 2022 IEEE/ACM 44th International Conference on Software Engineering (ICSE),

Sokolowski, Daniel ; Weisenburger, Pascal ; Salvaneschi, Guido - p. 350-362 , 2022

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

14

Towards Pulverised Architectures for Collective Adaptive Sy..:

, In: 2021 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C),

Aguzzi, Gianluca ; Casadei, Roberto ; Pianini, Danilo.. - p. 99-104 , 2021

Link: https://doi.org/10.1109/..

15

TCEP: Transitions in operator placement to adapt to dynamic..:

Luthra, Manisha ; Koldehofe, Boris ; Danger, Niels...
Journal of Computer and System Sciences. 122 (2021) - p. 94-125 , 2021

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