| 2025 |
J |
jnl |
CoRR
Zhaoyang Larry Jin, Mehdi Maasoumy, Yimin Liu, Zeshi Zheng, Zizhuo Ren
|
| 2019 |
— |
conf |
ISPD
Mehdi Maasoumy
|
| 2019 |
J |
jnl |
CoRR
Shouvik Mani, Mehdi Maasoumy, Sina Khoshfetrat Pakazad, Henrik Ohlsson
|
| 2017 |
J |
jnl |
CoRR
Vasumathi Raman, Alexandre Donzé, Mehdi Maasoumy, Richard M. Murray, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
|
| 2017 |
— |
conf |
CASE
Baihong Jin, Mehdi Maasoumy, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli
|
| 2016 |
J |
jnl |
CoRR
Sarmad Hanif, Dante F. Recalde Melo, Mehdi Maasoumy, Tobias Massier, Thomas Hamacher, Thomas Reindl
|
| 2016 |
J |
jnl |
Found. Trends Electron. Des. Autom.
Mehdi Maasoumy, Alberto L. Sangiovanni-Vincentelli
|
| 2015 |
— |
conf |
BuildSys
Baihong Jin, Pierluigi Nuzzo, Mehdi Maasoumy, Yuxun Zhou, Alberto L. Sangiovanni-Vincentelli
|
| 2015 |
A |
conf |
ICCAD
Mehdi Maasoumy, Alberto L. Sangiovanni-Vincentelli
|
| 2015 |
C |
conf |
ACC
Meysam Razmara, Mehdi Maasoumy, Mahdi Shahbakhti, Rush D. Robinett III
|
| 2015 |
C |
conf |
ACC
Behrooz Shahsavari, Mehdi Maasoumy, Alberto L. Sangiovanni-Vincentelli, Roberto Horowitz
|
| 2014 |
A* |
conf |
DAC
Tianshu Wei, Taeyoung Kim, Sangyoung Park, Qi Zhu, Sheldon X.-D. Tan, Naehyuck Chang, Sadrul Ula, Mehdi Maasoumy
|
| 2014 |
A |
conf |
ICCAD
Tianshu Wei, Qi Zhu, Mehdi Maasoumy
|
| 2014 |
— |
conf |
BuildSys
Baris Aksanli, Alper Sinan Akyurek, Madhur Behl, Meghan Clark, Alexandre Donzé, Prabal Dutta, Patrick Lazik, Mehdi Maasoumy, Rahul Mangharam, Truong X. Nghiem, Vasumathi Raman, Anthony Rowe, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, Tajana Simunic Rosing, Jagannathan Venkatesh
|
| 2014 |
C |
conf |
ACC
Mehdi Maasoumy, Borhan Molazem Sanandaji, Alberto L. Sangiovanni-Vincentelli, Kameshwar Poolla
|
| 2014 |
C |
conf |
ACC
Mehdi Maasoumy, Catherine Rosenberg, Alberto L. Sangiovanni-Vincentelli, Duncan S. Callaway
|
| 2014 |
— |
conf |
CyPhy
Vasumathi Raman, Mehdi Maasoumy, Alexandre Donzé
|
| 2014 |
— |
conf |
CDC
Vasumathi Raman, Alexandre Donzé, Mehdi Maasoumy, Richard M. Murray, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
|
| 2014 |
C |
conf |
ACC
Mehdi Maasoumy, Meysam Razmara, Mahdi Shahbakhti, Alberto L. Sangiovanni-Vincentelli
|
| 2013 |
— |
conf |
ICCPS
Mehdi Maasoumy, Qi Zhu, Cheng Li, Forrest Meggers, Alberto L. Sangiovanni-Vincentelli
|
| 2013 |
J |
jnl |
CoRR
Mehdi Maasoumy, Jorge Ortiz, David E. Culler, Alberto L. Sangiovanni-Vincentelli
|
| 2013 |
— |
conf |
CDC
Mehdi Maasoumy, Pierluigi Nuzzo, Forrest N. Iandola, Maryam Kamgarpour, Alberto L. Sangiovanni-Vincentelli, Claire J. Tomlin
|
| 2012 |
J |
jnl |
IEEE Des. Test Comput.
Yang Yang, Qi Zhu, Mehdi Maasoumy, Alberto L. Sangiovanni-Vincentelli
|
| 2012 |
J |
jnl |
IEEE Des. Test Comput.
Mehdi Maasoumy, Alberto L. Sangiovanni-Vincentelli
|