| 2018 | Generation of Behavior-Driven Development C++ Tests from Abstract State Machine Scenarios. | Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor |
| 2018 | Handling Reparation in Incremental Construction of Realizable Conversation Protocols. | Sarah Benyagoub, Yamine At Ameur, Meriem Ouederni, Atif Mashkoor |
| 2018 | Data Science with Vadalog: Bridging Machine Learning and Reasoning. | Luigi Bellomarini, Ruslan R. Fayzrakhmanov, Georg Gottlob, Andrey Kravchenko, Eleonora Laurenza, Yavor Nenov, Stphane Reissfelder, Emanuel Sallinger, Evgeny Sherkhonov, Lianlong Wu |
| 2018 | A Dynamic Analysis for Reverse Engineering of Sequence Diagram Using CPN. | Chafik Baidada, El Mahi Bouziane, Abdeslam Jakimi |
| 2018 | NoSQL Databases - Seek for a Design Methodology. | Chaimae Asaad, Karim Bana |
| 2018 | Reliability in Fully Probabilistic Event-B: How to Bound the Enabling of Events. | Syrine Aouadi, Arnaud Lanoix |
| 2018 | Context-Based Sentiment Analysis: A Survey. | Oumayma El Ansari, Jihad Zahir, Hajar Mousannif |
| 2018 | Systematic Construction of Critical Embedded Systems Using Event-B. | Pascal Andr, J. Christian Attiogb, Arnaud Lanoix |
| 2018 | Automatic Planning: From Event-B to PDDL. | Sabrine Ammar, Mohamed Tahar Bhiri |
| 2018 | Towards a Requirements Engineering Approach for Capturing Uncertainty in Cyber-Physical Systems Environment. | Manzoor Ahmad, Christophe Gnaho, Jean-Michel Bruel, Rgine Laleau |
| 2018 | A Multi-agent System-Based Distributed Intrusion Detection System for a Cloud Computing. | Omar Achbarou, My Ahmed El Kiram, Outmane Bourkoukou, Salim Elbouanani |
| 2018 | Feedback-Oriented Assessor Model - Application: Allocation of Submissions in Online Peer Assessment. | Mohamed-Amine Abrache, Khalid Megder, Chihab Cherkaoui |
| 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 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 | Voronoi-Diagram Based Partitioning for Distance Join Query Processing in SpatialHadoop. | Francisco Garca-Garca, Antonio Corral, Luis Iribarne, Michael Vassilakopoulos |
| 2017 | Modular Term-Rewriting Framework for Artifact-Centric Business Process Modelling. | Bartosz Zielinski |
| 2017 | Exploiting User Feedbacks in Matrix Factorization for Recommender Systems. | Haiyang Zhang, Nikola S. Nikolov, Ivan Ganchev |
| 2017 | A Model-Driven Ecosystem for the Definition of Data Mining Domain-Specific Languages. | Alfonso de la Vega, Diego Garca-Saiz, Marta E. Zorrilla, Pablo Snchez |
| 2017 | Schema Evolution and Gravitation to Rigidity: A Tale of Calmness in the Lives of Structured Data. | Panos Vassiliadis |
| 2017 | Ontology-Based User Profile Modelling to Facilitate Inclusion of Visual Impairment People. | Mara Isabel Torres-Carazo, Mara Jos Rodrguez-Frtiz, Vanesa Espn-Martin, Mara Visitacin Hurtado |
| 2017 | Use of Tabular Expressions for Refinement Automation. | Neeraj Kumar Singh, Mark Lawford, T. S. E. Maibaum, Alan Wassyng |
| 2017 | A Feature Selection Method Based on Feature Correlation Networks. | Milos Savic, Vladimir Kurbalija, Mirjana Ivanovic, Zoran Bosnic |
| 2017 | Bulk Insertions into xBR ^+ -trees. | George Roumelis, Michael Vassilakopoulos, Antonio Corral, Yannis Manolopoulos |
| 2017 | Ontology to Profile User Models with Disabilities. | Brunil Dalila Romero-Mario, Vanesa Espn, Mara Jos Rodrguez-Frtiz, Mara Visitacin Hurtado-Torres, Luis Ramos, Hisham M. Haddad |
| 2017 | Towards an Emergent Semantic of Web Resources Using Collaborative Tagging. | Sara Qassimi, El Hassan Abdelwahed, Meriem Hafidi, Rachid Lamrani |