| 2015 | ASPDAC | BEE: Predicting realistic worst case and stochastic eye diagrams by accounting for correlated bitstreams and coding strategies. | Aadithya V. Karthik, Sayak Ray, Jaijeet Roychowdhury |
| 2015 | ICSE | Poster: MAPP: The Berkeley Model and Algorithm Prototyping Platform. | Tianshi Wang, Aadithya V. Karthik, Bichen Wu, Jaijeet Roychowdhury |
| 2014 | ASPDAC | ABCD-NL: Approximating Continuous non-linear dynamical systems using purely Boolean models for analog/mixed-signal verification. | Aadithya V. Karthik, Sayak Ray, Pierluigi Nuzzo, Alan Mishchenko, Robert K. Brayton, Jaijeet Roychowdhury |
| 2013 | DAC | ABCD-L: approximating continuous linear systems using boolean models. | Aadithya V. Karthik, Jaijeet S. Roychowdhury |
| 2012 | DAC | DAE2FSM: automatic generation of accurate discrete-time logical abstractions for continuous-time circuit dynamics. | Aadithya V. Karthik, Jaijeet S. Roychowdhury |
| 2012 | ICASSP | A fully automated technique for constructing FSM abstractions of non-ideal latches in communication systems. | Aadithya V. Karthik, Yingyan Lin, Chenjie Gu, Aolin Xu, Jaijeet S. Roychowdhury, Naresh R. Shanbhag |
| 2011 | DAC | MUSTARD: a coupled, stochastic/deterministic, discrete/continuous technique for predicting the impact of random telegraph noise on SRAMs and DRAMs. | Aadithya V. Karthik, Sriramkumar Venugopalan, Alper Demir, Jaijeet S. Roychowdhury |
| 2011 | DATE | SAMURAI: An accurate method for modelling and simulating non-stationary Random Telegraph Noise in SRAMs. | Aadithya V. Karthik, Alper Demir, Sriramkumar Venugopalan, Jaijeet S. Roychowdhury |