- Boutheina Bannour
, Arnault Lapitre, Pascale Le Gall:
Deriving Interaction Scenarios for Timed Distributed Systems by Symbolic Execution. MEDI Workshops 2021: 46-60 - Mads Mørk Beck, Jalil Boudjadar, Yousra Chougui:
Energy Efficient Real-Time Calibration of Wireless Sensor Networks for Smart Buildings. MEDI Workshops 2021: 63-77 - Gina Belmonte, Giovanna Broccia, Laura Bussi, Vincenzo Ciancia, Diego Latella, Mieke Massink:
Querying Medical Imaging Datasets Using Spatial Logics (Position Paper). MEDI Workshops 2021: 285-301 - Fethi Imad Benaribi, Mimoun Malki, Kamel Mohamed Faraoun:
Protecting Sensitive Data in Web of Data. MEDI Workshops 2021: 152-165 - Lamia Berkani, Dyhia Laga, Abdelhak Aissat:
Social Neural Hybrid Recommendation with Deep Representation Learning. MEDI 2021: 127-140 - Zheng Cheng, Dominique Méry:
A Refinement Strategy for Hybrid System Design with Safety Constraints. MEDI 2021: 3-17 - Pavel Chikul, Hayretdin Bahsi, Olaf Maennel:
An Ontology Engineering Case Study for Advanced Digital Forensic Analysis. MEDI 2021: 67-74 - Emilia Cioroaica, Barbora Buhnova, Eda Marchetti, Daniel Schneider, Thomas Kuhn:
Bridging Trust in Runtime Open Evaluation Scenarios. MEDI Workshops 2021: 112-120 - Walid Miloud Dahmane, Samir Ouchani, Hafida Bouarfa:
Guaranteeing Information Integrity Through Blockchains for Smart Cities. MEDI 2021: 199-212 - 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: 166-178 - Jean Vincent Fonou Dombeu, Thimershen Achary, Emma Genders, Shiv Mahabeer, Shivani Mahashakti Pillay:
COVIDonto: An Ontology Model for Acquisition and Sharing of COVID-19 Data. MEDI 2021: 227-240 - Asieh Salehi Fathabadi, Colin F. Snook, Thai Son Hoang, Dana Dghaym, Michael J. Butler:
Refinable Record Structures in Formal Methods. MEDI Workshops 2021: 3-15 - Joelle Abou Faysal, Nour Zalmai, Ankica Barisic, Frédéric Mallet:
EPSAAV: An Extensible Platform for Safety Analysis of Autonomous Vehicles. MEDI Workshops 2021: 101-111 - Natalia Olegovna Garanina, Dmitry Koznov:
Static Checking Consistency of Temporal Requirements for Control Software. MEDI Workshops 2021: 189-203 - Damas P. Gruska:
Time Insertion Functions. MEDI Workshops 2021: 181-188 - Amina Houari, Sadok Ben Yahia:
Top-K Formal Concepts for Identifying Positively and Negatively Correlated Biclusters. MEDI 2021: 156-172 - Kristian Kankainen:
Usages of the ContSys Standard: A Position Paper. MEDI Workshops 2021: 314-324 - Marten Kask, Gunnar Piho, Peeter Ross:
Systematic Literature Review of Methods for Maintaining Data Integrity. MEDI Workshops 2021: 259-268 - A. Abdelkader Khouass, J. Christian Attiogbé, Mohamed Messabihi:
Multi-facets Contract for Modeling and Verifying Heterogeneous Systems. MEDI 2021: 41-49 - 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: 269-284 - Gideon Koech, Jean Vincent Fonou Dombeu:
K-Nearest Neighbors Classification of Semantic Web Ontologies. MEDI 2021: 241-248 - Lorenzo Maldini, Stephen Wright:
Systematic Assessment of Formal Methods Based Models Quality Criteria. MEDI Workshops 2021: 31-45 - Ouissem Mesli-Kesraoui, Yassine Ouhammou, Olga Goubali, Pascal Berruet, Patrick Girard, Emmanuel Grolleau:
Towards a Model-Based Approach to Support Physical Test Process of Aircraft Hydraulic Systems. MEDI 2021: 33-40 - Dadmehr Rahbari, Muhammad Mahtab Alam, Yannick Le Moullec, Maksim Jenihhin:
Edge-to-Fog Collaborative Computing in a Swarm of Drones. MEDI Workshops 2021: 78-87 - Brian Sal, Diego García-Saiz, Pablo Sánchez:
Automated Generation of Datasets from Fishbone Diagrams. MEDI 2021: 249-263 - Klaus-Dieter Schewe, Yamine Aït Ameur, Sarah Benyagoub:
Realisability of Control-State Choreographies. MEDI 2021: 87-100 - Eugeny Semenov, Sheng Kai, Chen Gen, Dmitry V. Luciv, Dmitry V. Koznov:
Visual Language for Device Management in Telecommunication Product Line. MEDI Workshops 2021: 204-216 - Alexander Slesarev, Evgeniy Klyuchikov, Kirill Smirnov, George A. Chernishev:
Revisiting Data Compression in Column-Stores. MEDI 2021: 279-292 - Elias Strehle, Martin Maurer:
The DibiChain Protocol: Privacy-Preserving Discovery and Exchange of Supply Chain Information. MEDI Workshops 2021: 231-247 - Kunal Suri, Gabriel Pedroza, Patrick Leserf:
Model-Based Approach for Co-optimization of Safety and Security Objectives in Design of Critical Architectures. MEDI 2021: 18-32
