Categorization of the Context Within the Medical Domain. - Hicham Ajami; Hamid Mcheick; Lokman Saleh; Rania Taleb (ICOST, 2018)

A Modular Runtime Enforcement Model Using Multi-traces. - Rania Taleb; Sylvain Hallé; Raphaël Khoury (FPS, 2021)

Runtime Verification Under Access Restrictions. - Rania Taleb; Raphaël Khoury; Sylvain Hallé (FormaliSE@ICSE, 2021)

A modular pipeline for enforcement of security properties at runtime. - Rania Taleb; Sylvain Hallé; Raphaël Khoury (Ann. des Télécommunications, 2023)

Uncertainty in runtime verification: A survey. - Rania Taleb; Sylvain Hallé; Raphaël Khoury (Comput. Sci. Rev., 2023)

Sanity Checks in Smart Home Sensor Streams. - Rania Taleb; Sylvain Hallé; Roger Villemaire; Sébastien Gaboury; Hubert Kenfack Ngankam (SAC, 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., 2025)