AgentDSM Eval : a framework for the evaluation of domain specific modeling languages for multi agent systems

Source
Computer standards and interfaces - ISSN 0920-5489-76 (2021) p.
Author(s)
    Omer Faruk Alaca, Baris Tekin Tezel, Moharram Challenger, Miguel Goulao, Vasco Amaral, Geylani Kardas

Agent-based cyber-physical system development with SEA_ML++

Source
Multi-paradigm modelling approaches for cyber-physical systems-p. 195-219
Author(s)

Refactoring legacy software for layer separation

Source
International journal of software engineering and knowledge engineering - ISSN 0218-1940-31:02 (2021) p. 217-247
Author(s)

The complexity of reachability in parametric Markov decision processes

Source
Journal of computer and system sciences - ISSN 0022-0000-119 (2021) p. 183-210
Author(s)