Publications
- Interoperable domain-specific languages families for code generation2013 | Faculty of Mathematics and Physics
- DEECo - an Ensemble-Based Component System2013 | Faculty of Mathematics and Physics
- 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
- An Architectural View of Distributed Objects and Components: a Unified View of CORBA, Java RMI and COM/DCOM1998 | Faculty of Mathematics and Physics
- JDEECo v. 1.0Publication without faculty affiliation
- JDEECo v. 2.0Publication without faculty affiliation
- DCUP: Dynamic Component Updating in Java/CORBA EnvironmentPublication 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
Loading network view...