Saoussen Cheikhrouhou

Orcid: 0000-0003-4607-7452

According to our database1, Saoussen Cheikhrouhou authored at least 36 papers between 2009 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
A Smart Contract-Based Access Control Framework For Smart Healthcare Systems.
Comput. J., February, 2024

2023
A survey on automation approaches of smart contract generation.
J. Supercomput., September, 2023

Correction to: Multi-objective approach for scheduling time-aware business processes in cloud-fog environment.
J. Supercomput., May, 2023

Multi-objective approach for scheduling time-aware business processes in cloud-fog environment.
J. Supercomput., May, 2023

NFT-IoT Pharma Chain : IoT Drug traceability system based on Blockchain and Non Fungible Tokens (NFTs).
J. King Saud Univ. Comput. Inf. Sci., February, 2023

A survey on event log extraction from blockchain.
Proceedings of the Tunisian-Algerian Joint Conference on Applied Computing (TACC 2023), 2023

2022
NovidChain: Blockchain-based privacy-preserving platform for COVID-19 test/vaccine certificates.
Softw. Pract. Exp., 2022

A time interval-based approach for business process fragmentation over cloud and edge resources.
Serv. Oriented Comput. Appl., 2022

LoRaChainCare: An IoT Architecture Integrating Blockchain and LoRa Network for Personal Health Care Data Monitoring.
Sensors, 2022

A Blockchain-Based Self-Sovereign Identity Approach for Inter-Organizational Business Processes.
Proceedings of the 17th Conference on Computer Science and Intelligence Systems, 2022

Towards a Secure Cross-Blockchain Smart Contract Architecture.
Proceedings of the Risks and Security of Internet and Systems, 2022

2021
Orchestration- and choreography-based composition of Internet of Transactional Things.
Serv. Oriented Comput. Appl., 2021

Formal Verification of Cloud and Fog Systems: A Review and Research Challenges.
J. Univers. Comput. Sci., 2021

From generating process views over inter-organizational business processes to achieving their temporal consistency.
Computing, 2021

Towards a Blockchain-based approach to fight drugs counterfeit.
Proceedings of the Tunisian-Algerian Joint Conference on Applied Computing (TACC 2021), 2021

A Data-based Guiding Framework for Digital Transformation.
Proceedings of the Tunisian-Algerian Joint Conference on Applied Computing (TACC 2021), 2021

TUNisia-Italy Cross-Border Environment Net platform for emergency response (NETTUNIT): project presentation and early results.
Proceedings of the Tunisian-Algerian Joint Conference on Applied Computing (TACC 2021), 2021

Temporal Constraints in Smart Contract-Based Process Execution: A Case Study of Organ Transfer by Healthcare Delivery Drone.
Proceedings of the Tunisian-Algerian Joint Conference on Applied Computing (TACC 2021), 2021

A Machine Learning Approach for Gas Price Prediction in Ethereum Blockchain.
Proceedings of the IEEE 45th Annual Computers, Software, and Applications Conference, 2021

2020
A comprehensive survey on modeling of cyber-physical systems.
Concurr. Comput. Pract. Exp., 2020

Business process specification, verification, and deployment in a mono-cloud, multi-edge context.
Comput. Sci. Inf. Syst., 2020

How blockchain helps to combat trust crisis in COVID-19 pandemic?: poster abstract.
Proceedings of the SenSys '20: The 18th ACM Conference on Embedded Networked Sensor Systems, 2020

2019
Modelling and verifying time-aware processes for cyber-physical environments.
IET Softw., 2019

Optimizing the Performance of Timed-Constrained Business Processes in Cloud-Fog Environment.
Proceedings of the New Trends in Model and Data Engineering, 2019

Towards a Resource-aware Thing Composition Approach.
Proceedings of the 17th International Conference on High Performance Computing & Simulation, 2019

Modelling and Executing Time-Aware Processes in Trustless Blockchain Environment.
Proceedings of the Risks and Security of Internet and Systems, 2019

2018
Formal Specification and Verification of Cloud Resource Allocation Using Timed Petri-Nets.
Proceedings of the New Trends in Model and Data Engineering, 2018

2015
The temporal perspective in business process modeling: a survey and research challenges.
Serv. Oriented Comput. Appl., 2015

2014
Toward a Verification of Time-Centric Business Process Models.
Proceedings of the 2014 IEEE 23rd International WETICE Conference, 2014

On Enabling Time-Aware Consistency of Collaborative Cross-Organisational Business Processes.
Proceedings of the Service-Oriented Computing - 12th International Conference, 2014

Enhancing Formal Specification and Verification of Temporal Constraints in Business Processes.
Proceedings of the IEEE International Conference on Services Computing, SCC 2014, Anchorage, AK, USA, June 27, 2014

2013
Toward a Time-centric modeling of Business Processes in BPMN 2.0.
Proceedings of the 15th International Conference on Information Integration and Web-based Applications & Services, 2013

A Survey on Time-aware Business Process Modeling.
Proceedings of the ICEIS 2013, 2013

Time-Aware Automatic Process View Generation.
Proceedings of the IEEE 10th International Conference on e-Business Engineering, 2013

2011
An Efficient Spatial Scalable Video Encoder Based on DWT.
Proceedings of the Signal Processing and Information Technology, 2011

2009
Toward an optimal residual frame coding for DWT based video codec.
Proceedings of the 16th IEEE International Conference on Electronics, 2009


  Loading...