Slim Kallel

According to our database, Slim Kallel authored at least 77 papers between 2006 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

A Smart Contract-Based Access Control Framework For Smart Healthcare Systems.

Amal Abid, Saoussen Cheikhrouhou, Slim Kallel, Zahir Tari, Mohamed Jmaiel

Comput. J., February, 2024

2023

A survey on automation approaches of smart contract generation.

Rawya Mars, Saoussen Cheikhrouhou, Slim Kallel, Ahmed Hadj Kacem

J. Supercomput., September, 2023

A survey on event log extraction from blockchain.

Ahlem Makni, Rawya Mars, Saoussen Cheikhrouhou, Slim Kallel, Mohamed Sellami

Proceedings of the Tunisian-Algerian Joint Conference on Applied Computing (TACC 2023), 2023

2022

NovidChain: Blockchain-based privacy-preserving platform for COVID-19 test/vaccine certificates.

Amal Abid, Saoussen Cheikhrouhou, Slim Kallel, Mohamed Jmaiel

Softw. Pract. Exp., 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

Model-Driven Simulation of Elastic OCCI Cloud Resources.

Mehdi Ahmed-Nacer, Slim Kallel, Faiez Zalila, Philippe Merle, Walid Gaaloul

Comput. J., 2022

A Blockchain-Based Self-Sovereign Identity Approach for Inter-Organizational Business Processes.

Amal Abid, Saoussen Cheikhrouhou, Slim Kallel, Mohamed Jmaiel

Proceedings of the 17th Conference on Computer Science and Intelligence Systems, 2022

Towards a Secure Cross-Blockchain Smart Contract Architecture.

Rawya Mars, Saoussen Cheikhrouhou, Slim Kallel, Mohamed Sellami, Ahmed Hadj Kacem

Proceedings of the Risks and Security of Internet and Systems, 2022

2021

Optimal business process deployment cost in cloud resources.

Rania Ben Halima, Slim Kallel, Mehdi Ahmed-Nacer, Walid Gaaloul

J. Supercomput., 2021

A Formal Model for Configurable Business Process with Optimal Cloud Resource Allocation.

Abderrahim Ait Wakrime, Souha Boubaker, Slim Kallel, Emna Guermazi, Walid Gaaloul

J. Univers. Comput. Sci., 2021

Formal Verification of Cloud and Fog Systems: A Review and Research Challenges.

Fairouz Fakhfakh, Slim Kallel, Saoussen Cheikhrouhou

J. Univers. Comput. Sci., 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

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

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

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

Proceedings of the Tunisian-Algerian Joint Conference on Applied Computing (TACC 2021), 2021

Temporal Constraints in Smart Contract-Based Process Execution: A Case Study of Organ Transfer by Healthcare Delivery Drone.

Amal Abid, Saoussen Cheikhrouhou, Slim Kallel, Mohamed Jmaiel

Proceedings of the Tunisian-Algerian Joint Conference on Applied Computing (TACC 2021), 2021

A Machine Learning Approach for Gas Price Prediction in Ethereum Blockchain.

Rawya Mars, Amal Abid, Saoussen Cheikhrouhou, Slim Kallel

Proceedings of the IEEE 45th Annual Computers, Software, and Applications Conference, 2021

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 comprehensive survey on modeling of cyber-physical systems.

Imen Graja, Slim Kallel, Nawal Guermouche, Saoussen Cheikhrouhou, Ahmed Hadj Kacem

Concurr. Comput. Pract. Exp., 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

How blockchain helps to combat trust crisis in COVID-19 pandemic?: poster abstract.

Amal Abid, Saoussen Cheikhrouhou, Slim Kallel, Mohamed Jmaiel

Proceedings of the SenSys '20: The 18th ACM Conference on Embedded Networked Sensor Systems, 2020

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

Optimizing the Performance of Timed-Constrained Business Processes in Cloud-Fog Environment.

