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
- On Teaching Formal Methods: Behavior Models and Code Analysis2009 | Faculty of Mathematics and Physics
- Making Components Fit: SPINing2009 | Faculty of Mathematics and Physics
- CoCoME in SOFA +12008 | Faculty of Mathematics and Physics
- Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker +22007 | Faculty of Mathematics and Physics
- Behavior Protocols Checker +3Publication without faculty affiliation
- 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
- Using Procedure Cloning for Performance Optimization of Compiled Dynamic Languages2022 | Faculty of Mathematics and Physics
- PeachPie: Mature PHP to CLI Compiler2022 | Faculty of Mathematics and Physics
Loading network view...