InfQ2018 will take place on 23rd November from 9.30 to 17.30.  The program is available at the following link.

• Susanna Donatelli, GreatSPNfor MRgPsolution and CSLTA model-checking
• Marco Beccuti, A computational model to study the effects of different vaccine policies on Pertussis epidemiology
• Michela Meo, Research trends in green networking
• Marco Scarpa, Secondary user behaviour in Cognitive Radio environment
• Salvatore Distefano, Modeling dependencies of complex systems
• Emilio Incerto, Formal Design of Performance-driven Self-adaptive Systems under Uncertainty
• Gabriele Russo Russo, Towards scalable deployment optimization in the Fog using MDPs and Function Approximation
• Fabiana Rossi, Autonomic Container Elasticity through Reinforcement Learning
• Michele Amoretti, Performance Evaluation of Blockchain-based Proof of Location
• Lelio Campanile, Modeling of traffic effects in a router for Autonomic networks
• Massimo Canonico, Resource management from Cloud to Edge systems
• Giuliana Franceschinis, A symbolic calculus on Symmetric Nets arc functions: applications
• Davide Cerotti, Reliability of multi-core systems-on-chip by interacting Markovian agents
• Paolo Cremonesi, Automated Performance Tuning with Machine Learning
• Raffaela Mirandola, Researchand Challengesin Software Performance Engineering
• Danilo Ardagna,Machine learning for studying the performance of large scale systems
• Giuseppe Serazzi, JSIM: the Queuing Petri Net Simulator of JMT
• Vittoria De Nitto Personne’, Teaching Performance Modeling in the Era of 140characters Information
• Andrea Marin, Valutazione bibliometrica nell’area di ricerca sui metodi quantitativi per lo studio di sistemi informatici