Home › Researcher directory › Slim Kallel
Slim Kallel
Affiliation : University of Sfax · Digital Research Centre of Sfax
- 77Publications (affiliation in Tunisia)
- 110Total publications
- 1540Citations
- 18h-index
Research profile
Slim Kallel has 77 indexed publications (2007–2026). Their work appears mainly in “Lecture notes in computer science”, “IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE)” and “The Computer Journal”. Their most cited article, “NovidChain: Blockchain‐based privacy‐preserving platform for COVID‐19 test/vaccine certificates” (2021), has been cited 117 times. 8 of these publications date from the last three years of activity. Their work is co-authored with at least 12 researchers, including institutions in France.
Is this you? Get your research seen
Create your free DzCademia profile and add your articles: they will show up more easily on Google and in AI assistants like ChatGPT, so more people can read and cite your work.
Create my free profile Add my publicationsResearch areas
- Business Process Modeling and Analysis
- Model-Driven Software Engineering Techniques
- Advanced Software Engineering Methodologies
- Formal Methods in Verification
- Service-Oriented Architecture and Web Services
Publications (77)
- Managing Model Evolution from NoSQL Data Lakes to Decision Support Systems
- Enabling Blockchain-Agnostic Process Mining: An approach for Artifact-Centric Event Log Extraction
- AI-Augmented MBSE for Ontology-Driven Digital Twin Systems Interoperability
- Blockchain-Powered Certificate Verification Enhanced by Self-Sovereign Identity and Off-Chain Caching
- TraSSI: A Confidential Traceability System for Self-sovereign Identity-Based Processes
- EduCheck: Ensuring Diploma Authenticity Using Blockchain Technology
- An NFT-based Blockchain Solution for Employee Skill Enhancement and Development
- A privacy-preserving traceability system for self-sovereign identity-based inter-organizational business processes
- A survey on automation approaches of smart contract generation
- Towards a Secure Cross-Blockchain Smart Contract Architecture
- A Smart Contract-Based Access Control Framework For Smart Healthcare Systems
- A time interval-based approach for business process fragmentation over cloud and edge resources
- NovidChain: Blockchain‐based privacy‐preserving platform for COVID‐19 test/vaccine certificates
- A Machine Learning Approach for Gas Price Prediction in Ethereum Blockchain
- Formal Verification of Cloud and Fog Systems:A Review and Research Challenges
- From generating process views over inter-organizational business processes to achieving their temporal consistency
- A Formal Model for Configurable Business Process with Optimal Cloud Resource Allocation
- Special issue on risk and security of smart systems
- Guest editorial: Selected papers from the International Conference on Smart Living and Public Health
- The Impact of Digital Technologies on Public Health in Developed and Developing Countries
- Toward a correct and optimal time-aware cloud resource allocation to business processes
- Optimal business process deployment cost in cloud resources
- How blockchain helps to combat trust crisis in COVID-19 pandemic?
- Model-Driven Simulation of Elastic OCCI Cloud Resources
- A Model-based Approach for the Modeling and the Verification of Railway Signaling System
- Restriction‐based fragmentation of business processes over the cloud
- Business process specification, verification, and deployment in a mono-cloud, multi-edge context
- A SAT-Based Formal Approach for Verifying Business Process Configuration
- Optimizing the Performance of Timed-Constrained Business Processes in Cloud-Fog Environment
- A comprehensive survey on modeling of cyber‐physical systems
- Formal Verification of Temporal Constraints and Allocated Cloud Resources in Business Processes
- Modelling and verifying time‐aware processes for cyber‐physical environments
- Specification and automatic checking of architecture constraints on object oriented programs
- Formal Specification and Verification of Cloud Resource Allocation Using Timed Petri-Nets
- Verification of the Consistency of Time-Aware Cyber-Physical Processes
- Towards the verification of cyber-physical processes based on time and physical properties
- Scheduling Business Process Activities for Time-Aware Cloud Resource Allocation
- Optimal Cost for Time-Aware Cloud Resource Allocation in Business Process
- Modeling and verification of temporal properties in cyber-physical systems
- Demonstrating BPMN4CPS: Modeling anc verification of cyber-physical systems
- Software agents meet internet of things
- AROSA 2017: Summary Report
- Introduction to the Special Section on Adaptive and Reconfigurable Distributed Systems
- BPMN4CPS: A BPMN Extension for Modeling Cyber-Physical Systems
- An approach based on runtime models for developing dynamically adaptive systems
- Formal Verification of Time-Aware Cloud Resource Allocation in Business Process
- Time patterns for cyber-physical systems
- Adaptive and reconfigurable software systems and architectures
- Arosa Track Report
- Enabling Technologies: Infrastructure for Collaborative Enterprises
- AROSA 2015 Track Report: Adaptive and Reconfigurable Service-Oriented and Component-Based Applications and Architectures
- The temporal perspective in business process modeling: a survey and research challenges
- Enhancing Formal Specification and Verification of Temporal Constraints in Business Processes
- Toward a Verification of Time-Centric Business Process Models
- An Approach for Security Patterns Application in Component Based Models
- On Enabling Time-Aware Consistency of Collaborative Cross-Organisational Business Processes
- Middleware for Dynamically Adaptive Systems
- Track Report of Adaptive and Reconfigurable Service-Oriented and Component-Based Applications and Architectures (AROSA 2014)
- A Collaborative Process for Developing Secure Component Based Applications
- Monitoring of Quality of Service in Dynamically Adaptive Systems
- Toward a Time-centric modeling of Business Processes in BPMN 2.0
- An Engineering Process for Security Patterns Application in Component Based Models
- AO4AADL: Aspect oriented extension for AADL
- Verifying Runtime Architectural Reconfiguration of Dynamically Adaptive Systems
- An Aspect-Oriented Approach to Enforce Security Properties in Business Processes
- Managing Architectural Reconfiguration at Runtime
- Time-Aware Automatic Process View Generation
- Runtime Adaptation of Component Based Systems
- MDA-Based Approach for Implementing Secure Mobile Agent Systems
- AROSA Track Report
- Towards Timed Business Process View Generation
- Modeling Secure Mobile Agent Systems
- AROSA Track Report: Adaptive and Reconfigurable Service-Oriented and Component-Based Applications and Architectures
- Toward an Aspect Oriented ADL for Embedded Systems
- Modeling and enforcing invariants of dynamic software architectures
- From Formal Access Control Policies to Runtime Enforcement Aspects
- Combining Formal Methods and Aspects for Specifying and Enforcing Architectural Invariants
Publication venues
- Lecture notes in computer science × 18
- IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE) × 10
- The Computer Journal × 3
- Communications in computer and information science × 3
- International Wireless Communications and Mobile Computing Conference (IWCMC) × 2
- The Journal of Supercomputing × 2
Publications per year
- 20263
- 20254
- 20241
- 20232
- 20222
- 20217
- 20205
- 20195
- 20188
- 20176
Collaborations
Partner institutions : Centre National de la Recherche Scientifique · Télécom SudParis · Université de Montpellier · Laboratoire d'Informatique, de Robotique et de Microélectronique de Montpellier · Services répartis, Architectures, MOdélisation, Validation, Administration des Réseaux
Co-authors’ countries : France
Co-authors
- Mohamed Jmaïel
- Saoussen Cheikhrouhou
- Ahmed Hadj Kacem
- Imen Graja
- Sihem Loukil
- Amal Abid
- Rania Ben Halima
- Rawya Mars
- Ismael Bouassida Rodriguez
- Fairouz Fakhfakh
- Monia Loulou
- Molka Rekik
Bibliographic data from OpenAlex (open database).
Why choose Dzcademia?
Profiles, articles and conference contributions: give your research a structured public presence. Integrated metadata help search engines and AI assistants identify your work and understand its references.
Comment with Google
Sign in with Google to comment directly on this page.