Darine Rammal

Orcid: 0000-0001-6863-0656

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

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2025
Runtime Verification of Interactions Using Automata.
CoRR, November, 2025

Towards Bridging Industrial Ethernet Networks: Protocol Translation and Runtime Verification.
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).
PhD thesis, 2024

2023
Synchronous cooperative threading model in MSSL.
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.
Proceedings of the 3rd Cyber Security in Networking Conference, 2019


  Loading...