Slim Kallel

发表

MADYNE 2015 Track Organization Fourth Track on Management of Dynamic Networked Enterprises

Saoussen Cheikhrouhou, Slim Kallel, Nawal Guermouche, 2014 .

Introduction to the Special Section on Adaptive and Reconfigurable Distributed Systems

Slim Kallel, Mohamed Jmaiel, Khalil Drira, 2017, Comput. Electr. Eng..

Specifying and monitoring non-functional properties

Slim Kallel, 2011 .

Toward a Verification of Time-Centric Business Process Models

Saoussen Cheikhrouhou, Slim Kallel, Mohamed Jmaiel, 2014, 2014 IEEE 23rd International WETICE Conference.

An Engineering Process for Security Patterns Application in Component Based Models

Slim Kallel, Bernard Coulette, Rahma Bouaziz, 2013, 2013 Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises.

A Collaborative Process for Developing Secure Component Based Applications

Slim Kallel, Bernard Coulette, Rahma Bouaziz, 2014, 2014 IEEE 23rd International WETICE Conference.

A SAT-Based Formal Approach for Verifying Business Process Configuration

Slim Kallel, Walid Gaaloul, Souha Boubaker, 2019, Innovate-Data.

Using Aspects for Enforcing Formal Architectural Invariants

Slim Kallel, Mohamed Jmaiel, Anis Charfi, 2008, Electron. Notes Theor. Comput. Sci..

Toward an Aspect Oriented ADL for Embedded Systems

Slim Kallel, Mohamed Jmaiel, Bechir Zalila, 2010, ECSA.

AROSA 2017: Summary Report

Slim Kallel, Mohamed Jmaiel, Khalil Drira, 2017, WETICE.

Scheduling Business Process Activities for Time-Aware Cloud Resource Allocation

Slim Kallel, Mohamed Jmaiel, Walid Gaaloul, 2018, OTM Conferences.

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

Slim Kallel, Mohamed Jmaiel, Bessam Abdulrazak, 2020, ICOST.

Guest Editorial of the Special Issue on Adaptive and Reconfigurable Service-oriented and Component-based Applications and Architectures of the International Journal of Autonomous and Adaptive Communications Systems (Inderscience)

Slim Kallel, Flavio Oquendo, Ismael Bouassida Rodriguez, 2016 .

Time-Aware Automatic Process View Generation

Saoussen Cheikhrouhou, Slim Kallel, Nawal Guermouche, 2013, 2013 IEEE 10th International Conference on e-Business Engineering.

AROSA 2015 Track Report: Adaptive and Reconfigurable Service-Oriented and Component-Based Applications and Architectures

Slim Kallel, Mohamed Jmaiel, Ismael Bouassida Rodriguez, 2015, 2015 IEEE 24th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises.

Monitoring of Quality of Service in Dynamically Adaptive Systems

Slim Kallel, Mohamed Jmaiel, Ismael Bouassida Rodriguez, 2014, ICAIS.

Modeling Secure Mobile Agent Systems

Slim Kallel, Ahmed Hadj Kacem, Molka Rekik, 2012, KES-AMSTA.

Runtime Adaptation of Component Based Systems

Slim Kallel, Mohamed Jmaiel, Sihem Loukil, 2013, NETYS.

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

Saoussen Cheikhrouhou, Slim Kallel, Nawal Guermouche, 2013, IIWAS '13.

How blockchain helps to combat trust crisis in COVID-19 pandemic?: poster abstract

Saoussen Cheikhrouhou, Slim Kallel, Mohamed Jmaiel, 2020, SenSys.

From Formal Access Control Policies to Runtime Enforcement Aspects

Slim Kallel, Mohamed Jmaiel, Mira Mezini, 2009, ESSoS.

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

Saoussen Cheikhrouhou, Slim Kallel, Zakaria Maamar, 2018, MEDI Workshops.

Verifying Runtime Architectural Reconfiguration of Dynamically Adaptive Systems

Slim Kallel, Mohamed Jmaiel, Sihem Loukil, 2013, 2013 39th Euromicro Conference on Software Engineering and Advanced Applications.

Combining Formal Methods and Aspects for Specifying and Enforcing Architectural Invariants

Slim Kallel, Mohamed Jmaiel, Mira Mezini, 2007, COORDINATION.

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

Saoussen Cheikhrouhou, Slim Kallel, Nawal Guermouche, 2014, Service Oriented Computing and Applications.

