ForMAAD Method: An Experimental Design for Air Traffic Control. - Amira Regayeg; Slim Kallel; Ahmed Hadj Kacem; Mohamed Jmaiel (Int. Trans. Syst. Sci. Appl., 2006)

Combining Formal Methods and Aspects for Specifying and Enforcing Architectural Invariants. - Slim Kallel; Anis Charfi; Mira Mezini; Mohamed Jmaiel (COORDINATION, 2007)

Using Aspects for Enforcing Formal Architectural Invariants. - Slim Kallel; Anis Charfi; Mohamed Jmaiel (FACS, 2007)

Aspect-based enforcement of formal delegation policies. - Slim Kallel; Anis Charfi; Mira Mezini; Mohamed Jmaiel (CRiSIS, 2008)

Specifying and Monitoring Temporal Properties in Web Services Compositions. - Slim Kallel; Anis Charfi; Tom Dinkelaker; Mira Mezini; Mohamed Jmaiel (ECOWS, 2009)

RDyMASS: Reliable and Dynamic Enforcement of Security Policies for Mobile Agent Systems. - Houssem Aloulou; Monia Loulou; Slim Kallel; Ahmed Hadj Kacem (DPM/SETOP, 2009)

From Formal Access Control Policies to Runtime Enforcement Aspects. - Slim Kallel; Anis Charfi; Mira Mezini; Mohamed Jmaiel; Karl Klose (ESSoS, 2009)

A holistic approach for access control policies: from formal specification to aspect-based enforcement. - Slim Kallel; Anis Charfi; Mira Mezini; Mohamed Jmaiel; Andreas Sewe (Int. J. Inf. Comput. Secur., 2009)

Toward an Aspect Oriented ADL for Embedded Systems. - Sihem Loukil; Slim Kallel; Bechir Zalila; Mohamed Jmaiel (ECSA, 2010)

Specifying and monitoring non-functional properties. - Slim Kallel (2011)

MDA-Based Approach for Implementing Secure Mobile Agent Systems. - Slim Kallel; Monia Loulou; Molka Rekik; Ahmed Hadj Kacem (AOSE, 2012)

Modeling Secure Mobile Agent Systems. - Molka Rekik; Slim Kallel; Monia Loulou; Ahmed Hadj Kacem (KES-AMSTA, 2012)

AROSA Track Report: Adaptive and Reconfigurable Service-Oriented and Component-Based Applications and Architectures. - Mohamed Jmaiel; Slim Kallel (WETICE, 2012)

Modeling and enforcing invariants of dynamic software architectures. - Slim Kallel; Mohamed Hadj Kacem; Mohamed Jmaiel (Softw. Syst. Model., 2012)

Verifying Runtime Architectural Reconfiguration of Dynamically Adaptive Systems. - Sihem Loukil; Slim Kallel; Mohamed Jmaiel (EUROMICRO-SEAA, 2013)

Time-Aware Automatic Process View Generation. - Saoussen Cheikhrouhou; Slim Kallel; Nawal Guermouche; Mohamed Jmaiel (ICEBE, 2013)

A Survey on Time-aware Business Process Modeling. - Saoussen Cheikhrouhou; Slim Kallel; Nawal Guermouche; Mohamed Jmaiel (ICEIS (3), 2013)

An Aspect-Oriented Approach to Enforce Security Properties in Business Processes. - Inaya Yahya; Sameh Hbaieb Turki; Anis Charfi; Slim Kallel; Rafik Bouaziz (ICSOC Workshops, 2013)

Toward a Time-centric modeling of Business Processes in BPMN 2.0. - Saoussen Cheikhrouhou; Slim Kallel; Nawal Guermouche; Mohamed Jmaiel (iiWAS, 2013)

Runtime Adaptation of Component Based Systems. - Sihem Loukil; Slim Kallel; Mohamed Jmaiel (NETYS, 2013)

An Engineering Process for Security Patterns Application in Component Based Models. - Rahma Bouaziz 001; Slim Kallel; Bernard Coulette (WETICE, 2013)

AROSA Track Report. - Khalil Drira; Slim Kallel; Ismael Bouassida Rodriguez (WETICE, 2013)

AO4AADL: Aspect oriented extension for AADL. - Sihem Loukil; Slim Kallel; Bechir Zalila; Mohamed Jmaiel (Central Eur. J. Comput. Sci., 2013)

Managing Architectural Reconfiguration at Runtime. - Sihem Loukil; Slim Kallel; Mohamed Jmaiel (Int. J. Web Portals, 2013)

Enhancing Formal Specification and Verification of Temporal Constraints in Business Processes. - Saoussen Cheikhrouhou; Slim Kallel; Nawal Guermouche; Mohamed Jmaiel (IEEE SCC, 2014)

Middleware for Dynamically Adaptive Systems. - Sihem Loukil; Slim Kallel; Mohamed Jmaiel (ARCS, 2014)

Monitoring of Quality of Service in Dynamically Adaptive Systems. - Sihem Loukil; Slim Kallel; Ismael Bouassida Rodriguez; Mohamed Jmaiel (ICAIS, 2014)

An Approach for Security Patterns Application in Component Based Models. - Rahma Bouaziz 001; Slim Kallel; Bernard Coulette (ICCSA (5), 2014)

On Enabling Time-Aware Consistency of Collaborative Cross-Organisational Business Processes. - Saoussen Cheikhrouhou; Slim Kallel; Nawal Guermouche; Mohamed Jmaiel (ICSOC, 2014)

A Collaborative Process for Developing Secure Component Based Applications. - Rahma Bouaziz 001; Slim Kallel; Bernard Coulette (WETICE, 2014)

Toward a Verification of Time-Centric Business Process Models. - Saoussen Cheikhrouhou; Slim Kallel; Mohamed Jmaiel (WETICE, 2014)

Track Report of Adaptive and Reconfigurable Service-Oriented and Component-Based Applications and Architectures (AROSA 2014). - Khalil Drira; Slim Kallel; Ismael Bouassida Rodriguez (WETICE, 2014)

AROSA 2015 Track Report: Adaptive and Reconfigurable Service-Oriented and Component-Based Applications and Architectures. - Slim Kallel; Ismael Bouassida Rodriguez; Mohamed Jmaiel (WETICE, 2015)

Enabling Technologies: Infrastructure for Collaborative Enterprises. - Slim Kallel; Mohamed Jmaiel; Sumitra Reddy (Comput. J., 2015)

The temporal perspective in business process modeling: a survey and research challenges. - Saoussen Cheikhrouhou; Slim Kallel; Nawal Guermouche; Mohamed Jmaiel (Serv. Oriented Comput. Appl., 2015)

Time patterns for cyber-physical systems. - Imen Graja; Slim Kallel; Nawal Guermouche; Ahmed Hadj Kacem (ISCC, 2016)

Formal Verification of Time-Aware Cloud Resource Allocation in Business Process. - Rania Ben Halima; Slim Kallel; Kais Klai; Walid Gaaloul; Mohamed Jmaiel (OTM Conferences, 2016)

BPMN4CPS: A BPMN Extension for Modeling Cyber-Physical Systems. - Imen Graja; Slim Kallel; Nawal Guermouche; Ahmed Hadj Kacem (WETICE, 2016)

Arosa Track Report. - Slim Kallel; Khalil Drira; Mohamed Jmaiel (WETICE, 2016)

Adaptive and reconfigurable software systems and architectures. - Slim Kallel; Ismael Bouassida Rodriguez; Khalil Drira (J. Syst. Softw., 2016)

Optimal Cost for Time-Aware Cloud Resource Allocation in Business Process. - Rania Ben Halima; Slim Kallel; Walid Gaaloul; Mohamed Jmaiel (SCC, 2017)

Modeling and verification of temporal properties in cyber-physical systems. - Imen Graja; Slim Kallel; Nawal Guermouche; Ahmed Hadj Kacem (CCNC, 2017)

Demonstrating BPMN4CPS: Modeling anc verification of cyber-physical systems. - Imen Graja; Aicha Mechim; Slim Kallel; Nawal Guermouche; Ahmed Hadj Kacem (CCNC, 2017)

Verification of the Consistency of Time-Aware Cyber-Physical Processes. - Imen Graja; Slim Kallel; Nawal Guermouche; Ahmed Hadj Kacem (ICSOC Workshops, 2017)

AROSA 2017: Summary Report. - Ismael Bouassida Rodriguez; Slim Kallel; Mohamed Jmaiel; Khalil Drira (WETICE, 2017)

Introduction to the Special Section on Adaptive and Reconfigurable Distributed Systems. - Slim Kallel; Khalil Drira; Mohamed Jmaiel (Comput. Electr. Eng., 2017)

An approach based on runtime models for developing dynamically adaptive systems. - Sihem Loukil; Slim Kallel; Mohamed Jmaiel (Future Gener. Comput. Syst., 2017)

Formal Verification of Temporal Constraints and Allocated Cloud Resources in Business Processes. - Rania Ben Halima; Imen Zouaghi; Slim Kallel; Walid Gaaloul; Mohamed Jmaiel (AINA, 2018)

Formal Specification and Verification of Cloud Resource Allocation Using Timed Petri-Nets. - Saoussen Cheikhrouhou; Nesrine Chabouh; Slim Kallel; Zakaria Maamar (MEDI Workshops, 2018)

Scheduling Business Process Activities for Time-Aware Cloud Resource Allocation. - Rania Ben Halima; Slim Kallel; Walid Gaaloul; Mohamed Jmaiel (OTM Conferences (1), 2018)

Specification and automatic checking of architecture constraints on object oriented programs. - Sahar Kallel; Chouki Tibermacine; Slim Kallel; Ahmed Hadj Kacem; Christophe Dony (Inf. Softw. Technol., 2018)

Software agents meet internet of things. - Zakaria Maamar; Noura Faci; Slim Kallel; Mohamed Sellami; Emir Ugljanin (Internet Technol. Lett., 2018)

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 (ENASE, 2019)

A SAT-Based Formal Approach for Verifying Business Process Configuration. - Abderrahim Ait Wakrime; Souha Boubaker; Slim Kallel; Walid Gaaloul (Innovate-Data, 2019)

Optimizing the Performance of Timed-Constrained Business Processes in Cloud-Fog Environment. - Fairouz Fakhfakh; Ahemd Neji; Saoussen Cheikhrouhou; Slim Kallel (MEDI Workshops, 2019)

Modelling and verifying time-aware processes for cyber-physical environments. - Imen Graja; Slim Kallel; Nawal Guermouche; Saoussen Cheikhrouhou; Ahmed Hadj Kacem (IET Softw., 2019)

How blockchain helps to combat trust crisis in COVID-19 pandemic?: poster abstract. - Amal Abid 002; Saoussen Cheikhrouhou; Slim Kallel; Mohamed Jmaiel (SenSys, 2020)

Business process specification, verification, and deployment in a mono-cloud, multi-edge context. - Saoussen Cheikhrouhou; Slim Kallel; Ikbel Guidara; Zakaria Maamar (Comput. Sci. Inf. Syst., 2020)

A comprehensive survey on modeling of cyber-physical systems. - Imen Graja; Slim Kallel; Nawal Guermouche; Saoussen Cheikhrouhou; Ahmed Hadj Kacem (Concurr. Comput. Pract. Exp., 2020)

Toward a correct and optimal time-aware cloud resource allocation to business processes. - Rania Ben Halima; Slim Kallel; Walid Gaaloul; Zakaria Maamar; Mohamed Jmaiel (Future Gener. Comput. Syst., 2020)

A Machine Learning Approach for Gas Price Prediction in Ethereum Blockchain. - Rawya Mars; Amal Abid 002; Saoussen Cheikhrouhou; Slim Kallel (COMPSAC, 2021)

Temporal Constraints in Smart Contract-Based Process Execution: A Case Study of Organ Transfer by Healthcare Delivery Drone. - Amal Abid 002; Saoussen Cheikhrouhou; Slim Kallel; Mohamed Jmaiel (TACC, 2021)

TUNisia-Italy Cross-Border Environment Net platform for emergency response (NETTUNIT): project presentation and early results. - Mohamed Hedi Fourati; Saoussen Cheikhrouhou; Slim Kallel; Mohamed Jmaiel (TACC, 2021)

