Software Engineering and Formal Methods

SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers

  • Antonio Cerone
  • Marco Roveri
Conference proceedings SEFM 2017

Part of the Lecture Notes in Computer Science book series (LNCS, volume 10729)

Also part of the Programming and Software Engineering book sub series (LNPSE, volume 10729)

Table of contents

  1. Front Matter
    Pages I-X
  2. DataMod 2017

    1. Front Matter
      Pages 1-8
    2. Oana Andrei, Muffy Calder
      Pages 9-24
    3. Michele D’Andreagiovanni, Fabrizio Baiardi, Jacopo Lipilini, Salvatore Ruggieri, Federico Tonelli
      Pages 25-39
    4. Giovanna Broccia, Paolo Milazzo, Peter Csaba Ölveczky
      Pages 48-55
    5. Paul Griffioen, Rob Christiaanse, Joris Hulstijn
      Pages 72-85
    6. Sélinde van Engelenburg, Marijn Janssen, Bram Klievink
      Pages 101-116
    7. Ilya Zakirzyanov, Anatoly Shalyto, Vladimir Ulyantsev
      Pages 117-131
  3. FAACS 2017

    1. Front Matter
      Pages 133-135
    2. Alessandro Bianchi, Sebastiano Pizzutilo, Gennaro Vessio
      Pages 137-152
    3. Matteo Camilli, Carlo Bellettini, Lorenzo Capra
      Pages 168-173
  4. MSE 2017

    1. Front Matter
      Pages 181-185
    2. Matteo Camilli, Carlo Bellettini, Lorenzo Capra, Mattia Monga
      Pages 187-202
    3. Antonio Brogi, Andrea Canciani, Davide Neri, Luca Rinaldi, Jacopo Soldani
      Pages 219-229
    4. Florian Rademacher, Sabine Sachweh, Albert Zündorf
      Pages 230-245
    5. Moh. Afifun Naily, Maya Retno Ayu Setyautami, Radu Muschevici, Ade Azurat
      Pages 246-261
  5. CoSim-CPS 2017

    1. Front Matter
      Pages 263-266
    2. Davide Basile, Felicita Di Giandomenico, Stefania Gnesi
      Pages 267-283
    3. Luís Diogo Couto, Stylianos Basagiannis, El Hassan Ridouane, Alie El-Din Mady, Miran Hasanagic, Peter Gorm Larsen
      Pages 284-299
    4. Andrea Domenici, Adriano Fagiolini, Maurizio Palmieri
      Pages 300-314
    5. Georg Engel, Ajay Sathya Chakkaravarthy, Gerald Schweiger
      Pages 315-329
    6. Frederik F. Foldager, Peter Gorm Larsen, Ole Green
      Pages 330-344
    7. Cláudio Gomes, Paschalis Karalis, Eva M. Navarro-López, Hans Vangheluwe
      Pages 345-360
    8. Peter Gorm Larsen, John Fitzgerald, Jim Woodcock, Carl Gamble, Richard Payne, Kenneth Pierce
      Pages 377-390
    9. Jinzhi Lu, Martin Törngren, De-Jiu Chen, Jian Wang
      Pages 391-405
    10. Ian A. Mason, Vivek Nigam, Carolyn Talcott, Alisson Brito
      Pages 406-422
    11. Maurizio Palmieri, Cinzia Bernardeschi, Paolo Masci
      Pages 423-437
    12. Paolo Pazzaglia, Marco Di Natale, Giorgio Buttazzo, Matteo Secchiari
      Pages 438-452
    13. Frank Zeyda, Julien Ouy, Simon Foster, Ana Cavalcanti
      Pages 453-468
  6. FOCLASA 2017

    1. Front Matter
      Pages 469-473
    2. Patrícia Araújo de Oliveira, Francisco Durán, Ernesto Pimentel
      Pages 475-490
    3. Antonio Brogi, Davide Neri, Luca Rinaldi, Jacopo Soldani
      Pages 491-506
    4. Roberto Casadei, Alessandro Aldini, Mirko Viroli
      Pages 507-522
    5. Javier Cámara, Wenxin Peng, David Garlan, Bradley Schmerl
      Pages 523-540
    6. Carlo Castagnari, Jacopo de Berardinis, Giorgio Forcina, Ali Jafari, Marjan Sirjani
      Pages 541-557
    7. Weijiang Hong, M. Saqib Nawaz, Xiyue Zhang, Yi Li, Meng Sun
      Pages 558-573
  7. Back Matter
    Pages 591-592

Other volumes

  1. 15th International Conference, SEFM 2017, Trento, Italy, September 4–8, 2017, Proceedings
  2. Software Engineering and Formal Methods
    SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers

About these proceedings


This book constitutes revised selected papers from the five workshops collocated with the 15th International Conference on Software Engineering and Formal Methods, SEFM 2017.

The 38 papers presented in this volume were carefully reviewed and selected from a total of 55 submissions. They stem from the following workshops:

DataMod 2017 -- 6th International Symposium “From Data to Models and Back"; FAACS 2017 --  1st Workshop on Formal Approaches for Advanced Computing Systems; MSE 2017 -- 1st Workshop on Microservices: Science and Engineering; CoSim-CPS 2017 -- 1st Workshop on Formal Co-Simulation of Cyber-Physical Systems; FOCLASA 2017 -- 15th International Workshop on Foundations Of Coordination Languages and Self-Adaptive Systems​.


artificial intelligence computer networks cyber physical systems data security distributed computer systems embedded systems formal methods graph theory Human-Computer Interaction (HCI) internet machine learning model checking petri nets semantics software engineering specifications telecommunication networks theorem proving ubiquitous computing user interfaces

Editors and affiliations

  1. 1.Nazarbayev UniversityAstanaKazakhstan
  2. 2.Fondazione Bruno KesslerPovoItaly

Bibliographic information

Industry Sectors
IT & Software