Advertisement

New Trends in Model and Data Engineering

MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24–26, 2018, Proceedings

  • El Hassan Abdelwahed
  • Ladjel Bellatreche
  • Djamal Benslimane
  • Matteo Golfarelli
  • Stéphane Jean
  • Dominique Mery
  • Kazumi Nakamatsu
  • Carlos Ordonez
Conference proceedings MEDI 2018

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

Table of contents

  1. Front Matter
    Pages I-IX
  2. DETECT 2018 Workshop

    1. Front Matter
      Pages 1-3
    2. Dalay Israel de Almeida Pereira, Ouahmed Malki, Philippe Bon, Matthieu Perin, Simon Collart-Dutilleul
      Pages 17-29
    3. Vincent Leildé, Vincent Ribaud, Ciprian Teodorov, Philippe Dhaussy
      Pages 30-39
    4. Saoussen Cheikhrouhou, Nesrine Chabouh, Slim Kallel, Zakaria Maamar
      Pages 40-49
    5. Zakaryae Boudi, Abderrahim Ait Wakrime, Simon Collart-Dutilleul, Mohamed Haloua
      Pages 50-62
    6. Mounia Elqortobi, Warda El-Khouly, Amine Rahj, Jamal Bentahar, Rachida Dssouli
      Pages 63-74
  3. MEDI4SG 2018 Workshop

    1. Front Matter
      Pages 75-77
    2. Rachid Lamrani, El Hassan Abdelwahed, Souad Chraibi, Sara Qassimi, Meriem Hafidi
      Pages 79-90
    3. Oumayma El Ansari, Jihad Zahir, Hajar Mousannif
      Pages 91-97
    4. Omar Achbarou, My Ahmed El Kiram, Outmane Bourkoukou, Salim Elbouanani
      Pages 98-107
  4. IWCFS 2018 Workshop

    1. Front Matter
      Pages 109-111
    2. Manzoor Ahmad, Christophe Gnaho, Jean-Michel Bruel, Régine Laleau
      Pages 115-129
    3. Christophe Ponsard, Jeremy Grandclaudon, Philippe Massonet, Mounir Touzani
      Pages 130-145
    4. Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor
      Pages 146-152
    5. Guillaume Dupont, Yamine Aït-Ameur, Marc Pantel, Neeraj K. Singh
      Pages 153-158
    6. Sarah Benyagoub, Yamine Aït-Ameur, Meriem Ouederni, Atif Mashkoor
      Pages 159-166
    7. Xabier Larrucea, Pablo González-Nalda, Ismael Etxeberria-Agiriano, Mari Carmen Otero, Isidro Calvo
      Pages 167-180
  5. REMEDY 2018 Workshop

    1. Front Matter
      Pages 181-183
    2. Pascal André, Christian Attiogbé, Arnaud Lanoix
      Pages 200-216
    3. Samir Chouali, Sebti Mouelhi, Hassan Mountassir
      Pages 217-230
    4. Mateo Sanabria, Wilmer Garzón Alfonso, Luis Daniel Benavides Navarro
      Pages 231-243
  6. Short Paper

    1. Front Matter
      Pages 245-245
    2. Sabrine Ammar, Mohamed Tahar Bhiri
      Pages 247-254
  7. Back Matter
    Pages 255-255

Other volumes

  1. New Trends in Model and Data Engineering
    MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24–26, 2018, Proceedings
  2. 8th International Conference, MEDI 2018, Marrakesh, Morocco, October 24–26, 2018, Proceedings

About these proceedings

Introduction

This book constitutes the thoroughly refereed papers of the workshops held at the 8th International Conference on New Trends in Model and Data Engineering, MEDI 2018, in Marrakesh, Morocco, in October 2018.

The 19 full and the one short workshop papers were carefully reviewed and selected from 50 submissions. The papers are organized according to the 4 workshops: International Workshop on Modeling, Verification and Testing of Dependable Critical Systems, DETECT 2018, Model and Data Engineering for Social Good Workshop, MEDI4SG 2018, Second International Workshop on Cybersecurity and Functional Safety in Cyber-Physical Systems, IWCFS 2018, International Workshop on Formal Model for Mastering Multifaceted Systems, REMEDY 2018.

Keywords

artificial intelligence communication channels (information theory) distributed computer systems event-b formal logic formal methods formal verifications model checking Quality of Service (QoS) semantics software engineering specifications

Editors and affiliations

  • El Hassan Abdelwahed
    • 1
  • Ladjel Bellatreche
    • 2
  • Djamal Benslimane
    • 3
  • Matteo Golfarelli
    • 4
  • Stéphane Jean
    • 5
  • Dominique Mery
    • 6
  • Kazumi Nakamatsu
    • 7
  • Carlos Ordonez
    • 8
  1. 1.Cadi Ayyad UniversityMarrakeshMorocco
  2. 2.ISAE-ENSMAChasseneuil-du-PoitouFrance
  3. 3.LIRIS LabUniversity Lyon 1, IUTVilleurbanne CedexFrance
  4. 4.Computer Science and Information TechnologyUniversity of BolognaCesenaItaly
  5. 5.ISAE-ENSMAChasseneuil-du-PoitouFrance
  6. 6.LORIANancyFrance
  7. 7.University of HyogoHimejiJapan
  8. 8.University of HoustonHoustonUSA

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-030-02852-7
  • Copyright Information Springer Nature Switzerland AG 2018
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-030-02851-0
  • Online ISBN 978-3-030-02852-7
  • Series Print ISSN 1865-0929
  • Series Online ISSN 1865-0937
  • Buy this book on publisher's site
Industry Sectors
Pharma
Automotive
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Energy, Utilities & Environment
Aerospace
Engineering