Rania Taleb

According to our database, Rania Taleb authored at least 7 papers between 2018 and 2025.

Collaborative distances:

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

2025

Is It Instrumentation? Evaluation of Validity Constraints in Smart Homes.

Rania Taleb, Roger Villemaire, Hubert Kenfack Ngankam, Sébastien Gaboury, Sylvain Hallé

IEEE Internet Things J., August, 2025

Sanity Checks in Smart Home Sensor Streams.

Rania Taleb, Sylvain Hallé, Roger Villemaire, Sébastien Gaboury, Hubert Kenfack Ngankam

Proceedings of the 40th ACM/SIGAPP Symposium on Applied Computing, 2025

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