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
- System Behaviour Models and VerificationNSWI101 | Faculty of Mathematics and Physics
- Mobile Devices Programming +1NPRG056 | 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
- Decomposing Farkas Interpolants2019 | Faculty of Mathematics and Physics
- Exploiting partial variable assignment in interpolation-based model checking2019 | 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
- BeJC: Checking Compliance beetween Java Implementation and Behavior Specification2012 | Faculty of Mathematics and Physics
- Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker +22007 | 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
- Performance Improvements of Behavior Protocol Checking +12005 | Faculty of Mathematics and Physics
- Behavior Protocols Checker +3Publication without faculty affiliation
Loading network view...