Accueil › Annuaire des chercheurs › Slim Kallel
Slim Kallel
Affiliation : University of Sfax · Digital Research Centre of Sfax
- 77Publications (affiliation tunisienne)
- 110Publications au total
- 1540Citations
- 18Indice h
Profil de recherche
Slim Kallel compte 77 publications référencées (2007–2026). Ses travaux paraissent principalement dans « Lecture notes in computer science », « IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE) » et « The Computer Journal ». Son article le plus cité, « NovidChain: Blockchain‐based privacy‐preserving platform for COVID‐19 test/vaccine certificates » (2021), a été cité 117 fois. 8 de ces publications datent des trois dernières années d’activité. Ses travaux sont cosignés avec au moins 12 chercheurs, notamment dans des établissements de France.
C’est vous ? Faites connaître vos travaux
Créez gratuitement votre profil DzCademia et ajoutez vos articles : ils apparaîtront plus facilement sur Google et dans les assistants d’IA comme ChatGPT. Plus de personnes pourront vous lire et vous citer.
Créer mon profil gratuit Ajouter mes publicationsDomaines de recherche
- 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
Revues de publication
- 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 par année
- 20263
- 20254
- 20241
- 20232
- 20222
- 20217
- 20205
- 20195
- 20188
- 20176
Collaborations
Établissements partenaires : 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
Pays des co-auteurs : France
Co-auteurs
- 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
Données bibliographiques issues d’OpenAlex (base ouverte).
Pourquoi choisir Dzcademia ?
Pour donner à vos travaux plus de chances d’être découverts et recommandés par les IA. Profils, articles et communications : donnez à votre recherche une présence publique structurée. Les métadonnées intégrées aident les moteurs de recherche et les assistants IA à identifier vos travaux et à comprendre leurs références.
Commenter avec Google
Connecte-toi avec Google pour commenter directement sur cette page.