12 Mar 2026
A model-based approach for guided parameter exploration in machine learning classifiersPublisher siteKnowledge and Information Systems, Machine Learning and Data Classification
Active, last published 2026
In embedded systems design techniques
Imene Ben
Hafaiedh
Scholar“Research focused on Embedded Systems Design Techniques and adjacent fields.”
University of Tunis El Manar
Tunisia
Claim Your ProfileTunisia5
H-index
97
Citations
Imene has not officially claimed their profile. If you are Imene, claim it free.
Claim Your Profile
Pioneer
LOCKED
Pathfinder
LOCKED
Scholar
EARNED
Innovator
LOCKED
Inventor
LOCKED
Catalyst
LOCKED
Expert
UPGRADE
01 · About the work
What I study
mene Ben Hafaiedh is a researcher working on Embedded Systems Design Techniques. A fuller summary will appear once they update their profile.
02 · Reach
Publication output and reach
Imene's work has been cited 97 times across 4 active years. Bars show publications per year; the line shows cumulative citation totals across publications first appearing in each year.
03 · Research focus
Topics
Embedded Systems Design Techniques×8Formal Methods in Verification×6Distributed systems and fault tolerance×6Cloud Computing and Resource Management×5Software System Performance and Reliability×5
04 · Where I am
Affiliations
Affiliation on published researchTunis El Manar University, TunisiaDrawn from the institution listed on this researcher’s published work.
Research themes (UN SDGs)
05 · Selected work
Recent publications
8 works1 Jan 2026
How Can We Effectively Identify Optimal Hyperparameters to Improve Model Reliability in Medical Applications?Publisher site1 Jan 2026Open access
Don’t Compose Blindly: Adaptive GNNs for Opacity Verification in Modular Discrete-Event SystemsPublisher site1 Jan 20251cites
A High Parallelization Method for Automated Formal Verification of Deep Neural NetworksPublisher siteLecture notes in computer science, Adversarial Robustness in Machine Learning
22 Oct 20241cites
Model-Based SVM Parameter Selection Approach for Multi-View Fall DetectionPublisher site10 Jul 20243cites
A model-based approach for formal verification and performance evaluation of energy harvesting architectures in IoT systems: A case study of a long-term healthcare applicationPublisher siteSimulation Modelling Practice and Theory, Energy Harvesting in Wireless Networks
20 Jun 20242cites
A formal model-based approach to design failure-aware Internet of Things architecturesPublisher siteJournal of Reliable Intelligent Environments, Software System Performance and Reliability
18 Dec 2023
On Language-Based Opacity Verification Problem in Discrete Event Systems Under Orwellian ObservationPublisher siteLecture notes in computer science, Petri Nets in System Modeling
Expert Academic Profiles go further
Citation trend analytics, exportable publication records, and direct enquiry routing from industry and funders.
Are you Imene?
Claim it to verify your details, connect with industry partners, and explore Fractional Domain Expert opportunities through MARATTO™.
African researchers are full of potential that too often goes unrecognised. Your MARATTO™ profile gives your work the commercial pathway it deserves.
Claim Your Profile
Free to claim · takes a minute to verify it’s you