Scholarly & Creative Works
selected scholarly works & creative activities
-
Article
-
2026An adaptive linear quadratic tracker design for continuous – time systems with completely unknown dynamics. INTERNATIONAL JOURNAL OF SYSTEMS SCIENCE. 57:311-332.Full Text via DOI: 10.1080/00207721.2025.2503205
-
2025Design and Performance Analysis of an 8-3 Approximate Compressor-Based Multiplier for Image Blending Application. IETE Journal of Research. 71:2441-2452.Full Text via DOI: 10.1080/03772063.2025.2487625
-
2025Multistage Cascaded LMS Adaptive FIR Filter and its Application to Multiple Artifacts Removal from ECG. IETE Journal of Research. 71:2294-2311.Full Text via DOI: 10.1080/03772063.2025.2483934
-
2025PATCHOUT: Adversarial Patch Detection and Localization using Semantic Consistency. Neural Processing Letters. 57.Full Text via DOI: 10.1007/s11063-025-11775-5 Web of Science: 001499544200001
-
2025A state-of-the-art survey on noise removal in a non-stationary signal using adaptive finite impulse response filtering: challenges, techniques, and applications. INTERNATIONAL JOURNAL OF SYSTEMS SCIENCE. 56:885-918.Full Text via DOI: 10.1080/00207721.2024.2409850
-
2025LOGIC: Logic Synthesis for Digital In-Memory Computing. ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS. 30.Full Text via DOI: 10.1145/3711848 Web of Science: 001475663600005
-
2024PATH: Evaluation of Boolean Logic Using Path-Based In-Memory Computing Systems. IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS. 43:1387-1400.Full Text via DOI: 10.1109/TCAD.2023.3344523 Web of Science: 001225897600006
-
2024Exploring the Predictive Capabilities of AlphaFold Using Adversarial Protein Sequences. IEEE Transactions on Artificial Intelligence. 5:3384-3392.Full Text via DOI: 10.1109/TAI.2024.3353708
-
2023STREAM: Toward READ-Based In-Memory Computing for Streaming-Based Processing for Data-Intensive Applications. IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS. 42:3854-3867.Full Text via DOI: 10.1109/TCAD.2023.3263723 Web of Science: 001098114300029
-
2022COMPACT: Flow-Based Computing on Nanoscale Crossbars With Minimal Semiperimeter and Maximum Dimension. IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS. 41:4600-4611.Full Text via DOI: 10.1109/TCAD.2021.3138356 Web of Science: 000877295000091
-
2022XMAP: Programming Memristor Crossbars for Analog Matrix-Vector Multiplication: Toward High Precision Using Representable Matrices. IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS. 41:1827-1841.Full Text via DOI: 10.1109/TCAD.2021.3097299 Web of Science: 000799624800022
-
2021Investigation of ReRAM Variability on Flow-Based Edge Detection Computing Using HfO2-Based ReRAM Arrays. IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS I-REGULAR PAPERS. 68:2900-2910.Full Text via DOI: 10.1109/TCSI.2021.3072210 Web of Science: 000658349200013
-
2021A formula for the number of non-negative integer solutions of a(1)x(1). NOTES ON NUMBER THEORY AND DISCRETE MATHEMATICS. 27:64-69.Full Text via DOI: 10.7546/nntdm.2021.27.2.64-69 Web of Science: 000665848000008
-
2020Design and Fabrication of Flow-Based Edge Detection Memristor Crossbar Circuits1. IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS II-EXPRESS BRIEFS. 67:961-965.Full Text via DOI: 10.1109/TCSII.2020.2984155 Web of Science: 000531324100033
-
2020Attacking NIST biometric image software using nonlinear optimization. PATTERN RECOGNITION LETTERS. 131:79-84.Full Text via DOI: 10.1016/j.patrec.2019.12.003 Web of Science: 000521971700012
-
2018Free Binary Decision Diagram-Based Synthesis of Compact Crossbars for In-Memory Computing. IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS II-EXPRESS BRIEFS. 65:622-626.Full Text via DOI: 10.1109/TCSII.2018.2821678 Web of Science: 000431451700020
-
2017A theorem proving approach for automatically synthesizing visualizations of flow cytometry data. BMC BIOINFORMATICS. 18.Full Text via DOI: 10.1186/s12859-017-1662-4 Web of Science: 000410134600004
-
2015Automated parameter estimation for biological models using Bayesian statistical model checking. BMC BIOINFORMATICS. 16.Full Text via DOI: 10.1186/1471-2105-16-S17-S8 Web of Science: 000367880900008
-
2014Discovering rare behaviours in stochastic differential equations using decision procedures: Applications to a minimal cell cycle model. International Journal of Bioinformatics Research and Applications. 10:540-558.Full Text via DOI: 10.1504/IJBRA.2014.062999
-
2014Parameter discovery in stochastic biological models using simulated annealing and statistical model checking. International Journal of Bioinformatics Research and Applications. 10:519-539.Full Text via DOI: 10.1504/IJBRA.2014.062998
-
2013Big-Data-Driven Control Strategies for Complex Networks. Journal of Information Technology & Software Engineering. 03:1-2.Full Text via DOI: 10.4172/2165-7866.1000e117
-
2012Exploring behaviors of stochastic differential equation models of biological systems using change of measures. BMC BIOINFORMATICS. 13.Full Text via DOI: 10.1186/1471-2105-13-S5-S8 Web of Science: 000303938200008
-
2012Synthesis of insulin pump controllers from safety specifications using Bayesian model validation. International Journal of Bioinformatics Research and Applications. 8:263-285.Full Text via DOI: 10.1504/IJBRA.2012.048964
-
2011Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement. THEORETICAL COMPUTER SCIENCE. 412:2162-2187.Full Text via DOI: 10.1016/j.tcs.2011.01.012 Web of Science: 000290078000007
-
2011Parameter estimation and synthesis for systems biology: New algorithms for nonlinear and stochastic models. JOURNAL OF CRITICAL CARE. 26:e8.Full Text via DOI: 10.1016/j.jcrc.2010.12.031
-
2007Towards an Efficient Path-Oriented Tool for Bounded Reachability Analysis of Linear Hybrid Systems using Linear Programming. Electronic Notes in Theoretical Computer Science. 174:57-70.Full Text via DOI: 10.1016/j.entcs.2006.12.023 Web of Science: 000214230800006
-
-
Book Chapter
-
2025Comparative study of various transformation techniques in image fusion. 421-426.Full Text via DOI: 10.1201/9781003606635-72
-
2025Modified March C-Algorithm by Complement Symmetricity Approach and Proposed Hardware. 255-268.Full Text via DOI: 10.1007/978-981-97-3859-5_21
-
2025Towards a Game-Theoretic Understanding of Explanation-Based Membership Inference Attacks. 263-283.Full Text via DOI: 10.1007/978-3-031-74835-6_13 Web of Science: 001416979800013
-
2018: Defending Against Adversarial Attacks Using Statistical Hypothesis Testing. 277-292.Full Text via DOI: 10.1007/978-3-319-75650-9_18
-
2018Duality-Based Nested Controller Synthesis from STL Specifications for Stochastic Linear Systems. 235-251.Full Text via DOI: 10.1007/978-3-030-00151-3_14 Web of Science: 000884993200014
-
-
Conference
-
2025Data Augmentation for Image Classification using Generative AI. 2025 IEEE/CVF WINTER CONFERENCE ON APPLICATIONS OF COMPUTER VISION, WACV. 4173-4182.Full Text via DOI: 10.1109/WACV61041.2025.00410 Web of Science: 001481328900400
-
2025METRIC-DRIVEN ATTRIBUTIONS FOR VISION TRANSFORMERS. 74196-74232.
-
2025Zero-Shot Detection of Out-of-Context Objects Using Foundation Models. 9186-9195.Full Text via DOI: 10.1109/WACV61041.2025.00890
-
2024Automated Synthesis of Hardware Designs using Symbolic Feedback and Grammar-Constrained Decoding in Large Language Models. Proceedings of the IEEE National Aerospace Electronics Conference, NAECON. 95-100.Full Text via DOI: 10.1109/NAECON61878.2024.10670630 Web of Science: 001323558600018
-
2024Co-Synthesis of Code and Formal Models Using Large Language Models and Functors. 2018 IEEE MILITARY COMMUNICATIONS CONFERENCE (MILCOM 2018). 215-220.Full Text via DOI: 10.1109/MILCOM61039.2024.10773930 Web of Science: 001419571100072
-
2024Equivalence Checking for Flow-Based Computing using Iterative SAT SolvingFull Text via DOI: 10.1145/3676536.3676721 Web of Science: 001479882200113
-
2024Execution Sequence Optimization for Processing In-Memory using Parallel Data PreparationFull Text via DOI: 10.1145/3649329.3657348 Web of Science: 001447271200033
-
2024Human Fatality Estimation in Aircraft Accidents. Proceedings of the IEEE National Aerospace Electronics Conference, NAECON. 190-193.Full Text via DOI: 10.1109/NAECON61878.2024.10670669 Web of Science: 001323558600035
-
2024Intelligence, Surveillance and Reconnaissance Task Specifications in Temporal Logics. 2018 IEEE MILITARY COMMUNICATIONS CONFERENCE (MILCOM 2018). 633-638.Full Text via DOI: 10.1109/MILCOM61039.2024.10773812 Web of Science: 001419571100122
-
2024NSP: A Neuro-Symbolic Natural Language Navigational Planner. IEEE International Conference on Emerging Technologies and Factory Automation, ETFA. 1289-1294.Full Text via DOI: 10.1109/ICMLA61862.2024.00201 Web of Science: 001468515500193
-
2024Neuro-Symbolic Program Synthesis for Multi-Hop Natural Language Navigation. 114-117.Full Text via DOI: 10.1109/ICAA64256.2024.00027
-
2024Neuro-symbolic Generative AI Assistant for System Design. 2024 22ND ACM-IEEE INTERNATIONAL SYMPOSIUM ON FORMAL METHODS AND MODELS FOR SYSTEM DESIGN, MEMOCODE 2024. 75-76.Full Text via DOI: 10.1109/MEMOCODE63347.2024.00023 Web of Science: 001411691000009
-
2024On the Design of Novel XOR-based Attention Mechanism for Enhanced Efficiency of TransformersFull Text via DOI: 10.1145/3649329.3658253 Web of Science: 001447271200315
-
2024Out-of-Distribution Detection for Contrastive Models using Angular Distance Measures. IEEE International Conference on Emerging Technologies and Factory Automation, ETFA. 766-773.Full Text via DOI: 10.1109/ICMLA61862.2024.00109 Web of Science: 001468515500102
-
2024READ-based In-Memory Computing using Sentential Decision Diagrams. 2018 23RD ASIA AND SOUTH PACIFIC DESIGN AUTOMATION CONFERENCE (ASP-DAC). 818-823.Full Text via DOI: 10.1109/ASP-DAC58780.2024.10473963 Web of Science: 001196002900131
-
2024Solving Mystery Planning Problems Using Category Theory, Functors, and Large Language Models. 118-121.Full Text via DOI: 10.1109/ICAA64256.2024.00028
-
2024Synthesis of Compact Flow-based Computing Circuits from Boolean ExpressionsFull Text via DOI: 10.1145/3649329.3657340 Web of Science: 001447271200030
-
2024Torque based Structured Pruning for Deep Neural Network. 2025 IEEE/CVF WINTER CONFERENCE ON APPLICATIONS OF COMPUTER VISION, WACV. 2699-2708.Full Text via DOI: 10.1109/WACV57701.2024.00269 Web of Science: 001222964602080
-
2024Towards Area-Efficient Path-Based In-Memory Computing using Graph Isomorphisms. 2018 23RD ASIA AND SOUTH PACIFIC DESIGN AUTOMATION CONFERENCE (ASP-DAC). 812-817.Full Text via DOI: 10.1109/ASP-DAC58780.2024.10473850 Web of Science: 001196002900130
-
2023Adversarial Pixel and Patch Detection Using Attribution Analysis. 2018 IEEE MILITARY COMMUNICATIONS CONFERENCE (MILCOM 2018).Full Text via DOI: 10.1109/MILCOM58377.2023.10356375 Web of Science: 001156887600121
-
2023Attribution-Based Confidence Metric for Detection of Adversarial Attacks on Breast Histopathological Images. LECTURE NOTES IN COMPUTER SCIENCE. 501-516.Full Text via DOI: 10.1007/978-3-031-25056-9_32
-
2023Automated Synthesis for In-Memory Computing. 2015 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN (ICCAD).Full Text via DOI: 10.1109/ICCAD57390.2023.10323667 Web of Science: 001116715100031
-
2023Counterexample Guided Inductive Synthesis Using Large Language Models and Satisfiability Solving. 2018 IEEE MILITARY COMMUNICATIONS CONFERENCE (MILCOM 2018).Full Text via DOI: 10.1109/MILCOM58377.2023.10356332 Web of Science: 001156887600158
-
2023Dehallucinating Large Language Models Using Formal Methods Guided Iterative Prompting. 149-152.Full Text via DOI: 10.1109/ICAA58325.2023.00029 Web of Science: 001050787900021
-
2023Discovering the In-Memory Kernels of 3D Dot-Product Engines. 2018 23RD ASIA AND SOUTH PACIFIC DESIGN AUTOMATION CONFERENCE (ASP-DAC). 240-245.Full Text via DOI: 10.1145/3566097.3567855 Web of Science: 000981940000043
-
2023FLOW-3D: Flow-Based Computing on 3D Nanoscale Crossbars with Minimal Semiperimeter. 2018 23RD ASIA AND SOUTH PACIFIC DESIGN AUTOMATION CONFERENCE (ASP-DAC). 775-780.Full Text via DOI: 10.1145/3566097.3567937 Web of Science: 000981940000127
-
2023Input-Aware Flow-Based In-Memory Computing. IEEE International Conference on Computer Design - VLSI in Computers and Processors. 523-530.Full Text via DOI: 10.1109/ICCD58817.2023.00086 Web of Science: 001146866200075
-
2023Neural SDEs for Robust and Explainable Analysis of Electromagnetic Unintended Radiated Emissions. 2018 IEEE MILITARY COMMUNICATIONS CONFERENCE (MILCOM 2018).Full Text via DOI: 10.1109/MILCOM58377.2023.10356358 Web of Science: 001156887600112
-
2023Path-based Processing using In-Memory Systolic Arrays for Accelerating Data-Intensive Applications. 2015 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN (ICCAD).Full Text via DOI: 10.1109/ICCAD57390.2023.10323622 Web of Science: 001116715100009
-
2023UpTime: Towards Flow-based In-Memory Computing with High Fault-ToleranceFull Text via DOI: 10.1109/DAC56929.2023.10247692 Web of Science: 001073487300032
-
2023Verification of Flow-Based Computing Systems Using Bounded Model Checking. 2015 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN (ICCAD).Full Text via DOI: 10.1109/ICCAD57390.2023.10323708 Web of Science: 001116715100058
-
2022Comparison of Different-Image Fusion Techniques in Wavelet Domain. 1-6.Full Text via DOI: 10.1109/upcon56432.2022.9986490
-
2022A Survey on Reinforcement Learning based Adaptive Optimal Control Design. 254-260.Full Text via DOI: 10.1109/icsc56524.2022.10009252
-
2022Deep Learning Toolkit-Driven Equivalence Checking of Flow-Based Computing Systems. 50-53.Full Text via DOI: 10.1109/AICAS54282.2022.9869979 Web of Science: 000859273200014
-
2022Equivalence Checking for Flow-Based Computing. IEEE International Conference on Computer Design - VLSI in Computers and Processors. 656-663.Full Text via DOI: 10.1109/ICCD56317.2022.00101 Web of Science: 000925873100090
-
2022ExplainIt! A Tool for Computing Robust Attributions of DNNs. 5916-5919.Web of Science: 001202342306009
-
2022Hybrid Digital-Digital In-Memory Computing. Proceedings -Design, Automation and Test in Europe, DATE. 1177-1180.Web of Science: 000819484300222
-
2022Logic Synthesis for Digital In-Memory Computing. 2015 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN (ICCAD).Full Text via DOI: 10.1145/3508352.3549348 Web of Science: 000981574300089
-
2022PATH: Evaluation of Boolean Logic using Path-based In-Memory Computing. 1129-1134.Full Text via DOI: 10.1145/3489517.3530596 Web of Science: 001041471300188
-
2022STREAM: Towards READ-based In-Memory Computing for Streaming based Data Processing. 2018 23RD ASIA AND SOUTH PACIFIC DESIGN AUTOMATION CONFERENCE (ASP-DAC). 690-695.Web of Science: 001228322500117
-
2022Shaping Noise for Robust Attributions in Neural Stochastic Differential Equations. THIRTY-THIRD AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE / THIRTY-FIRST INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE / NINTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE. 9567-9574.Web of Science: 000893639102066
-
2022Towards Resilient Analog In-Memory Deep Learning via Data Layout Re-Organization. 859-864.Full Text via DOI: 10.1145/3489517.3530532 Web of Science: 001041471300144
-
2021Accelerating AI Applications using Analog In-Memory Computing: Challenges and Opportunities. 379-384.Full Text via DOI: 10.1145/3453688.3461746
-
2021Adversarial Attacks against AI-driven Experimental Peptide Design Workflows. 30-35.Full Text via DOI: 10.1109/XLOOP54565.2021.00010 Web of Science: 000758608400005
-
2021Automated Synthesis of Quantum Circuits using Symbolic Abstractions and Decision Procedures. Proceedings - IEEE International Symposium on Circuits and Systems.Full Text via DOI: 10.1109/ISCAS51556.2021.9401587 Web of Science: 000706507900110
-
2021Automated synthesis of memristor crossbars using deep neural networks. Advances in Intelligent Systems and Computing. 345-357.Full Text via DOI: 10.1007/978-981-15-5679-1_32
-
2021COMPACT: Flow-Based Computing on Nanoscale Crossbars with Minimal Semiperimeter. 232-237.Full Text via DOI: 10.23919/DATE51398.2021.9473995 Web of Science: 000805289900044
-
2021Hybrid Analog-Digital In-Memory Computing. 2015 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN (ICCAD).Full Text via DOI: 10.1109/ICCAD51958.2021.9643526 Web of Science: 000747493600091
-
2021On Smoother Attributions using Neural Stochastic Differential Equations. 522-528.Web of Science: 001202335500073
-
2020Adversarial Attack on Deepfake Detection Using RL Based Texture Patches. Lecture Notes in Computer Science. 220-235.Full Text via DOI: 10.1007/978-3-030-66415-2_14 Web of Science: 001500597200014
-
2020DP-MAP: Towards Resistive Dot-Product Engines with Improved Precision. 2015 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN (ICCAD).Full Text via DOI: 10.1145/3400302.3415683 Web of Science: 000671087100146
-
2020Detecting Deepfake Videos using Attribution-Based Confidence Metric. IEEE Computer Society Conference on Computer Vision and Pattern Recognition Workshops. 1250-1259.Full Text via DOI: 10.1109/CVPRW50498.2020.00162 Web of Science: 000788279001041
-
2019Input-Aware Flow-Based Computing on Memristor Crossbars With Applications to Edge Detection. IEEE Journal on Emerging and Selected Topics in Circuits and Systems. 580-591.Full Text via DOI: 10.1109/JETCAS.2019.2933774 Web of Science: 000487198700014
-
2019Attribution-Based Confidence Metric For Deep Neural Networks. Advances in Neural Information Processing Systems.Web of Science: 000535866903046
-
2019Data-driven Approximate Edge Detection using Flow-based Computing on Memristor CrossbarsFull Text via DOI: 10.1109/ans47466.2019.8963745 Web of Science: 000540919300008
-
2019Directed Adversarial Attacks on Fingerprints using Attributions. 2019 INTERNATIONAL CONFERENCE ON BIOMETRICS (ICB).Web of Science: 000542138900018
-
2019On the susceptibility of deep neural networks to natural perturbations. CEUR Workshop Proceedings.
-
2019Predicting Heart Rate Variations of Deepfake Videos using Neural ODE. 2019 IEEE/CVF INTERNATIONAL CONFERENCE ON COMPUTER VISION WORKSHOPS (ICCVW). 1721-1729.Full Text via DOI: 10.1109/ICCVW.2019.00213 Web of Science: 000554591601095
-
2019Towards ai-driven predictive modeling of turbines using big dataFull Text via DOI: 10.2514/6.2019-4385
-
2018Memory-Efficient Filter Based Novel Policy Iteration Technique for Adaptive LQR. 4963-4968.Full Text via DOI: 10.23919/acc.2018.8431061
-
20183D Crosspoint Memory as a Parallel Architecture for Computing Network Reachability. IEEE International Conference on Computer Design - VLSI in Computers and Processors. 171-178.Full Text via DOI: 10.1109/ICCD.2018.00035 Web of Science: 000458293200024
-
2018Brief Announcement: Parallel Transitive Closure Within 3D Crosspoint Memory. 95-98.Full Text via DOI: 10.1145/3210377.3210657 Web of Science: 000545269600012
-
2018Calibration of Rule-Based Stochastic Biochemical Models using Statistical Model Checking. 2008 IEEE INTERNATIONAL CONFERENCE ON BIOINFORMATICS AND BIOMEDICINE, PROCEEDINGS. 179-184.Web of Science: 000458654000033
-
2018Free BDD based CAD of Compact Memristor Crossbars for in-Memory Computing. 107-113.Full Text via DOI: 10.1145/3232195.3232222 Web of Science: 000457790100020
-
2018In-Memory Computing Using Paths-Based Logic and Heterogeneous Components. Proceedings -Design, Automation and Test in Europe, DATE. 1512-1515.Web of Science: 000435148800285
-
2018Parameter Estimation of Stochastic Biochemical Models using Multiple Hypothesis Testing. IEEE International Conference on Computational Advances in Bio and Medical Sciences Iccabs.Web of Science: 000519105800003
-
2018Predicting Success in Undergraduate Parallel Programming via Probabilistic Causality Analysis. 2012 IEEE 26TH INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM WORKSHOPS & PHD FORUM (IPDPSW). 347-352.Full Text via DOI: 10.1109/IPDPSW.2018.00066 Web of Science: 000541051600042
-
2018SATYA: Defending Against Adversarial Attacks Using Statistical Hypothesis Testing. LECTURE NOTES IN COMPUTER SCIENCE. 277-292.Full Text via DOI: 10.1007/978-3-319-75650-9_18 Web of Science: 000455448700018
-
2017In-memory execution of compute kernels using flow-based memristive crossbar computing. 1-6.Full Text via DOI: 10.1109/ICRC.2017.8123643
-
2017Adversarial attacks on computer vision algorithms using natural perturbations. 1-6.Full Text via DOI: 10.1109/IC3.2017.8284294
-
2017A Compact 8-bit Adder Design using In-Memory Memristive Computing: Towards Solving the Feynman Grand Prize Challenge. PROCEEDINGS OF THE IEEE/ACM INTERNATIONAL SYMPOSIUM ON NANOSCALE ARCHITECTURES (NANOARCH 2017). 67-72.Web of Science: 000427098100014
-
2017Adversarial Attacks on Computer Vision Algorithms using Natural Perturbations. 2017 TENTH INTERNATIONAL CONFERENCE ON CONTEMPORARY COMPUTING (IC3). 55-60.Web of Science: 000425895300010
-
2017Automated synthesis of compact crossbars for sneak-path based in-memory computing. Proceedings -Design, Automation and Test in Europe, DATE. 770-775.Web of Science: 000404171500145
-
2017Calibration of Stochastic Biochemical Models against Behavioral Temporal Logic Specifications. IEEE International Conference on Computational Advances in Bio and Medical Sciences Iccabs.Web of Science: 000428508600003
-
2017Computation of Boolean Matrix Chain Products in 3D ReRAM. Proceedings - IEEE International Symposium on Circuits and Systems. 2643-2646.Web of Science: 000439261800175
-
2017Design of Compact Memristive In-Memory Computing Systems using Model Counting. Proceedings - IEEE International Symposium on Circuits and Systems. 2655-2658.Web of Science: 000439261800178
-
2017In-Memory Execution of Compute Kernels using Flow-based Memristive Crossbar Computing. 69-74.Web of Science: 000425037900013
-
2017In-Memory Flow-Based Stochastic Computing on Memristor Crossbars using Bit-Vector Stochastic Streams. Proceedings of the IEEE Conference on Nanotechnology. 855-860.Web of Science: 000434647500197
-
2017Work-in-Progress: Testing Autonomous Cyber-Physical Systems using Fuzzing Features from Convolutional Neural NetworksFull Text via DOI: 10.1145/3125503.3125568 Web of Science: 000463897600001
-
2016Automated Synthesis of Stochastic Computational Elements using Decision Procedures. Proceedings - IEEE International Symposium on Circuits and Systems. 1678-1681.Web of Science: 000390094701209
-
2016Flow-based Computing on Nanoscale Crossbars: Design and Implementation of Full Adders. Proceedings - IEEE International Symposium on Circuits and Systems. 1870-1873.Web of Science: 000390094701255
-
2016Integrating Symbolic and Statistical Methods for Testing Intelligent Systems Applications to Machine Learning and Computer Vision. Proceedings -Design, Automation and Test in Europe, DATE. 786-791.Web of Science: 000382679200143
-
2016Parallel Boolean Matrix Multiplication in Linear Time using Rectifying Memristors. Proceedings - IEEE International Symposium on Circuits and Systems. 1874-1877.Web of Science: 000390094702001
-
2016
-
2015Automated Synthesis of Crossbars for Nanoscale Computing using Formal Methods. PROCEEDINGS OF THE IEEE/ACM INTERNATIONAL SYMPOSIUM ON NANOSCALE ARCHITECTURES (NANOARCH 2017). 130-136.Web of Science: 000380908200025
-
2015Distributed Markov Chains. LECTURE NOTES IN COMPUTER SCIENCE. 117-134.Web of Science: 000354784200007
-
2015Fault-Tolerant In-Memory Crossbar Computing using Quantified Constraint Solving. 101-108.Web of Science: 000370645200014
-
2015SANJAY: Automatically Synthesizing Visualizations of Flow Cytometry Data using Decision Procedures. IEEE International Conference on Computational Advances in Bio and Medical Sciences Iccabs.Web of Science: 000377899500018
-
2014EpiSpec: A Formal Specification Language for Parameterized Agent-Based Models against Epidemiological Ground Truth. IEEE International Conference on Computational Advances in Bio and Medical Sciences Iccabs.Web of Science: 000361057400016
-
2014Parallel Computing using Memristive Crossbar Networks: Nullifying the Processor-Memory Bottleneck. 2014 9TH INTERNATIONAL DESIGN & TEST SYMPOSIUM (IDT). 147-152.Web of Science: 000380469600028
-
2014Parameter Discovery for Stochastic Computational Models in Systems Biology Using Bayesian Model Checking. IEEE International Conference on Computational Advances in Bio and Medical Sciences Iccabs.Web of Science: 000361057400017
-
2014Putting Humpty-Dumpty Together: Mining Causal Mechanistic Biochemical Models from Big Data. IEEE International Conference on Computational Advances in Bio and Medical Sciences Iccabs.Web of Science: 000361057400006
-
2012Quantifying Uncertainty in Epidemiological Models. 80-85.Full Text via DOI: 10.1109/BioMedCom.2012.20 Web of Science: 000323455700014
-
2011Exploring behaviors of SDE models of biological systems using change of measures. 111-116.Full Text via DOI: 10.1109/ICCABS.2011.5729862
-
2011Poster: Synthesis of Biochemical Models. 248-248.Full Text via DOI: 10.1109/iccabs.2011.5729901
-
2011When to Stop Verification? Statistical Trade-off between Expected Loss and Simulation Cost. Proceedings -Design, Automation and Test in Europe, DATE. 1309-1314.Web of Science: 000410278900251
-
2009Symbolic approaches for finding control strategies in boolean networks. Journal of Bioinformatics and Computational Biology. 323-338.Full Text via DOI: 10.1142/S0219720009004084
-
2009A Bayesian Approach to Model Checking Biological Systems. LECTURE NOTES IN COMPUTER SCIENCE. 218-+.Web of Science: 000276319600015
-
2008Symbolic approaches for finding control strategies in Boolean Networks. Series on Advances in Bioinformatics and Computational Biology. 307-320.
-
2008A counterexample-guided approach to parameter synthesis for linear hybrid automata. LECTURE NOTES IN COMPUTER SCIENCE. 187-+.Web of Science: 000254857900014
-
2008Random Relaxation Abstractions for Bounded Reachability Analysis of Linear Hybrid Automata. Proceedings of IEEE International Symposium on High Assurance Systems Engineering. 147-+.Full Text via DOI: 10.1109/HASE.2008.38 Web of Science: 000263156000015
-
2008Randomization Based Probabilistic Approach to Detect Trojan Circuits. Proceedings of IEEE International Symposium on High Assurance Systems Engineering. 117-+.Full Text via DOI: 10.1109/HASE.2008.37 Web of Science: 000263156000012
-
2008Statistical Model Checking in BioLab: Applications to the Automated Analysis of T-Cell Receptor Signaling Pathway. LECTURE NOTES IN COMPUTER SCIENCE. 231-+.Web of Science: 000260924200015
-
2008d-IRA: A distributed reachability algorithm for analysis of linear hybrid automata. LECTURE NOTES IN COMPUTER SCIENCE. 618-621.Web of Science: 000254857900048
-
2007Predicting protein folding kinetics via temporal logic model checking. LECTURE NOTES IN COMPUTER SCIENCE. 252-264.Full Text via DOI: 10.1007/978-3-540-74126-8_24
-
2007Predicting protein folding kinetics via temporal logic model checking (Extended abstract). LECTURE NOTES IN COMPUTER SCIENCE. 252-+.Web of Science: 000249739200023
-
2007Reachability for linear hybrid automata using iterative relaxation abstraction. LECTURE NOTES IN COMPUTER SCIENCE. 287-+.Web of Science: 000246007000021
-
2007Verification of object relational maps. 283-292.Full Text via DOI: 10.1109/SEFM.2007.39 Web of Science: 000251162400029
-
2006Model checking for fault explanation. Proceedings of the IEEE Conference on Decision and Control. 404-409.Full Text via DOI: 10.1109/cdc.2006.377556
-
2006Model checking for fault explanation. Proceedings of the IEEE Conference on Decision and Control. 405-+.Web of Science: 000252251604144
-
2005Refining abstractions of hybrid systems using counterexample fragments. LECTURE NOTES IN COMPUTER SCIENCE. 242-257.Web of Science: 000229036300016
-
-
Editorial Material
-
2021Preface. LECTURE NOTES IN COMPUTER SCIENCE. v.
-
-
Other Scholarly Work
-
2024Integrated Decision Gradients: Compute Your Attributions Where the Model Makes Its Decision. THIRTY-THIRD AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE / THIRTY-FIRST INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE / NINTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE. 5289-5297.Web of Science: 001239936300022
-
2021Special Issue: 10th International Computational Advances in Bio and Medical Sciences (ICCABS 2020). JOURNAL OF COMPUTATIONAL BIOLOGY. 1033-1034.Full Text via DOI: 10.1089/cmb.2021.29048.skj Web of Science: 001087738500001
-
-
Preprint
-
2023On the Robustness of AlphaFold: A COVID-19 Case StudyFull Text via DOI: 10.48550/arxiv.2301.04093
-
2022A Game-theoretic Understanding of Repeated Explanations in ML ModelsFull Text via DOI: 10.48550/arxiv.2202.02659
-
Report
-
Review
-
2022A survey on the vulnerability of deep neural networks against adversarial attacks. Progress in Artificial Intelligence. 131-141.Full Text via DOI: 10.1007/s13748-021-00269-9 Web of Science: 000742996400001
-
Research
principal investigator on
- Collaborative Research: FMitF: Track I: Synthesis and Verification of In-Memory Computing Systems using Formal Methods awarded by National Science Foundation 2023 - 2027
- Bayesian Reasoning and Adaptive Integration of Neuro-Symbolic Code Assurance in Large Language Models (BRAIN-Code) awarded by U.S. Air Force Research Laboratory 2024 - 2026
- INSTA-AI: Integrating Neural Representation and their Symbolic Twins for Assured AI awarded by U.S. DOD/Defense Advanced Research Proj 2023 - 2025
- RLCAP: Explaining RL using Logical Rules, Constraints, Automata and Program Synthesis awarded by U.S. Air Force Research Laboratory 2023 - 2025
- PolySAT: Solving for Polyglots using Satisfiability Solving and Automated Abstractions awarded by U.S. Air Force Research Laboratory 2023 - 2025
- Collaborative Research: SPX: Collaborative Research: Automated Synthesis of Extreme-Scale Computing Systems Using Non-Volatile Memory awarded by National Science Foundation 2023 - 2024
- Robust Explanations using Diverse Adversarially Trained Ensembles, Multi-Modal Contrastive Learning, and Attribution-based Confidence Metrics awarded by U.S. Department of Energy 2023 - 2024
- Attributions and Learning Dynamics based Adaptive Defense and Robustness Metric (ALARM) awarded by U.S. DOD/Defense Advanced Research Proj 2023 - 2024
subproject principal investigator on
- AI-CRAFT: Artificial Intelligence Cybersecurity Readiness and Future Training awarded by U.S. DOD/Defense Advanced Research Proj 2023 - 2026
- Mobilizing the Emerging Diverse AI Talent (MEDAL) through Design and Automated Control of Autonomous Scientific Laboratories awarded by U.S. Department of Energy 2023 - 2026
- Few-shot In-context Learning for Robust Semantic Transfer Using Multi-modal Foundation Models and Formal Methods (FIRST-FM) awarded by U.S. DOD/Defense Advanced Research Proj 2024 - 2026
Identifiers
ORCID iD
- https://orcid.org/0000-0003-0354-2940 (confirmed)
