Skip to main content
SpringerLink
Log in

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

  • Conference proceedings
  • © 2018

Overview

Editors:
  1. Antonio Cerone

    1. Nazarbayev University, Astana, Kazakhstan

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Marco Roveri

    1. Fondazione Bruno Kessler, Povo, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

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

Included in the following conference series:

Conference proceedings info: SEFM 2017.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 84.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 107.00
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (38 papers)

  1. Front Matter

    Pages I-X
    Download chapter PDF

  2. DataMod 2017

    1. Front Matter

      Pages 1-8
      Download chapter PDF

    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. Student Performance Prediction and Optimal Course Selection: An MDP Approach

      • Michael Backenköhler, Verena Wolf
      Pages 40-47

    5. An Algorithm for Simulating Human Selective Attention

      • Giovanna Broccia, Paolo Milazzo, Peter Csaba Ölveczky
      Pages 48-55

    6. Learning Decision Trees from Synthetic Data Models for Human Security Behaviour

      • Peter Carmichael, Charles Morisset
      Pages 56-71

    7. Controlling Production Variances in Complex Business Processes

      • Paul Griffioen, Rob Christiaanse, Joris Hulstijn
      Pages 72-85

    8. A Computational Model of Internet Addiction Phenomena in Social Networks

      • Lucia Nasti, Paolo Milazzo
      Pages 86-100

    9. What Belongs to Context?

      • Sélinde van Engelenburg, Marijn Janssen, Bram Klievink
      Pages 101-116

    10. 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
      Download chapter PDF

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

      • Alessandro Bianchi, Sebastiano Pizzutilo, Gennaro Vessio
      Pages 137-152

    3. Formalizing Monitoring Processes for Large-Scale Distributed Systems Using Abstract State Machines

      • Andreea Buga, Sorana Tania Nemeș
      Pages 153-167

    4. Design-Time to Run-Time Verification of Microservices Based Applications

      • Matteo Camilli, Carlo Bellettini, Lorenzo Capra
      Pages 168-173

    5. Generalized Oracle for Testing Machine Learning Computer Programs

      • Shin Nakajima
      Pages 174-179

  4. MSE 2017

    1. Front Matter

      Pages 181-185
      Download chapter PDF

    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 Taxonomy of Microservices Architectures

      • Martin Garriga
      Pages 203-218

    4. Towards a Reference Dataset of Microservice-Based Applications

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

Other volumes

  1. Software Engineering and Formal Methods

  2. Software Engineering and Formal Methods

Keywords

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

Editors and Affiliations

  • Nazarbayev University, Astana, Kazakhstan

    Antonio Cerone

  • Fondazione Bruno Kessler, Povo, Italy

    Marco Roveri

About the editors



Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation