Slim Kallel

ORCID

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 42

Top Venues

WETICE

TACC

Comput. J.

Future Gener. Comput. Syst.

Darmstadt University of Technology, Germany (PHD)

Education History

Darmstadt University of Technology, Germany

PHD

Publications

Amal Abid, Saoussen Cheikhrouhou, Slim Kallel, Zahir Tari, Mohamed Jmaiel
A Smart Contract-Based Access Control Framework For Smart Healthcare Systems. Comput. J. 67 (2) (2024)
Rawya Mars, Saoussen Cheikhrouhou, Slim Kallel, Ahmed Hadj Kacem
A survey on automation approaches of smart contract generation. J. Supercomput. 79 (14) (2023)
Ahlem Makni, Rawya Mars, Saoussen Cheikhrouhou, Slim Kallel, Mohamed Sellami
A survey on event log extraction from blockchain. TACC (2023)
Rawya Mars, Saoussen Cheikhrouhou, Slim Kallel, Mohamed Sellami, Ahmed Hadj Kacem
Towards a Secure Cross-Blockchain Smart Contract Architecture. CRiSIS (2022)
Amal Abid, Saoussen Cheikhrouhou, Slim Kallel, Mohamed Jmaiel
A Blockchain-Based Self-Sovereign Identity Approach for Inter-Organizational Business Processes. FedCSIS (2022)
Amal Abid, Saoussen Cheikhrouhou, Slim Kallel, Mohamed Jmaiel
NovidChain: Blockchain-based privacy-preserving platform for COVID-19 test/vaccine certificates. Softw. Pract. Exp. 52 (4) (2022)
Saoussen Cheikhrouhou, Zakaria Maamar, Rawya Mars, Slim Kallel
A time interval-based approach for business process fragmentation over cloud and edge resources. Serv. Oriented Comput. Appl. 16 (4) (2022)
Mehdi Ahmed-Nacer, Slim Kallel, Faiez Zalila, Philippe Merle, Walid Gaaloul
Model-Driven Simulation of Elastic OCCI Cloud Resources. Comput. J. 65 (5) (2022)
Rania Ben Halima, Slim Kallel, Mehdi Ahmed-Nacer, Walid Gaaloul
Optimal business process deployment cost in cloud resources. J. Supercomput. 77 (2) (2021)
Slim Kallel, Zakaria Maamar, Mohamed Sellami, Noura Faci, Ahmed Ben Arab, Walid Gaaloul, Thar Baker
Restriction-based fragmentation of business processes over the cloud. Concurr. Comput. Pract. Exp. 33 (7) (2021)
Slim Kallel, Saoussen Cheikhrouhou, Zakaria Maamar, Nawal Guermouche, Mohamed Jmaiel
From generating process views over inter-organizational business processes to achieving their temporal consistency. Computing 103 (7) (2021)
Fairouz Fakhfakh, Slim Kallel, Saoussen Cheikhrouhou
Formal Verification of Cloud and Fog Systems: A Review and Research Challenges. J. Univers. Comput. Sci. 27 (1) (2021)
Abderrahim Ait Wakrime, Souha Boubaker, Slim Kallel, Emna Guermazi, Walid Gaaloul
A Formal Model for Configurable Business Process with Optimal Cloud Resource Allocation. J. Univers. Comput. Sci. 27 (7) (2021)
Mohamed Hedi Fourati, Saoussen Cheikhrouhou, Slim Kallel, Mohamed Jmaiel
TUNisia-Italy Cross-Border Environment Net platform for emergency response (NETTUNIT): project presentation and early results. TACC (2021)
Slim Kallel, Frédéric Cuppens, Noura Boulahia Cuppens, Ahmed Hadj Kacem, Lotfi Ben Othmane
Special issue on risk and security of smart systems. J. Inf. Secur. Appl. 61 (2021)
Rawya Mars, Amal Abid, Saoussen Cheikhrouhou, Slim Kallel
A Machine Learning Approach for Gas Price Prediction in Ethereum Blockchain. COMPSAC (2021)
Amal Abid, Saoussen Cheikhrouhou, Slim Kallel, Mohamed Jmaiel
Temporal Constraints in Smart Contract-Based Process Execution: A Case Study of Organ Transfer by Healthcare Delivery Drone. TACC (2021)
Saoussen Cheikhrouhou, Slim Kallel, Ikbel Guidara, Zakaria Maamar
Business process specification, verification, and deployment in a mono-cloud, multi-edge context. Comput. Sci. Inf. Syst. 17 (1) (2020)
Rania Ben Halima, Slim Kallel, Walid Gaaloul, Zakaria Maamar, Mohamed Jmaiel
Toward a correct and optimal time-aware cloud resource allocation to business processes. Future Gener. Comput. Syst. 112 (2020)
Imen Graja, Slim Kallel, Nawal Guermouche, Saoussen Cheikhrouhou, Ahmed Hadj Kacem
A comprehensive survey on modeling of cyber-physical systems. Concurr. Comput. Pract. Exp. 32 (15) (2020)
Amal Abid, Saoussen Cheikhrouhou, Slim Kallel, Mohamed Jmaiel
How blockchain helps to combat trust crisis in COVID-19 pandemic?: poster abstract. SenSys (2020)
Racem Bougacha, Abderrahim Ait Wakrime, Slim Kallel, Rahma Ben Ayed, Simon Collart Dutilleul
A Model-based Approach for the Modeling and the Verification of Railway Signaling System. ENASE (2019)
Imen Graja, Slim Kallel, Nawal Guermouche, Saoussen Cheikhrouhou, Ahmed Hadj Kacem
Modelling and verifying time-aware processes for cyber-physical environments. IET Softw. 13 (1) (2019)
Abderrahim Ait Wakrime, Souha Boubaker, Slim Kallel, Walid Gaaloul
A SAT-Based Formal Approach for Verifying Business Process Configuration. Innovate-Data (2019)
Fairouz Fakhfakh, Ahemd Neji, Saoussen Cheikhrouhou, Slim Kallel
Optimizing the Performance of Timed-Constrained Business Processes in Cloud-Fog Environment. MEDI Workshops (2019)
Saoussen Cheikhrouhou, Nesrine Chabouh, Slim Kallel, Zakaria Maamar
Formal Specification and Verification of Cloud Resource Allocation Using Timed Petri-Nets. MEDI Workshops (2018)
Sahar Kallel, Chouki Tibermacine, Slim Kallel, Ahmed Hadj Kacem, Christophe Dony
Specification and automatic checking of architecture constraints on object oriented programs. Inf. Softw. Technol. 101 (2018)
Rania Ben Halima, Imen Zouaghi, Slim Kallel, Walid Gaaloul, Mohamed Jmaiel
Formal Verification of Temporal Constraints and Allocated Cloud Resources in Business Processes. AINA (2018)
Rania Ben Halima, Slim Kallel, Walid Gaaloul, Mohamed Jmaiel
Scheduling Business Process Activities for Time-Aware Cloud Resource Allocation. OTM Conferences (1) (2018)
Zakaria Maamar, Noura Faci, Slim Kallel, Mohamed Sellami, Emir Ugljanin
Software agents meet internet of things. Internet Technol. Lett. 1 (3) (2018)
Sihem Loukil, Slim Kallel, Mohamed Jmaiel
An approach based on runtime models for developing dynamically adaptive systems. Future Gener. Comput. Syst. 68 (2017)
Slim Kallel, Khalil Drira, Mohamed Jmaiel
Introduction to the Special Section on Adaptive and Reconfigurable Distributed Systems. Comput. Electr. Eng. 63 (2017)
Ismael Bouassida Rodriguez, Slim Kallel, Mohamed Jmaiel, Khalil Drira
AROSA 2017: Summary Report. WETICE (2017)
Imen Graja, Slim Kallel, Nawal Guermouche, Ahmed Hadj Kacem
Modeling and verification of temporal properties in cyber-physical systems. CCNC (2017)
Imen Graja, Aicha Mechim, Slim Kallel, Nawal Guermouche, Ahmed Hadj Kacem
Demonstrating BPMN4CPS: Modeling anc verification of cyber-physical systems. CCNC (2017)
Imen Graja, Slim Kallel, Nawal Guermouche, Ahmed Hadj Kacem
Verification of the Consistency of Time-Aware Cyber-Physical Processes. ICSOC Workshops (2017)
Rania Ben Halima, Slim Kallel, Walid Gaaloul, Mohamed Jmaiel
Optimal Cost for Time-Aware Cloud Resource Allocation in Business Process. SCC (2017)
Slim Kallel, Khalil Drira, Mohamed Jmaiel
Arosa Track Report. WETICE (2016)
Rania Ben Halima, Slim Kallel, Kais Klai, Walid Gaaloul, Mohamed Jmaiel
Formal Verification of Time-Aware Cloud Resource Allocation in Business Process. OTM Conferences (2016)
Imen Graja, Slim Kallel, Nawal Guermouche, Ahmed Hadj Kacem
BPMN4CPS: A BPMN Extension for Modeling Cyber-Physical Systems. WETICE (2016)
Imen Graja, Slim Kallel, Nawal Guermouche, Ahmed Hadj Kacem
Time patterns for cyber-physical systems. ISCC (2016)
Slim Kallel, Ismael Bouassida Rodriguez, Khalil Drira
Adaptive and reconfigurable software systems and architectures. J. Syst. Softw. 122 (2016)
Saoussen Cheikhrouhou, Slim Kallel, Nawal Guermouche, Mohamed Jmaiel
The temporal perspective in business process modeling: a survey and research challenges. Serv. Oriented Comput. Appl. 9 (1) (2015)
Slim Kallel, Ismael Bouassida Rodriguez, Mohamed Jmaiel
AROSA 2015 Track Report: Adaptive and Reconfigurable Service-Oriented and Component-Based Applications and Architectures. WETICE (2015)
Slim Kallel, Mohamed Jmaiel, Sumitra Reddy
Enabling Technologies: Infrastructure for Collaborative Enterprises. Comput. J. 58 (3) (2015)
Khalil Drira, Slim Kallel, Ismael Bouassida Rodriguez
Track Report of Adaptive and Reconfigurable Service-Oriented and Component-Based Applications and Architectures (AROSA 2014). WETICE (2014)
Rahma Bouaziz, Slim Kallel, Bernard Coulette
An Approach for Security Patterns Application in Component Based Models. ICCSA (5) (2014)
Saoussen Cheikhrouhou, Slim Kallel, Nawal Guermouche, Mohamed Jmaiel
On Enabling Time-Aware Consistency of Collaborative Cross-Organisational Business Processes. ICSOC (2014)
Sihem Loukil, Slim Kallel, Ismael Bouassida Rodriguez, Mohamed Jmaiel
Monitoring of Quality of Service in Dynamically Adaptive Systems. ICAIS (2014)
Saoussen Cheikhrouhou, Slim Kallel, Nawal Guermouche, Mohamed Jmaiel
Enhancing Formal Specification and Verification of Temporal Constraints in Business Processes. IEEE SCC (2014)
Rahma Bouaziz, Slim Kallel, Bernard Coulette
A Collaborative Process for Developing Secure Component Based Applications. WETICE (2014)
Saoussen Cheikhrouhou, Slim Kallel, Mohamed Jmaiel
Toward a Verification of Time-Centric Business Process Models. WETICE (2014)
Sihem Loukil, Slim Kallel, Mohamed Jmaiel
Middleware for Dynamically Adaptive Systems. ARCS (2014)
Khalil Drira, Slim Kallel, Ismael Bouassida Rodriguez
AROSA Track Report. WETICE (2013)
Saoussen Cheikhrouhou, Slim Kallel, Nawal Guermouche, Mohamed Jmaiel
Toward a Time-centric modeling of Business Processes in BPMN 2.0. iiWAS (2013)
Sihem Loukil, Slim Kallel, Mohamed Jmaiel
Runtime Adaptation of Component Based Systems. NETYS (2013)
Inaya Yahya, Sameh Hbaieb Turki, Anis Charfi, Slim Kallel, Rafik Bouaziz
An Aspect-Oriented Approach to Enforce Security Properties in Business Processes. ICSOC Workshops (2013)
Saoussen Cheikhrouhou, Slim Kallel, Nawal Guermouche, Mohamed Jmaiel
A Survey on Time-aware Business Process Modeling. ICEIS (3) (2013)
Rahma Bouaziz, Slim Kallel, Bernard Coulette
An Engineering Process for Security Patterns Application in Component Based Models. WETICE (2013)
Sihem Loukil, Slim Kallel, Mohamed Jmaiel
Managing Architectural Reconfiguration at Runtime. Int. J. Web Portals 5 (1) (2013)
Sihem Loukil, Slim Kallel, Mohamed Jmaiel
Verifying Runtime Architectural Reconfiguration of Dynamically Adaptive Systems. EUROMICRO-SEAA (2013)
Saoussen Cheikhrouhou, Slim Kallel, Nawal Guermouche, Mohamed Jmaiel
Time-Aware Automatic Process View Generation. ICEBE (2013)
Sihem Loukil, Slim Kallel, Bechir Zalila, Mohamed Jmaiel
AO4AADL: Aspect oriented extension for AADL. Central Eur. J. Comput. Sci. 3 (2) (2013)
Slim Kallel, Monia Loulou, Molka Rekik, Ahmed Hadj Kacem
MDA-Based Approach for Implementing Secure Mobile Agent Systems. AOSE (2012)
Mohamed Jmaiel, Slim Kallel
AROSA Track Report: Adaptive and Reconfigurable Service-Oriented and Component-Based Applications and Architectures. WETICE (2012)
Slim Kallel, Mohamed Hadj Kacem, Mohamed Jmaiel
Modeling and enforcing invariants of dynamic software architectures. Softw. Syst. Model. 11 (1) (2012)
Molka Rekik, Slim Kallel, Monia Loulou, Ahmed Hadj Kacem
Modeling Secure Mobile Agent Systems. KES-AMSTA (2012)
Sihem Loukil, Slim Kallel, Bechir Zalila, Mohamed Jmaiel
Toward an Aspect Oriented ADL for Embedded Systems. ECSA (2010)
Slim Kallel, Anis Charfi, Mira Mezini, Mohamed Jmaiel, Karl Klose
From Formal Access Control Policies to Runtime Enforcement Aspects. ESSoS (2009)
Slim Kallel, Anis Charfi, Mira Mezini, Mohamed Jmaiel, Andreas Sewe
A holistic approach for access control policies: from formal specification to aspect-based enforcement. Int. J. Inf. Comput. Secur. 3 (3/4) (2009)
Houssem Aloulou, Monia Loulou, Slim Kallel, Ahmed Hadj Kacem
RDyMASS: Reliable and Dynamic Enforcement of Security Policies for Mobile Agent Systems. DPM/SETOP (2009)
Slim Kallel, Anis Charfi, Tom Dinkelaker, Mira Mezini, Mohamed Jmaiel
Specifying and Monitoring Temporal Properties in Web Services Compositions. ECOWS (2009)
Slim Kallel, Anis Charfi, Mohamed Jmaiel
Using Aspects for Enforcing Formal Architectural Invariants. Electron. Notes Theor. Comput. Sci. 215 (2008)
Slim Kallel, Anis Charfi, Mira Mezini, Mohamed Jmaiel
Aspect-based enforcement of formal delegation policies. CRiSIS (2008)
Slim Kallel, Anis Charfi, Mira Mezini, Mohamed Jmaiel
Combining Formal Methods and Aspects for Specifying and Enforcing Architectural Invariants. COORDINATION (2007)
Amira Regayeg, Slim Kallel, Ahmed Hadj Kacem, Mohamed Jmaiel
ForMAAD Method: An Experimental Design for Air Traffic Control. Int. Trans. Syst. Sci. Appl. 1 (4) (2006)

Slim Kallel.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Slim Kallel