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
- PeachPie: Mature PHP to CLI Compiler2022 | Faculty of Mathematics and Physics
- AskTheCode: Interactive Call Graph Exploration for Error Fixing and Prevention2019 | Faculty of Mathematics and Physics
- Tools for Ensemble Design and Runtime2015 | Faculty of Mathematics and Physics
- WeVerca: Web Applications Verification for PHP2014 | Faculty of Mathematics and Physics
- BeJC: Checking Compliance beetween Java Implementation and Behavior Specification2012 | Faculty of Mathematics and Physics
- On Security Analysis of PHP Web Applications2012 | Faculty of Mathematics and Physics
- Advanced Debugging with JPF Inspector2011 | Faculty of Mathematics and Physics
- Modes in component behavior specification via EBP and their application in product lines2009 | Faculty of Mathematics and Physics
- TBP: Code-Oriented Component Behavior Specification2009 | Faculty of Mathematics and Physics
Loading network view...