Performing Implicit Induction Reasoning with Certifying Proof Environments. - Amira Henaien; Sorin Stratulat (SCSS, 2012)

Certification des raisonnements formels portant sur des systèmes d'information critiques. (Certifying formal reasoning about critical information systems). - Amira Henaien (2015)

Combined Machine Learning and Semantic Modelling for Situation Awareness and Healthcare Decision Support. - Amira Henaien; Hadda Ben Elhadj; Lamia Chaari Fourati (ICOST, 2020)

Do-Care: A dynamic ontology reasoning based healthcare monitoring system. - Hadda Ben Elhadj; Farag M. Sallabi; Amira Henaien; Lamia Chaari; Khaled Shuaib; Maryam Al Thawadi (Future Gener. Comput. Syst., 2021)

RFID IoT Architecture for Smart Inventory Management: Security Integration. - Amira Henaien; Hadda Ben Elhadj; Lamia Chaari Fourati (IWCMC, 2024)

TinyML enabled smart parking dynamic slots computing and license plate recognition. - Amira Henaien; Hadda Ben Elhadj; Lamia Chaari Fourati (IWCMC, 2024)

A sustainable smart IoT-based solid waste management system. - Amira Henaien; Hadda Ben Elhadj; Lamia Chaari Fourati (Future Gener. Comput. Syst., 2024)