Aadithya V. Karthik

发表

Game theoretic network centrality: exact formulas and efficient algorithms

Balaraman Ravindran, Aadithya V. Karthik, 2010, AAMAS.

ABCD-NL: Approximating Continuous non-linear dynamical systems using purely Boolean models for analog/mixed-signal verification

Robert K. Brayton, Sayak Ray, Pierluigi Nuzzo, 2014, 2014 19th Asia and South Pacific Design Automation Conference (ASP-DAC).

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

Nicholas R. Jennings, Tomasz P. Michalak, Balaraman Ravindran, 2014, J. Artif. Intell. Res..

A fully automated technique for constructing FSM abstractions of non-ideal latches in communication systems

Naresh R. Shanbhag, Yingyan Lin, Jaijeet S. Roychowdhury, 2012, 2012 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP).

MUSTARD: A coupled, stochastic/deterministic, discrete/continuous technique for predicting the impact of Random Telegraph Noise on SRAMs and DRAMs

Alper Demir, Jaijeet S. Roychowdhury, Sriramkumar Venugopalan, 2011, 2011 48th ACM/EDAC/IEEE Design Automation Conference (DAC).

Accurate Prediction of Random Telegraph Noise Effects in SRAMs and DRAMs

Alper Demir, Jaijeet S. Roychowdhury, Sriramkumar Venugopalan, 2013, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

Efficient Computation of the Shapley Value for Centrality in Networks

Nicholas R. Jennings, Tomasz P. Michalak, Balaraman Ravindran, 2010, WINE.

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

Sayak Ray, Jaijeet S. Roychowdhury, Aadithya V. Karthik, 2015, The 20th Asia and South Pacific Design Automation Conference.

ABCD-L: Approximating continuous linear systems using Boolean models

Jaijeet S. Roychowdhury, Aadithya V. Karthik, J. Roychowdhury, 2013, 2013 50th ACM/EDAC/IEEE Design Automation Conference (DAC).

Representation of coalitional games with algebraic decision diagrams

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

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

Jaijeet S. Roychowdhury, Aadithya V. Karthik, 2012, DAC Design Automation Conference 2012.

SAMURAI: An accurate method for modelling and simulating non-stationary Random Telegraph Noise in SRAMs

Alper Demir, Jaijeet S. Roychowdhury, Sriramkumar Venugopalan, 2011, 2011 Design, Automation & Test in Europe.

MAPP: The Berkeley Model and Algorithm Prototyping Platform

Tianshi Wang, Bichen Wu, Aadithya V. Karthik, 2015, 2015 IEEE Custom Integrated Circuits Conference (CICC).

Poster: MAPP: The Berkeley Model and Algorithm Prototyping Platform

Jaijeet Roychowdhury, Jian Yao, Bichen Wu, 2015, 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering.

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

Robert K. Brayton, Sayak Ray, Baruch Sterin, 2014, BCB.

ABCD-NL : Approximating Non-Linear Analog / Mixed-Signal Systems using Purely Boolean Models for High-speed Simulation and Formal Verification

Sayak Ray, Pierluigi Nuzzo, Jaijeet Roychowdhury, 2014 .

An Exact Linear Time Algorithm for Computing Worst Case Eye Diagrams for a Class of Non-Linear High-Speed Signaling Systems

Aadithya V. Karthik, R. Brayton, J. Roychowdhury, 2014 .