selected publications

• chapter

  • Towards Cognitive Bots: Architectural Research Challenges.  Lecture Notes in Computer Science. 105-114. 2023
  • Document-Based Knowledge Discovery with Microservices Architecture.  Springer eBooks. 146-161. 2022
  • Modeling and Verifying Dynamic Architectures with FACTum Studio.  Lecture Notes in Computer Science. 2020
  • FACTum Studio: A Tool for the Axiomatic Specification and Verification of Architectural Design Patterns.  Lecture Notes in Computer Science. 279-287. 2018