Sign in
MEDI Workshops
2018
2019
2021
2022
2018
2022
Keyphrases
Publications
2022
Akram Idani
,
Rim Djedidi
,
Germán Vega
Revisiting Ontology Evolution Patterns - A Formal xDSL Approach.
MEDI Workshops
(2022)
Aly Abdelrazek
,
Walaa Medhat
,
Eman Gawish
,
Ahmed Hassan
Topic Modeling on Arabic Language Dataset: Comparative Study.
MEDI Workshops
(2022)
Nieves R. Brisaboa
,
Guillermo de Bernardo
,
Pablo Gutiérrez-Asorey
,
José R. Paramá
,
Tirso V. Rodeiro
,
Fernando Silva-Coira
A New Tool Based on GIS Technology for Massive Public Transport Data.
MEDI Workshops
(2022)
Charaf Eddine Dridi
,
Nabil Hameurlain
,
Faiza Belala
A Maude-Based Rewriting Approach to Model and Control System-of-Systems' Resources Allocation.
MEDI Workshops
(2022)
Ayman A. El-Saleh
,
Thaer Thaher
,
Hamouda Chantar
,
Majdi M. Mafarja
Enhanced IoT Based IDS Driven by Binary Snake Optimizer for Feature Selection.
MEDI Workshops
(2022)
Soura Boulaares
,
Salma Sassi
,
Sami Faïz
An Entropy-Based Approach: Handling Uncertainty in IoT Configurable Composition Reference Model (CCRM).
MEDI Workshops
(2022)
Nassira Chekkai
,
Hamamache Kheddouci
TOP-Key Influential Nodes for Opinion Leaders Identification in Travel Recommender Systems.
MEDI Workshops
(2022)
Nadhem Ben Ameur
,
Imene Lahyani
,
Rafika Thabet
,
Imen Megdiche
,
Jean-Christophe Steinbach
,
Elyes Lamine
Predicting Patient's Waiting Times in Emergency Department: A Retrospective Study in the CHIC Hospital Since 2019.
MEDI Workshops
(2022)
Alexander Slesarev
,
Mikhail Mikhailov
,
George A. Chernishev
Benchmarking Hashing Algorithms for Load Balancing in a Distributed Database Environment.
MEDI Workshops
(2022)
Asieh Salehi Fathabadi
,
Dana Dghaym
,
Thai Son Hoang
,
Michael J. Butler
,
Colin F. Snook
Generating SPARK from Event-B, Providing Fundamental Safety and Security.
MEDI Workshops
(2022)
Heba Ali
,
Mustafa A. Elattar
,
Walid Al-Atabany
,
Sahar Selim
Differentiation Between Normal and Abnormal Functional Brain Connectivity Using Non-directed Model-Based Approach.
MEDI Workshops
(2022)
Aya Gamal
,
Mustafa Elattar
,
Sahar Selim
Does Deep Learning Require Image Registration for Early Prediction of Alzheimer's Disease? A Comparative Study Using ADNI Database.
MEDI Workshops
(2022)
Shaymaa Sayed El-Kaliouby
,
Ahmed H. Yousef
,
Sahar Selim
Mobile Application Code Generation Approaches: A Survey.
MEDI Workshops
(2022)
J. Christian Attiogbé
,
Jérôme Rocheteau
Architectural Invariants and Correctness of IoT-Based Systems.
MEDI Workshops
(2022)
Kareem Elgohary
,
Samar Ibrahim
,
Sahar Selim
,
Mustafa Elattar
A CAD System for Lung Cancer Detection Using Chest X-ray: A Review.
MEDI Workshops
(2022)
volume 1751, 2022
Advances in Model and Data Engineering in the Digitalization Era - MEDI 2022 Short Papers and DETECT 2022 Workshop Papers, Cairo, Egypt, November 21-24, 2022, Proceedings
MEDI Workshops
1751 (2022)
2021
Boutheina Bannour
,
Arnault Lapitre
,
Pascale Le Gall
Deriving Interaction Scenarios for Timed Distributed Systems by Symbolic Execution.
MEDI Workshops
(2021)
Gina Belmonte
,
Giovanna Broccia
,
Laura Bussi
,
Vincenzo Ciancia
,
Diego Latella
,
Mieke Massink
Querying Medical Imaging Datasets Using Spatial Logics (Position Paper).
MEDI Workshops
(2021)
Marten Kask
,
Gunnar Piho
,
Peeter Ross
Systematic Literature Review of Methods for Maintaining Data Integrity.
MEDI Workshops
(2021)
Dadmehr Rahbari
,
Muhammad Mahtab Alam
,
Yannick Le Moullec
,
Maksim Jenihhin
Edge-to-Fog Collaborative Computing in a Swarm of Drones.
MEDI Workshops
(2021)
Muhammad Rizwan Ali
,
Violet Ka I Pun
Towards a Resource-Aware Formal Modelling Language for Workflow Planning.
MEDI Workshops
(2021)
Lorenzo Maldini
,
Stephen Wright
Systematic Assessment of Formal Methods Based Models Quality Criteria.
MEDI Workshops
(2021)
Sophie Robert
,
Lionel Vincent
,
Soraya Zertal
,
Philippe Couvée
Record Linkage for Auto-tuning of High Performance Computing Systems.
MEDI Workshops
(2021)
Fethi Imad Benaribi
,
Mimoun Malki
,
Kamel Mohamed Faraoun
Protecting Sensitive Data in Web of Data.
MEDI Workshops
(2021)
Mads Mørk Beck
,
Jalil Boudjadar
,
Yousra Chougui
Energy Efficient Real-Time Calibration of Wireless Sensor Networks for Smart Buildings.
MEDI Workshops
(2021)
Messaoud Abbas
,
Fatima Haloua
,
Ammar Boucherit
Development of Critical Systems with UML/OCL and FoCaLiZe.
MEDI Workshops
(2021)
Olga Vovk
,
Gunnar Piho
,
Peeter Ross
Evaluation of Anonymization Tools for Health Data.
MEDI Workshops
(2021)
Fahem Zerrouki
,
Samir Ouchani
,
Hafida Bouarfa
A Generation and Recovery Framework for Silicon PUFs Based Cryptographic Key.
MEDI Workshops
(2021)
Joelle Abou Faysal
,
Nour Zalmai
,
Ankica Barisic
,
Frédéric Mallet
EPSAAV: An Extensible Platform for Safety Analysis of Autonomous Vehicles.
MEDI Workshops
(2021)
Vladimir Zyubin
,
Andrei Rozov
Using Process-Oriented Structured Text for IEC 61499 Function Block Specification.
MEDI Workshops
(2021)
Asieh Salehi Fathabadi
,
Colin F. Snook
,
Thai Son Hoang
,
Dana Dghaym
,
Michael J. Butler
Refinable Record Structures in Formal Methods.
MEDI Workshops
(2021)
Ann-Kristin Kock-Schoppenhauer
,
Björn Schreiweis
,
Hannes Ulrich
,
Niklas Reimer
,
Joshua Wiedekopf
,
Benjamin Kinast
,
Hauke Busch
,
Björn Bergh
,
Josef Ingenerf
Medical Data Engineering - Theory and Practice.
MEDI Workshops
(2021)
Khaoula Zaimen
,
Mohamed-el-Amine Brahmia
,
Jean-François Dollinger
,
Laurent Moalic
,
Abdelhafid Abouaissa
,
Lhassane Idoumghar
Coverage Maximization in WSN Deployment Using Particle Swarm Optimization with Voronoi Diagram.
MEDI Workshops
(2021)
Emilia Cioroaica
,
Barbora Buhnova
,
Eda Marchetti
,
Daniel Schneider
,
Thomas Kuhn
Bridging Trust in Runtime Open Evaluation Scenarios.
MEDI Workshops
(2021)
Eugeny Semenov
,
Sheng Kai
,
Chen Gen
,
Dmitry V. Luciv
,
Dmitry V. Koznov
Visual Language for Device Management in Telecommunication Product Line.
MEDI Workshops
(2021)
Nicolas Dimeglio
,
Sebastien Romano
,
Alexandre Vesseron
,
Vincent Pelegrin
,
Samir Ouchani
COVID-DETECT: A Deep Learning Based Approach to Accelerate COVID-19 Detection.
MEDI Workshops
(2021)
Natalia Olegovna Garanina
,
Dmitry Koznov
Static Checking Consistency of Temporal Requirements for Control Software.
MEDI Workshops
(2021)
Elias Strehle
,
Martin Maurer
The DibiChain Protocol: Privacy-Preserving Discovery and Exchange of Supply Chain Information.
MEDI Workshops
(2021)
Damas P. Gruska
Time Insertion Functions.
MEDI Workshops
(2021)
Kristian Kankainen
Usages of the ContSys Standard: A Position Paper.
MEDI Workshops
(2021)
volume 1481, 2021
Advances in Model and Data Engineering in the Digitalization Era - MEDI 2021 International Workshops: DETECT, SIAS, CSMML, BIOC, HEDA, Tallinn, Estonia, June 21-23, 2021, Proceedings
MEDI Workshops
1481 (2021)
2019
Sara Hsaini
,
Salma Azzouzi
,
My El Hassan Charaf
A Temporal Approach for Testing Distributed Systems-A MapReduce Case Study.
MEDI Workshops
(2019)
Khaled Khebbeb
,
Nabil Hameurlain
,
Faiza Belala
Formal Modeling and Verification of Cloud Elasticity with Maude and LTL.
MEDI Workshops
(2019)
Zakaria Igarramen
,
Ahmed Bentajer
,
Mustapha Hedabou
TPM Based Schema for Reinforcing Security in IBE's Key Manager.
MEDI Workshops
(2019)
Mohammed Foughali
On Reconciling Schedulability Analysis and Model Checking in Robotics.
MEDI Workshops
(2019)
Messaoud Abbas
,
Mounir Beggas
,
Ammar Boucherit
Formalizing and Verifying UML Activity Diagrams.
MEDI Workshops
(2019)
Sigal Asaf
,
Ariel Farkash
,
Micha Moffie
Multi-value Classification of Ambiguous Personal Data.
MEDI Workshops
(2019)
Ernesto Exposito
Semantic-Driven Architecture for Autonomic Management of Cyber-Physical Systems (CPS) for Industry 4.0.
MEDI Workshops
(2019)
Achraf Ait-Beni-Ifit
,
Othmane Alaoui Fdili
,
Patrick Corlay
,
François-Xavier Coudoux
,
Mohammed El Hassouni
Overview on HEVC Inter Frame Video Coding's Impact on the Energy Consumption for Next Generation WVSNs.
MEDI Workshops
(2019)
volume 1085, 2019
New Trends in Model and Data Engineering - MEDI 2019 International Workshops, DETECT, DSSGA, TRIDENT, Toulouse, France, October 28-31, 2019, Proceedings
MEDI Workshops
1085 (2019)