| 2025 | ATVA | Control Closure Certificates. | Vishnu Murali, Mohammed Adib Oumer, Majid Zamani |
| 2024 | AAAI | Neural Closure Certificates. | Alireza Nadali, Vishnu Murali, Ashutosh Trivedi, Majid Zamani |
| 2024 | RTAS | Decntr: Optimizing Safety and Schedulability with Multi-Mode Control and Resource Allocation Co-Design. | Robert Gifford, Felipe Galarza-Jimenez, Linh Thi Xuan Phan, Majid Zamani |
| 2023 | AAAI | Towards Safe AI: Sandboxing DNNs-Based Controllers in Stochastic Games. | Bingzhuo Zhong, Hongpeng Cao, Majid Zamani, Marco Caccamo |
| 2021 | ISCAS | A Discrete Wavelet Transform-Based Voice Activity Detection and Noise Classification with Sub-Band Selection. | Salinna Abdullah, Majid Zamani, Andreas Demosthenous |
| 2020 | CAV | PIRK: Scalable Interval Reachability Analysis for High-Dimensional Nonlinear Systems. | Alex Devonport, Mahmoud Khaled, Murat Arcak, Majid Zamani |
| 2020 | CAV | AMYTISS: Parallelized Automated Controller Synthesis for Large-Scale Stochastic Systems. | Abolfazl Lavaei, Mahmoud Khaled, Sadegh Soudjani, Majid Zamani |
| 2019 | CAV | Approximate Probabilistic Relations for Compositional Abstractions of Stochastic Systems. | Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani |
| 2019 | TACAS | Synthesis of Symbolic Controllers: A Parallelized and Sparsity-Aware Approach. | Mahmoud Khaled, Eric S. Kim, Murat Arcak, Majid Zamani |
| 2018 | ATVA | Temporal Logic Verification of Stochastic Systems Using Barrier Certificates. | Pushpak Jagtap, Sadegh Soudjani, Majid Zamani |
| 2015 | ISCAS | Power optimization of neural frontend interfaces. | Majid Zamani, Andreas Demosthenous |
| 2014 | RTSS | Battery- and Aging-Aware Embedded Control Systems for Electric Vehicles. | Wanli Chang, Alma Prbstl, Dip Goswami, Majid Zamani, Samarjit Chakraborty |
| 2012 | CAV | Approximately Bisimilar Symbolic Models for Digital Control Systems. | Rupak Majumdar, Majid Zamani |
| 2012 | EMSOFT | Synthesis of minimal-error control software. | Rupak Majumdar, Indranil Saha, Majid Zamani |
| 2011 | EMSOFT | Performance-aware scheduler synthesis for control systems. | Rupak Majumdar, Indranil Saha, Majid Zamani |
| 2011 | ICNC | Performance comparison of artificial intelligence networks in nanoscale MOSFET modeling. | Amir Hossein Abdollahi Nohoji, Fardad Farokhi, Majid Zamani |