Fairouz Fakhfakh, Ahemd Neji, Saoussen Cheikhrouhou, Slim Kallel

Proceedings of the New Trends in Model and Data Engineering, 2019

A SAT-Based Formal Approach for Verifying Business Process Configuration.

Abderrahim Ait Wakrime, Souha Boubaker, Slim Kallel, Walid Gaaloul

Proceedings of the Big Data Innovations and Applications, 2019

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

Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering, 2019

2018

Software agents meet internet of things.

Zakaria Maamar, Noura Faci, Slim Kallel, Mohamed Sellami, Emir Ugljanin

Internet Technol. Lett., 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

Scheduling Business Process Activities for Time-Aware Cloud Resource Allocation.

Rania Ben Halima, Slim Kallel, Walid Gaaloul, Mohamed Jmaiel

Proceedings of the On the Move to Meaningful Internet Systems. OTM 2018 Conferences, 2018

Formal Specification and Verification of Cloud Resource Allocation Using Timed Petri-Nets.

Saoussen Cheikhrouhou, Nesrine Chabouh, Slim Kallel, Zakaria Maamar

Proceedings of the New Trends in Model and Data Engineering, 2018

Formal Verification of Temporal Constraints and Allocated Cloud Resources in Business Processes.

Rania Ben Halima, Imen Zouaghi, Slim Kallel, Walid Gaaloul, Mohamed Jmaiel

Proceedings of the 32nd IEEE International Conference on Advanced Information Networking and Applications, 2018

2017

An approach based on runtime models for developing dynamically adaptive systems.

Sihem Loukil, Slim Kallel, Mohamed Jmaiel

Future Gener. Comput. Syst., 2017

Introduction to the Special Section on Adaptive and Reconfigurable Distributed Systems.

Slim Kallel, Khalil Drira, Mohamed Jmaiel

Comput. Electr. Eng., 2017

AROSA 2017: Summary Report.

Ismael Bouassida Rodriguez, Slim Kallel, Mohamed Jmaiel, Khalil Drira

Proceedings of the 26th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2017

Verification of the Consistency of Time-Aware Cyber-Physical Processes.

Imen Graja, Slim Kallel, Nawal Guermouche, Ahmed Hadj Kacem

Proceedings of the Service-Oriented Computing - ICSOC 2017 Workshops, 2017

Demonstrating BPMN4CPS: Modeling anc verification of cyber-physical systems.

Imen Graja, Aicha Mechim, Slim Kallel, Nawal Guermouche, Ahmed Hadj Kacem

Proceedings of the 14th IEEE Annual Consumer Communications & Networking Conference, 2017

Modeling and verification of temporal properties in cyber-physical systems.

Imen Graja, Slim Kallel, Nawal Guermouche, Ahmed Hadj Kacem

Proceedings of the 14th IEEE Annual Consumer Communications & Networking Conference, 2017

Optimal Cost for Time-Aware Cloud Resource Allocation in Business Process.

Rania Ben Halima, Slim Kallel, Walid Gaaloul, Mohamed Jmaiel

Proceedings of the 2017 IEEE International Conference on Services Computing, 2017

2016

Adaptive and reconfigurable software systems and architectures.

Slim Kallel, Ismael Bouassida Rodriguez, Khalil Drira

J. Syst. Softw., 2016

Arosa Track Report.

Slim Kallel, Khalil Drira, Mohamed Jmaiel

Proceedings of the 25th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2016

BPMN4CPS: A BPMN Extension for Modeling Cyber-Physical Systems.

Imen Graja, Slim Kallel, Nawal Guermouche, Ahmed Hadj Kacem

Proceedings of the 25th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2016

Formal Verification of Time-Aware Cloud Resource Allocation in Business Process.

Rania Ben Halima, Slim Kallel, Kais Klai, Walid Gaaloul, Mohamed Jmaiel

Proceedings of the On the Move to Meaningful Internet Systems: OTM 2016 Conferences, 2016

