Table of Contents

• Testing spnps perfect sampling tool on fork-join queueing networks (tool paper)Simonetta Balsamo, Andrea Marin, Ivan Stojic. [doi]
• fDRIT- An Evaluation Tool for Transient Removal Methods in Discrete Event Stochastic SimulationsSushma Nagaraj, Armin Zimmermann. [doi]
• Simulation Modeling for Speed Scaling DesignsB. Maryam Elahi, Carey Williamson. [doi]
• Efficient solution of extended Multiple-Phased SystemsElvio Gilberto Amparore, Susanna Donatelli. [doi]
• Towards an Ontology development for automated applications in Smart City environment of SmartME ProjectNidhi Kushwaha, Om Prakash Vyas, Carlo Puliafito, Ranjana Vyas. [doi]
• Performability Evaluation of Software Defined Networking InfrastructuresMario Di Mauro, Maurizio Longo, Fabio Postiglione. [doi]
• jSSTL - A Tool to Monitor Spatio-Temporal PropertiesLaura Nenzi, Luca Bortolussi, Michele Loreti. [doi]
• Compositional Construction of Importance Functions in Fully Automated Importance SplittingCarlos E. Budde, Pedro D'Argenio, Raúl E. Monti. [doi]
• Should I Add an Intermittent ServerRaymond Marie. [doi]
• Dealing with indetermination in biochemical networksNiccoló Totis, Marco Beccuti, Francesca Cordero, Laura Follia, Chiara Riganti, Francesco Novelli. [doi]
• Parametric Sensitivity and Uncertainty Propagation in Dependability ModelsRiccardo Pinciroli, Kishor S. Trivedi, Andrea Bobbio. [doi]
• Resiliency Quantification for Large Scale Systems: An IaaS Cloud Use CaseRahul Ghosh, Francesco Longo 0001, Vijay K. Naik, Andrew J. Rindos, Kishor S. Trivedi. [doi]
• Performance of Data Traffic in Small Cells Networks with Inter-Cell MobilityPhilippe Olivier, Alain Simonian. [doi]
• Fair workload distribution for multi-server systems with pulling strategiesSabina Rossi, Andrea Marin. [doi]
• Optimising Hidden Stochastic PERT NetworksTommi Pesu, William J. Knottenbelt. [doi]
• Vulnerability Evaluation of Distributed Reputation Management SystemsVincenzo Agate, Alessandra De Paola, Giuseppe Lo Re, Marco Morana. [doi]
• Performance Analysis of SDN Switches with Hardware and Software Flow TablesPiotr Rygielski, Marian Seliuchenko, Samuel Kounev, Mykhailo Klymash. [doi]
• Efficient Computation of the Mean Time to Security Failure in Cyber Physical SystemsJosé M. Martínez, Kishor S. Trivedi, Benny Cheng. [doi]
• A Correlation-based Methodology to Infer Communication Patterns between Cloud Virtual MachinesRiccardo Lancellotti, Claudia Canali. [doi]
• Fluid Petri Nets for the Performance Evaluation of MapReduce ApplicationsEugenio Gianniti, Alessandro Maria Rizzi, Enrico Barbierato, Marco Gribaudo, Danilo Ardagna. [doi]
• A Stable Mean Value Analysis Algorithm for Closed Systems with Load-dependent QueuesLei Zhang, Douglas G. Down. [doi]
• Quantitative evaluation of Cloud-based network virtualization mechanisms for IoTSalvatore Distefano, Giovanni Merlino, Antonio Puliafito, Francesco Longo 0001, Dario Bruneo. [doi]
• Modeling Security Requirements for VNE algorithmsAndreas Fischer 0001, Ramona Kühn, Waseem Mandarawi, Hermann de Meer. [doi]
• A Queueing Network Model for Performance Prediction of Apache CassandraSalvatore Dipietro, Giuliano Casale, Giuseppe Serazzi. [doi]
• Caching Games between Content Providers and Internet Service ProvidersVaggelis G. Douros, Salah-Eddine Elayoubi, Eitan Altman, Yezekael Hayel. [doi]
• Dynamic Parameter Substitution for solution of Layered Queueing Networks with Timeout DecisionsLianhua Li, Greg Franks. [doi]
• Dispatching fixed-sized jobs with multiple deadlines to parallel heterogeneous serversEsa Hyytiä, Rhonda Righter, Olivier Bilenne, Xiaohu Wu. [doi]
• Stationary solutions of discrete and continuous Petri nets with prioritiesXavier Allamigeon, Vianney Boeuf, Stéphane Gaubert. [doi]
• Joint Operator Replication and Placement Optimization for Distributed Streaming ApplicationsValeria Cardellini, Vincenzo Grassi, Francesco Lo Presti, Matteo Nardelli 0001. [doi]
• Autonomic Orchestration of Containers: Problem Definition and Research ChallengesEmiliano Casalicchio. [doi]
• Performance Prediction for Burstable Cloud ResourcesDaniel J. Dubois, Giuliano Casale. [doi]
• Generalizing Window Flow Control in Bivariate Network Calculus to Enable Leftover Service in the LoopMichael A. Beck, Jens B. Schmitt. [doi]
• J2CBROKER: A Service Broker Simulation Tool For Cooperative CloudsMaurizio Giacobbe, Riccardo Di Pietro, Carlo Puliafito, Marco Scarpa. [doi]
• Automating the Deployment of Multi-Cloud Applications in Federated Cloud EnvironmentsAlfonso Panarello, Uwe Breitenbücher, Frank Leymann, Antonio Puliafito, Michael Zimmermann. [doi]
• A Short Tutorial On Using SGsim Framework For Smart Grid ApplicationsAbdalkarim Awad, Peter Bazan, Reinhard German. [doi]
• A Maclaurin-series expansion approach to coupled queues with phase-type distributed service timesEline De Cuypere, Koen De Turck, Sabine Wittevrongel, Dieter Fiems. [doi]
• Delay Efficient Load Balancing Scheme for Component Carrier Selection in Carrier Aggregation in LTE-AAditi Gupta, Dharmaraja Selvamuthu, Subrat Kar. [doi]
• Optimal population mix in pool depletion systems with two-class workloadDavide Cerotti, Marco Gribaudo, Riccardo Pinciroli, Giuseppe Serazzi. [doi]
• A Latency-Aware Reward Model Based Greedy Heuristic for the Virtual Network Embedding ProblemFrancesco Bianchi, Francesco Lo Presti. [doi]
• Semantic SPARQL queries: a novel federation model and implementation towards Enterprise Data GovernanceMirco Casoni, Stefano Monti, Francesco Sprotetto, Antonio Corradi, Luca Foschini, Riccardo Venanzi. [doi]
• Coordinated charging strategies for plug-in electric vehicles to ensure a robust charging processJannik Hüls, Anne Remke. [doi]
• Quantitative assessment of workflow performance through PH reductionSalvatore Distefano, Marco Scarpa. [doi]
• BuTools 2: a Rich Toolbox for Markovian Performance EvaluationGábor Horváth 0002, Miklós Telek. [doi]
• Simulation from the Normal Distribution Truncated to an Interval in the TailZdravko I. Botev, Pierre L'Ecuyer. [doi]
• Sensitivity of Application Performance to Resource AvailabilityAjitha Rajan, Boris Penev. [doi]
• An Integrated Model-driven Framework for Simulation, Analysis, and Testing Based on OMG StandardsVitali Schneider, Anna Deitsch, Reinhard German. [doi]
• Extending Queuing Networks to Assess Mobile CrowdSensing Application PerformanceRiccardo Pinciroli, Salvatore Distefano. [doi]
• Generalizing Network Calculus Analysis to Derive Performance Guarantees for Multicast FlowsSteffen Bondorf, Fabien Geyer. [doi]
• Modeling and shaping the lifetime of target detection sensor networksLorenzo Donatiello, Gustavo Marfia. [doi]