Classes
- Advanced topics in distributed and component-based systems INSWI057 | Faculty of Mathematics and Physics
- Advanced topics in distributed and component-based systems IINSWI058 | Faculty of Mathematics and Physics
- Mobile Devices Programming +1NPRG056 | Faculty of Mathematics and Physics
- System Behaviour Models and VerificationNSWI101 | Faculty of Mathematics and Physics
- Program SemanticsNSWI162 | Faculty of Mathematics and Physics
Publications
- Using linear algebra in decomposition of Farkas interpolants2022 | Faculty of Mathematics and Physics
- A guide to design uncertainty-aware self-adaptive components in Cyber-Physical Systems2022 | Faculty of Mathematics and Physics
- PeachPie: Mature PHP to CLI Compiler2022 | Faculty of Mathematics and Physics
- Targeting uncertainty in smart CPS by confidence-based logic2021 | Faculty of Mathematics and Physics, Central Library of Charles University
- A language and framework for dynamic component ensembles in smart systems2020 | Faculty of Mathematics and Physics
- Decomposing Farkas Interpolants2019 | Faculty of Mathematics and Physics
- Statistical Approach to Architecture Modes in Smart Cyber Physical Systems2016 | Faculty of Mathematics and Physics
- Tools for Ensemble Design and Runtime2015 | Faculty of Mathematics and Physics
- Threaded Behavior Protocols2013 | Faculty of Mathematics and Physics
- Automated deployment of hierarchical components2013 | Faculty of Mathematics and Physics
Loading network view...