Classes
- Mobile Devices Programming +1NPRG056 | Faculty of Mathematics and Physics
- 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
- System Behaviour Models and VerificationNSWI101 | Faculty of Mathematics and Physics
- Program SemanticsNSWI162 | Faculty of Mathematics and Physics
Publications
- A language and framework for dynamic component ensembles in smart systems2020 | Faculty of Mathematics and Physics
- Modelling the Hybrid ERTMS/ETCS Level 3 Case Study in Spin2018 | Faculty of Mathematics and Physics
- On partial state matching2017 | Faculty of Mathematics and Physics
- Dead Variable Analysis for Multi-Threaded Heap Manipulating Programs2016 | Faculty of Mathematics and Physics
- Advanced Debugging with JPF Inspector2011 | 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
- Behavior Protocol Verification: Fighting State Explosion +22005 | Faculty of Mathematics and Physics
- Slicito: Using Computational Notebooks for Program Comprehension2023 | Faculty of Mathematics and Physics
- 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
Loading network view...