10th International Conference on Model and Data Engineering *** 21-23 June 2021 *** Tallinn, Estonia

MEDI 2021 Accepted Papers

Full Papers

  • #6 Anonymization methods of structured health care data: A literature review
    Olga Vovk, Gunnar Piho and Peeter Ross
  • #10 GPU-based Algorithms for Processing the k Nearest-Neighbor Query on SSD-resident Data
    Polychronis Velentzas, Michael Vassilakopoulos and Antonio Corral
  • #11 Enhancing Sedona (formerly GeoSpark) with Efficient k Nearest Neighbor Join Processing
    Francisco Garcia-Garcia, Antonio Corral, Luis Iribarne and Michael Vassilakopoulos
  • #13 Revisiting Data Compression in Column-Stores
    Alexander Slesarev, Evgeniy Klyuchikov, Kirill Smirnov and George Chernishev
  • #14 Model-based Approach for Co-optimization of Safety and Security Objectives in Design of Critical Architectures
    Kunal Suri, Gabriel Pedroza and Patrick Leserf
  • #16 Top-k Formal Concepts for identifying Positively and Negatively Correlated Biclusters
    Amina Houari and Sadok Ben Yahia
  • #18 A Refinement Strategy for Hybrid System Design with Safety Constraints
    Zheng Cheng and Dominique Mery
  • #22 COVIDonto: An Ontology Model for Acquisition and Sharing of COVID-19 Data
    Jean Vincent Fonou Dombeu, Thimershen Achary, Emma Genders, Shiv Mahabeer and Shivani Mahashakti Pillay
  • #23 An Approach to Detect Cyberbullying on Social Media
    Fatemeh Sajadi Ansari, Mahmoud Barhamgi, Aymen Khelifi and Djamal Benslimane
  • #24 Realisability of Control-State Choreographies
    Klaus-Dieter Schewe, Yamine Ait Ameur and Sarah Benyagoub
  • #26 Guaranteeing Information Integrity through Blockchains for Smart Cities
    Walid Miloud Dahmane, Samir Ouchani and Hafida Bouarfa
  • #27 Using Multidimensional Skylines for Regret Minimization
    Karim Alami and Sofian Maabout
  • #31 Cloud Query Processing with Reinforcement Learning-based Multi-Objective Re-optimization
    Chenxiao Wang, Le Gruenwald Laurent d'Orazio and Eleazar Leal
  • #34 Social Neural Hybrid Recommendation with Deep Representation Learning
    Lamia Berkani, Dyhia Laga and Abdelhak Aissat
  • #40 Automated Generation of Datasets from Fishbone Diagrams
    Brian Sal, Diego García-Saiz and Pablo Sanchez
  • #41 A Low-Cost Authentication Protocol Using Arbiter-PUF
    Fahem Zerrouki, Samir Ouchani and Hafida Bouarfa

Short Papers

  • #37 An Ontology Engineering Case Study for Advanced Digital Forensic Analysis
    Pavel Chikul, Hayretdin Bahsi and Olaf Maennel
  • #30 Aspect-Oriented Model-Based Testing with UPPAAL Timed Automata
    Jüri Vain, Leonidas Tsiopoulos and Gert Kanter
  • #38 Towards a correct-by-construction approach to support physical test process of aircraft hydraulic systems
    Ouissem Mesli-Kesraoui, Yassine Ouhammou, Olga Goubali, Pascal Berruet, Emmanuel Grolleau and Patrick Girard
  • #47 A Blockchain-Based platform for the e-Procurement management in the Public Sector
    Hasna Elalaoui Elabdallaoui, Abdelaziz Elfazziki and Mohamed Sadgal
  • #29 K-Nearest Neighbors Classication of Semantic Web Ontologies
    Jean Vincent Fonou Dombeu and Gideon Koech
  • #33 Categorical Modeling of Multi-Model Data: One Model to Rule Them All
    Martin Svoboda, Pavel Čontoš and Irena Holubova
  • #7 Multi-Facets Contract for Modeling and Verifying Heterogeneous Systems
    Abdelkader Abderrahmane Khouass, Christian Jérémie Attiogbé and Mohamed El Habib Messabihi
  • #8 More Automation in Model Driven Development
    Pascal André and Mohammed El Amin Tebib