From generating process views over inter-organizational business processes to achieving their temporal consistency. - Slim Kallel; Saoussen Cheikhrouhou; Zakaria Maamar; Nawal Guermouche; Mohamed Jmaiel (Computing, 2021)

Restriction-based fragmentation of business processes over the cloud. - Slim Kallel; Zakaria Maamar; Mohamed Sellami; Noura Faci; Ahmed Ben Arab; Walid Gaaloul; Thar Baker (Concurr. Comput. Pract. Exp., 2021)

Special issue on risk and security of smart systems. - Slim Kallel; Frédéric Cuppens; Nora Boulahia-Cuppens; Ahmed Hadj Kacem; Lotfi Ben Othmane (J. Inf. Secur. Appl., 2021)

Formal Verification of Cloud and Fog Systems: A Review and Research Challenges. - Fairouz Fakhfakh; Slim Kallel; Saoussen Cheikhrouhou (J. Univers. Comput. Sci., 2021)

A Formal Model for Configurable Business Process with Optimal Cloud Resource Allocation. - Abderrahim Ait Wakrime; Souha Boubaker; Slim Kallel; Emna Guermazi 001; Walid Gaaloul (J. Univers. Comput. Sci., 2021)

Optimal business process deployment cost in cloud resources. - Rania Ben Halima; Slim Kallel; Mehdi Ahmed-Nacer; Walid Gaaloul (J. Supercomput., 2021)

Towards a Secure Cross-Blockchain Smart Contract Architecture. - Rawya Mars; Saoussen Cheikhrouhou; Slim Kallel; Mohamed Sellami; Ahmed Hadj Kacem (CRiSIS, 2022)

A Blockchain-Based Self-Sovereign Identity Approach for Inter-Organizational Business Processes. - Amal Abid 002; Saoussen Cheikhrouhou; Slim Kallel; Mohamed Jmaiel (FedCSIS, 2022)

Model-Driven Simulation of Elastic OCCI Cloud Resources. - Mehdi Ahmed-Nacer; Slim Kallel; Faiez Zalila; Philippe Merle; Walid Gaaloul (Comput. J., 2022)

A time interval-based approach for business process fragmentation over cloud and edge resources. - Saoussen Cheikhrouhou; Zakaria Maamar; Rawya Mars; Slim Kallel (Serv. Oriented Comput. Appl., 2022)

NovidChain: Blockchain-based privacy-preserving platform for COVID-19 test/vaccine certificates. - Amal Abid 002; Saoussen Cheikhrouhou; Slim Kallel; Mohamed Jmaiel (Softw. Pract. Exp., 2022)

A survey on event log extraction from blockchain. - Ahlem Makni; Rawya Mars; Saoussen Cheikhrouhou; Slim Kallel; Mohamed Sellami (TACC, 2023)

A survey on automation approaches of smart contract generation. - Rawya Mars; Saoussen Cheikhrouhou; Slim Kallel; Ahmed Hadj Kacem (J. Supercomput., 2023)

TraSSI: A Confidential Traceability System for Self-sovereign Identity-Based Processes. - Amal Abid 002; Slim Kallel; Mohamed Jmaiel (ICSOC Workshops (2), 2024)

EduCheck: Ensuring Diploma Authenticity Using Blockchain Technology. - Mariem Turki; Slim Kallel; Mohamed Jmaiel (ICSOC Workshops (2), 2024)

A Smart Contract-Based Access Control Framework For Smart Healthcare Systems. - Amal Abid 002; Saoussen Cheikhrouhou; Slim Kallel; Zahir Tari; Mohamed Jmaiel (Comput. J., 2024)

Blockchain-Powered Certificate Verification Enhanced by Self-Sovereign Identity and Off-Chain Caching. - Saoussen Cheikhrouhou; Mariem Turki; Slim Kallel; Amal Abid 002; Mohamed Jmaiel (IWCMC, 2025)

A privacy-preserving traceability system for self-sovereign identity-based inter-organizational business processes. - Amal Abid 002; Saoussen Cheikhrouhou; Slim Kallel; Mohamed Jmaiel (Comput. Stand. Interfaces, 2025)