Publications
- Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker +22007 | Faculty of Mathematics and Physics
- Partial Verification of Software Components: Heuristics for Environment Construction +22007 | 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
- A language and framework for dynamic component ensembles in smart systems2020 | Faculty of Mathematics and Physics
- Toward autonomically composable and context-dependent access control specification through ensembles2020 | Faculty of Mathematics and Physics
Loading network view...