A holistic approach for access control policies: from formal specification to aspect-based enforcement

Slim Kallel, Mohamed Jmaiel, Mira Mezini, 2009, Int. J. Inf. Comput. Secur..

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

Slim Kallel, Mohamed Jmaiel, Walid Gaaloul, 2017, 2017 IEEE International Conference on Services Computing (SCC).

Modeling and enforcing invariants of dynamic software architectures

Slim Kallel, Mohamed Jmaiel, Mohamed Hadj Kacem, 2012, Software & Systems Modeling.

Middleware for Dynamically Adaptive Systems

Slim Kallel, Mohamed Jmaiel, Sihem Loukil, 2014, ARCS.

RDyMASS: Reliable and Dynamic Enforcement of Security Policies for Mobile Agent Systems

Slim Kallel, Ahmed Hadj Kacem, Monia Loulou, 2009, DPM/SETOP.

Business process specification, verification, and deployment in a mono-cloud, multi-edge context

Saoussen Cheikhrouhou, Slim Kallel, Zakaria Maamar, 2020, Comput. Sci. Inf. Syst..

An Approach for Security Patterns Application in Component Based Models

Slim Kallel, Bernard Coulette, Rahma Bouaziz, 2014, ICCSA.

Restriction‐based fragmentation of business processes over the cloud

Slim Kallel, Thar Baker, Zakaria Maamar, 2019, Concurr. Comput. Pract. Exp..

Software agents meet internet of things

Slim Kallel, Zakaria Maamar, Mohamed Sellami, 2018, Internet Technol. Lett..

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

Saoussen Cheikhrouhou, Slim Kallel, Nawal Guermouche, 2014, ICSOC.

Adaptive and reconfigurable software systems and architectures

Slim Kallel, Khalil Drira, Ismael Bouassida Rodriguez, 2016, J. Syst. Softw..

Optimizing the Performance of Timed-Constrained Business Processes in Cloud-Fog Environment

Saoussen Cheikhrouhou, Slim Kallel, Fairouz Fakhfakh, 2019, MEDI Workshops.

Special Issue on Adaptive and Reconfigurable Service-Oriented and Component-Based Applications

Slim Kallel, Flavio Oquendo, Ismael Bouassida Rodriguez, 2016 .

Risks and Security of Internet and Systems: 14th International Conference, CRiSIS 2019, Hammamet, Tunisia, October 29–31, 2019, Proceedings

Slim Kallel, Nora Cuppens-Boulahia, Ahmed Hadj Kacem, 2020, CRiSIS.

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

Slim Kallel, Nawal Guermouche, Ahmed Hadj Kacem, 2019 .

Enabling Technologies: Infrastructure for Collaborative Enterprises

Slim Kallel, Mohamed Jmaiel, Sumitra Reddy, 2015, Comput. J..

BPMN4CPS: A BPMN Extension for Modeling Cyber-Physical Systems

Slim Kallel, Nawal Guermouche, Ahmed Hadj Kacem, 2016, 2016 IEEE 25th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE).

An approach based on runtime models for developing dynamically adaptive systems

Slim Kallel, Mohamed Jmaiel, Sihem Loukil, 2017, Future Gener. Comput. Syst..

Optimal business process deployment cost in cloud resources

Slim Kallel, Walid Gaaloul, Rania Ben Halima, 2020, The Journal of Supercomputing.

A Survey on Time-aware Business Process Modeling

Saoussen Cheikhrouhou, Slim Kallel, Nawal Guermouche, 2013, ICEIS.

Aspect-based enforcement of formal delegation policies

Slim Kallel, Mohamed Jmaiel, Mira Mezini, 2008, 2008 Third International Conference on Risks and Security of Internet and Systems.

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

Saoussen Cheikhrouhou, Slim Kallel, Nawal Guermouche, 2019, IET Softw..

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

Slim Kallel, Nawal Guermouche, Ahmed Hadj Kacem, 2017, ICSOC Workshops.

AROSA Track Report: Adaptive and Reconfigurable Service-Oriented and Component-Based Applications and Architectures

Slim Kallel, Mohamed Jmaiel, 2012, 2012 IEEE 21st International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises.

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

Slim Kallel, Mohamed Jmaiel, Walid Gaaloul, 2018, 2018 IEEE 32nd International Conference on Advanced Information Networking and Applications (AINA).

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

Slim Kallel, Mohamed Jmaiel, Kais Klai, 2016, OTM Conferences.

