Abstractions for Collective Adaptive Systems

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

Modular Quality-of-Service Analysis of Software Design Models for Cyber-Physical Systems

von Pinciroli, Riccardo
Veröffentlicht in CAiSE (35. : 2023 : Saragossa) Advanced Information Systems Engineering (2023)

A DevOps Perspective for QoS-Aware Adaptive Applications

von Sanctis, Martina De
Veröffentlicht in DEVOPS (2. : 2019 : Villebrumier) Software engineering aspects of continuous development and new paradigms of software production and deployment (2020)

On Model-Based Performance Analysis of Collective Adaptive Systems

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

Analysis and Refactoring of Software Systems Using Performance Antipattern Profiles

von Calinescu, Radu
Veröffentlicht in FASE (23. : 2020 : Online) Fundamental approaches to software engineering (2020)

Towards Probabilistic Session-Type Monitoring

von Burlò, Christian Bartolo
Veröffentlicht in DisCoTec (16. : 2021 : Online) Coordination Models and Languages (2021)

Towards a Continuous Model-Based Engineering Process for QoS-Aware Self-adaptive Systems

von 'Angelo, Mirko D
Veröffentlicht in CoSim-CPS (3. : 2019 : Oslo) Software engineering and formal methods (2020)

VisArch: Visualisation of Performance-based Architectural Refactorings

von Trubiani, Catia
Veröffentlicht in ECSA (14. : 2020 : L'Aquila; Online) Software architecture (2020)

Software architecture : 17th European conference, ECSA 2023, Istanbul, Turkey, September 18-22, 2023 : proceedings

Veröffentlicht 2023