MEDI 2019

9th International Conference on Model and Data Engineering
28-31 October 2019
Toulouse, France

MEDI 2019 Program

Monday, October 28
8:30-9:00 Registration
9:00-10:30 Workshop session DETECT I
Chair:
Keynote:
Workshop session DSSGA I
Chair:
  • Semantic graph-based Recommender System: Application in Cultural Heritage
    Sara Qassimi and El Hassan Abdelwahed
  • TPM based Schema for Reinforcing Security in IBE’s Key Manager
    Zakaria Igarramen, Ahmed Bentajer and Hedabou Mustapha.
  • MRI Brain Images Compression and Classification using Different Classes of Neural Networks
    Abdelhakim El Boustani and Essaid El Bachari
10:30-11:00 Coffee Break
11:00-12:30 Workshop session DETECT II
Chair:
  • Formalizing and Verifying of UML Activity Diagrams
    Messaoud Abbas, Mounir Beggas and Ammar Boucherit
  • Formal modeling and verification of Cloud elasticity with Maude and LTL
    Khaled Khebbeb, Nabil Hameurlain and Faiza Belala
  • A Temporal Approach for Testing Distributed Systems - A MapReduce Case Study
    Sara Hsaini, Salma Azzouzi and My El Hassan Charaf
Workshop session DSSGA II
Chair:
  • 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 and Mohammed El Hassouni
  • Towards distributed learning in Internet of things. Air Quality monitoring use case
    Lazrak Noussair, Jesualdo Tomás Fernández Breis Breis, Jihad Zahir and Hajar Mousannif
12:30-14:00 Lunch
14:00-15:30 Workshop session DETECT III
Chair:
  • Optimizing the performance of time-constrained Business processes in a Cloud-Fog Environment
    Fairouz Fakhfakh, Ahmed Neji, Saoussen Cheikhrouhou and Slim Kallel
  • Domain-Specific Scenarios for Refinement-based Methods
    Colin Snook, Thai Son Hoang, Dana Dghaym and Michael Butler
  • On Reconciling Schedulability Analysis and Model Checking in Robotics
    Mohammed Foughali
Workshop session TRIDENT I
Chair:
  • Modelling compliance threats and security analysis of cross border health data Exchange
    Mike Surridge, Ken Meacham, Juri Papay, Stephen Phillips, Brian Pickering, Ardavan Shafiee and Toby Wilkinson
  • Towards Pro-Active Security and Privacy by Distribution, Obfuscation and Verification
    Klaus-Dieter Schewe, Flavio Ferrarotti and Senén González
  • Resolving Stakeholder Tussles in Healthcare Systems: ethical challenges to data protection
    Brian Pickering, Giuliana Faiella and Fabrizio Clemente
15:30-16:00 Coffee Break
16:00-17:00 Workshop session TRIDENT II
Chair:
  • Multi-Value Classification of Ambiguous Personal Data
    Sigal Assaf, Ariel Farkash and Micha Moffie
  • Semi-real-time hash comparison for detecting intrusions using Blockchain
    Santiago de Diego, Oscar Lage, Xabier Larrucea and Iñaki Seco
