Personal information

Verified email addresses

Tunisia

Activities

Employment (1)

University of Sfax: Sfax, TN

2009-09-15 to present (Computer science Department)
Employment
Source: Self-asserted source
Slim Kallel

Education and qualifications (3)

Technical University of Darmstadt: Darmstadt, DE

2006-09-01 to 2011-07-11 | Ph.D. (Computer Science )
Education
Source: Self-asserted source
Slim Kallel

University of Sfax: Sfax, TN

2004-09-15 to 2005-07-15 | Master (National School of Engineers of Sfax)
Education
Source: Self-asserted source
Slim Kallel

University of Sfax: Sfax, TN

1999-09-15 to 2004-09-15 | Computer science engineer (National School of Engineers of Sfax)
Education
Source: Self-asserted source
Slim Kallel

Works (50 of 64)

Items per page:
Page 1 of 2

A privacy-preserving traceability system for self-sovereign identity-based inter-organizational business processes

Computer Standards & Interfaces
2025-03 | Journal article
Contributors: Amal Abid; Saoussen Cheikhrouhou; Slim Kallel; Mohamed Jmaiel
Source: check_circle
Crossref

Towards a Secure Cross-Blockchain Smart Contract Architecture

2023 | Book chapter
Contributors: Rawya Mars; Saoussen Cheikhrouhou; Slim Kallel; Mohamed Sellami; Ahmed Hadj Kacem
Source: check_circle
Crossref

A time interval-based approach for business process fragmentation over cloud and edge resources

Service Oriented Computing and Applications
2022-12 | Journal article
Contributors: Saoussen Cheikhrouhou; Zakaria Maamar; Rawya Mars; Slim Kallel
Source: check_circle
Crossref

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

Software: Practice and Experience
2022-04 | Journal article
Contributors: Amal Abid; Saoussen Cheikhrouhou; Slim Kallel; Mohamed Jmaiel
Source: check_circle
Crossref

From generating process views over inter-organizational business processes to achieving their temporal consistency

Computing
2021-07 | Journal article
Contributors: Slim Kallel; Saoussen Cheikhrouhou; Zakaria Maamar; Nawal Guermouche; Mohamed Jmaiel
Source: check_circle
Crossref

Optimal business process deployment cost in cloud resources

The Journal of Supercomputing
2021-02 | Journal article
Contributors: Rania Ben Halima; Slim Kallel; Mehdi Ahmed Nacer; Walid Gaaloul
Source: check_circle
Crossref

Business Process Specification, Verification, and Deployment in a Mono-Cloud, Multi-Edge Context

Computer Science and Information Systems
2020 | Journal article
Source: Self-asserted source
Slim Kallel

A Model-based Approach for the Modeling and the Verification of Railway Signaling System

Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE)
2019 | Conference paper
Source: Self-asserted source
Slim Kallel

A SAT-Based Formal Approach for Verifying Business Process Configuration

Proceedings of the 5th International Conference Big Data Innovations and Applications (Innovate-Data)
2019 | Conference paper
Source: Self-asserted source
Slim Kallel

Modeling and verifying time-aware processes for cyber-physical environments

IET Software
2019 | Journal article
Source: Self-asserted source
Slim Kallel
grade
Preferred source (of 2)‎

Optimizing the performance of time-constrained Business processes in a Cloud-Fog Environment

Proceedings of the New Trends in Model and Data Engineering - MEDI 2019 Workshops: DETECT, MEDI4SG, IWCFS, REMEDY
2019 | Conference paper
Source: Self-asserted source
Slim Kallel

Restriction-based Fragmentation of Business Processes over the Cloud

Concurrency and Computation: Practice and Experience
2019 | Journal article
Source: Self-asserted source
Slim Kallel
grade
Preferred source (of 2)‎

Towards the verification of cyber-physical processes based on time and physical properties

International Journal of Business and Systems Research
2019 | Journal article
Source: Self-asserted source
Slim Kallel

A comprehensive survey on modeling of cyber-physical systems

Concurrency and Computation: Practice and Experience
2018 | Journal article
Source: Self-asserted source
Slim Kallel
grade
Preferred source (of 2)‎

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

Proceedings of the New Trends in Model and Data Engineering - MEDI 2018 Workshops: DETECT, MEDI4SG, IWCFS, REMEDY
2018 | Conference paper
Source: Self-asserted source
Slim Kallel

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

Proceedings of the 32nd IEEE International Conference on Advanced Information Networking and Applications, (AINA)
2018 | Conference paper
Source: Self-asserted source
Slim Kallel

Scheduling Business Process Activities for Time-Aware Cloud Resource Allocation

Proceedings of the Move to Meaningful Internet Systems: OTM Conferences - Confederated International Conferences: CoopIS, ODBASE, and C&TC
2018 | Conference paper
Source: Self-asserted source
Slim Kallel

Specification and automatic checking of architecture constraints on object oriented programs

Information & Software Technology
2018 | Journal article
Source: Self-asserted source
Slim Kallel

Adaptive and Reconfigurable Systems and Architectures (AROSA 2017) : Summary Report

26th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, (WETICE)
2017 | Conference paper
Source: Self-asserted source
Slim Kallel

An approach based on runtime models for developing dynamically adaptive systems

Future Generation Computer Systems
2017 | Journal article
Source: Self-asserted source
Slim Kallel

Introduction to the special section on adaptive and reconfigurable aistributed systems

Computers & Electrical Engineering
2017 | Journal article
Source: Self-asserted source
Slim Kallel

Modeling and verification of temporal properties in cyber-physical systems

