Aadithya V. Karthik

Publication Activity (10 Years)

Years Active: 2010-2015
Publications (10 Years): 0

Top Topics

Dynamical Systems

Extended Abstract

Network Centrality

Top Venues

Publications

Aadithya V. Karthik, Sayak Ray, Jaijeet Roychowdhury
BEE: Predicting realistic worst case and stochastic eye diagrams by accounting for correlated bitstreams and coding strategies. ASP-DAC (2015)
Tianshi Wang, Aadithya V. Karthik, Bichen Wu, Jian Yao, Jaijeet Roychowdhury
MAPP: The Berkeley Model and Algorithm Prototyping Platform. CICC (2015)
Tianshi Wang, Aadithya V. Karthik, Bichen Wu, Jaijeet Roychowdhury
Poster: MAPP: The Berkeley Model and Algorithm Prototyping Platform. ICSE (2) (2015)
Tomasz Pawel Michalak, Aadithya V. Karthik, Piotr L. Szczepanski, Balaraman Ravindran, Nicholas R. Jennings
Efficient Computation of the Shapley Value for Game-Theoretic Network Centrality. CoRR (2014)
Aadithya V. Karthik, David Soloveichik, Sayak Ray, Baruch Sterin, Alan Mishchenko, Robert K. Brayton, Jaijeet Roychowdhury
NINJA: boolean modelling and formal verification of tiered-rate chemical reaction networks (extended abstract). BCB (2014)
Aadithya V. Karthik, Sayak Ray, Pierluigi Nuzzo, Alan Mishchenko, Robert K. Brayton, Jaijeet Roychowdhury
ABCD-NL: Approximating Continuous non-linear dynamical systems using purely Boolean models for analog/mixed-signal verification. ASP-DAC (2014)
Aadithya V. Karthik, Alper Demir, Sriramkumar Venugopalan, Jaijeet S. Roychowdhury
Accurate Prediction of Random Telegraph Noise Effects in SRAMs and DRAMs. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 32 (1) (2013)
Aadithya V. Karthik, Jaijeet S. Roychowdhury
ABCD-L: approximating continuous linear systems using boolean models. DAC (2013)
Tomasz P. Michalak, Aadithya V. Karthik, Piotr L. Szczepanski, Balaraman Ravindran, Nicholas R. Jennings
Efficient Computation of the Shapley Value for Game-Theoretic Network Centrality. J. Artif. Intell. Res. 46 (2013)
Aadithya V. Karthik, Yingyan Lin, Chenjie Gu, Aolin Xu, Jaijeet S. Roychowdhury, Naresh R. Shanbhag
A fully automated technique for constructing FSM abstractions of non-ideal latches in communication systems. ICASSP (2012)
Aadithya V. Karthik, Jaijeet S. Roychowdhury
DAE2FSM: automatic generation of accurate discrete-time logical abstractions for continuous-time circuit dynamics. DAC (2012)
Aadithya V. Karthik, Alper Demir, Sriramkumar Venugopalan, Jaijeet S. Roychowdhury
SAMURAI: An accurate method for modelling and simulating non-stationary Random Telegraph Noise in SRAMs. DATE (2011)
Aadithya V. Karthik, Sriramkumar Venugopalan, Alper Demir, Jaijeet S. Roychowdhury
MUSTARD: a coupled, stochastic/deterministic, discrete/continuous technique for predicting the impact of random telegraph noise on SRAMs and DRAMs. DAC (2011)
Aadithya V. Karthik, Tomasz P. Michalak, Nicholas R. Jennings
Representation of coalitional games with algebraic decision diagrams. AAMAS (2011)
Aadithya V. Karthik, Balaraman Ravindran, Tomasz P. Michalak, Nicholas R. Jennings
Efficient Computation of the Shapley Value for Centrality in Networks. WINE (2010)
Aadithya V. Karthik, Balaraman Ravindran
Game theoretic network centrality: exact formulas and efficient algorithms. AAMAS (2010)