publication venue for
- Modelling Multi-Party Role-Based Access Control Policies for iContractML Smart Contracts 2023
- Global Decision Making Over Deep Variability in Feedback-Driven Software Development 2022
- Trace-checking signal-based temporal properties 2020
- Enhanced Automation for Managing Model and Metamodel Inconsistency 2009