The 7th FAACS @ ECSA 2023


The 7th edition of the international workshop on Formal Approaches for Advanced Computing Systems (FAACS 2023) is co-located with the 17th European Conference on Software Architecture (ECSA). It will be held in Istanbul, Turkey September 18-19, 2023.

Important dates

  • Submission deadline (extended): June 30, 2023 July 7, 2023
  • Notification: July 28, 2023
  • Workshop papers (LNCS) camera-ready: August 4, 2023
  • Workshop: September 18-19, 2023
  • Post-proceedings (LNCS): TBD

Motivation and Scope

The way services and information are currently delivered to a multitude of end-users is changing impressively thanks to the availability of new technologies (e.g., IoT connectivity, digitalization, and smart devices) and complex computational models (e.g., autonomic, adaptive computing, and artificial intelligence). Many approaches used nowadays to develop such large, complex, advanced software systems are still not able to ensure the correctness and dependability of the delivered products. Emerging technologies and methodologies gain great popularity while some of their aspects are developed ad-hoc, not rigorously, due to the lack of more formal approaches. Nevertheless, unreliable or unpredictable behavior, such as threats to confidentiality and even financial or health danger, cannot be tolerated as society increasingly depends on them. Assuring safety, security, privacy, performance, trustworthiness and other important qualities of such systems currently represents a challenge that calls for novel rigorous and formal approaches to system design, development, validation, and verification. Indeed, in the digitalized era where physical artifacts are controlled by their Digital Twins, unexpected exposure of users to unwanted behaviors is highly undesirable.

The goal of the workshop is to foster integration between formal methods and software architecture promoting new connections and synergies between the two research communities in order to address the challenges of the upcoming generation of computing systems.

Topics of Interest

Areas of interest include, but are not limited to:

  • requirements formalization and formal specification
  • formal/semi-formal architecture design, validation and verification, quality analysis and evaluation
  • formal/semi-formal approaches to digitalization, development of digital society and Digital Twins
  • methodologies and approaches focusing on addressing challenges of modern computing systems that are currently addressed ad-hoc
  • architecture description languages and metamodels
  • architectural patterns, styles and tactics, view-points and views
  • architecture transformation and refinement, architecture based synthesis
  • model-driven engineering
  • approaches and tools for verification and validation
  • performance analysis based on formal approaches
  • compliance assurance using formal methods
  • application of methodologies, theories, approaches and techniques specific to the aforementioned areas to AI-based, autonomous, robotic, cyber-physical, and self-adaptive systems
  • reports on practical experience in the application of formal methods to industrial case studies


Submissions must follow the LNCS style . All papers should be submitted before the submission deadline (see below) using the online submission site: EasyChair FAACS 2023 Workshop.

We solicit the following contribution types:

  • Full paper (12 pages + 2 extra pages for references): original research contributions, case studies, or report on work or experiences in industry.
  • Short papers (8 pages + 2 extra pages for references): work-in-progress, new and disruptive ideas, techniques and/or tools or extensions not fully validated yet.

Submit via Easychair

Publication and proceedings

ECSA 2023 will use a two-step process for workshop proceedings. Online proceedings (available before the start of the conference) will include all the accepted papers of the workshops and will be published online on the ECSA 2023 web page (no proceedings). The accepted papers will be accessible only by the ECSA 2023 workshop participants and the format should conform to LNCS style. After the conference, we will organise post-proceedings of selected and extended papers of workshops that will be published in a Springer LNCS volume (up to 16 pages). Workshop papers submitted for the post-proceedings will undergo a minor revision cycle where the extensions with respect to the workshop versions will be checked by the reviewers.


Important dates

  • Submission deadline (extended): June 30, 2023 July 7, 2023
  • Notification: July 28, 2023
  • Workshop papers (LNCS) camera-ready: August 4, 2023
  • Workshop: September 18-19, 2023
  • Post-proceedings (LNCS): TBD


September 19, 2023, [time zone: (GMT+03:00) Athens]

  • 08:00 - 09:00 Registration at 5th floor hall of the rectorate building

  • 09:00 - 09:10 Opening at Üzeyir Garih Salonu
  • 09:10 - 10:00 Keynote: "Behavior-based Resilient System Development" by Taimoor Khan, University of Greenwich, UK
  • 10:00 - 10:30 Paper #1: "Towards Behavior-based Analysis for Android Obfuscated Malware" Authors: Zakaria Sawadogo, Muhammad Taimoor Khan, George Loukas, Jean-Marie Dembele, Georgia Sakellari and Gervais Mendy
  • 10:30 - 11:00 Coffee break at 5th floor hall of the rectorate building
  • 11:00 - 11:30 Paper #2: "Declarative Representation of UML State Machines for Querying and Simulation" Authors: Zohreh Mehrafrooz Mayvan, Ali Jannatpour and Constantinos Constantinides
  • 11:30 - 12:00 Paper #3: "Towards Model-based Vulnerability Analysis of Java Programs against Known Attacks" Authors: Lal Majeed Akhter, Muhammad Taimoor Khan, George Loukas and Georgia Sakellari
  • 12:00 - 12:15 Closing

Keynote Speaker: Dr M Taimoor Khan

Dr M Taimoor Khan

Title: Behavior-based Resilient System Development

Abstract: In this talk, we introduce a design methodology to develop resilient and secure systems based on their behaviour. The methodology has 3 independent, but complementary. First, we introduce resilient-by-design development of secure applications through stepwise sound refinement of an executable specification, employing deductive synthesis. Second, we present a run-time security monitor at the middleware level that protects system operation in the field through comparison of the application execution and the application specification execution in real-time; the run-time security monitor can be synthesized from the executable specification. Finally, based on the specification, we perform a vulnerability analysis for false data injection attacks, which leads to application designs that are resilient to this type of attacks. We demonstrate the methodology through its application to a typical industrial control system example application.

Bio: Dr M Taimoor Khan is an Associate Professor in Cyber Security at the University of Greenwich, UK. There he founded the Cyber Assurance Lab in the Internet of Things and Security Research Centre. He is also member of (i) an interdisciplinary Law, Emerging Tech and Science (LETS) Lab, UK, (ii) Formal Methods Europe -- an association for bringing world leading researchers and academics together including teaching of formal methods, and (iii) EASST -- an European Association for the Study of Science and Technology. His core expertise is in developing rigorous methods to protect software by-design and at run-time against known and hypothetical cyber threats. Moreover his research interests extend to the intersection of formal methods and cyber security, including design-time and run-time security of security of software.

Web page: https://mtaimoorkhan.github.io

Program co-chairs