An Aspect-Oriented Approach to Enforce Security Properties in Business Processes

Slim Kallel, Rafik Bouaziz, Anis Charfi, 2012, ICSOC Workshops.

Managing Architectural Reconfiguration at Runtime

Slim Kallel, Mohamed Jmaiel, Sihem Loukil, 2013, Int. J. Web Portals.

ForMAAD Method: An Experimental Design for Air Traffic Control

Slim Kallel, Mohamed Jmaiel, Ahmed Hadj Kacem, 2006, Int. Trans. Syst. Sci. Appl..

Track Report of Adaptive and Reconfigurable Service-Oriented and Component-Based Applications and Architectures (AROSA 2014)

Slim Kallel, Khalil Drira, Ismael Bouassida Rodriguez, 2014, 2014 IEEE 23rd International WETICE Conference.

Toward a correct and optimal time-aware cloud resource allocation to business processes

Slim Kallel, Mohamed Jmaiel, Zakaria Maamar, 2020, Future Gener. Comput. Syst..

Specifying and Monitoring Temporal Properties in Web Services Compositions

Slim Kallel, Mohamed Jmaiel, Mira Mezini, 2009, 2009 Seventh IEEE European Conference on Web Services.

Demonstrating BPMN4CPS: Modeling anc verification of cyber-physical systems

Slim Kallel, Nawal Guermouche, Ahmed Hadj Kacem, 2017, 2017 14th IEEE Annual Consumer Communications & Networking Conference (CCNC).

Specification and automatic checking of architecture constraints on object oriented programs

Slim Kallel, Chouki Tibermacine, Ahmed Hadj Kacem, 2018, Inf. Softw. Technol..

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

Slim Kallel, Rahma Ben Ayed, Abderrahim Ait Wakrime, 2019, ENASE.

AO4AADL: Aspect oriented extension for AADL

Slim Kallel, Mohamed Jmaiel, Bechir Zalila, 2013, Central European Journal of Computer Science.

Time patterns for cyber-physical systems

Slim Kallel, Nawal Guermouche, Ahmed Hadj Kacem, 2016, 2016 IEEE Symposium on Computers and Communication (ISCC).

Arosa Track Report

Slim Kallel, Khalil Drira, Ismael Bouassida Rodriguez, 2016, 2016 IEEE 25th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE).

MDA-Based Approach for Implementing Secure Mobile Agent Systems

Slim Kallel, Ahmed Hadj Kacem, Molka Rekik, 2012, AOSE.

Towards Timed Business Process View Generation

Saoussen Cheikhrouhou, Slim Kallel, Nawal Guermouche, 2013, ICEBE 2013.

Modeling and verification of temporal properties in cyber-physical systems

Slim Kallel, Nawal Guermouche, Ahmed Hadj Kacem, 2017, 2017 14th IEEE Annual Consumer Communications & Networking Conference (CCNC).

A comprehensive survey on modeling of cyber‐physical systems

Saoussen Cheikhrouhou, Slim Kallel, Nawal Guermouche, 2018, Concurr. Comput. Pract. Exp..

Special issue on risk and security of smart systems

Slim Kallel, Frédéric Cuppens, Ahmed Hadj Kacem, 2021, J. Inf. Secur. Appl..

A Machine Learning Approach for Gas Price Prediction in Ethereum Blockchain

Saoussen Cheikhrouhou, Slim Kallel, Amal Abid, 2021, 2021 IEEE 45th Annual Computers, Software, and Applications Conference (COMPSAC).

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

Saoussen Cheikhrouhou, Slim Kallel, Nawal Guermouche, 2021, Computing.

TUNisia-Italy Cross-Border Environment Net platform for emergency response (NETTUNIT): project presentation and early results

Saoussen Cheikhrouhou, Slim Kallel, Mohamed Jmaiel, 2021, TACC.

Temporal Constraints in Smart Contract-Based Process Execution: A Case Study of Organ Transfer by Healthcare Delivery Drone

Saoussen Cheikhrouhou, Slim Kallel, Mohamed Jmaiel, 2021, TACC.

Formal Verification of Cloud and Fog Systems: A Review and Research Challenges

Saoussen Cheikhrouhou, Slim Kallel, Fairouz Fakhfakh, 2021, J. Univers. Comput. Sci..

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

Saoussen Cheikhrouhou, Slim Kallel, Mohamed Jmaiel, 2021, Softw. Pract. Exp..