Aadithya V. Karthik

According to our database, Aadithya V. Karthik authored at least 16 papers between 2010 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

Accurate Booleanization of Continuous Dynamics for Analog/Mixed-Signal Design.

Karthik Venkatraman Aadithya

PhD thesis, 2016

2015

Poster: MAPP: The Berkeley Model and Algorithm Prototyping Platform.

Tianshi Wang, Aadithya V. Karthik, Bichen Wu, Jaijeet Roychowdhury

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

MAPP: The Berkeley Model and Algorithm Prototyping Platform.

Tianshi Wang, Aadithya V. Karthik, Bichen Wu, Jian Yao, Jaijeet Roychowdhury

Proceedings of the 2015 IEEE Custom Integrated Circuits Conference, 2015

BEE: Predicting realistic worst case and stochastic eye diagrams by accounting for correlated bitstreams and coding strategies.

Aadithya V. Karthik, Sayak Ray, Jaijeet Roychowdhury

Proceedings of the 20th Asia and South Pacific Design Automation Conference, 2015

2014

NINJA: boolean modelling and formal verification of tiered-rate chemical reaction networks (extended abstract).

Aadithya V. Karthik, David Soloveichik, Sayak Ray, Baruch Sterin, Alan Mishchenko, Robert K. Brayton, Jaijeet Roychowdhury

Proceedings of the 5th ACM Conference on Bioinformatics, 2014

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

Proceedings of the 19th Asia and South Pacific Design Automation Conference, 2014

2013

Accurate Prediction of Random Telegraph Noise Effects in SRAMs and DRAMs.

Aadithya V. Karthik, Alper Demir, Sriramkumar Venugopalan, Jaijeet S. Roychowdhury

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2013

Efficient Computation of the Shapley Value for Game-Theoretic Network Centrality.

Tomasz P. Michalak, Aadithya V. Karthik, Piotr L. Szczepanski, Balaraman Ravindran, Nicholas R. Jennings

J. Artif. Intell. Res., 2013

ABCD-L: approximating continuous linear systems using boolean models.

Aadithya V. Karthik, Jaijeet S. Roychowdhury

Proceedings of the 50th Annual Design Automation Conference 2013, 2013

2012

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

Proceedings of the 2012 IEEE International Conference on Acoustics, 2012

DAE2FSM: automatic generation of accurate discrete-time logical abstractions for continuous-time circuit dynamics.

Aadithya V. Karthik, Jaijeet S. Roychowdhury

Proceedings of the 49th Annual Design Automation Conference 2012, 2012

2011

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

Proceedings of the Design, Automation and Test in Europe, 2011

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

Proceedings of the 48th Design Automation Conference, 2011

Representation of coalitional games with algebraic decision diagrams.

Aadithya V. Karthik, Tomasz P. Michalak, Nicholas R. Jennings

Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), 2011

2010

Efficient Computation of the Shapley Value for Centrality in Networks.

Aadithya V. Karthik, Balaraman Ravindran, Tomasz P. Michalak, Nicholas R. Jennings

Proceedings of the Internet and Network Economics - 6th International Workshop, 2010

Game theoretic network centrality: exact formulas and efficient algorithms.

Aadithya V. Karthik, Balaraman Ravindran

Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), 2010