First International workshop on the DesiGn, VeRificAtion, and VALidation of IoT Systems


Submission: August 15, 2024

Authors Notification: August 30, 2024

Camera ready: September 06, 2024

Workshop: November 06, 2024

The International Data Corporation (IDC) envisions that 41 billion Internet-of-Things (IoT) endpoints will be in use by 2025. It is expected that IoT Systems will foster innovations in many application domains such as Intelligent transportation, energy, eHealth, industry 4.0 and technology. These often include critical infrastructures, which are of paramount importance to the security, economy, and the well-being of nations and their citizens. As a result, these IoT systems need to be carefully designed, verified, validated and maintained with security as a firstclass citizen before and during operation.

The GRAAL4IoT international workshop is one of the most accurate venues to discuss and advances all topics related the design, verification and validation of IoT systems with a specific focus on security. The key goals of the workshop are:

  1. Foster work on novel topics covering fundamental as well as applied research on the design, verification, and validation of IoT systems,
  2. Bring together researchers from the software development and IoT communities, as well as to promote discussions between theoreticians and practitioners.

Topics of interest include, but are not limited to:

  • Modelling and design of IoT systems
  • Testing and monitoring of IoT systems
  • Risk Assessment of IoT systems
  • Cybersecurity and resilience of IoT system and Critical Infrastructures
  • DevOps for IoT systems
  • Digital Twin, Simulation and Co-simulation of IoT systems

GRAAL4IoT Organization Committee

  • Erkuden Rios, Tecnalia, Spain
  • Hui Song, SINTEF, Norway
  • Wissam Mallouli, Montimage, France
  • Nicolas Ferry, UniCA, France

GRAAL4IoT Program Committee (to be completed)

  • Gur Gurkan, Zurich University of Applied Sciences (ZHAW)
  • Moharram Challenger, University Antwerp
  • Alessandra de Benedictis, University of Naples
  • Stefan Klikovits, Johannes Kepler University, Linz
  • Valeria Valdes, Montimage
  • Ana Cavalli, Montimage
  • Assia Belbachir, Norce Research
  • Panagiotis Radoglou-Grammatikis, UOWM

Submission Guidelines

All submissions must be written in English, adhere to the Spring formatting guidelines for the IFIP AICT series and must be relevant to the workshop topics. Papers should be at most 18 pages long, including figures, references, and appendices. All the accepted papers must be presented at the workshop. The accepted papers will be published in the Springer proceedings of the conference.

Manuscripts in PDF format with author information (optional) should be submitted using the link.

At least one author of each accepted paper must register by the early registration date and present the paper. Authors and participants must register.

Accepted submissions after peer-reviewing will be presented at the conference and included in the pre-conference book to be published in the IFIP Advances in Information and Communication Technology (AICT) Series by Springer Nature. Proceedings will be submitted for indexing in SCOPUS and Web of Science.

The copyright form from Springer can be found Download PDF . Template provided here should be used to format the paper submission.


We would like to thank our sponsors for trusting us with the first international workshop on the DesiGn, VeRificAtion, and VALidation of IoT Systems.

Agenda (provisional)

  • 13:00 – 13:45: Keynote
  • 13:45 – 15:00: EU projects session (6x10 minutes of presentation)
  • 15:00 – 15:30: Demo session as break (stands where people can show demos)
  • 15:30 – 17:30: Accepted papers session
  • 17:30 – 18:00: Wrap up session