Předměty
- Programování mobilních zařízení +1NPRG056 | Matematicko-fyzikální fakulta
- Výběrový seminář z distribuovaných a komponentových systémů INSWI057 | Matematicko-fyzikální fakulta
- Výběrový seminář z distribuovaných a komponentových systémů IINSWI058 | Matematicko-fyzikální fakulta
- Modely a verifikace chování systémůNSWI101 | Matematicko-fyzikální fakulta
- Sémantika programůNSWI162 | Matematicko-fyzikální fakulta
Publikace
- A guide to design uncertainty-aware self-adaptive components in Cyber-Physical Systems2022 | Matematicko-fyzikální fakulta
- PeachPie: Mature PHP to CLI Compiler2022 | Matematicko-fyzikální fakulta
- Targeting uncertainty in smart CPS by confidence-based logic2021 | Matematicko-fyzikální fakulta, Ústřední knihovna
- A language and framework for dynamic component ensembles in smart systems2020 | Matematicko-fyzikální fakulta
- Framework for Static Analysis of PHP Applications2015 | Matematicko-fyzikální fakulta
- WeVerca: Web Applications Verification for PHP2014 | Matematicko-fyzikální fakulta
- Data-flow Analysis of Programs with Associative Arrays2014 | Matematicko-fyzikální fakulta
- Automated deployment of hierarchical components2013 | Matematicko-fyzikální fakulta
- BeJC: Checking Compliance beetween Java Implementation and Behavior Specification2012 | Matematicko-fyzikální fakulta
- On Security Analysis of PHP Web Applications2012 | Matematicko-fyzikální fakulta
Loading network view...