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
- Validation of the Hybrid ERTMS/ETCS Level 3 using Spin2020 | Faculty of Mathematics and Physics
- Optimizing Transformations of Dynamic Languages Compiled to Intermediate Representations2020 | Faculty of Mathematics and Physics
- 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
- Statistical Approach to Architecture Modes in Smart Cyber Physical Systems2016 | Faculty of Mathematics and Physics
- Data-flow Analysis of Programs with Associative Arrays2014 | Faculty of Mathematics and Physics
- Automated deployment of hierarchical components2013 | Faculty of Mathematics and Physics
- BeJC: Checking Compliance beetween Java Implementation and Behavior Specification2012 | Faculty of Mathematics and Physics
- TBP: Code-Oriented Component Behavior Specification2009 | Faculty of Mathematics and Physics
- Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker +22007 | Faculty of Mathematics and Physics
Loading network view...