Advertisement

New Trends in Model and Data Engineering

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

  • Christian Attiogbé
  • Flavio Ferrarotti
  • Sofian Maabout
Conference proceedings MEDI 2019

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

Table of contents

  1. Front Matter
    Pages i-viii
  2. Workshop on Modeling, Verification and Testing of Dependable Critical Systems

    1. Front Matter
      Pages 1-3
    2. Colin Snook, Thai Son Hoang, Dana Dghaym, Michael Butler
      Pages 18-31
    3. Messaoud Abbas, Mounir Beggas, Ammar Boucherit
      Pages 49-63
    4. Khaled Khebbeb, Nabil Hameurlain, Faiza Belala
      Pages 64-77
    5. Fairouz Fakhfakh, Ahemd Neji, Saoussen Cheikhrouhou, Slim Kallel
      Pages 78-90
    6. 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
    2. Sara Qassimi, El Hassan Abdelwahed
      Pages 109-121
    3. Achraf Ait-Beni-Ifit, Othmane Alaoui-Fdili, Patrick Corlay, François-Xavier Coudoux, Mohammed El Hassouni
      Pages 135-145
    4. Zakaria Igarramen, Ahmed Bentajer, Mustapha Hedabou
      Pages 146-153
    5. 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
    2. Oscar Lage Serrano, Santiago de Diego de Diego, Iñaki Seco, Xabier Larrucea
      Pages 165-179
    3. Mike Surridge, Ken Meacham, Juri Papay, Stephen C. Phillips, J. Brian Pickering, Ardavan Shafiee et al.
      Pages 180-189
    4. Brian Pickering, Giuliana Faiella, Fabrizio Clemente
      Pages 190-201
    5. Sigal Assaf, Ariel Farkash, Micha Moffie
      Pages 202-208
  5. Back Matter
    Pages 209-209

Other volumes

  1. New Trends in Model and Data Engineering
    MEDI 2019 International Workshops, DETECT, DSSGA, TRIDENT, Toulouse, France, October 28–31, 2019, Proceedings
  2. 9th International Conference, MEDI 2019, Toulouse, France, October 28–31, 2019, Proceedings

About these proceedings

Introduction

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.

Keywords

artificial intelligence authentication cloud computing computer systems data privacy data security formal logic formal methods model checking privacy semantics sensor nodes software engineering specifications ubiquitous computing user interfaces wireless sensor networks wireless telecommunication systems World Wide Web

Editors and affiliations

  1. 1.University of NantesNantesFrance
  2. 2.Software Competence Center HagenbergHagenbergAustria
  3. 3.University of BordeauxBordeauxFrance

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-030-32213-7
  • Copyright Information Springer Nature Switzerland AG 2019
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-030-32212-0
  • Online ISBN 978-3-030-32213-7
  • Series Print ISSN 1865-0929
  • Series Online ISSN 1865-0937
  • Buy this book on publisher's site