Skip to main content
  • Conference proceedings
  • © 2018

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

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

Part of the book sub series: Programming and Software Engineering (LNPSE)

Conference series link(s): SEFM: International Conference on Software Engineering and Formal Methods

Conference proceedings info: SEFM 2017.

Buying options

eBook USD 84.99
Price excludes VAT (USA)
  • ISBN: 978-3-319-74781-1
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 107.00
Price excludes VAT (USA)

This is a preview of subscription content, access via your institution.

Table of contents (38 papers)

  1. Front Matter

    Pages I-X
  2. DataMod 2017

    1. Front Matter

      Pages 1-8
    2. Temporal Analytics for Software Usage Models

      • Oana Andrei, Muffy Calder
      Pages 9-24
    3. Sequential Pattern Mining for ICT Risk Assessment and Prevention

      • Michele D’Andreagiovanni, Fabrizio Baiardi, Jacopo Lipilini, Salvatore Ruggieri, Federico Tonelli
      Pages 25-39
    4. An Algorithm for Simulating Human Selective Attention

      • Giovanna Broccia, Paolo Milazzo, Peter Csaba Ölveczky
      Pages 48-55
    5. Controlling Production Variances in Complex Business Processes

      • Paul Griffioen, Rob Christiaanse, Joris Hulstijn
      Pages 72-85
    6. What Belongs to Context?

      • Sélinde van Engelenburg, Marijn Janssen, Bram Klievink
      Pages 101-116
    7. Finding All Minimum-Size DFA Consistent with Given Examples: SAT-Based Approach

      • Ilya Zakirzyanov, Anatoly Shalyto, Vladimir Ulyantsev
      Pages 117-131
  3. FAACS 2017

    1. Front Matter

      Pages 133-135
    2. Intercepting Blackhole Attacks in MANETs: An ASM-based Model

      • Alessandro Bianchi, Sebastiano Pizzutilo, Gennaro Vessio
      Pages 137-152
    3. Design-Time to Run-Time Verification of Microservices Based Applications

      • Matteo Camilli, Carlo Bellettini, Lorenzo Capra
      Pages 168-173
  4. MSE 2017

    1. Front Matter

      Pages 181-185
    2. A Formal Framework for Specifying and Verifying Microservices Based Process Flows

      • Matteo Camilli, Carlo Bellettini, Lorenzo Capra, Mattia Monga
      Pages 187-202
    3. Towards a Reference Dataset of Microservice-Based Applications

      • Antonio Brogi, Andrea Canciani, Davide Neri, Luca Rinaldi, Jacopo Soldani
      Pages 219-229

Other Volumes

  1. Software Engineering and Formal Methods

    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 this book

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​.

Keywords

  • 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

  • Nazarbayev University, Astana, Kazakhstan

    Antonio Cerone

  • Fondazione Bruno Kessler, Povo, Italy

    Marco Roveri

About the editors


Bibliographic Information

Buying options

eBook USD 84.99
Price excludes VAT (USA)
  • ISBN: 978-3-319-74781-1
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 107.00
Price excludes VAT (USA)