Table of Contents

• Workload Prediction in BTC Blockchain and Application to the Confirmation Time EstimationIvan Malakhov, Carlo Gaetan, Andrea Marin, Sabina Rossi. 3-21 [doi]
• A Petri Net Formalism to Study Systems at Different Scales Exploiting Agent-Based and Stochastic SimulationsMarco Beccuti, Paolo Castagno, Giuliana Franceschinis, Marzio Pennisi, Simone Pernice. 22-43 [doi]
• State Space Minimization Preserving Embeddings for Continuous-Time Markov ChainsSusmoy Das, Arpit Sharma 0002. 44-61 [doi]
• Multi-timescale Fairness for Heterogeneous Broadband Traffic in Access-Aggregation NetworksSzilveszter Nádas, Balázs Varga, Illés Horváth, András Mészáros, Miklós Telek. 62-78 [doi]
• DiPS: A Tool for Data-Informed Parameter Synthesis for Markov Chains from Multiple-Property SpecificationsMatej Hajnal, David Safránek, Tatjana Petrov. 79-95 [doi]
• Modelling a Fair-Exchange Protocol in the Presence of Misbehaviour Using PEPAOhud Almutairi, Nigel Thomas. 96-114 [doi]
• Performance Evaluation of a Data Lake Architecture via Modeling TechniquesEnrico Barbierato, Marco Gribaudo, Giuseppe Serazzi, Letizia Tanca. 115-130 [doi]
• Computing Bounds for Delay in a Stochastic NetworkJean-Michel Fourneau, Edouard Longueville, Yann Ben Maissa, Loubna Echabbi, Houda Lotfi. 131-147 [doi]
• Mixture Density Networks as a General Framework for Estimation and Prediction of Waiting Time Distributions in Queueing SystemsHung Quoc Nguyen, Tuan Phung-Duc. 148-161 [doi]
• Performance Evaluation and Energy Consumption for DVFS ProcessorYoussef Ait El Mahjoub, Jean-Michel Fourneau, Hind Castel-Taleb. 165-180 [doi]
• Performance Models of NFV-Based Hybrid Systems for Delay-Sensitive ServicesMitsuki Sato, Kohei Kawamura, Ken'ichi Kawanishi, Tuan Phung-Duc. 181-196 [doi]
• A Stochastic SVIR Model with Imperfect Vaccine and External Source of InfectionMaria Gamboa, Martín López-García, Maria Jesus Lopez-Herrero. 197-209 [doi]
• Analysis of Single Bacterium Dynamics in a Stochastic Model of Toxin-Producing BacteriaJamie Paterson, Martín López-García, Joseph Gillard, Thomas R. Laws, Grant Lythe, Carmen Molina-París. 210-225 [doi]
• EM Based Parameter Estimation for Markov Modulated Fluid Arrival ProcessesSalah Al-Deen Almousa, Gábor Horváth 0002, Miklós Telek. 226-242 [doi]
• Reinforcement Learning with Model-Based Approaches for Dynamic Resource Allocation in a Tandem QueueThomas Tournaire, Jeanne Barthelemy, Hind Castel-Taleb, Emmanuel Hyon. 243-263 [doi]
• Performance Analysis of Production Lines Through Statistical Model CheckingPaolo Ballarini, András Horváth. 264-281 [doi]
• Reliability Reference Model for Topology ConfigurationPaul Kevin Reeser. 282-297 [doi]
• Splittable Routing Games in Ring Topology with LossesSami Dallali, Clara Fontaine, Eitan Altman. 298-307 [doi]
• Routing of Strategic Passengers in a Transportation StationDimitrios Logothetis, Antonis Economou. 308-324 [doi]
• Coupled Queueing and Charging Game Model with Energy Capacity OptimizationAlix Dupont, Yezekael Hayel, Tania Jiménez, Olivier Beaude, Cheng Wan. 325-344 [doi]
• Hybrid Simulation of Energy Management in IoT Edge Computing Surveillance SystemsLelio Campanile, Marco Gribaudo, Mauro Iacono, Michele Mastroianni. 345-359 [doi]
• Highly Accurate, Explicit Approximation for Erlang BPaul Kevin Reeser. 360-374 [doi]
• The Join the Shortest Orbit Queue System with a Finite Priority LineIoannis Dimitriou. 375-395 [doi]
• X/C-MSP/1/N Queue Using RootsAbhijit Datta Banik, Mohan L. Chaudhry, Sabine Wittevrongel, Herwig Bruneel. 396-410 [doi]
• Stationary Analysis of Infinite Server Queue with Batch ServiceAyane Nakamura, Tuan Phung-Duc. 411-424 [doi]
• Performance Evaluation of Stochastic Bipartite Matching ModelsCéline Comte, Jan-Pieter L. Dorsman. 425-440 [doi]
• Analysis of Tandem Retrial Queue with Common Orbit and Poisson Arrival ProcessAnatoly A. Nazarov, Svetlana Paul, Tuan Phung-Duc, Mariya Morozova. 441-456 [doi]
• Queueing Analysis of a Mixed Model of Public and Demand Responsive TransportationsAyane Nakamura, Tuan Phung-Duc, Hiroyasu Ando. 457-471 [doi]
• An Analytical Framework for Video Quality and Excess Data Distribution in Multiple-Quality Video Under Dynamic Channel ConditionsMehmet Akif Yazici. 472-487 [doi]