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
- 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 language and framework for dynamic component ensembles in smart systems2020 | Faculty of Mathematics and Physics
- Decomposing Farkas Interpolants2019 | Faculty of Mathematics and Physics
- AskTheCode: Interactive Call Graph Exploration for Error Fixing and Prevention2019 | Faculty of Mathematics and Physics
- Exploiting partial variable assignment in interpolation-based model checking2019 | Faculty of Mathematics and Physics
- On Interpolants and Variable Assignments2014 | Faculty of Mathematics and Physics
- Advanced Debugging with JPF Inspector2011 | Faculty of Mathematics and Physics
- Extensions to Behavior Protocols2007 | Faculty of Mathematics and Physics
- Behavior Protocols Extensions +12007 | Faculty of Mathematics and Physics
Loading network view...