Publications
- Towards Verification of Ensemble-Based Component Systems2014 | Faculty of Mathematics and Physics
- DEECo - an Ensemble-Based Component System2013 | Faculty of Mathematics and Physics
- Towards Dependable Emergent Ensembles of Components: The DEECo Component Model2012 | Faculty of Mathematics and Physics
- Partial Verification of Software Components: Heuristics for Environment Construction +22007 | Faculty of Mathematics and Physics
- SOFA 2.0: Balancing Advanced Features in a Hierarchical Component Model +22006 | Faculty of Mathematics and Physics
- Behavior Assembly and Composition of Use Cases - UML 2.0 Perspective +12005 | Faculty of Mathematics and Physics
- Enhancing Component Specification by Behavior Description - the SOFA Experience +12005 | Faculty of Mathematics and Physics
- JDEECo v. 1.0Publication without faculty affiliation
- JDEECo v. 2.0Publication without faculty affiliation
- Introducing Estimators-Abstraction for Easy ML Employment in Self-adaptive Architectures2023 | Faculty of Mathematics and Physics
Loading network view...