Profile Amira Henaien
First Name
Amira
Last Name
Henaien
Address
BP num 6
Zip code
3038
Biography
Amira Henaien is a Researcher Member at the SM@RT Lab (CNRS Digital Research Center, Sfax), specializing in Internet of Things (IoT), Digital Transformation, Machine Learning, and Security. She earned her Ph.D. in Computer Science from the University of Lorraine, France, in 2015. Amira's extensive research focuses on innovative IoT solutions integrated with advanced machine learning, robust security frameworks, and the intersection of formal methods and security. Additionally, she actively develops IoT-related educational software aimed at enhancing learning experiences in computer science education. Her contributions have appeared in top-tier international journals and conferences, addressing IoT-based solid waste management, TinyML-enabled smart parking, RFID security architectures, ontology-based healthcare monitoring, and certified formal reasoning. Amira also serves as a peer reviewer for renowned scientific journals and conferences globally.
Scientific publications
| Title | Cited by | Year |
|---|---|---|
An ontology based authentication framework for healthcare monitoringA Henaien, H BelHadjDigital Health in Focus of Predictive, Preventive and Personalised Medicine …, 2020 |
4 | 2020 |
Certifying formal reasoning about critical information systemsA Henaien< bound method Organization. get_name_with_acronym of< Organization …, 2015 |
0 | 2015 |
Certification des raisonnements formels portant sur des systèmes d'information critiquesA HenaienUniversité de Lorraine, 2015 |
0 | 2015 |
Certification des raisonnements formels portant sur des systèmes d'information critiques.(Certifying formal reasoning about critical information systems).A HenaienUniversity of Lorraine, Nancy, France, 2015 |
0 | 2015 |
Performing implicit induction reasoning with certifying proof environmentsA Henaien, S StratulatarXiv preprint arXiv:1307.8214, 2013 |
8 | 2013 |