Time patterns for cyber-physical systems.

Imen Graja, Slim Kallel, Nawal Guermouche, Ahmed Hadj Kacem

Proceedings of the IEEE Symposium on Computers and Communication, 2016

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

Enabling Technologies: Infrastructure for Collaborative Enterprises.

Slim Kallel, Mohamed Jmaiel, Sumitra Reddy

Comput. J., 2015

AROSA 2015 Track Report: Adaptive and Reconfigurable Service-Oriented and Component-Based Applications and Architectures.

Slim Kallel, Ismael Bouassida Rodriguez, Mohamed Jmaiel

Proceedings of the 24th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2015

2014

Track Report of Adaptive and Reconfigurable Service-Oriented and Component-Based Applications and Architectures (AROSA 2014).

Khalil Drira, Slim Kallel, Ismael Bouassida Rodriguez

Proceedings of the 2014 IEEE 23rd International WETICE Conference, 2014

Toward a Verification of Time-Centric Business Process Models.

Saoussen Cheikhrouhou, Slim Kallel, Mohamed Jmaiel

Proceedings of the 2014 IEEE 23rd International WETICE Conference, 2014

A Collaborative Process for Developing Secure Component Based Applications.

Rahma Bouaziz, Slim Kallel, Bernard Coulette

Proceedings of the 2014 IEEE 23rd International WETICE Conference, 2014

On Enabling Time-Aware Consistency of Collaborative Cross-Organisational Business Processes.

Saoussen Cheikhrouhou, Slim Kallel, Nawal Guermouche, Mohamed Jmaiel

Proceedings of the Service-Oriented Computing - 12th International Conference, 2014

An Approach for Security Patterns Application in Component Based Models.

Rahma Bouaziz, Slim Kallel, Bernard Coulette

Proceedings of the Computational Science and Its Applications - ICCSA 2014 - 14th International Conference, Guimarães, Portugal, June 30, 2014

Monitoring of Quality of Service in Dynamically Adaptive Systems.

Sihem Loukil, Slim Kallel, Ismael Bouassida Rodriguez, Mohamed Jmaiel

Proceedings of the Adaptive and Intelligent Systems - Third International Conference, 2014

Middleware for Dynamically Adaptive Systems.

Sihem Loukil, Slim Kallel, Mohamed Jmaiel

Proceedings of the Architecture of Computing Systems - ARCS 2014, 2014

Enhancing Formal Specification and Verification of Temporal Constraints in Business Processes.

Saoussen Cheikhrouhou, Slim Kallel, Nawal Guermouche, Mohamed Jmaiel

Proceedings of the IEEE International Conference on Services Computing, SCC 2014, Anchorage, AK, USA, June 27, 2014

2013

Managing Architectural Reconfiguration at Runtime.

Sihem Loukil, Slim Kallel, Mohamed Jmaiel

Int. J. Web Portals, 2013

AO4AADL: Aspect oriented extension for AADL.

Sihem Loukil, Slim Kallel, Bechir Zalila, Mohamed Jmaiel

Central Eur. J. Comput. Sci., 2013

AROSA Track Report.

Khalil Drira, Slim Kallel, Ismael Bouassida Rodriguez

Proceedings of the 2013 Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2013

An Engineering Process for Security Patterns Application in Component Based Models.

Rahma Bouaziz, Slim Kallel, Bernard Coulette

Proceedings of the 2013 Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2013

Runtime Adaptation of Component Based Systems.

Sihem Loukil, Slim Kallel, Mohamed Jmaiel

Proceedings of the Networked Systems - First International Conference, 2013

Toward a Time-centric modeling of Business Processes in BPMN 2.0.

Saoussen Cheikhrouhou, Slim Kallel, Nawal Guermouche, Mohamed Jmaiel

Proceedings of the 15th International Conference on Information Integration and Web-based Applications & Services, 2013

An Aspect-Oriented Approach to Enforce Security Properties in Business Processes.