Proceedings of the 14th IEEE Annual Consumer Communications & Networking Conference (CCNC)
2017 | Conference paper
Source: Self-asserted source
Slim Kallel

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

Proceedings of the IEEE International Conference on Services Computing (SCC)
2017 | Conference paper
Source: Self-asserted source
Slim Kallel
grade
Preferred source (of 2)‎

Software agents meet Internet of things

Internet Technology Letters
2017 | Journal article
Source: Self-asserted source
Slim Kallel
grade
Preferred source (of 2)‎

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

Service-Oriented Computing - ICSOC 2017 Workshops - ASOCA, ISyCC, WESOACS, and Satellite Events
2017 | Conference paper
Source: Self-asserted source
Slim Kallel

Adaptive and reconfigurable software systems and architectures

Journal of Systems and Software
2016 | Journal article
Source: Self-asserted source
Slim Kallel

AROSA Track Report

Proceedings of the 25th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE)
2016 | Conference paper
Source: Self-asserted source
Slim Kallel

BPMN4CPS: A BPMN Extension for modeling cyber-physical systems

Proceedings of the 25th IEEE International conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE)
2016 | Conference paper
Source: Self-asserted source
Slim Kallel

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

Proceedings of the Move to Meaningful Internet Systems: OTM Conferences - Confederated International Conferences: CoopIS, ODBASE, and C&TC
2016 | Conference paper
Source: Self-asserted source
Slim Kallel

Time Patterns for Cyber-Physical Systems

Proceedings of the 21th IEEE Symposium on Computers and Communications (ISCC)
2016 | Conference paper
Source: Self-asserted source
Slim Kallel

Adaptive and Reconfigurable Service-oriented and Component-based Applications and Architectures (Track Report)

Proceedings of the 24th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises( WETICE)
2015 | Conference paper
Source: Self-asserted source
Slim Kallel

Enabling technologies: Infrastructure for collaborative enterprises

Computer Journal
2015 | Journal article
Source: Self-asserted source
Slim Kallel

The temporal perspective in business process modeling: A survey and research challenges

Service Oriented Computing and Applications
2015 | Journal article
Source: Self-asserted source
Slim Kallel

A Collaborative Process for Developing Secure Component Based Applications

Proceedings of the 23th IEEE International conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE)
2014 | Conference paper
Source: Self-asserted source
Slim Kallel

An Approach for Security Patterns Application in Component Based Models

Proceedings of the 14th International Conference on Computational Science and Applications (ICCSA)
2014 | Conference paper
Source: Self-asserted source
Slim Kallel

AROSA 2014: Adaptive and Reconfigurable Service-oriented and Component-based Applications and Architectures

Proceedings of the 2014 IEEE 23rd International WETICE Conference (WETICE)
2014 | Conference paper
Source: Self-asserted source
Slim Kallel

Enhancing Formal Specification and Verification of Temporal Constraints in Business Processes

Proceedings of the IEEE International Conference on Services Computing (SCC)
2014 | Conference paper
Source: Self-asserted source
Slim Kallel

Middleware for dynamically adaptive systems

Proceedings of the 27th International Conference on Architecture of Computing Systems (ARCS)
2014 | Conference paper
Source: Self-asserted source
Slim Kallel

Monitoring of Quality of Service in Dynamically Adaptive Systems

Proceedings of the 3rd International Conference on Adaptive and Intelligent Systems (ICAIS)
2014 | Conference paper
Source: Self-asserted source
Slim Kallel

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

Proceedings of the 12th International Conference on Service-Oriented Computing (ICSOC)
2014 | Conference paper
Source: Self-asserted source
Slim Kallel

Toward a Verification of Time-Centric Business Process Models,

Proceedings of the 23th IEEE International conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE)
2014 | Conference paper
Source: Self-asserted source
Slim Kallel

A Survey on Time-aware Business Process Modeling

Proceedings of the 15th International Conference on Enterprise Information Systems (ICEIS)
2013 | Conference paper
Source: Self-asserted source
Slim Kallel

Adaptive and Reconfigurable Service-oriented and Component-based Applications and Architectures (AROSA 2013)

Proceedings of the 2013 Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises(WETICE)
2013 | Conference paper
Source: Self-asserted source
Slim Kallel

An Engineering Process for Security Patterns Application in Component Based Models

Proceedings of the 22nd IEEE International conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE)
2013 | Conference paper
Source: Self-asserted source
Slim Kallel

AO4AADL: Aspect oriented extension for AADL

Central European Journal of Computer Science
2013 | Journal article
Source: Self-asserted source
Slim Kallel

Managing architectural reconfiguration at runtime

International Journal of Web Portals
2013 | Journal article
Source: Self-asserted source
Slim Kallel

Runtime Adaptation of Component based Systems

Proceedings of the first International Conference on Networked Systems (NETYS)
2013 | Conference paper
Source: Self-asserted source
Slim Kallel

Time-aware Automatic Process View Generation

Proceedings of the International Conference on E-Business Engineering (ICEBE)
2013 | Conference paper
Source: Self-asserted source
Slim Kallel

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

Proceedings of 15th International Conference on Information Integration and Web-based Applications and Services (IIWAS)
2013 | Conference paper
Source: Self-asserted source
Slim Kallel

Verifying Runtime Architectural Reconfiguration of Dynamically Adaptive Systems

Proceedings of the 39th Euromicro Conference Series on Software Engineering and Advanced Applications (SEAA)
2013 | Conference paper
Source: Self-asserted source
Slim Kallel
Items per page:
Page 1 of 2