| 2019 | A Temporal Approach for Testing Distributed Systems-A MapReduce Case Study. | Sara Hsaini, Salma Azzouzi, My El Hassan Charaf |
| 2019 | Deep Learning for French Legal Data Categorization. | Eya Hammami, Imen Akermi, Rim Faiz, Mohand Boughanem |
| 2019 | On Reconciling Schedulability Analysis and Model Checking in Robotics. | Mohammed Foughali |
| 2019 | Extracting High-Level System Specifications from Source Code via Abstract State Machines. | Flavio Ferrarotti, Josef Pichler, Michael Moser, Georg Buchgeher |
| 2019 | GraphQL Schema Generation for Data-Intensive Web APIs. | Carles Farr, Jovan Varga, Robert Almar |
| 2019 | Optimizing the Performance of Timed-Constrained Business Processes in Cloud-Fog Environment. | Fairouz Fakhfakh, Ahemd Neji, Saoussen Cheikhrouhou, Slim Kallel |
| 2019 | Semantic-Driven Architecture for Autonomic Management of Cyber-Physical Systems (CPS) for Industry 4.0. | Ernesto Exposito |
| 2019 | A Smart Living Framework: Towards Analyzing Security in Smart Rooms. | Walid Miloud Dahmane, Samir Ouchani, Hafida Bouarfa |
| 2019 | MRI Brain Images Compression and Classification Using Different Classes of Neural Networks. | Abdelhakim El Boustani, Essaid El Bachari |
| 2019 | Social-Based Collaborative Recommendation: Bees Swarm Optimization Based Clustering Approach. | Lamia Berkani |
| 2019 | Multi-value Classification of Ambiguous Personal Data. | Sigal Asaf, Ariel Farkash, Micha Moffie |
| 2019 | Keeping the Data Lake in Form: DS-kNN Datasets Categorization Using Proximity Mining. | Ayman Alserafi, Alberto Abell, Oscar Romero, Toon Calders |
| 2019 | Building Formal Semantic Domain Model: An Event-B Based Approach. | Idir At-Sadoune, Linda Mohand-Oussad |
| 2019 | Overview on HEVC Inter Frame Video Coding's Impact on the Energy Consumption for Next Generation WVSNs. | Achraf Ait-Beni-Ifit, Othmane Alaoui Fdili, Patrick Corlay, Franois-Xavier Coudoux, Mohammed El Hassouni |
| 2019 | Formalizing and Verifying UML Activity Diagrams. | Messaoud Abbas, Mounir Beggas, Ammar Boucherit |
| 2019 | MRSLICE: Efficient RkNN Query Processing in SpatialHadoop. | Francisco Garca-Garca, Antonio Corral, Luis Iribarne, Michael Vassilakopoulos |
| 2018 | Steady-State Performability Analysis of Call Admission Control in Cellular Mobile Networks. | Sana Youns, Maroua Idi |
| 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 | Mortadelo: A Model-Driven Framework for NoSQL Database Design. | Alfonso de la Vega, Diego Garca-Saiz, Carlos Blanco, Marta E. Zorrilla, Pablo Snchez |
| 2018 | Extensions to Hybrid Event-B to Support Concurrency in Cyber-Physical Systems. | Klaus-Dieter Schewe |
| 2018 | Towards Real-Time Semantics for a Distributed Event-Based MOP Language. | Mateo Sanabria, Wilmer Garzn Alfonso, Luis Daniel Benavides Navarro |
| 2018 | A Formalized Procedure for Database Horizontal Fragmentation in Isabelle/HOL Proof Assistant. | Cheikh Salmi, Mohamed Chaabani, Mohamed Mezghiche |
| 2018 | Towards OntoUML for Software Engineering: Experimental Evaluation of Exclusivity Constraints in Relational Databases. | Zdenek Rybola, Michal Valenta |
| 2018 | Spatial Batch-Queries Processing Using xBR ^+ -trees in Solid-State Drives. | George Roumelis, Michael Vassilakopoulos, Antonio Corral, Athanasios Fevgas, Yannis Manolopoulos |
| 2018 | Formalizing Reusable Communication Models for Distributed Systems Architecture. | Quentin Rouland, Brahim Hamid, Jason Jaskolka |