Slim Kallel - RankMe

91 papers A 1B 5C 20Misc 1Journal 28Unranked 30

Year	Rank	Type	Title / Venue / Authors
2026	—	`ed.`	Service-Oriented Computing - ICSOC 2024 Workshops - ASOCA, AI-PA, WESOACS, GAISS, LAIS, AI on Edge, RTSEMS, SQS, SOCAISA, SOC4AI and Satellite Events, Tunis, Tunisia, December 3-6, 2024, Revised Selected Papers, Part I ICSOC Workshops (1) Slim Kallel, Claudia Raibulet, Ismael Bouassida Rodriguez, Noura Faci, Amel Bennaceur, Saoussen Cheikhrouhou, Leila Ben Ayed, Mohamed Sellami, Elisa Yumi Nakagawa, Riadh Ben Halima
2026	—	`ed.`	Service-Oriented Computing - ICSOC 2024 Workshops - ASOCA, AI-PA, WESOACS, GAISS, LAIS, AI on Edge, RTSEMS, SQS, SOCAISA, SOC4AI and Satellite Events, Tunis, Tunisia, December 3-6, 2024, Revised Selected Papers, Part II ICSOC Workshops (2) Slim Kallel, Claudia Raibulet, Ismael Bouassida Rodriguez, Noura Faci, Amel Bennaceur, Saoussen Cheikhrouhou, Leila Ben Ayed, Mohamed Sellami, Elisa Yumi Nakagawa, Riadh Ben Halima
2025	J	`jnl`	A privacy-preserving traceability system for self-sovereign identity-based inter-organizational business processes. Comput. Stand. Interfaces Amal Abid, Saoussen Cheikhrouhou, Slim Kallel, Mohamed Jmaiel
2025	—	`conf`	An NFT-based Blockchain Solution for Employee Skill Enhancement and Development. SNPD-Summer Fairouz Fakhfakh, Saoussen Cheikhrouhou, Slim Kallel, Oumayma Jarray
2025	B	`conf`	Blockchain-Powered Certificate Verification Enhanced by Self-Sovereign Identity and Off-Chain Caching. IWCMC Saoussen Cheikhrouhou, Mariem Turki, Slim Kallel, Amal Abid, Mohamed Jmaiel
2024	J	`jnl`	A Smart Contract-Based Access Control Framework For Smart Healthcare Systems. Comput. J. Amal Abid, Saoussen Cheikhrouhou, Slim Kallel, Zahir Tari, Mohamed Jmaiel
2024	—	`conf`	EduCheck: Ensuring Diploma Authenticity Using Blockchain Technology. ICSOC Workshops (2) Mariem Turki, Slim Kallel, Mohamed Jmaiel
2024	—	`ed.`	Proceedings of the 3rd Tunisian-Algerian Joint Conference on Applied Computing (TACC 2023), Sousse, Tunisia, November 8-10, 2023. TACC Ismael Bouassida Rodriguez, Slim Kallel, Zakaria Benzadri, Faiza Belala, Ahmed Hadj Kacem
2024	—	`conf`	TraSSI: A Confidential Traceability System for Self-sovereign Identity-Based Processes. ICSOC Workshops (2) Amal Abid, Slim Kallel, Mohamed Jmaiel
2023	J	`jnl`	A survey on automation approaches of smart contract generation. J. Supercomput. Rawya Mars, Saoussen Cheikhrouhou, Slim Kallel, Ahmed Hadj Kacem
2023	—	`conf`	A survey on event log extraction from blockchain. TACC Ahlem Makni, Rawya Mars, Saoussen Cheikhrouhou, Slim Kallel, Mohamed Sellami
2023	—	`ed.`	Proceedings of the Tunisian-Algerian Joint Conference on Applied Computing (TACC 2022) Laboratoire Mixte d'Excellence Scientifique Tuniso-Algérien, Constantine, Algeria, December 13-14, 2022. TACC Chafia Bouanaka, Mohammed Nassim Lacheheub, Meriem Belguidoum, Faiza Belala, Mohamed Jmaiel, Ahmed Hadj Kacem, Ismael Bouassida Rodriguez, Slim Kallel
2023	C	`ed.`	Risks and Security of Internet and Systems - 17th International Conference, CRiSIS 2022, Sousse, Tunisia, December 7-9, 2022, Revised Selected Papers CRiSIS Slim Kallel, Mohamed Jmaiel, Mohammad Zulkernine, Ahmed Hadj Kacem, Frédéric Cuppens, Nora Cuppens
2022	C	`conf`	A Blockchain-Based Self-Sovereign Identity Approach for Inter-Organizational Business Processes. FedCSIS Amal Abid, Saoussen Cheikhrouhou, Slim Kallel, Mohamed Jmaiel
2022	J	`jnl`	A time interval-based approach for business process fragmentation over cloud and edge resources. Serv. Oriented Comput. Appl. Saoussen Cheikhrouhou, Zakaria Maamar, Rawya Mars, Slim Kallel
2022	J	`jnl`	Model-Driven Simulation of Elastic OCCI Cloud Resources. Comput. J. Mehdi Ahmed-Nacer, Slim Kallel, Faiez Zalila, Philippe Merle, Walid Gaaloul
2022	J	`jnl`	NovidChain: Blockchain-based privacy-preserving platform for COVID-19 test/vaccine certificates. Softw. Pract. Exp. Amal Abid, Saoussen Cheikhrouhou, Slim Kallel, Mohamed Jmaiel
2022	—	`ed.`	Proceedings of the Tunisian-Algerian Joint Conference on Applied Computing (TACC 2021), Tabarka, Tunisia, December 18-20, 2021. TACC Ahmed Hadj Kacem, Slim Kallel, Faiza Belala, Meriem Belguidoum, Mohamed Jmaiel, Ismael Bouassida Rodriguez
2022	C	`ed.`	Risks and Security of Internet and Systems - 16th International Conference, CRiSIS 2021, Virtual Event, Ames, USA, November 12-13, 2021, Revised Selected Papers CRiSIS Bo Luo, Mohamed Mosbah, Frédéric Cuppens, Lotfi Ben Othmane, Nora Cuppens, Slim Kallel
2022	C	`conf`	Towards a Secure Cross-Blockchain Smart Contract Architecture. CRiSIS Rawya Mars, Saoussen Cheikhrouhou, Slim Kallel, Mohamed Sellami, Ahmed Hadj Kacem
2021	J	`jnl`	A Formal Model for Configurable Business Process with Optimal Cloud Resource Allocation. J. Univers. Comput. Sci. Abderrahim Ait Wakrime, Souha Boubaker, Slim Kallel, Emna Guermazi, Walid Gaaloul
2021	B	`conf`	A Machine Learning Approach for Gas Price Prediction in Ethereum Blockchain. COMPSAC Rawya Mars, Amal Abid, Saoussen Cheikhrouhou, Slim Kallel
2021	J	`jnl`	Formal Verification of Cloud and Fog Systems: A Review and Research Challenges. J. Univers. Comput. Sci. Fairouz Fakhfakh, Slim Kallel, Saoussen Cheikhrouhou
2021	J	`jnl`	From generating process views over inter-organizational business processes to achieving their temporal consistency. Computing Slim Kallel, Saoussen Cheikhrouhou, Zakaria Maamar, Nawal Guermouche, Mohamed Jmaiel
2021	J	`jnl`	Optimal business process deployment cost in cloud resources. J. Supercomput. Rania Ben Halima, Slim Kallel, Mehdi Ahmed-Nacer, Walid Gaaloul
2021	J	`jnl`	Restriction-based fragmentation of business processes over the cloud. Concurr. Comput. Pract. Exp. Slim Kallel, Zakaria Maamar, Mohamed Sellami, Noura Faci, Ahmed Ben Arab, Walid Gaaloul, Thar Baker
2021	J	`jnl`	Special issue on risk and security of smart systems. J. Inf. Secur. Appl. Slim Kallel, Frédéric Cuppens, Nora Boulahia-Cuppens, Ahmed Hadj Kacem, Lotfi Ben Othmane
2021	—	`conf`	TUNisia-Italy Cross-Border Environment Net platform for emergency response (NETTUNIT): project presentation and early results. TACC Mohamed Hedi Fourati, Saoussen Cheikhrouhou, Slim Kallel, Mohamed Jmaiel
2021	—	`conf`	Temporal Constraints in Smart Contract-Based Process Execution: A Case Study of Organ Transfer by Healthcare Delivery Drone. TACC Amal Abid, Saoussen Cheikhrouhou, Slim Kallel, Mohamed Jmaiel
2020	J	`jnl`	A comprehensive survey on modeling of cyber-physical systems. Concurr. Comput. Pract. Exp. Imen Graja, Slim Kallel, Nawal Guermouche, Saoussen Cheikhrouhou, Ahmed Hadj Kacem
2020	J	`jnl`	Business process specification, verification, and deployment in a mono-cloud, multi-edge context. Comput. Sci. Inf. Syst. Saoussen Cheikhrouhou, Slim Kallel, Ikbel Guidara, Zakaria Maamar
2020	Misc	`conf`	How blockchain helps to combat trust crisis in COVID-19 pandemic?: poster abstract. SenSys Amal Abid, Saoussen Cheikhrouhou, Slim Kallel, Mohamed Jmaiel
2020	C	`ed.`	Risks and Security of Internet and Systems, 14th International Conference, CRiSIS 2019, Hammamet, Tunisia, October 29-31, 2019, Proceedings. CRiSIS Slim Kallel, Frédéric Cuppens, Nora Cuppens-Boulahia, Ahmed Hadj Kacem
2020	C	`ed.`	The Impact of Digital Technologies on Public Health in Developed and Developing Countries - 18th International Conference, ICOST 2020, Hammamet, Tunisia, June 24-26, 2020, Proceedings ICOST Mohamed Jmaiel, Mounir Mokhtari, Bessam Abdulrazak, Hamdi Aloulou, Slim Kallel
2020	J	`jnl`	Toward a correct and optimal time-aware cloud resource allocation to business processes. Future Gener. Comput. Syst. Rania Ben Halima, Slim Kallel, Walid Gaaloul, Zakaria Maamar, Mohamed Jmaiel
2019	B	`conf`	A Model-based Approach for the Modeling and the Verification of Railway Signaling System. ENASE Racem Bougacha, Abderrahim Ait Wakrime, Slim Kallel, Rahma Ben Ayed, Simon Collart Dutilleul
2019	—	`conf`	A SAT-Based Formal Approach for Verifying Business Process Configuration. Innovate-Data Abderrahim Ait Wakrime, Souha Boubaker, Slim Kallel, Walid Gaaloul
2019	J	`jnl`	Modelling and verifying time-aware processes for cyber-physical environments. IET Softw. Imen Graja, Slim Kallel, Nawal Guermouche, Saoussen Cheikhrouhou, Ahmed Hadj Kacem
2019	—	`conf`	Optimizing the Performance of Timed-Constrained Business Processes in Cloud-Fog Environment. MEDI Workshops Fairouz Fakhfakh, Ahemd Neji, Saoussen Cheikhrouhou, Slim Kallel
2018	—	`conf`	Formal Specification and Verification of Cloud Resource Allocation Using Timed Petri-Nets. MEDI Workshops Saoussen Cheikhrouhou, Nesrine Chabouh, Slim Kallel, Zakaria Maamar
2018	B	`conf`	Formal Verification of Temporal Constraints and Allocated Cloud Resources in Business Processes. AINA Rania Ben Halima, Imen Zouaghi, Slim Kallel, Walid Gaaloul, Mohamed Jmaiel
2018	—	`conf`	Scheduling Business Process Activities for Time-Aware Cloud Resource Allocation. OTM Conferences (1) Rania Ben Halima, Slim Kallel, Walid Gaaloul, Mohamed Jmaiel
2018	J	`jnl`	Software agents meet internet of things. Internet Technol. Lett. Zakaria Maamar, Noura Faci, Slim Kallel, Mohamed Sellami, Emir Ugljanin
2018	J	`jnl`	Specification and automatic checking of architecture constraints on object oriented programs. Inf. Softw. Technol. Sahar Kallel, Chouki Tibermacine, Slim Kallel, Ahmed Hadj Kacem, Christophe Dony
2017	C	`conf`	AROSA 2017: Summary Report. WETICE Ismael Bouassida Rodriguez, Slim Kallel, Mohamed Jmaiel, Khalil Drira
2017	J	`jnl`	An approach based on runtime models for developing dynamically adaptive systems. Future Gener. Comput. Syst. Sihem Loukil, Slim Kallel, Mohamed Jmaiel
2017	—	`conf`	Demonstrating BPMN4CPS: Modeling anc verification of cyber-physical systems. CCNC Imen Graja, Aicha Mechim, Slim Kallel, Nawal Guermouche, Ahmed Hadj Kacem
2017	J	`jnl`	Introduction to the Special Section on Adaptive and Reconfigurable Distributed Systems. Comput. Electr. Eng. Slim Kallel, Khalil Drira, Mohamed Jmaiel
2017	—	`conf`	Modeling and verification of temporal properties in cyber-physical systems. CCNC Imen Graja, Slim Kallel, Nawal Guermouche, Ahmed Hadj Kacem
2017	—	`conf`	Optimal Cost for Time-Aware Cloud Resource Allocation in Business Process. SCC Rania Ben Halima, Slim Kallel, Walid Gaaloul, Mohamed Jmaiel
2017	—	`conf`	Verification of the Consistency of Time-Aware Cyber-Physical Processes. ICSOC Workshops Imen Graja, Slim Kallel, Nawal Guermouche, Ahmed Hadj Kacem
2016	J	`jnl`	Adaptive and reconfigurable software systems and architectures. J. Syst. Softw. Slim Kallel, Ismael Bouassida Rodriguez, Khalil Drira
2016	C	`conf`	Arosa Track Report. WETICE Slim Kallel, Khalil Drira, Mohamed Jmaiel
2016	C	`conf`	BPMN4CPS: A BPMN Extension for Modeling Cyber-Physical Systems. WETICE Imen Graja, Slim Kallel, Nawal Guermouche, Ahmed Hadj Kacem
2016	—	`conf`	Formal Verification of Time-Aware Cloud Resource Allocation in Business Process. OTM Conferences Rania Ben Halima, Slim Kallel, Kais Klai, Walid Gaaloul, Mohamed Jmaiel
2016	C	`conf`	Time patterns for cyber-physical systems. ISCC Imen Graja, Slim Kallel, Nawal Guermouche, Ahmed Hadj Kacem
2015	C	`conf`	AROSA 2015 Track Report: Adaptive and Reconfigurable Service-Oriented and Component-Based Applications and Architectures. WETICE Slim Kallel, Ismael Bouassida Rodriguez, Mohamed Jmaiel
2015	J	`jnl`	Enabling Technologies: Infrastructure for Collaborative Enterprises. Comput. J. Slim Kallel, Mohamed Jmaiel, Sumitra Reddy
2015	J	`jnl`	The temporal perspective in business process modeling: a survey and research challenges. Serv. Oriented Comput. Appl. Saoussen Cheikhrouhou, Slim Kallel, Nawal Guermouche, Mohamed Jmaiel
2014	C	`conf`	A Collaborative Process for Developing Secure Component Based Applications. WETICE Rahma Bouaziz, Slim Kallel, Bernard Coulette
2014	—	`conf`	An Approach for Security Patterns Application in Component Based Models. ICCSA (5) Rahma Bouaziz, Slim Kallel, Bernard Coulette
2014	—	`conf`	Enhancing Formal Specification and Verification of Temporal Constraints in Business Processes. IEEE SCC Saoussen Cheikhrouhou, Slim Kallel, Nawal Guermouche, Mohamed Jmaiel
2014	—	`conf`	Middleware for Dynamically Adaptive Systems. ARCS Sihem Loukil, Slim Kallel, Mohamed Jmaiel
2014	—	`conf`	Monitoring of Quality of Service in Dynamically Adaptive Systems. ICAIS Sihem Loukil, Slim Kallel, Ismael Bouassida Rodriguez, Mohamed Jmaiel
2014	A	`conf`	On Enabling Time-Aware Consistency of Collaborative Cross-Organisational Business Processes. ICSOC Saoussen Cheikhrouhou, Slim Kallel, Nawal Guermouche, Mohamed Jmaiel
2014	C	`conf`	Toward a Verification of Time-Centric Business Process Models. WETICE Saoussen Cheikhrouhou, Slim Kallel, Mohamed Jmaiel
2014	C	`conf`	Track Report of Adaptive and Reconfigurable Service-Oriented and Component-Based Applications and Architectures (AROSA 2014). WETICE Khalil Drira, Slim Kallel, Ismael Bouassida Rodriguez
2013	—	`conf`	A Survey on Time-aware Business Process Modeling. ICEIS (3) Saoussen Cheikhrouhou, Slim Kallel, Nawal Guermouche, Mohamed Jmaiel
2013	J	`jnl`	AO4AADL: Aspect oriented extension for AADL. Central Eur. J. Comput. Sci. Sihem Loukil, Slim Kallel, Bechir Zalila, Mohamed Jmaiel
2013	C	`conf`	AROSA Track Report. WETICE Khalil Drira, Slim Kallel, Ismael Bouassida Rodriguez
2013	—	`conf`	An Aspect-Oriented Approach to Enforce Security Properties in Business Processes. ICSOC Workshops Inaya Yahya, Sameh Hbaieb Turki, Anis Charfi, Slim Kallel, Rafik Bouaziz
2013	C	`conf`	An Engineering Process for Security Patterns Application in Component Based Models. WETICE Rahma Bouaziz, Slim Kallel, Bernard Coulette
2013	J	`jnl`	Managing Architectural Reconfiguration at Runtime. Int. J. Web Portals Sihem Loukil, Slim Kallel, Mohamed Jmaiel
2013	—	`conf`	Runtime Adaptation of Component Based Systems. NETYS Sihem Loukil, Slim Kallel, Mohamed Jmaiel
2013	—	`conf`	Time-Aware Automatic Process View Generation. ICEBE Saoussen Cheikhrouhou, Slim Kallel, Nawal Guermouche, Mohamed Jmaiel
2013	C	`conf`	Toward a Time-centric modeling of Business Processes in BPMN 2.0. iiWAS Saoussen Cheikhrouhou, Slim Kallel, Nawal Guermouche, Mohamed Jmaiel
2013	—	`conf`	Verifying Runtime Architectural Reconfiguration of Dynamically Adaptive Systems. EUROMICRO-SEAA Sihem Loukil, Slim Kallel, Mohamed Jmaiel
2012	C	`conf`	AROSA Track Report: Adaptive and Reconfigurable Service-Oriented and Component-Based Applications and Architectures. WETICE Mohamed Jmaiel, Slim Kallel
2012	—	`conf`	MDA-Based Approach for Implementing Secure Mobile Agent Systems. AOSE Slim Kallel, Monia Loulou, Molka Rekik, Ahmed Hadj Kacem
2012	—	`conf`	Modeling Secure Mobile Agent Systems. KES-AMSTA Molka Rekik, Slim Kallel, Monia Loulou, Ahmed Hadj Kacem
2012	J	`jnl`	Modeling and enforcing invariants of dynamic software architectures. Softw. Syst. Model. Slim Kallel, Mohamed Hadj Kacem, Mohamed Jmaiel
2011	—	`—`	Specifying and monitoring non-functional properties. Slim Kallel
2010	B	`conf`	Toward an Aspect Oriented ADL for Embedded Systems. ECSA Sihem Loukil, Slim Kallel, Bechir Zalila, Mohamed Jmaiel
2009	J	`jnl`	A holistic approach for access control policies: from formal specification to aspect-based enforcement. Int. J. Inf. Comput. Secur. Slim Kallel, Anis Charfi, Mira Mezini, Mohamed Jmaiel, Andreas Sewe
2009	—	`conf`	From Formal Access Control Policies to Runtime Enforcement Aspects. ESSoS Slim Kallel, Anis Charfi, Mira Mezini, Mohamed Jmaiel, Karl Klose
2009	—	`conf`	RDyMASS: Reliable and Dynamic Enforcement of Security Policies for Mobile Agent Systems. DPM/SETOP Houssem Aloulou, Monia Loulou, Slim Kallel, Ahmed Hadj Kacem
2009	—	`conf`	Specifying and Monitoring Temporal Properties in Web Services Compositions. ECOWS Slim Kallel, Anis Charfi, Tom Dinkelaker, Mira Mezini, Mohamed Jmaiel
2008	C	`conf`	Aspect-based enforcement of formal delegation policies. CRiSIS Slim Kallel, Anis Charfi, Mira Mezini, Mohamed Jmaiel
2007	C	`conf`	Combining Formal Methods and Aspects for Specifying and Enforcing Architectural Invariants. COORDINATION Slim Kallel, Anis Charfi, Mira Mezini, Mohamed Jmaiel
2007	—	`conf`	Using Aspects for Enforcing Formal Architectural Invariants. FACS Slim Kallel, Anis Charfi, Mohamed Jmaiel
2006	J	`jnl`	ForMAAD Method: An Experimental Design for Air Traffic Control. Int. Trans. Syst. Sci. Appl. Amira Regayeg, Slim Kallel, Ahmed Hadj Kacem, Mohamed Jmaiel