| 2018 | A Correct-by-Construction Model for Attribute-Based Access Control. Hania Gadouche, Zoubeyr Farah, Abdelkamel Tari |
| 2018 | A Dynamic Analysis for Reverse Engineering of Sequence Diagram Using CPN. Chafik Baidada, El Mahi Bouziane, Abdeslam Jakimi |
| 2018 | A Formal Model for Interaction Specification and Analysis in IoT Applications. Souad Marir, Faiza Belala, Nabil Hameurlain |
| 2018 | A Formalized Procedure for Database Horizontal Fragmentation in Isabelle/HOL Proof Assistant. Cheikh Salmi, Mohamed Chaabani, Mohamed Mezghiche |
| 2018 | A Gamification and Objectivity Based Approach to Improve Users Motivation in Mobile Crowd Sensing. Hasna El Alaoui El Abdallaoui, Abdelaziz El Fazziki, Fatima Zohra Ennaji, Mohammed Sadgal |
| 2018 | A Graph-Based Model for Tag Recommendations in Clinical Decision Support System. Sara Qassimi, El Hassan Abdelwahed, Meriem Hafidi, Rachid Lamrani |
| 2018 | A New Way of Handling Missing Data in Multi-source Classification Based on Adaptive Imputation. Ikram Abdelkhalek, Afef Ben Brahim, Nadia Essoussi |
| 2018 | A Valid BPMN Extension for Supporting Security Requirements Based on Cyber Security Ontology. Mohamed El-Amine Chergui, Sidi Mohamed Benslimane |
| 2018 | Adaptive Algorithms for Computing Ontologies Metrics Through Processing of RDF Graphs. Jean Vincent Fonou Dombeu, Yannick Kazela Kazadi |
| 2018 | CRank: A Novel Framework for Ranking Semantic Web Ontologies. Jean Vincent Fonou Dombeu, Serestina Viriri |
| 2018 | Data Science with Vadalog: Bridging Machine Learning and Reasoning. Luigi Bellomarini, Ruslan R. Fayzrakhmanov, Georg Gottlob, Andrey Kravchenko, Eleonora Laurenza, Yavor Nenov, Stéphane Reissfelder, Emanuel Sallinger, Evgeny Sherkhonov, Lianlong Wu |
| 2018 | Domain-Oriented Verification Management. Vincent Leildé, Vincent Ribaud, Ciprian Teodorov, Philippe Dhaussy |
| 2018 | Ensuring the Functional Correctness of IoT through Formal Modeling and Verification. Samir Ouchani |
| 2018 | Extensions to Hybrid Event-B to Support Concurrency in Cyber-Physical Systems. Klaus-Dieter Schewe |
| 2018 | Feedback-Oriented Assessor Model - Application: Allocation of Submissions in Online Peer Assessment. Mohamed-Amine Abrache, Khalid Megder, Chihab Cherkaoui |
| 2018 | Formalizing Railway Signaling System ERTMS/ETCS Using UML/Event-B. Abderrahim Ait Wakrime, Rahma Ben Ayed, Simon Collart Dutilleul, Yves Ledru, Akram Idani |
| 2018 | Formalizing Reusable Communication Models for Distributed Systems Architecture. Quentin Rouland, Brahim Hamid, Jason Jaskolka |
| 2018 | Graph Pattern Matching Preserving Label-Repetition Constraints. Houari Mahfoud |
| 2018 | Mechanizing the Denotational Semantics of the Clock Constraint Specification Language. Mathieu Montin, Marc Pantel |
| 2018 | Model and Data Engineering - 8th International Conference, MEDI 2018, Marrakesh, Morocco, October 24-26, 2018, Proceedings El Hassan Abdelwahed, Ladjel Bellatreche, Matteo Golfarelli, Dominique Méry, Carlos Ordonez |
| 2018 | Modeling and Evaluating Cross-layer Elasticity Strategies in Cloud Systems. Khaled Khebbeb, Nabil Hameurlain, Faiza Belala |
| 2018 | Mortadelo: A Model-Driven Framework for NoSQL Database Design. Alfonso de la Vega, Diego García-Saiz, Carlos Blanco, Marta E. Zorrilla, Pablo Sánchez |
| 2018 | NoSQL Databases - Seek for a Design Methodology. Chaimae Asaad, Karim Baïna |
| 2018 | Scrum and V Lifecycle Combined with Model-Based Testing and Model Driven Architecture to Deal with Evolutionary System Issues. Imane Essebaa, Salima Chantit |
| 2018 | Spatial Batch-Queries Processing Using xBR ^+ -trees in Solid-State Drives. George Roumelis, Michael Vassilakopoulos, Antonio Corral, Athanasios Fevgas, Yannis Manolopoulos |
| 2018 | Standard and Dialectal Arabic Text Classification for Sentiment Analysis. Mohcine Maghfour, Abdeljalil Elouardighi |
| 2018 | Thing Federation as a Service: Foundations and Demonstration. Zakaria Maamar, Khouloud Boukadi, Emir Ugljanin, Thar Baker, Muhammad Asim, Mohammed Al-Khafajiy, Djamal Benslimane, Hasna El Alaoui El Abdallaoui |
| 2018 | Towards OntoUML for Software Engineering: Experimental Evaluation of Exclusivity Constraints in Relational Databases. Zdenek Rybola, Michal Valenta |
| 2018 | Voronoi-Diagram Based Partitioning for Distance Join Query Processing in SpatialHadoop. Francisco García-García, Antonio Corral, Luis Iribarne, Michael Vassilakopoulos |