The 8th FAACS @ ICSA 2024


The 8th edition of the international workshop on Formal Approaches for Advanced Computing Systems (FAACS 2024) is co-located with the 21st IEEE International Conference on Software Architecture (ICSA 2024). It will be held in Hyderabad, India June 4-8, 2024.

Important dates

  • Submission deadline (Extended): February 18, 2024 February 25, 2024
  • Notification: March 17, 2024
  • Camera-ready version: March 31, 2024
  • Workshop: June 4-5, 2024

Motivation and Scope

Cutting-edge technologies, infrastructures, and computational paradigms such as digital twin, cloud, fog, edge computing, IoT, digitalization, Industry 5.0, and cyber-physical systems are changing how data and services are delivered and used. Such systems have a significant and elaborate societal impact, making it paramount to guarantee essential qualities of the delivered product, such as dependability, reliability, safety, and availability. As new paradigms become pervasive in our everyday lives, new challenges also emerge in dealing with uncertainty, untrustworthiness, and information loss, affecting the software life cycle in different phases. Ensuring critical qualities requires a joint effort in devising advanced software architecture designs by the software architecture community and formal modeling and verification approaches by the formal methods community.

The main objective of FAACS is to strengthen the linkage between the formal methods and the software architecture communities and stimulate researchers to share novel ideas and lessons learned from industrial and academic experts from various application domains and software disciplines. Aligned with the theme of the ICSA 2024, we welcome contributions on the potential and risks of generative AI in developing advanced software architectures and ensuring qualities like dependability, reliability, safety, and availability through formal modeling and verification.

Topics of Interest

Areas of interest include, but are not limited to:

  • requirements formalization and formal specification with or without the use of generative AI
  • formal/semi-formal architectural design, validation and verification, quality analysis and evaluation
  • integrating formal/semi-formal methods and architecture-centric software engineering for Edge-to-Cloud Computing Continuum, IoT and smart environments, AI/ML systems, systems using blockchains, cyber physical systems, self-adaptive and autonomous systems
  • formal/semi-formal approaches to digitalization, development of digital society and Digital Twins
  • architecture requirements formalization and specification
  • architecture description languages and meta-models
  • architectural patterns, styles and tactics, viewpoints and views
  • architecture transformation and refinement, architecture-based synthesis
  • formal techniques and architecture-based approaches for ensuring software quality (reliability, safety, performance, trustworthiness, etc.) and social properties (sustainability, ethics, explainability, etc.)
  • approaches and tools for verification and validation
  • formal techniques to tackle uncertainty or information loss in software systems, including AI-based systems
  • generalization of methodologies and approaches addressing the development and delivery of modern computing systems
  • applications to areas of interest, including (but not limited) to AI-based, autonomous, robotic, cyber-physical, and self-adaptive and autonomous systems
  • experience reports on the application of formal methods to industrial case studies


All submissions will follow the IEEE Computer Science proceedings format. Submitted papers must be written in English and conform to the the IEEE Guidelines including the guidelines for AI-Generated text. Submissions must be done before the deadline in PDF format via via the EasyChair submission system.

We solicit the following contribution types:

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

Submit via Easychair

Publication and proceedings

All accepted papers will be published in ICSA 2024 Companion proceedings, and appear in IEEE Xplore Digital Library.

Important dates

  • Submission deadline (Extended):February 18, 2024 February 25, 2024
  • Notification: March 17, 2024
  • Camera-ready version: March 31, 2024
  • Workshop: June 4-5, 2024

Program (joint with WASA & Qualifier)

June 4, 2024, [time zone: (GMT+05:30) IST]

  • 09:30 - 09:45 Opening
  • 09:45 - 10:30 Keynote (QUALIFIER): Evaluating Architectural Quality in the Cloud Era by Davide Taibi, University of Oulu, Finland
  • 10:30 - 10:55 Paper #1 (QUALIFIER): "MoCoRe — A Generic Model-Driven Composition and Rule-Based Refinement Framework" Authors: Moritz Gstür, Yves R. Kirschner, Snigdha Singh and Anne Koziolek
  • 11:00 - 11:30 Coffee break
  • 11:30 - 11:55 Paper #2 (QUALIFIER): "Refactoring of a Microservices Project driven by Architectural Smell Detection" Authors: Paolo Bacchiega, Davide Rusconi, Paolo Mereghetti and Francesca Arcelli Fontana
  • 11:55 - 12:40 Keynote (WASA): Federate Software Defined Vehicle by Rutger van Beusekom, CTO Verum
  • 12:40 - 13:05 Paper #3 (WASA): "Comparing Programming Language Models for Design Pattern Recognition" Authors: Sushant Kumar Pandey, Miroslaw Staron, Jennifer Horkoff, Mirosław Ochodek, and Darko Durisic
  • 13:05 - 14:00 Lunch break
  • 14:00 - 14:25 Paper #4 (WASA): "A MBSE framework for the design and analysis of complex automotive systems using SysML and PCE" Authors: Tirtha Kaloor and Ion Barosan
  • 14:25 - 14:55 Invited Talk (WASA): Complex system of systems and Digital Twins by Vinay Kulkarni, Tata Consultancy Services, Pune, India
  • 14:55 - 15:25 Invited Talk (WASA): Two Approaches to V&V of Model Driven Embedded Software by Sujit Kumar Chakrabarti, International Institute of Information Technology Bangalore, India
  • 15:30 - 16:00 Coffee break
  • 16:00 - 16:25 Paper #5 (FAACS): "Optimal Mapping of Workflows Using Serverless Architecture in a Multi-Cloud Environment" Authors: Manju Ramesh, Chetan Phalak, Dheeraj Chahal and Rekha Singhal
  • 16:25 - 16:50 Paper #6 (FAACS): "Towards Integration of Syntactic and Semantic Vulnerability Patterns (SHORT Paper)" Authors: Lal Akhter, Muhammad Taimoor Khan, George Loukas and Georgia Sakellari
  • 16:50 - 17:15 Paper #7 (FAACS, BlockArch): "A fair Endorser Selection mechanism using Ciphertext-policy Attribute-based Encryption in Hyperledger Fabric" Authors: Susmita Mandal, Balaraju P and Pranay Chawhan
  • 17:15 - 17:30 Closing

Program co-chairs