On Slicing Software Product Line Signatures

von Damiani, Ferruccio
Veröffentlicht in ISoLA (9. : 2020 : Online) Leveraging applications of formal methods, verification and validation ; Part 1: Verification principles (2020)

Bringing Aggregate Programming Towards the Cloud

von Audrito, Giorgio
Veröffentlicht in ISoLA (11. : 2022 : Rhodos) Leveraging applications of formal methods, verification and validation ; Part 3: Adaptation and learning (2022)

On Two Characterizations of Feature Models

von Damiani, Ferruccio
Veröffentlicht in ICTAC (17. : 2020 : Online) Theoretical aspects of computing - ICTAC 2020 (2020)

Coordination Models and Languages : 23rd IFIP WG 6.1 International Conference, COORDINATION 2021, held as Part of the 16th International Federated Conference on Distributed Compu...

Veröffentlicht 2021

FScaFi : A Core Calculus for Collective Adaptive Systems Programming

von Casadei, Roberto
Veröffentlicht in ISoLA (9. : 2020 : Online) Leveraging applications of formal methods, verification and validation ; Part 2: Engineering principles (2020)

Resilient Distributed Collection Through Information Speed Thresholds

von Audrito, Giorgio
Veröffentlicht in COORDINATION (22. : 2020 : Online) Coordination models and languages (2020)

Types for proofs and programs : international conference, TYPES 2008 Torino, Italy, March 26-29, 2008 ; revised selected papers

Veröffentlicht 2009

Programming Distributed Collective Processes for Dynamic Ensembles and Collective Tasks

von Audrito, Giorgio
Veröffentlicht in International Conference on Coordination Models and Languages (25. : 2023 : Lissabon) Coordination models and languages (2023)

Active object languages: current research trends

Veröffentlicht 2024

A Formal Model of the Kubernetes Container Framework

von Turin, Gianluca
Veröffentlicht in ISoLA (9. : 2020 : Online) Leveraging applications of formal methods, verification and validation ; Part 1: Verification principles (2020)