Research Topics
- Modeling languages for system specification (social computing, cyber physical systems, digital twins).
- Uncertainty Modeling, Model-based Analysis.
- Model checking.
- Model-based Testing.
- Learning Automata.
- Model-based Security Engineering.