Accepted Papers of MEDI 2021 Workshops

DETECT

  • #1 Refinable Record Structures in Formal Methods
    Asieh Salehi Fathabadi, Colin Snook, Thai Son Hoang, Dana Dghyam and Michael Butler
  • #2 Development of Critical Systems with UML/OCL and FoCaLiZe
    Messaoud Abbas, Fatima Haloua and Ammar Boucherit
  • #3 Systematic Assessment of Formal Methods based Models Quality Criteria
    Lorenzo Maldini and Stephen Wright
  • #4 Deriving Interaction Scenarios for Timed Distributed Systems by Symbolic Execution
    Boutheina Bannour, Arnault Lapitre and Pascale Le Gall

SIAS

  • #1 Energy Efficient Real-time Calibration of Wireless Sensor Networks for Smart Buildings
    Mads Mørk Beck, Jalil Boudjadar and Yousra Chougui
  • #2 Edge-to-Fog Collaborative Computing in a Swarm of Drones
    Dadmehr Rahbari, Muhammad Mahtab Alam, Yannick Le Moullec and Maksim Jenihhin
  • #3 Coverage Maximization in WSN Deployment using Particle Swarm Optimization with Voronoi Diagram
    Khaoula Zaimen, Mohamed-El-Amine Brahmia, Jean-François Dollinger, Laurent Moalic, Abdelhafid Abouaissa and Lhassane Idoumghar
  • #4 EPSAAV: An Extensible Platform for Safety Analysis of Autonomous Vehicles
    Joelle Abou Faysal, Nour Zalmai, Ankica Barisic and Frederic Mallet
  • #5 Bridging Trust in Runtime Open Evaluation Scnearios
    Emilia Cioroaica, Barbora Buhnova, Eda Marchetti, Daniel Schneider and Thomas Kuhn
  • #6 A Generation and Recovery Framework for Silicon PUFs based Cryptographic Key
    Fahem Zerrouki and Hafida Bouarfa
  • #7 Record linkage for auto-tuning of High Performance Computing systems
    Sophie Robert, Soraya Zertal, Lionel Vincent and Philippe Couvée
  • #8 Protecting sensitive data in web of data
    Fethi Imad Benaribi, Mimoun Malki and Kamel Mohamed Faraoun
  • #9 COVID-DETECT: A Deep Learning Based Approach to Accelerate COVID-19 Detection
    Nicolas Diméglio, Sébastien Romano, Alexandre Vesseron and Vincent Pelegrin

CSMML

  • #1 Time Insertion Functions
    Damas Gruska
  • #2 Static Checking Consistency of Temporal Requirements for Control Software
    Natalia Garanina and Dmitry Koznov
  • #3 Domain Specific Modeling Language for Device Management in Telecommunication Product Line
    Eugeny Semenov, Sheng Kai, Chen Gen, Dmitry Luciv and Dmitry Koznov
  • #4 Using Process-Oriented Structured Text for the IEC 61499 Functional Block Specification
    Vladimir Zyubin and Andrei Rozov

BIOC

  • #1 The DibiChain protocol: Privacy-preserving discovery and exchange of supply chain information
    Elias Strehle and Martin Maurer

HEDA

  • #1 Medical Data Engineering – Theory and Practice
    Ann-Kristin Kock-Schoppenhauer, Björn Schreiweis, Hannes Ulrich, Niklas Reimer, Joshua Wiedekopf, Benjamin Kinast, Hauke Busch, Björn Bergh and Josef Ingenerf
  • #2 Systematic Literature Review of Methods for Maintaining Data Integrity
    Marten Kask, Gunnar Piho and Peeter Ross
  • #3 Querying Medical Imaging Datasets using Spatial Logics (position paper)
    Gina Belmonte, Giovanna Broccia, Laura Bussi, Vincenzo Ciancia, Diego Latella and Mieke Massink
  • #4 Usages of the ContSys standard: a position paper
    Kristian Kankainen
  • #5 Towards a Resource-Aware Formal Modelling Language for Workflow Planning
    Muhammad Rizwan Ali and Violet Ka I Pun
  • #9 Evaluation of Anonymization Tools for Health Data
    Olga Vovk, Gunnar Piho and Peeter Ross

Photo by Kadi-Liis Koppel, mediabank.visittallinn.ee