Tuesday, October 29
8:30-9:00 Registration
9:00-10:10 MEDI session I: Opening and Keynote
Chair:
Semiotics in Databases
Bernhard Thalheim, Christian Albrechts University Kiel, Germany
10:10-11:00 MEDI session II: Data warehousing
Chair:
10:10 Thinking the incorporation of LOD in semantic cubes as a strategic decision
Selma Khouri, Abdessamed Réda Ghomari and Yasmine Aouimer
10:40 Implementing Window Functions in a Column-Store with Late Materialization
Nadezhda Mukhaleva, Valentin Grigorev and George Chernishev
11:00-11:30 Coffee Break
11:30-12:30 MEDI session III: Keynote
Chair:
Fully generic queries: Open problems and some partial answers
Jan Van den Bussche, Hasselt University, Belgium
12:30-14:00 Lunch
14:00-16:00 MEDI session IV: Data Analysis
Chair:
14:00 Keeping the Data Lake in Form: DS-kNN Datasets Categorization Using Proximity Mining
Ayman Alserafi, Alberto Abello, Oscar Romero and Toon Calders
14:30 Lavoisier: High-Level Selection and Preparation of Data for Analysis
Alfonso de la Vega, Diego García-Saiz, Marta Zorrilla and Pablo Sanchez
15:00 Discovering platform government research trends using topic modeling
Sunyoung Shin and Chang-Kyo Suh
15:30 J2J-GR: Journal-to-Journal references by Greek researchers
Leonidas Pispiringas, Dimitris Dervos and Georgios Evangelidis
16:00-16:30 Coffee Break
16:30-17:30 MEDI session V: Keynote
Chair:
Reinforcement learning-based methods for falsification: a new trend in critical controllers verification
Rémi Delmas, ONERA, France
17:30-18:30 MEDI session VI: Applications of Data and Model Engineering
Chair:
17:30 A Machine Learning model for Automation of Ligament Injury Detection Process
Salmi Cheikh, Akram Lebcir, Ali Menaouer Djemmal, Lebcir Abdelhamid and Boubendir Nasserdine
18:00 Robust Design of a Collaborative Platform for Model-Based System Engineering: Experience from an Industrial Deployment
Christophe Ponsard, Robert Darimont and Touzani Mounir
20:00 Gala Dinner
Wednesday, October 30
9:00-11:00 MEDI session VII: Modelling
Chair:
9:00 Conceptual Models and Their Foundations
Bernhard Thalheim
9:30 Building formal semantic domain model : An Event-B based approach
Idir Ait Sadoune and Linda Mohand-Oussaid
10:00 Hyperledger Fabric Blockchain as a Service for the Internet of Things: Proof of Concept
Sasa Pesic, Dragan Boscovic, Mirjana Ivanovic, Miloš Radovanović, Milenko Tosic and Ognjen Ikovic
10:20 GraphQL Schema Generation for Data-Intensive Web APIs
Carles Farré, Jovan Varga and Robert Almar
10:40 Digital Dices: Towards the Integration of Cyber-Physical Systems merging the Web of Things and Microservices
Manel Mena, Javi Criado, Luis Iribarne and Antonio Corral
11:00-11:30 Coffee Break
11:30-12:30 MEDI session VIII: Keynote
Chair:
Validation and Verification of Unmanned Aircarft Systems
Cesar A. Munoz, NASA
12:30-14:00 Lunch
14:00-16:00 MEDI session IX: Database Theory and Rigorous Methods
Chair:
14:00 Concurrent Computing with Shared Replicated Memory
Egon Boerger, Andreas Prinz and Klaus-Dieter Schewe
14:30 MRSLICE: Efficient RkNN Query Processing in SpatialHadoop
Francisco Garcia-Garcia, Antonio Corral, Luis Iribarne and Michael Vassilakopoulos
15:00 Should we be afraid of querying billions of triples in a graph-based centralized system?
Abdallah Khelil, Amin Mesmoudi, Jorge Galicia and Mohamed Senouci
15:30 Extracting High-Level System Specifications from Source Code via Abstract State Machines
Flavio Ferrarotti, Josef Pichler, Michael Moser and Georg Buchgeher
16:00-16:30 Coffee Break
16:30-18:00 MEDI session X: Miscellaneous
Chair:
16:30 Social-based Collaborative Recommendation: Bees Swarm Optimization Based Clustering Approach
Lamia Berkani
17:00 Deep Learning for French Legal Data Categorization
Eya Hammami, Imen Akermi, Rim Faiz and Mohand Boughanem
17:20 Deep A Smart Living Framework: Towards Analyzing Security in Smart Rooms
Walid Miloud Dahmane, Samir Ouchani and Hafida Bouarfa
17:40 Metadata Discovery Using Data Sampling and Exploratory Data Analysis
Hiba Khalid, Robert Wrembel and Esteban Zimaanyi
18:00 MEDI 2019 Closing

Photo by sergemarsilloux1 on Foter.com / CC BY-NC-ND