Publications

Group highlights

TinyFoA: Memory Efficient Forward-Only Algorithm for On-Device Learning

In this paper, we propose a memory-efficient forward-only algorithm called TinyFoA, to reduce dynamic memory overhead in the training process. Our TinyFoA optimizes the memory efficiency not only by layer-wise training but also by partially updating each layer, as well as by binarizing the weights and the activations.

AAAI Conference on Artificial Intelligence (AAAI) (2025)

EEG Glasses for Real-Time Brain Electrical Activity Monitoring

In this work, we present e-Glass, a state-of-the-art smart wearable device that enables unobtrusive real-time electroencephalography (EEG) monitoring. Moreover, we present a lightweight edge-ML scheme tailored for e-Glass, which has limited resources (compute, memory, and energy).

Scientific Reports (2025)

VNN: Verification-Friendly Neural Networks with Hard Robustness Guarantees

In this paper, we introduce a post-training framework to create Verification-Friendly Neural Networks (VNNs) that are easier for formal verification tools to analyze, allowing for provable robustness guarantees, while maintaining accuracy comparable to standard Deep Neural Networks (DNNs).

International Conference on Machine Learning (ICML) (2024)

Privacy-Preserving Edge Federated Learning for Intelligent Mobile-Health Systems

In this work, we propose a privacy-preserving edge federated learning framework for resource-constrained mobile-health over the Internet of Things (IoT) infrastructure. Our framework guarantees that the partial contribution of each patient during the learning process remains private, by adopting Secure Multiparty Computation (SMC) techniques.

Future Generation Computer Systems (2024)

 

Patents

Amir AMINIFAR, Dionisije SOPIC, David ATIENZA, Renato ZANETTI, Wearable System for Real-Time Detection of Epileptic Seizures, EP3755219B1 and US12419566B2, 2025.

