Sahar Smaali

Orcid: 0000-0001-9832-9311

According to our database1, Sahar Smaali authored at least 9 papers between 2014 and 2024.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
DaVe: Data Value Evaluation Framework for Seamless Data Integration.
IEEE Access, 2024

2022
A Fault Tolerance and Recovery Formal Model for IoT Systems.
Int. J. Organ. Collect. Intell., 2022

Towards a BRS-based Model for IoT Hybrid Fault Tolerance.
Proceedings of the International Conference on Advanced Aspects of Software Engineering, 2022

2021
Towards a Metamodeling approach For IoT based System of Systems.
Proceedings of the Tunisian-Algerian Joint Conference on Applied Computing (TACC 2021), 2021

2019
A formal framework-based K-Maude for modelling scalable software architectures.
Int. J. Comput. Aided Eng. Technol., 2019

2015
K-based definition of Real Time Distributed Systems: from a meta-model to maude modules.
Proceedings of the International Conference on Protocol Engineering, 2015

2014
K-Maude Definition of Dynamic Software Architecture.
Proceedings of the 1st International Conference on Advanced Aspects of Software Engineering, 2014

Towards a meta-model for dynamic applications.
Proceedings of the CBSE'14, Proceedings of the 17th International ACM SIGSOFT Symposium on Component-Based Software Engineering (part of CompArch 2014), Marcq-en-Baroeul, Lille, France, June 30, 2014

A K-based language for Design Patterns.
Proceedings of the 11th IEEE/ACS International Conference on Computer Systems and Applications, 2014


  Loading...