Rania Taleb

According to our database, Rania Taleb authored at least 5 papers between 2018 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2023

Uncertainty in runtime verification: A survey.

Rania Taleb, Sylvain Hallé, Raphaël Khoury

Comput. Sci. Rev., November, 2023

A modular pipeline for enforcement of security properties at runtime.

Rania Taleb, Sylvain Hallé, Raphaël Khoury

Ann. des Télécommunications, August, 2023

2021

Runtime Verification Under Access Restrictions.

Rania Taleb, Raphaël Khoury, Sylvain Hallé

Proceedings of the 9th IEEE/ACM International Conference on Formal Methods in Software Engineering, 2021

A Modular Runtime Enforcement Model Using Multi-traces.

Rania Taleb, Sylvain Hallé, Raphaël Khoury

Proceedings of the Foundations and Practice of Security - 14th International Symposium, 2021

2018

Categorization of the Context Within the Medical Domain.

Hicham Ajami, Hamid Mcheick, Lokman Saleh, Rania Taleb

Proceedings of the Smart Homes and Health Telematics, Designing a Better Future: Urban Assisted Living, 2018