JPDC Call for Papers

---

Guest Editors

• Dr. Ali Ebnenasir, Michigan Technological University
• Dr. Vijay K. Garg, University of Texas, Austin
• Dr. Swen Jacobs, CISPA Helmholtz Center for Information Security

---

ELSEVIER Special Issue Webpage

---

Theme and Scope

Parallel and Distributed Systems (PDS) play an important role in monitoring and controlling the infrastructure of our society, and form the backbone of many services we rely on (e.g., cloud services, air traffic management, power networks, e-commerce, etc.). Looking into the future with the advent of 5G/6G networks, the Internet of Things (IoT) and blockchain technology, the scale and the ubiquity of distributed systems will only increase, resulting in Ultra-large scale PDS (UPDS). Due to their sheer scale, ensuring their dependability is a tremendous challenge, especially when multiple dependability aspects (e.g., fault tolerance and security) should be met simultaneously. As such, the underlying algorithms and protocols of UPDS must be correct, even in the presence of faults and security threats regardless of their scale. What makes this problem even more challenging is the advent of the IoT networks where dependability and scalability must be achieved under resource constraints. The design and verification of scalable and resource-constrained UPDS that meet their dependability requirements is therefore a grand challenge before the scientific communities, especially researchers in distributed computing and formal verification. The main objective of this special issue is to accelerate research at the intersection of distributed computing and formal verification towards developing tomorrow’s dependable and scalable ultra-large distributed systems. To this end, this special issue invites novel research contributions from researchers in academia and industry in (but not restricted to) the areas listed here.

---

Submission Guidelines

We ask the authors to please use the manuscript template/format of the Journal of Parallel and Distributed Computing explained at https://www.elsevier.com/journals/journal-of-parallel-and-distributed-computing/0743-7315/guide-for-authors. Submissions that extend previously published research (e.g., in conference or workshop proceedings) are expected to include at least 30% of significantly new material. The authors of such articles must submit a “Summary of Changes” describing how their submission extends previous work. The authors should use the Editorial Manager (EM) site for submitting their articles: To submit your paper link here. During the submission process, please select “VSI-UPDS [MGE-Ali Ebnenasir]” for the "Article Type”.