الرئيسية › دليل الباحثين › Slim Kallel
Slim Kallel
الانتماء : University of Sfax · Digital Research Centre of Sfax
- 77منشورات (انتماء تونسي)
- 110مجموع المنشورات
- 1540الاستشهادات
- 18مؤشر h
الملف البحثي
لدى Slim Kallel 77 منشور(ات) مفهرسة (2007–2026). تُنشر أعماله أساسًا في «Lecture notes in computer science»، «IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE)» و«The Computer Journal». أكثر مقالاته استشهادًا هو «NovidChain: Blockchain‐based privacy‐preserving platform for COVID‐19 test/vaccine certificates» (2021)، وقد استُشهد به 117 مرة. 8 من هذه المنشورات تعود إلى آخر ثلاث سنوات من النشاط. شارك في تأليف أعماله 12 باحثًا على الأقل، منهم باحثون من مؤسسات في فرنسا.
هل هذا أنت؟ عرّف بأبحاثك
أنشئ ملفك على DzCademia مجانًا وأضف مقالاتك: ستظهر بسهولة أكبر على Google وفي مساعدي الذكاء الاصطناعي مثل ChatGPT، فيقرؤها ويستشهد بها عدد أكبر من الناس.
إنشاء ملفي المجاني إضافة منشوراتيمجالات البحث
- Business Process Modeling and Analysis
- Model-Driven Software Engineering Techniques
- Advanced Software Engineering Methodologies
- Formal Methods in Verification
- Service-Oriented Architecture and Web Services
المنشورات (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
مجلات النشر
- 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
المنشورات حسب السنة
- 20263
- 20254
- 20241
- 20232
- 20222
- 20217
- 20205
- 20195
- 20188
- 20176
التعاون العلمي
المؤسسات الشريكة : 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
بلدان المؤلفين المشاركين : فرنسا
المؤلفون المشاركون
- 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
البيانات البيبليوغرافية مصدرها OpenAlex (قاعدة مفتوحة).
لماذا تختارون Dzcademia؟
ملفات أكاديمية ومقالات ومداخلات علمية: امنحوا أبحاثكم حضوراً عاماً منظماً. تساعد البيانات الوصفية المدمجة محركات البحث ومساعدات الذكاء الاصطناعي على التعرف على أعمالكم وفهم مراجعها.
علّق عبر Google
سجّل الدخول عبر Google للتعليق مباشرة على هذه الصفحة.