| 2018 | A Graph-Based Model for Tag Recommendations in Clinical Decision Support System. | Sara Qassimi, El Hassan Abdelwahed, Meriem Hafidi, Rachid Lamrani |
| 2018 | Assessment of Emerging Standards for Safety and Security Co-Design on a Railway Case Study. | Christophe Ponsard, Jeremy Grandclaudon, Philippe Massonet, Mounir Touzani |
| 2018 | An MDA Approach for the Specification of Relay-Based Diagrams. | Dalay Israel de Almeida Pereira, Ouahmed Malki, Philippe Bon, Matthieu Perin, Simon Collart Dutilleul |
| 2018 | Ensuring the Functional Correctness of IoT through Formal Modeling and Verification. | Samir Ouchani |
| 2018 | Mechanizing the Denotational Semantics of the Clock Constraint Specification Language. | Mathieu Montin, Marc Pantel |
| 2018 | A Formal Model for Interaction Specification and Analysis in IoT Applications. | Souad Marir, Faiza Belala, Nabil Hameurlain |
| 2018 | Graph Pattern Matching Preserving Label-Repetition Constraints. | Houari Mahfoud |
| 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 | Domain-Oriented Verification Management. | Vincent Leild, Vincent Ribaud, Ciprian Teodorov, Philippe Dhaussy |
| 2018 | A Problem-Oriented Approach to Critical System Design and Diagnosis Support. | Vincent Leild, Vincent Ribaud, Ciprian Teodorov, Philippe Dhaussy |
| 2018 | Analyzing a ROS Based Architecture for Its Cross Reuse in ISO26262 Settings. | Xabier Larrucea, Pablo Gonzlez-Nalda, Ismael Etxeberria Agiriano, Mari Carmen Otero, Isidro Calvo |
| 2018 | Gamification and Serious Games Based Learning for Early Childhood in Rural Areas. | Rachid Lamrani, El Hassan Abdelwahed, Souad Chraibi, Sara Qassimi, Meriem Hafidi |
| 2018 | Modeling and Evaluating Cross-layer Elasticity Strategies in Cloud Systems. | Khaled Khebbeb, Nabil Hameurlain, Faiza Belala |
| 2018 | A Correct-by-Construction Model for Attribute-Based Access Control. | Hania Gadouche, Zoubeyr Farah, Abdelkamel Tari |
| 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 | Model-Based Verification and Testing Methodology for Safety-Critical Airborne Systems. | Mounia Elqortobi, Warda El-Khouly, Amine Rahj, Jamal Bentahar, Rachida Dssouli |
| 2018 | Invited Talk: A Roadmap for Engineering Safe and Secure Cyber-Physical Systems. | Alexander Egyed |
| 2018 | Hybrid Systems and Event-B: A Formal Approach to Signalised Left-Turn Assist. | Guillaume Dupont, Yamine At Ameur, Marc Pantel, Neeraj Kumar Singh |
| 2018 | CRank: A Novel Framework for Ranking Semantic Web Ontologies. | Jean Vincent Fonou Dombeu, Serestina Viriri |
| 2018 | Adaptive Algorithms for Computing Ontologies Metrics Through Processing of RDF Graphs. | Jean Vincent Fonou Dombeu, Yannick Kazela Kazadi |
| 2018 | Component Design and Adaptation Based on Behavioral Contracts. | Samir Chouali, Sebti Mouelhi, Hassan Mountassir |
| 2018 | A Valid BPMN Extension for Supporting Security Requirements Based on Cyber Security Ontology. | Mohamed El-Amine Chergui, Sidi Mohamed Benslimane |
| 2018 | Formal Specification and Verification of Cloud Resource Allocation Using Timed Petri-Nets. | Saoussen Cheikhrouhou, Nesrine Chabouh, Slim Kallel, Zakaria Maamar |
| 2018 | Petri Nets to Event-B: Handling Mathematical Sequences Through an ERTMS L3 Case. | Zakaryae Boudi, Abderrahim Ait Wakrime, Simon Collart Dutilleul, Mohamed Haloua |