Aadithya V. Karthik

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