Full List of Publications

  • Federated Learning for Obstacle Detection to Assist the Visually-Impaired Using Augmented Reality
    Akbarian, Fatemeh and Vlaeminck, Robbe and Verheijen, Joran and Aminifar, Amin and Aminifar, Amir
    Digital Systems Design (DSD), 2025.
  • BEFT: Bias-Efficient Fine-Tuning of Language Models
    Huang, Baichuan and Balashankar, Ananth and Aminifar, Amir
    arXiv preprint arXiv:2509.15974, 2025.
  • Integrating smooth motion assumptions with RANSAC-based sound source localization
    Gulin, Jens and Åström, Kalle and Aminifar, Amir
    33rd European Signal Processing Conference (EUSIPCO 2025), 2025.
  • IPFL: Interpretable Federated Learning for Personalized Healthcare
    Nijdam, Arthur A and Aminifar, Amir
    IEEE Access, 2025.
  • Robustness and Privacy Interplay in Patient Membership Inference
    Baninajjar, Anahita and Aminifar, Amin and Hosseini, Kamran and Aminifar, Amir and Rezine, Ahmed
    International Joint Conference on Neural Networks (IJCNN), 2025.
  • Towards Sustainable DevOps for Cyber Physical Systems
    Palesetti, Pushpa Priyanka and Engström, Emelie and Söderberg, Emma and Jasim, Al-Hussein Hameed and Bexell, Andreas and Korkakakis, Nikolaos and Aminifar, Amir and Lagerstedt, Robert and Olsson, Pontus and Sigurdson, Per and others
    Proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering, 2025.
  • Identification of Relevant ECG Features for Epileptic Seizure Prediction Using Interpretable Machine Learning
    Abtahi, Azra and Ryvlin, Philippe and Aminifar, Amir
    IEEE Access, 2025.
  • Efficient On-Device Machine Learning with a Biologically-Plausible Forward-Only Algorithm
    Huang, Baichuan and Aminifar, Amir
    Annual Conference on Machine Learning and Systems (MLSys), 2025.
  • Membership Inference Attack in Random Forests
    Akbarian, Fatemeh and Aminifar, Amir
    European Symposium on Artificial Neural Networks, 2025.
  • Binary Forward-Only Algorithms
    Huang, Baichuan and Aminifar, Amir
    IEEE Design & Test, 2025.
  • EEG Glasses for Real-Time Brain Electrical Activity Monitoring
    Zanetti, Renato and Aminifar, Amir and Atienza, David
    Scientific Reports, 2025.
  • Formal Local Implication Between Two Neural Networks
    Baninajjar, Anahita and Rezine, Ahmed and Aminifar, Amir
    European Conference on Artificial Intelligence (ECAI), 2025.
  • TinyFoA: Memory Efficient Forward-Only Algorithm for On-Device Learning
    Huang, Baichuan and Aminifar, Amir
    AAAI Conference on Artificial Intelligence (AAAI), 2025.
  • Interpretable Machine Learning for Predicting the Fate and Transport of Pentachlorophenol in Groundwater
    Rad, Mehran and Abtahi, Azra and Berndtsson, Ronny and McKnight, Ursula S and Aminifar, Amir
    Environmental Pollution, 2024.
  • LightFF: Lightweight inference for forward-forward algorithm
    Aminifar, Amin and Huang, Baichuan and Abtahi, Azra and Aminifar, Amir
    European Conference on Artificial Intelligence (ECAI), 2024.
  • Privacy-Preserving Federated Interpretability
    Abtahi, Azra and Aminifar, Amin and Aminifar, Amir
    2024 IEEE International Conference on Big Data (BigData), 2024.
  • MetaWearS: A Shortcut in Wearable Systems Lifecycle with Only a Few Shots
    Amirshahi, Alireza and Toosi, Maedeh H and Mohammadi, Siamak and Albini, Stefano and Schiavone, Pasquale Davide and Ansaloni, Giovanni and Aminifar, Amir and Atienza, David
    arXiv preprint arXiv:2408.01988, 2024.
  • Energy-Aware Integrated Neural Architecture Search and Partitioning for Distributed Internet of Things (IoT)
    Huang, Baichuan and Abtahi, Azra and Aminifar, Amir
    IEEE Transactions on Circuits and Systems for Artificial Intelligence, 2024.
  • Privacy-Preserving Edge Federated Learning for Intelligent Mobile-Health Systems
    Aminifar, Amin and Shokri, Matin and Aminifar, Amir
    Future Generation Computer Systems, 2024.
  • M2SKD: Multi-to-Single Knowledge Distillation of Real-Time Epileptic Seizure Detection for Low-Power Wearable Systems
    Baghersalimi, Saleh and Amirshahi, Alireza and Forooghifar, Farnaz and Teijeiro, Tomas and AMINIFAR, AMIR and Atienza Alonso, David
    ACM Transactions on Intelligent Systems and Technology, 2024.
  • VNN: Verification-Friendly Neural Networks with Hard Robustness Guarantees
    Baninajjar, Anahita and Rezine, Ahmed and Aminifar, Amir
    International Conference on Machine Learning (ICML), 2024.
  • FETCH: A Fast and Efficient Technique for Channel Selection in EEG Wearable Systems
    Amirshahi, Alireza and Dan, Jonathan and Miranda, José and Aminifar, Amir and Atienza, David
    Conference on Health, Inference, and Learning (CHIL), Proceedings of Machine Learning Research, 2024.
  • DP-ACT: Decentralized Privacy-Preserving Asymmetric Digital Contact Tracing
    Abtahi, Azra and Payer, Mathias and Aminifar, Amir
    Proceedings on Privacy Enhancing Technologies, 2024.
  • Decentralized Federated Learning for Epileptic Seizures Detection in Low-Power Wearable Systems
    Baghersalimi, Saleh and Amirshahi, Alireza and Teijeiro, Tomas and Aminifar, Amir and Atienza Alonso, David
    IEEE Transactions on Mobile Computing, 2024.
  • Layer-Wise Learning Framework for Efficient DNN Deployment in Biomedical Wearable Systems
    Baghersalimi, Saleh and Amirshahi, Alireza and Teijeiro, Tomas and Aminifar, Amir and Atienza Alonso, David
    IEEE International Conference on Body Sensor Networks: Sensors and Systems for Digital Health (BSN), 2023.
  • Personalized Seizure Detection Using Spiking Neural Networks
    Erickson, Xavante and Bastani, Saeed and Aminifar, Amir
    2023 IEEE International Conference on Omni-layer Intelligent Systems (COINS), 2023.
  • EpilepsyNet: Interpretable Self-Supervised Seizure Detection for Low-Power Wearable Systems
    Huang, Baichuan and Zanetti, Renato and Abtahi, Arza and Atienza, David and Aminifar, Amir
    IEEE International Conference on Artificial Intelligence Circuits and Systems (AICAS 2023), 2023.
  • SafeDeep: A Scalable Robustness Verification Framework for Deep Neural Networks
    Baninajjar, Anahita and Hosseini, Kamran and Rezine, Ahmed and Aminifar, Amir
    ICASSP 2023-2023 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), 2023.
  • Lightweight machine learning for seizure detection on wearable devices
    Huang, Baichuan and Abtahi, Azra and Aminifar, Amir
    ICASSP 2023-2023 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), 2023.
  • Personalized seizure signature: An interpretable approach to false alarm reduction for long-term epileptic seizure detection
    Sopic, Dionisije and Teijeiro, Tomas and Atienza, David and Aminifar, Amir and Ryvlin, Philippe
    Epilepsia, 2023.
  • DynSus: Dynamic sustainability assessment in groundwater remediation practice
    Naseri-Rad, Mehran and Berndtsson, Ronny and Aminifar, Amir and McKnight, Ursula S and O'Connor, David and Persson, Kenneth M
    Science of The Total Environment, 2022.
  • M2D2: Maximum-Mean-Discrepancy Decoder for Temporal Localization of Epileptic Brain Activities
    Amirshahi, Alireza and Thomas, Anthony and Aminifar, Amir and Rosing, Tajana and Atienza, David
    IEEE Journal of Biomedical and Health Informatics, 2022.
  • Intelligent edge biomedical sensors in the internet of things (IoT) era
    De Giovanni, Elisabetta and Forooghifar, Farnaz and Surrel, Gregoire and Teijeiro, Tomas and Peon, Miguel and Aminifar, Amir and Atienza Alonso, David
    Emerging Computing: From Devices to Systems: Looking Beyond Moore and Von Neumann, 2022.
  • Personalized real-time federated learning for epileptic seizure detection
    Baghersalimi, Saleh and Teijeiro, Tomas and Atienza, David and Aminifar, Amir
    IEEE journal of biomedical and health informatics, 2022.
  • A self-aware epilepsy monitoring system for real-time epileptic seizure detection
    Forooghifar, Farnaz and Aminifar, Amir and Cammoun, Leila and Wisniewski, Ilona and Ciumas, Carolina and Ryvlin, Philippe and Atienza, David
    Mobile Networks and Applications, 2022.
  • Secure cloud control using verifiable computation
    Mahfouzi, Rouhollah and Aminifar, Amir and Samii, Soheil and Eles, Petru and Peng, Zebo
    2021 IEEE International Conference on Omni-Layer Intelligent Systems (COINS), 2021.
  • Real-time EEG-based cognitive workload monitoring on wearable devices
    Zanetti, Renato and Arza, Adriana and Aminifar, Amir and Atienza, David
    IEEE transactions on biomedical engineering, 2021.
  • Self-aware anomaly-detection for epilepsy monitoring on low-power wearable electrocardiographic devices
    Forooghifar, Farnaz and Aminifar, Amin and Teijeiro, Tomas and Aminifar, Amir and Jeppesen, Jesper and Beniczky, Sandor and Atienza, David
    2021 IEEE 3rd International Conference on Artificial Intelligence Circuits and Systems (AICAS), 2021.
  • EpilepsyGAN: Synthetic Epileptic Brain Activities with Privacy Preservation
    Pascual, Damian and Amirshahi, Alireza and Aminifar, Amir and Atienza, David and Ryvlin, Philippe and Wattenhofer, Roger
    IEEE Transactions on Biomedical Engineering (TBME), 2020.
  • Real-time personalized atrial fibrillation prediction on multi-core wearable sensors
    De Giovanni, Elisabetta and Valdes, Adriana Arza and Peon-Quiros, Miguel and Aminifar, Amir and Atienza, David
    IEEE Transactions on Emerging Topics in Computing, 2020.
  • Universal Adversarial Perturbations in Epileptic Seizure Detection
    Aminifar, Amir
    IEEE International Joint Conference on Neural Networks (IJCNN), 2020.
  • Minimal Adversarial Perturbations in Mobile Health Applications: The Epileptic Brain Activity Case Study
    Aminifar, Amir
    IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), 2020.
  • Robust epileptic seizure detection on wearable systems with reduced false-alarm rate
    Zanetti, Renato and Aminifar, Amir and Atienza, David
    2020 42nd annual international conference of the IEEE engineering in medicine & biology society (EMBC), 2020.
  • Noise-Resilient and Interpretable Epileptic Seizure Detection
    Thomas, Anthony Hitchcock and Aminifar, Amir and Atienza, David
    IEEE International Symposium on Circuits and Systems (ISCAS), 2020.
  • Self-aware machine learning for multimodal workload monitoring during manual labor on edge wearable sensors
    Masinelli, Giulio and Forooghifar, Farnaz and Arza, Adriana and Atienza, David and Aminifar, Amir
    IEEE Design & Test, 2020.
  • Breaking silos to guarantee control stability with communication over ethernet TSN
    Mahfouzi, Rouhollah and Aminifar, Amir and Samii, Soheil and Rezine, Ahmed and Eles, Petru and Peng, Zebo
    IEEE Design & Test, 2020.
  • Multi-modal acute stress recognition using off-the-shelf wearable devices
    Montesinos, Victoriano and Dell’Agnola, Fabio and Arza, Adriana and Aminifar, Amir and Atienza, David
    2019 41st Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC), 2019.
  • Security-aware routing and scheduling for control applications on Ethernet TSN networks
    Mahfouzi, Rouhollah and Aminifar, Amir and Samii, Soheil and Eles, Petru and Peng, Zebo
    ACM Transactions on Design Automation of Electronic Systems (TODAES), 2019.
  • Event-triggered sensing for high-quality and low-power cardiovascular monitoring systems
    Surrel, Grégoire and Teijeiro, Tomás and Aminifar, Amir and Atienza, David and Chevrier, Matthieu
    IEEE Design & Test, 2019.
  • Resource-aware distributed epilepsy monitoring using self-awareness from edge to cloud
    Forooghifar, Farnaz and Aminifar, Amir and Atienza, David
    IEEE transactions on biomedical circuits and systems, 2019.
  • Butterfly Attack: Adversarial Manipulation of Temporal Properties of Cyber-Physical Systems
    Mahfouzi, Rouhollah and Aminifar, Amir and Samii, Soheil and Payer, Mathias and Eles, Petru and Peng, Zebo
    Real-time systems symptom (RTSS), 2019.
  • Synthetic Epileptic Brain Activities Using Generative Adversarial Networks
    Pascual, Damian and Aminifar, Amir and Atienza, David and Ryvlin, Philippe and Wattenhofer, Roger
    Machine Learning for Health (ML4H) at Conference on Neural Information Processing Systems (NeurIPS), 2019.
  • A self-learning methodology for epileptic seizure detection with minimally-supervised edge labeling
    Pascual, Damián and Aminifar, Amir and Atienza, David
    2019 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2019.
  • Tailoring SVM Inference for Resource-Efficient ECG-Based Epilepsy Monitors
    Ferretti, Lorenzo and Ansaloni, Giovanni and Pozzi, Laura and Aminifar, Amir and Atienza, David and Cammoun, Leila and Ryvlin, Philippe
    Design, Automation & Test in Europe, 2019.
  • Real-time event-driven classification technique for early detection and prevention of myocardial infarction on wearable systems
    Sopic, Dionisije and Aminifar, Amin and Aminifar, Amir and Atienza, David
    IEEE transactions on biomedical circuits and systems, 2018.
  • Self-Aware Wearable Systems in Epileptic Seizure Detection
    Forooghifar, Farnaz and Aminifar, Amir and Atienza, David
    Advanced Systems for Health, Wellness and Personal Assistance, Euromicro Conference on Digital System Design (DSD), 2018.
  • e-Glass: A Wearable System for Real-Time Detection of Epileptic Seizures
    Sopic, Dionisije and Aminifar, Amir and Atienza, David
    Advances in Sensing and Embedded Computing for Personalised Wireless Healthcare Systems, IEEE International Symposium on Circuits and Systems (ISCAS), 2018.
  • Online Obstructive Sleep Apnea Detection on Medical Wearable Sensors
    Surrel, Grégoire and Aminifar, Amir and Rincon, Francisco and Murali, Srinivasan and Atienza, David
    IEEE Transactions on Biomedical Circuits and Systems (TBioCAS), 2018.
  • Stability-Aware Integrated Routing and Scheduling for Control Applications in Ethernet Networks
    Mahfouzi, R and Aminifar, A and Samii, S and Rezine, A and Eles, P and Peng, Z
    Proceedings of the conference on Design, Automation & Test in Europe (DATE), 2018.
  • Optimization of Message Encryption for Real-Time Applications in Embedded Systems
    Aminifar, Amir and Eles, Petru and Peng, Zebo
    IEEE Transactions on Computers, 2018.
  • Real-time classification technique for early detection and prevention of myocardial infarction on wearable devices
    Sopic, Dionisije and Aminifar, Amin and Aminifar, Amir and Atienza, David
    2017 IEEE Biomedical Circuits and Systems Conference (BioCAS), 2017.
  • Hierarchical Cardiac-Rhythm Classification Based on Electrocardiogram Morphology
    Sopic, Dionisije and De Giovanni, Elisabetta and Aminifar, Amir and Atienza, David
    Computing in Cardiology (CinC), 2017.
  • Control-Quality Driven Design of Embedded Control Systems with Stability Guarantees
    Aminifar, Amir and Eles, Petru and Peng, Zebo and Cervin, Anton and Årzén, Karl-Erik
    IEEE Design & Test Magazine, 2017.
  • A Patient-Specific Methodology for Prediction of Paroxysmal Atrial Fibrillation Onset
    De Giovanni, Elisabetta and Aminifar, Amir and Luca, Adrian and Yazdani, Sasan and Vesin, Jean-Marc and Atienza, David
    Computing in Cardiology (CinC), 2017.
  • Anomalies in Scheduling Control Applications and Design Complexity
    Aminifar, Amir and Bini, Enrico
    Design, Automation & Test in Europe Conference & Exhibition (DATE), 2017.
  • Intrusion-damage assessment and mitigation in cyber-physical systems for control applications
    Mahfouzi, Rouhollah and Aminifar, Amir and Eles, Petru and Peng, Zebo and Villani, Mattias
    Proceedings of the 24th International Conference on Real-Time Networks and Systems, 2016.
  • Self-Triggered Controllers and Hard Real-Time Guarantees
    Aminifar, Amir and Tabuada, Paulo and Eles, Petru and Peng, Zebo
    Design, Automation & Test in Europe (DATE),, 2016.
  • Jfair: A scheduling algorithm to stabilize control applications
    Aminifar, Amir and Eles, Petru and Peng, Zebo
    21st IEEE Real-Time and Embedded Technology and Applications Symposium, 2015.
  • Schedulability analysis of Ethernet AVB switches
    Bordoloi, Unmesh D and Aminifar, Amir and Eles, Petru and Peng, Zebo
    2014 IEEE 20th International Conference on Embedded and Real-Time Computing Systems and Applications, 2014.
  • Bandwidth-efficient controller-server co-design with stability guarantees
    Aminifar, Amir and Bini, Enrico and Eles, Petru and Peng, Zebo
    Proceedings of the conference on Design, Automation & Test in Europe, 2014.
  • Stability-aware analysis and design of embedded control systems
    Aminifar, Amir and Eles, Petru and Peng, Zebo and Cervin, Anton
    2013 Proceedings of the International Conference on Embedded Software (EMSOFT), 2013.
  • Control-quality driven design of cyber-physical systems with robustness guarantees
    Aminifar, Amir and Eles, Petru and Peng, Zebo and Cervin, Anton
    2013 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2013.
  • Designing bandwidth-efficient stabilizing control servers
    Aminifar, Amir and Bini, Enrico and Eles, Petru and Peng, Zebo
    2013 IEEE 34th Real-Time Systems Symposium, 2013.
  • Designing high-quality embedded control systems with guaranteed stability
    Aminifar, Amir and Samii, Soheil and Eles, Petru and Peng, Zebo and Cervin, Anton
    2012 IEEE 33rd Real-Time Systems Symposium, 2012.
  • Control-quality driven task mapping for distributed embedded control systems
    Aminifar, Amir and Samii, Soheil and Eles, Petru and Peng, Zebo
    2011 IEEE 17th International Conference on Embedded and Real-Time Computing Systems and Applications, 2011.