Publications
- Towards Verification of Ensemble-Based Component Systems2014 | Faculty of Mathematics and Physics
- SOFA 2.0: Balancing Advanced Features in a Hierarchical Component Model +22006 | Faculty of Mathematics and Physics
- Model Checking of Component Behavior Specification: A Real Life Experience2005 | Faculty of Mathematics and Physics, Central Library of Charles University
- Software Connectors and Their Role in Component Deployment2001 | Faculty of Mathematics and Physics
- Container-Interposed Transactions2001 | Faculty of Mathematics and Physics
- Behavior ProtocolsPublication without faculty affiliation
- 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
Loading network view...