Inaya Yahya, Sameh Hbaieb Turki, Anis Charfi, Slim Kallel, Rafik Bouaziz

Proceedings of the Service-Oriented Computing - ICSOC 2012 Workshops, 2013

A Survey on Time-aware Business Process Modeling.

Saoussen Cheikhrouhou, Slim Kallel, Nawal Guermouche, Mohamed Jmaiel

Proceedings of the ICEIS 2013, 2013

Time-Aware Automatic Process View Generation.

Saoussen Cheikhrouhou, Slim Kallel, Nawal Guermouche, Mohamed Jmaiel

Proceedings of the IEEE 10th International Conference on e-Business Engineering, 2013

Verifying Runtime Architectural Reconfiguration of Dynamically Adaptive Systems.

Sihem Loukil, Slim Kallel, Mohamed Jmaiel

Proceedings of the 39th Euromicro Conference on Software Engineering and Advanced Applications, 2013

2012

Modeling and enforcing invariants of dynamic software architectures.

Slim Kallel, Mohamed Hadj Kacem, Mohamed Jmaiel

Softw. Syst. Model., 2012

AROSA Track Report: Adaptive and Reconfigurable Service-Oriented and Component-Based Applications and Architectures.

Mohamed Jmaiel, Slim Kallel

Proceedings of the 21st IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2012

Modeling Secure Mobile Agent Systems.

Molka Rekik, Slim Kallel, Monia Loulou, Ahmed Hadj Kacem

Proceedings of the Agent and Multi-Agent Systems. Technologies and Applications, 2012

MDA-Based Approach for Implementing Secure Mobile Agent Systems.

Slim Kallel, Monia Loulou, Molka Rekik, Ahmed Hadj Kacem

Proceedings of the Agent-Oriented Software Engineering XIII - 13th International Workshop, 2012

2011

Specifying and monitoring non-functional properties.

Slim Kallel

PhD thesis, 2011

2010

Toward an Aspect Oriented ADL for Embedded Systems.

Sihem Loukil, Slim Kallel, Bechir Zalila, Mohamed Jmaiel

Proceedings of the Software Architecture, 4th European Conference, 2010

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

From Formal Access Control Policies to Runtime Enforcement Aspects.

Slim Kallel, Anis Charfi, Mira Mezini, Mohamed Jmaiel, Karl Klose

Proceedings of the Engineering Secure Software and Systems, 2009

RDyMASS: Reliable and Dynamic Enforcement of Security Policies for Mobile Agent Systems.

Houssem Aloulou, Monia Loulou, Slim Kallel, Ahmed Hadj Kacem

Proceedings of the Data Privacy Management and Autonomous Spontaneous Security, 2009

Specifying and Monitoring Temporal Properties in Web Services Compositions.

Slim Kallel, Anis Charfi, Tom Dinkelaker, Mira Mezini, Mohamed Jmaiel

Proceedings of the Seventh IEEE European Conference on Web Services (ECOWS 2009), 2009

2008

Aspect-based enforcement of formal delegation policies.

Slim Kallel, Anis Charfi, Mira Mezini, Mohamed Jmaiel

Proceedings of the CRiSIS '08, 2008

2007

Using Aspects for Enforcing Formal Architectural Invariants.

Slim Kallel, Anis Charfi, Mohamed Jmaiel

Proceedings of the 4th International Workshop on Formal Aspects of Component Software, 2007

Combining Formal Methods and Aspects for Specifying and Enforcing Architectural Invariants.

Slim Kallel, Anis Charfi, Mira Mezini, Mohamed Jmaiel

Proceedings of the Coordination Models and Languages, 9th International Conference, 2007

2006

ForMAAD Method: An Experimental Design for Air Traffic Control.

Amira Regayeg, Slim Kallel, Ahmed Hadj Kacem, Mohamed Jmaiel

Int. Trans. Syst. Sci. Appl., 2006