Call for Workshop papers

Model-based analysis for cooperative transportation 
under uncertainty and threats

Important Dates








As society increasingly evolves, the impact of Intelligent Transport Systems (ITS) becomes more and more visible. ITS can make transport more efficient, and more sustainable by applying information and communication technologies to all transportation modes helping to face nowadays challenges. In particular, considering the automotive and railway domain common challenges can be identified and similar strategies can be implemented for connected vehicles in motion.

  1. Standardization efforts and best practices in modeling frameworks
  2. Intra/inter-vehicular and Train to Train Communication
  3. Cyber-physical systems for co-operative transportation
  4. Modeling, detection and mitigation of threats in transportation system
  5. Data analysis for co-operative transportation systems
  6. Quantitative models for dependability evaluation taking into account uncertainty
    measures (e.g., of on-board systems)
  7. Enhancing transportation systems with formal methods for explainability
  8. Case studies and real-world applications of common models in ITS

Workshop Organizers

Cinzia Bernardeschi

Department of Information Engineering, University of Pisa, Italy

Cinzia Bernardeschi is currently Associate Professor with the Department of Information
Engineering, University of Pisa. Her main research interests are in the area of
dependable systems and application of formal methods for modeling and verification of
safety critical systems. Recent work is on the integration of formal methods with
simulation for cooperative cyber-physical systems (CPS); security issues and neural
networks in CPS.

Gloria Gori

Department of Information Engineering, University of Florence,Italy

Gloria Gori is currently Assistant Professor at the Department of Information
Engineering, University of Florence. She received her Ph.D. in Information Engineering
from the University of Florence in 2018. Her research focuses on quantitative methods
for dependability evaluation of safety critical systems, applications of formal methods to
the railway domain, natural language processing applied to requirement engineering. .

TPC Members

Adriano Fagiolini, University of Palermo, Italy

Alessandro Fantechi, University of Florence, Italy

Davide Basile, CNR, Pisa, Italy

Federico Rossi, University of Pisa, Italy

Francesco Flammini, SUPSI, Lugano, Switzerland

Christian Quadri, University of Milan, Italy

Laura Carnevali, University of Florence, Italy

Stefania Santini, University of Naples, Italy

Vittoria Nardone, University of Molise, Italy


All registered papers will be submitted for publishing by Springer – LNICST series and made available through SpringerLink Digital Library: INTSYS Conference Proceedings.

Proceedings will be submitted for inclusion in leading indexing services, such as Web of Science, Compendex, Scopus, DBLP, EU Digital Library, Google Scholar, IO-Port, MathSciNet, Inspec, and Zentralblatt MATH.

Available journals

Authors of selected best accepted and presented papers will be invited to submit an extended version to:
Mobile Networks and Applications (MONET) Journal [IF: 3.8 (2022)]

All accepted authors are eligible to submit an extended version in a fast track of:
EAI Endorsed Transactions on Industrial Networks and Intelligent Systems (Scopus, Compendex)

Additional publication opportunities:
EAI Transactions series (Open Access)
EAI/Springer Innovations in Communications and Computing Book Series
(titles in this series are indexed in Ei Compendex, Web of Science & Scopus)

Paper Submission

Papers should be submitted through EAI ‘Confy+‘ system, and have to comply with the Springer format (see Author’s kit section).

– Regular papers should be up to 12-15+ pages in length.
– Short papers should be 6-11 pages in length.

All conference papers undergo a thorough peer review process prior to the final decision and publication. This process is facilitated by experts in the Technical Program Committee during a dedicated conference period. Standard peer review is enhanced by EAI Community Review which allows EAI members to bid to review specific papers. All review assignments are ultimately decided by the responsible Technical Program Committee Members while the Technical Program Committee Chair is responsible for the final acceptance selection. You can learn more about Community Review here.

Paper submission

Papers should be submitted through EAI ‘Confy+‘ system, and have to comply with the Springer format (see Author’s kit section below).

How do I submit a paper in Confy?

  1. Go to Confy+ website
  2. Login or sign up as new user
  3. Select your desired Track
  4. Click the ‘Submit Paper’ link within the track and follow the instructions

Alternatively, go to home page of Confy+ and click on “Open conferences”.

Submission guidelines

– Papers should be in English.
– Single-Blind Review.
– Previously published work may not be submitted, nor may the work be concurrently submitted to any other conference or journal.
   Such papers will be rejected without review.
– The paper submissions must follow the Springer formatting guidelines (see Author’s kit section below).
– Authors are required to adhere to the Publication Ethics and Malpractice Statement.

Papers must be formatted using the Springer LNICST Authors’ Kit.

Instructions and templates are available from Springer’s LNICST homepage:
– LaTeX2e Proceedings Templates (zip)
– Microsoft Word Proceedings Templates (zip)

Please make sure that your paper adheres to the format as specified in the instructions and templates.

When uploading the camera-ready copy of your paper, please be sure to upload both:
– a PDF copy of your paper formatted according to the above templates, and
– an archive file (e.g. zip, tar.gz) containing the both a PDF copy of your paper and LaTeX or Word source material prepared according to the above guidelines.