Skip to main content
SpringerLink
Log in

New Trends in Model and Data Engineering

MEDI 2019 International Workshops, DETECT, DSSGA, TRIDENT, Toulouse, France, October 28–31, 2019, Proceedings

  • Conference proceedings
  • © 2019

Overview

Editors:
  1. Christian Attiogbé

    1. University of Nantes, Nantes, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Flavio Ferrarotti

    1. Software Competence Center Hagenberg, Hagenberg, Austria

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Sofian Maabout

    1. University of Bordeaux, Bordeaux, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Included in the following conference series:

Conference proceedings info: MEDI 2019.

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 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
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 (16 papers)

  1. Front Matter

    Pages i-viii
    Download chapter PDF

  2. Workshop on Modeling, Verification and Testing of Dependable Critical Systems

    1. Front Matter

      Pages 1-3
      Download chapter PDF

    2. Semantic-Driven Architecture for Autonomic Management of Cyber-Physical Systems (CPS) for Industry 4.0

      • Ernesto Exposito
      Pages 5-17

    3. Domain-Specific Scenarios for Refinement-Based Methods

      • Colin Snook, Thai Son Hoang, Dana Dghaym, Michael Butler
      Pages 18-31

    4. On Reconciling Schedulability Analysis and Model Checking in Robotics

      • Mohammed Foughali
      Pages 32-48

    5. Formalizing and Verifying UML Activity Diagrams

      • Messaoud Abbas, Mounir Beggas, Ammar Boucherit
      Pages 49-63

    6. Formal Modeling and Verification of Cloud Elasticity with Maude and LTL

      • Khaled Khebbeb, Nabil Hameurlain, Faiza Belala
      Pages 64-77

    7. Optimizing the Performance of Timed-Constrained Business Processes in Cloud-Fog Environment

      • Fairouz Fakhfakh, Ahemd Neji, Saoussen Cheikhrouhou, Slim Kallel
      Pages 78-90

    8. A Temporal Approach for Testing Distributed Systems-A MapReduce Case Study

      • Sara Hsaini, Salma Azzouzi, My El Hassan Charaf
      Pages 91-103

  3. Workshop on Data Science for Social Good in Africa

    1. Front Matter

      Pages 105-107
      Download chapter PDF

    2. Semantic Graph-Based Recommender System. Application in Cultural Heritage

      • Sara Qassimi, El Hassan Abdelwahed
      Pages 109-121

    3. MRI Brain Images Compression and Classification Using Different Classes of Neural Networks

      • Abdelhakim El Boustani, Essaid El Bachari
      Pages 122-134

    4. Overview on HEVC Inter Frame Video Coding’s Impact on the Energy Consumption for Next Generation WVSNs

      • Achraf Ait-Beni-Ifit, Othmane Alaoui-Fdili, Patrick Corlay, François-Xavier Coudoux, Mohammed El Hassouni
      Pages 135-145

    5. TPM Based Schema for Reinforcing Security in IBE’s Key Manager

      • Zakaria Igarramen, Ahmed Bentajer, Mustapha Hedabou
      Pages 146-153

    6. Towards Distributed Learning in Internet of Things. Air Quality Monitoring Use Case

      • Lazrak Noussair, Jesualdo Tomás Fernández Breis, Jihad Zahir, Hajar Mousannif
      Pages 154-159

  4. Workshop on Security and Privacy in Models and Data

    1. Front Matter

      Pages 161-163
      Download chapter PDF

    2. Semi-real-time Hash Comparison for Detecting Intrusions Using Blockchain

      • Oscar Lage Serrano, Santiago de Diego de Diego, Iñaki Seco, Xabier Larrucea
      Pages 165-179

    3. Modelling Compliance Threats and Security Analysis of Cross Border Health Data Exchange

      • Mike Surridge, Ken Meacham, Juri Papay, Stephen C. Phillips, J. Brian Pickering, Ardavan Shafiee et al.
      Pages 180-189

    4. Resolving Stakeholder Tussles in Healthcare Systems: Ethical Challenges to Data Protection

      • Brian Pickering, Giuliana Faiella, Fabrizio Clemente
      Pages 190-201

    5. Multi-value Classification of Ambiguous Personal Data

      • Sigal Assaf, Ariel Farkash, Micha Moffie
      Pages 202-208
Back to top

Other volumes

  1. New Trends in Model and Data Engineering

  2. Model and Data Engineering

Keywords

About this book

This book constitutes the thoroughly refereed papers of the workshops held at the 9th International Conference on New Trends in Model and Data Engineering, MEDI 2019, in Toulouse, France, in October 2019.

The 12 full and the three short workshop papers presented together with one invited paper were carefully reviewed and selected from 35 submissions. The papers are organized according to the 3 workshops: Workshop on Modeling, Verification and Testing of Dependable Critical systems, DETECT 2019, Workshop on Data Science for Social Good in Africa, DSSGA 2019, and Workshop on Security and Privacy in Models and Data, TRIDENT 2019.

Editors and Affiliations

  • University of Nantes, Nantes, France

    Christian Attiogbé

  • Software Competence Center Hagenberg, Hagenberg, Austria

    Flavio Ferrarotti

  • University of Bordeaux, Bordeaux, France

    Sofian Maabout

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation