Publications
- Towards Verification of Ensemble-Based Component Systems2014 | Faculty of Mathematics and Physics
- Interoperable domain-specific languages families for code generation2013 | Faculty of Mathematics and Physics
- Towards Dependable Emergent Ensembles of Components: The DEECo Component Model2012 | Faculty of Mathematics and Physics
- FOAM : A Lightweight Method for Verification of Use-Cases2012 | Faculty of Mathematics and Physics
- Introducing Estimators-Abstraction for Easy ML Employment in Self-adaptive Architectures2023 | Faculty of Mathematics and Physics
- Generating adaptation rule-specific neural network2023 | Faculty of Mathematics and Physics
- Online ML Self-adaptation in Face of Traps2023 | Faculty of Mathematics and Physics
- Attuning Adaptation Rules via a Rule-Specific Neural Network2022 | Faculty of Mathematics and Physics
- Targeting uncertainty in smart CPS by confidence-based logic2021 | Faculty of Mathematics and Physics, Central Library of Charles University
- Automated Online Experiment-Driven Adaptation-Mechanics and Cost Aspects2021 | Faculty of Mathematics and Physics
Loading network view...