Skip to main content
SpringerLink
Log in
Book cover

Model and Data Engineering

10th International Conference, MEDI 2021, Tallinn, Estonia, June 21–23, 2021, Proceedings

  • Conference proceedings
  • © 2021

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. Sadok Ben Yahia

    1. Tallinn University of Technology, Tallinn, Estonia

    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 12732)

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

Included in the following conference series:

Conference proceedings info: MEDI 2021.

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 (24 papers)

  1. Front Matter

    Pages i-xix
    Download chapter PDF

  2. Stepwise Modelling and Analysis

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. A Refinement Strategy for Hybrid System Design with Safety Constraints

      • Zheng Cheng, Dominique Méry
      Pages 3-17

    3. Model-Based Approach for Co-optimization of Safety and Security Objectives in Design of Critical Architectures

      • Kunal Suri, Gabriel Pedroza, Patrick Leserf
      Pages 18-32

    4. Towards a Model-Based Approach to Support Physical Test Process of Aircraft Hydraulic Systems

      • Ouissem Mesli-Kesraoui, Yassine Ouhammou, Olga Goubali, Pascal Berruet, Patrick Girard, Emmanuel Grolleau
      Pages 33-40

    5. Multi-facets Contract for Modeling and Verifying Heterogeneous Systems

      • A. Abdelkader Khouass, J. Christian Attiogbé, Mohamed Messabihi
      Pages 41-49

  3. Multiperspective Modelling

    1. Front Matter

      Pages 51-51
      Download chapter PDF

    2. An Approach to Detect Cyberbullying on Social Media

      • Fatemeh Sajadi Ansari, Mahmoud Barhamgi, Aymen Khelifi, Djamal Benslimane
      Pages 53-66

    3. An Ontology Engineering Case Study for Advanced Digital Forensic Analysis

      • Pavel Chikul, Hayretdin Bahsi, Olaf Maennel
      Pages 67-74

    4. More Automation in Model Driven Development

      • Pascal André, Mohammed El Amin Tebib
      Pages 75-83

  4. Modelling and Interactions

    1. Front Matter

      Pages 85-85
      Download chapter PDF

    2. Realisability of Control-State Choreographies

      • Klaus-Dieter Schewe, Yamine Aït-Ameur, Sarah Benyagoub
      Pages 87-100

    3. A Low-Cost Authentication Protocol Using Arbiter-PUF

      • Fahem Zerrouki, Samir Ouchani, Hafida Bouarfa
      Pages 101-116

    4. Aspect-Oriented Model-Based Testing with UPPAAL Timed Automata

      • Jüri Vain, Leonidas Tsiopoulos, Gert Kanter
      Pages 117-124

  5. Machine Learning

    1. Front Matter

      Pages 125-125
      Download chapter PDF

    2. Social Neural Hybrid Recommendation with Deep Representation Learning

      • Lamia Berkani, Dyhia Laga, Abdelhak Aissat
      Pages 127-140

    3. Cloud Query Processing with Reinforcement Learning-Based Multi-objective Re-optimization

      • Chenxiao Wang, Le Gruenwald, Laurent d’Orazio, Eleazar Leal
      Pages 141-155

    4. Top-K Formal Concepts for Identifying Positively and Negatively Correlated Biclusters

      • Amina Houari, Sadok Ben Yahia
      Pages 156-172

  6. Data Management - Blockchains

    1. Front Matter

      Pages 173-173
      Download chapter PDF

    2. Anonymization Methods of Structured Health Care Data: A Literature Review

      • Olga Vovk, Gunnar Piho, Peeter Ross
      Pages 175-189
Back to top

Other volumes

  1. Model and Data Engineering

  2. Advances in Model and Data Engineering in the Digitalization Era

Keywords

About this book

This book constitutes the refereed proceedings of the 10th International Conference on Model and Data Engineering, MEDI 2021, held in Tallinn, Estonia, in June 2021.
The 16 full papers and 8 short papers presented in this book were carefully reviewed and selected from 47 submissions. Additionally, the volume includes 3 abstracts of invited talks. The papers cover broad research areas on both theoretical, systems and practical aspects. Some papers include mining complex databases, concurrent systems, machine learning, swarm optimization, query processing, semantic web, graph databases, formal methods, model-driven engineering, blockchain, cyber physical systems, IoT applications, and smart systems.

Due to the Corona pandemic the conference was held virtually.

Editors and Affiliations

  • University of Nantes, Nantes, France

    Christian Attiogbé

  • Tallinn University of Technology, Tallinn, Estonia

    Sadok Ben Yahia

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation