Amira Henaien

According to our database, Amira Henaien authored at least 8 papers between 2012 and 2026.

Collaborative distances:

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

2026

ECLARISS: Security-by-Design Smart-Home Surveillance System with Edge Dynamic Biohashing.

Amira Henaien, Hadda Ben Elhadj, Lamia Chaari Fourati

Proceedings of the 18th International Conference on Agents and Artificial Intelligence, 2026

2024

A sustainable smart IoT-based solid waste management system.

Amira Henaien, Hadda Ben Elhadj, Lamia Chaari Fourati

Future Gener. Comput. Syst., 2024

TinyML enabled smart parking dynamic slots computing and license plate recognition.

Amira Henaien, Hadda Ben Elhadj, Lamia Chaari Fourati

Proceedings of the International Wireless Communications and Mobile Computing, 2024

RFID IoT Architecture for Smart Inventory Management: Security Integration.

Amira Henaien, Hadda Ben Elhadj, Lamia Chaari Fourati

Proceedings of the International Wireless Communications and Mobile Computing, 2024

2021

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

2020

Combined Machine Learning and Semantic Modelling for Situation Awareness and Healthcare Decision Support.

Amira Henaien, Hadda Ben Elhadj, Lamia Chaari Fourati

Proceedings of the Impact of Digital Technologies on Public Health in Developed and Developing Countries, 2020

2015

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

Amira Henaien

PhD thesis, 2015

2012

Performing Implicit Induction Reasoning with Certifying Proof Environments.

Amira Henaien, Sorin Stratulat

Proceedings of the Proceedings Fourth International Symposium on Symbolic Computation in Software Science, 2012