New Frontiers in Quantitative Methods in Informatics

7th Workshop, InfQ 2017, Venice, Italy, December 4, 2017, Revised Selected Papers

  • Simonetta Balsamo
  • Andrea Marin
  • Enrico Vicario
Conference proceedings InfQ 2017

Part of the Communications in Computer and Information Science book series (CCIS, volume 825)

Table of contents

  1. Front Matter
    Pages I-X
  2. Networking and Mobile Applications

    1. Front Matter
      Pages 1-1
    2. Simonetta Balsamo, Dieter Fiems, Mohsin Jafri, Andrea Marin
      Pages 18-31
  3. Applications of Quantitative Modeling

    1. Front Matter
      Pages 33-33
    2. Enrico Barbierato, Marco Gribaudo, Mauro Iacono, Alexander H. Levis
      Pages 49-54
  4. Big Data Processing and IoT

    1. Front Matter
      Pages 55-55
    2. Rustem Dautov, Salvatore Distefano
      Pages 57-71
    3. Riccardo Pinciroli, Marco Gribaudo, Manuel Roveri, Giuseppe Serazzi
      Pages 72-81
    4. Safia Kalwar, Eugenio Gianniti, Joas Yannick Kinouani, Youssef Ridene, Danilo Ardagna
      Pages 82-96
    5. Valeria Cardellini, Francesco Lo Presti, Matteo Nardelli, Gabriele Russo Russo
      Pages 97-110
  5. Theory, Methods and Tools for Quantitative Analysis

    1. Front Matter
      Pages 111-111
    2. Linda Anticoli, Carla Piazza, Leonardo Taglialegne, Paolo Zuliani
      Pages 113-126
    3. Elvio Gilberto Amparore, Susanna Donatelli
      Pages 127-138
    4. Stefano Caselli, Gianni Conte, Mauro Diligenti
      Pages 139-155
    5. Davide Cerotti, Daniele Codetta-Raiteri
      Pages 156-169
  6. Back Matter
    Pages 171-171

About these proceedings


This book constitutes the refereed proceedings of the 7th Workshop on New Frontiers in Quantitative Methods in Informatics, InfQ 2017, held in Venice, Italy, in December 2017.
The 11 revised full papers and the one revised short paper presented were carefully reviewed and selected from 22 submissions. The papers are organized in topical sections on networking and mobile applications; applications of quantitative modeling; big data processing and IoT; theory, methods and tools for quantitative analysis.


cloud computing formal methods graph theory Markov chains model checking optimization performance evaluation Petri nets probability queueing networks queueing systems routers software engineering stochastic processes telecommunication traffic wireless sensor networks

Editors and affiliations

  • Simonetta Balsamo
    • 1
  • Andrea Marin
    • 2
  • Enrico Vicario
    • 3
  1. 1.Ca’ Foscari University of VeniceVeniceItaly
  2. 2.Ca’ Foscari University of VeniceVeniceItaly
  3. 3.University of FlorenceFlorenceItaly

Bibliographic information

  • DOI
  • Copyright Information Springer International Publishing AG, part of Springer Nature 2018
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-91631-6
  • Online ISBN 978-3-319-91632-3
  • Series Print ISSN 1865-0929
  • Series Online ISSN 1865-0937
  • Buy this book on publisher's site