| 2025 | IWCMC | Blockchain-Powered Certificate Verification Enhanced by Self-Sovereign Identity and Off-Chain Caching. | Saoussen Cheikhrouhou, Mariem Turki, Slim Kallel, Amal Abid, Mohamed Jmaiel |
| 2025 | MEDI | Managing Model Evolution from NoSQL Data Lakes to Decision Support Systems. | Said Taktak, Zoubair Mabrouk, Slim Kallel, Ahmed Hadj Kacem |
| 2025 | SNPD | An NFT-based Blockchain Solution for Employee Skill Enhancement and Development. | Fairouz Fakhfakh, Saoussen Cheikhrouhou, Slim Kallel, Oumayma Jarray |
| 2024 | ICSOC | TraSSI: A Confidential Traceability System for Self-sovereign Identity-Based Processes. | Amal Abid, Slim Kallel, Mohamed Jmaiel |
| 2024 | ICSOC | EduCheck: Ensuring Diploma Authenticity Using Blockchain Technology. | Mariem Turki, Slim Kallel, Mohamed Jmaiel |
| 2022 | CRiSIS | Towards a Secure Cross-Blockchain Smart Contract Architecture. | Rawya Mars, Saoussen Cheikhrouhou, Slim Kallel, Mohamed Sellami, Ahmed Hadj Kacem |
| 2022 | FedCSIS | A Blockchain-Based Self-Sovereign Identity Approach for Inter-Organizational Business Processes. | Amal Abid, Saoussen Cheikhrouhou, Slim Kallel, Mohamed Jmaiel |
| 2021 | COMPSAC | A Machine Learning Approach for Gas Price Prediction in Ethereum Blockchain. | Rawya Mars, Amal Abid, Saoussen Cheikhrouhou, Slim Kallel |
| 2020 | SENSYS | How blockchain helps to combat trust crisis in COVID-19 pandemic?: poster abstract. | Amal Abid, Saoussen Cheikhrouhou, Slim Kallel, Mohamed Jmaiel |
| 2019 | ENASE | A Model-based Approach for the Modeling and the Verification of Railway Signaling System. | Racem Bougacha, Abderrahim Ait Wakrime, Slim Kallel, Rahma Ben Ayed, Simon Collart Dutilleul |
| 2019 | MEDI | Optimizing the Performance of Timed-Constrained Business Processes in Cloud-Fog Environment. | Fairouz Fakhfakh, Ahemd Neji, Saoussen Cheikhrouhou, Slim Kallel |
| 2018 | AINA | Formal Verification of Temporal Constraints and Allocated Cloud Resources in Business Processes. | Rania Ben Halima, Imen Zouaghi, Slim Kallel, Walid Gaaloul, Mohamed Jmaiel |
| 2018 | MEDI | Formal Specification and Verification of Cloud Resource Allocation Using Timed Petri-Nets. | Saoussen Cheikhrouhou, Nesrine Chabouh, Slim Kallel, Zakaria Maamar |
| 2017 | ICSOC | Verification of the Consistency of Time-Aware Cyber-Physical Processes. | Imen Graja, Slim Kallel, Nawal Guermouche, Ahmed Hadj Kacem |
| 2017 | WETICE | AROSA 2017: Summary Report. | Ismael Bouassida Rodriguez, Slim Kallel, Mohamed Jmaiel, Khalil Drira |
| 2016 | ISCC | Time patterns for cyber-physical systems. | Imen Graja, Slim Kallel, Nawal Guermouche, Ahmed Hadj Kacem |
| 2016 | WETICE | BPMN4CPS: A BPMN Extension for Modeling Cyber-Physical Systems. | Imen Graja, Slim Kallel, Nawal Guermouche, Ahmed Hadj Kacem |
| 2016 | WETICE | Arosa Track Report. | Slim Kallel, Khalil Drira, Mohamed Jmaiel |
| 2015 | WETICE | AROSA 2015 Track Report: Adaptive and Reconfigurable Service-Oriented and Component-Based Applications and Architectures. | Slim Kallel, Ismael Bouassida Rodriguez, Mohamed Jmaiel |
| 2014 | ICCSA | An Approach for Security Patterns Application in Component Based Models. | Rahma Bouaziz, Slim Kallel, Bernard Coulette |
| 2014 | ICSOC | On Enabling Time-Aware Consistency of Collaborative Cross-Organisational Business Processes. | Saoussen Cheikhrouhou, Slim Kallel, Nawal Guermouche, Mohamed Jmaiel |
| 2014 | WETICE | A Collaborative Process for Developing Secure Component Based Applications. | Rahma Bouaziz, Slim Kallel, Bernard Coulette |
| 2014 | WETICE | Toward a Verification of Time-Centric Business Process Models. | Saoussen Cheikhrouhou, Slim Kallel, Mohamed Jmaiel |
| 2014 | WETICE | Track Report of Adaptive and Reconfigurable Service-Oriented and Component-Based Applications and Architectures (AROSA 2014). | Khalil Drira, Slim Kallel, Ismael Bouassida Rodriguez |
| 2013 | IIWAS | Toward a Time-centric modeling of Business Processes in BPMN 2.0. | Saoussen Cheikhrouhou, Slim Kallel, Nawal Guermouche, Mohamed Jmaiel |
| 2013 | ICSOC | An Aspect-Oriented Approach to Enforce Security Properties in Business Processes. | Inaya Yahya, Sameh Hbaieb Turki, Anis Charfi, Slim Kallel, Rafik Bouaziz |
| 2013 | WETICE | An Engineering Process for Security Patterns Application in Component Based Models. | Rahma Bouaziz, Slim Kallel, Bernard Coulette |
| 2013 | WETICE | AROSA Track Report. | Khalil Drira, Slim Kallel, Ismael Bouassida Rodriguez |
| 2012 | WETICE | AROSA Track Report: Adaptive and Reconfigurable Service-Oriented and Component-Based Applications and Architectures. | Mohamed Jmaiel, Slim Kallel |
| 2010 | ECSA | Toward an Aspect Oriented ADL for Embedded Systems. | Sihem Loukil, Slim Kallel, Bechir Zalila, Mohamed Jmaiel |
| 2009 | ESORICS | RDyMASS: Reliable and Dynamic Enforcement of Security Policies for Mobile Agent Systems. | Houssem Aloulou, Monia Loulou, Slim Kallel, Ahmed Hadj Kacem |
| 2008 | CRiSIS | Aspect-based enforcement of formal delegation policies. | Slim Kallel, Anis Charfi, Mira Mezini, Mohamed Jmaiel |
| 2007 | Coordination | Combining Formal Methods and Aspects for Specifying and Enforcing Architectural Invariants. | Slim Kallel, Anis Charfi, Mira Mezini, Mohamed Jmaiel |