| 2021 | Multi-facets Contract for Modeling and Verifying Heterogeneous Systems. | A. Abdelkader Khouass, J. Christian Attiogb, Mohamed Messabihi |
| 2021 | Systematic Literature Review of Methods for Maintaining Data Integrity. | Marten Kask, Gunnar Piho, Peeter Ross |
| 2021 | Usages of the ContSys Standard: A Position Paper. | Kristian Kankainen |
| 2021 | Top-K Formal Concepts for Identifying Positively and Negatively Correlated Biclusters. | Amina Houari, Sadok Ben Yahia |
| 2021 | Time Insertion Functions. | Damas P. Gruska |
| 2021 | Static Checking Consistency of Temporal Requirements for Control Software. | Natalia Olegovna Garanina, Dmitry Koznov |
| 2021 | EPSAAV: An Extensible Platform for Safety Analysis of Autonomous Vehicles. | Joelle Abou Faysal, Nour Zalmai, Ankica Barisic, Frdric Mallet |
| 2021 | Refinable Record Structures in Formal Methods. | Asieh Salehi Fathabadi, Colin F. Snook, Thai Son Hoang, Dana Dghaym, Michael J. Butler |
| 2021 | COVIDonto: An Ontology Model for Acquisition and Sharing of COVID-19 Data. | Jean Vincent Fonou Dombeu, Thimershen Achary, Emma Genders, Shiv Mahabeer, Shivani Mahashakti Pillay |
| 2021 | COVID-DETECT: A Deep Learning Based Approach to Accelerate COVID-19 Detection. | Nicolas Dimeglio, Sebastien Romano, Alexandre Vesseron, Vincent Pelegrin, Samir Ouchani |
| 2021 | Guaranteeing Information Integrity Through Blockchains for Smart Cities. | Walid Miloud Dahmane, Samir Ouchani, Hafida Bouarfa |
| 2021 | Bridging Trust in Runtime Open Evaluation Scenarios. | Emilia Cioroaica, Barbora Buhnova, Eda Marchetti, Daniel Schneider, Thomas Kuhn |
| 2021 | An Ontology Engineering Case Study for Advanced Digital Forensic Analysis. | Pavel Chikul, Hayretdin Bahsi, Olaf Maennel |
| 2021 | A Refinement Strategy for Hybrid System Design with Safety Constraints. | Zheng Cheng, Dominique Mry |
| 2021 | Social Neural Hybrid Recommendation with Deep Representation Learning. | Lamia Berkani, Dyhia Laga, Abdelhak Aissat |
| 2021 | Protecting Sensitive Data in Web of Data. | Fethi Imad Benaribi, Mimoun Malki, Kamel Mohamed Faraoun |
| 2021 | Querying Medical Imaging Datasets Using Spatial Logics (Position Paper). | Gina Belmonte, Giovanna Broccia, Laura Bussi, Vincenzo Ciancia, Diego Latella, Mieke Massink |
| 2021 | Energy Efficient Real-Time Calibration of Wireless Sensor Networks for Smart Buildings. | Mads Mrk Beck, Jalil Boudjadar, Yousra Chougui |
| 2021 | Deriving Interaction Scenarios for Timed Distributed Systems by Symbolic Execution. | Boutheina Bannour, Arnault Lapitre, Pascale Le Gall |
| 2021 | An Approach to Detect Cyberbullying on Social Media. | Fatemeh Sajadi Ansari, Mahmoud Barhamgi, Aymen Khelifi, Djamal Benslimane |
| 2021 | More Automation in Model Driven Development. | Pascal Andr, Mohammed El Amin Tebib |
| 2021 | Towards a Resource-Aware Formal Modelling Language for Workflow Planning. | Muhammad Rizwan Ali, Violet Ka I Pun |
| 2021 | Using Multidimensional Skylines for Regret Minimization. | Karim Alami, Sofian Maabout |
| 2021 | A Blockchain-Based Platform for the e-Procurement Management in the Public Sector. | Hasna El Alaoui El Abdallaoui, Abdelaziz El Fazziki, Mohamed Sadgal |
| 2021 | Development of Critical Systems with UML/OCL and FoCaLiZe. | Messaoud Abbas, Fatima Haloua, Ammar Boucherit |