Profile Amira Henaien

User picture

Amira Henaien

  • curriculum vitae
    • 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
    Performing implicit induction reasoning with certifying proof environments
    A Henaien, S Stratulat
    arXiv preprint arXiv:1307.8214, 2013

    		 8 2013
    Certification des preuves par saturation avec la technique de Descente Infinie
    A Henaien
    UPVM-Université Paul Verlaine-Metz, 2010

    		 0 2010
    Internet of Things
    A Henaien


    		0 0
    Project-Team PAREO
    NG Est


    		0 0