selected publications

• academic article

  • Defining adaptivity and logical architecture for engineering (smart) self-adaptive cyber–physical systems.  Information & Software Technology.  147:106866-106866. 2022
  • Runtime verification for dynamic architectures.  Journal of logical and algebraic methods in programming.  118:100618-100618. 2021
  • Detecting Architectural Erosion using Runtime Verification.  Electronic proceedings in theoretical computer science.  304:97-114. 2019