Forming Ensembles at Runtime: A Machine Learning Approach

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

Software architecture : 13th European conference, ECSA 2019, Paris, France, September 9-13, 2019 : proceedings

Veröffentlicht 2019

Capturing Dynamicity and Uncertainty in Security and Trust via Situational Patterns

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

Ensemble-Based Modeling Abstractions for Modern Self-optimizing Systems

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

SOFSEM 2021: theory and practice of computer science : 47th international conference on current trends in theory and practice of computer science, SOFSEM 2021, Bolzano-Bozen, Ita...

Veröffentlicht 2021

Software architecture : ECSA 2022 tracks and workshops : Prague, Czech Republic, September 19-23, 2022 : revised selected papers

Veröffentlicht 2023

Software architecture : 16th European Conference, ECSA 2022, Prague, Czech Republic, September 19-23, 2022, proceedings

Veröffentlicht 2022

Attuning Adaptation Rules via a Rule-Specific Neural Network

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