Darine Rammal

Orcid: 0000-0001-6863-0656

According to our database¹, Darine Rammal authored at least 5 papers between 2019 and 2025.

Collaborative distances:

Dijkstra number² of five.
Erdős number³ of five.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2025

Runtime Verification of Interactions Using Automata.

[BibT_eX]

[DOI]

CoRR, November, 2025

Towards Bridging Industrial Ethernet Networks: Protocol Translation and Runtime Verification.

[BibT_eX]

[DOI]

Proceedings of the 30th IEEE International Conference on Emerging Technologies and Factory Automation, 2025

2024

Memory safety for synchronous reactive programming. (Sécurité de la mémoire pour la programmation réactive synchrone).

[BibT_eX]

[DOI]

Darine Rammal

PhD thesis, 2024

2023

Synchronous cooperative threading model in MSSL.

[BibT_eX]

[DOI]

Darine Rammal

Wadoud Bousdira

Frédéric Dabrowski

Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, 2023

2019

Dynamic security management driven by situations: An exploratory analysis of logs for the identification of security situations.

[BibT_eX]

[DOI]

Proceedings of the 3rd Cyber Security in Networking Conference, 2019

Darine Rammal

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...