publications
publications by categories in reversed chronological order. generated by jekyll-scholar.
2025
- Data Augmentation for Image Classification using Generative AIIn IEEE/CVF Winter Conference on Applications of Computer Vision (WACV), 2025
- Zero-shot Detection of Out-of-Context Objects Using Foundation ModelsIn IEEE/CVF Winter Conference on Applications of Computer Vision (WACV), 2025
- On the Limitations of Explainable AI in Predictions of Protein Folding NetworksIn 13th International Conference on Computational Advances in Bio and Medical Sciences, ICCABS 2025, 2025
2024
- Integrated Decision Gradients: Compute Your Attributions Where the Model Makes Its DecisionIn Thirty-Eighth AAAI Conference on Artificial Intelligence, AAAI 2024, February 20-27, 2024, Vancouver, Canada, 2024
- Equivalence Checking for Flow-Based Computing using Iterative SAT SolvingProceedings of the 43rd International Conference on Computer-Aided Design (ICCAD), 2024
- Jailbreaking Large Language Models with Symbolic MathematicsWorkshop on Socially Responsible Language Modelling Research (SoLaR) at NeurIPS, 2024
- AutoSafeCoder: A Multi-Agent Framework for Securing LLM Code Generation through Static Analysis and Fuzz TestingThe First Workshop on Safe & Trustworthy Agents (SATA) at NeurIPS, 2024
- On the Design of Novel Attention Mechanism for Enhanced Efficiency of Transformers61st ACM Design Automation Conference (DAC), 2024
- Synthesis of Compact Flow-based Computing Circuits from Boolean Expressions61st ACM Design Automation Conference (DAC), 2024
- Execution Sequence Optimization for Processing In-Memory using Parallel Data Preparation61st ACM Design Automation Conference (DAC), 2024
- Automated Synthesis of Hardware Designs using Symbolic Feedback and Grammar Constrained Decoding in Large Language ModelsIEEE National Aerospace and Electronics Conference (NAECON), 2024
- Co-Synthesis of Code and Formal Models Using Large Language Models and FunctorsApplications of Artificial Intelligence in Code Analysis (AICA) at IEEE Military Communications Conference (MILCOM), 2024
- Solving Mystery Planning Problems Using Category Theory, Functors, and Large Language Models3rd International Conference on Assured Autonomy (ICAA), 2024
- Neuro-Symbolic Program Synthesis for Multi-Hop Natural Language Navigation3rd International Conference on Assured Autonomy (ICAA), 2024
- Out-of-Distribution Detection for Contrastive Models using Angular Distance Measures23rd International Conference on Machine Learning and Applications (ICMLA), 2024
- NSP: A Neuro-Symbolic Natural Language Navigational Planner23rd International Conference on Machine Learning and Applications (ICMLA), 2024
- Intelligence, Surveillance and Reconnaissance Task Specifications in Temporal LogicsIEEE Military Communications Conference (MILCOM), 2024
- Neuro-Symbolic Representations of 3D Scenes using Universal Scene Description LanguageNeuro-Symbolic Learning and Reasoning Workshop at AAAI, 2024
- Improving Robustness of Spectrogram Classifiers with Neural Stochastic Differential EquationsIEEE International Workshop on Machine Learning for Signal Processing (MLSP), 2024
- Exploring the Predictive Capabilities of AlphaFold Using Adversarial Protein SequencesIEEE Trans. Artif. Intell., 2024
- PATH: Evaluation of Boolean Logic Using Path-Based In-Memory Computing SystemsIEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2024
- Towards Area-Efficient Path-Based In-Memory Computing using Graph IsomorphismsIn Proceedings of the 29th Asia and South Pacific Design Automation Conference, ASPDAC 2024, Incheon, Korea, January 22-25, 2024, 2024
- READ-based In-Memory Computing using Sentential Decision DiagramsIn Proceedings of the 29th Asia and South Pacific Design Automation Conference, ASPDAC 2024, Incheon, Korea, January 22-25, 2024, 2024
- Towards a Game-Theoretic Understanding of Explanation-Based Membership Inference AttacksIn Decision and Game Theory for Security - 15th International Conference, GameSec 2024, New York City, NY, USA, October 16-18, 2024, Proceedings, 2024
- Data Augmentation for Image Classification using Generative AICoRR, 2024
2023
- Counterexample Guided Inductive Synthesis Using Large Language Models and Satisfiability SolvingIn IEEE Military Communications Conference, MILCOM 2023, Boston, MA, USA, October 30 - Nov. 3, 2023, 2023BEST PAPER CANDIDATE
- Dehallucinating Large Language Models Using Formal Methods Guided Iterative PromptingIn IEEE International Conference on Assured Autonomy, ICAA 2023, Laurel, MD, USA, June 6-8, 2023, 2023
- UpTime: Towards Flow-based In-Memory Computing with High Fault-ToleranceIn 60th ACM/IEEE Design Automation Conference, DAC 2023, San Francisco, CA, USA, July 9-13, 2023, 2023
- Automated Synthesis for In-Memory ComputingIn IEEE/ACM International Conference on Computer Aided Design, ICCAD 2023, San Francisco, CA, USA, October 28 - Nov. 2, 2023, 2023
- Path-Based Processing using In-Memory Systolic Arrays for Accelerating Data-Intensive ApplicationsIn IEEE/ACM International Conference on Computer Aided Design, ICCAD 2023, San Francisco, CA, USA, October 28 - Nov. 2, 2023, 2023
- Verification of Flow-Based Computing Systems Using Bounded Model CheckingIn IEEE/ACM International Conference on Computer Aided Design, ICCAD 2023, San Francisco, CA, USA, October 28 - Nov. 2, 2023, 2023
- Neural SDEs for Robust and Explainable Analysis of Electromagnetic Unintended Radiated EmissionsIn IEEE Military Communications Conference, MILCOM 2023, Boston, MA, USA, October 30 - Nov. 3, 2023, 2023
- STREAM: Toward READ-Based In-Memory Computing for Streaming-Based Processing for Data-Intensive ApplicationsIEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2023
- Discovering the in-Memory Kernels of 3D Dot-Product EnginesIn Proceedings of the 28th Asia and South Pacific Design Automation Conference, ASPDAC 2023, Tokyo, Japan, January 16-19, 2023, 2023
- FLOW-3D: Flow-Based Computing on 3D Nanoscale Crossbars with Minimal SemiperimeterIn Proceedings of the 28th Asia and South Pacific Design Automation Conference, ASPDAC 2023, Tokyo, Japan, January 16-19, 2023, 2023
- Input-Aware Flow-Based In-Memory ComputingIn 41st IEEE International Conference on Computer Design, ICCD 2023, Washington, DC, USA, November 6-8, 2023, 2023
- Adversarial Pixel and Patch Detection Using Attribution AnalysisIn IEEE Military Communications Conference, MILCOM 2023, Boston, MA, USA, October 30 - Nov. 3, 2023, 2023
- On the Robustness of AlphaFold: A COVID-19 Case StudyCoRR, 2023
- Integrated Decision Gradients: Compute Your Attributions Where the Model Makes Its DecisionCoRR, 2023
- Neural Stochastic Differential Equations for Robust and Explainable Analysis of Electromagnetic Unintended Radiated EmissionsCoRR, 2023
- Automaton Distillation: Neuro-Symbolic Transfer Learning for Deep Reinforcement LearningCoRR, 2023
- Neuro Symbolic Reasoning for Planning: Counterexample Guided Inductive Synthesis using Large Language Models and Satisfiability SolvingCoRR, 2023
2022
- Shaping Noise for Robust Attributions in Neural Stochastic Differential EquationsIn Thirty-Sixth AAAI Conference on Artificial Intelligence, AAAI 2022, February 22 - March 1, 2022, 2022Oral Presentation
- ExplainIt!: A Tool for Computing Robust Attributions of DNNsIn Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, IJCAI 2022, Vienna, Austria, 23-29 July 2022, 2022
- Logic Synthesis for Digital In-Memory ComputingIn Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2022, San Diego, California, USA, 30 October 2022 - 3 November 2022, 2022BEST PAPER CANDIDATE
- XMAP: Programming Memristor Crossbars for Analog Matrix-Vector Multiplication: Toward High Precision Using Representable MatricesIEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022
- COMPACT: Flow-Based Computing on Nanoscale Crossbars With Minimal Semiperimeter and Maximum DimensionIEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022
- Responsible Reasoning with Large Language Models and The Impact of Proper NounsWorkshop on Trustworthy and Socially Responsible Machine Learning at NeurIPS, 2022
- Detecting Adversarial Attacks On Breast Cancer Diagnostic Systems Using Attribution-based Confidence MetricMedical Imaging Meets NeurIPS (MedNeurIPS at NeurIPS), 2022
- Towards resilient analog in-memory deep learning via data layout re-organizationIn DAC ’22: 59th ACM/IEEE Design Automation Conference, San Francisco, California, USA, July 10 - 14, 2022, 2022
- PATH: evaluation of boolean logic using path-based in-memory computingIn DAC ’22: 59th ACM/IEEE Design Automation Conference, San Francisco, California, USA, July 10 - 14, 2022, 2022
- Hybrid Digital-Digital In-Memory ComputingIn 2022 Design, Automation & Test in Europe Conference & Exhibition, DATE 2022, Antwerp, Belgium, March 14-23, 2022, 2022
- Attribution-Based Confidence Metric for Detection of Adversarial Attacks on Breast Histopathological ImagesIn Computer Vision - ECCV 2022 Workshops - Tel Aviv, Israel, October 23-27, 2022, Proceedings, Part I, 2022
- Equivalence Checking for Flow-Based ComputingIn IEEE 40th International Conference on Computer Design, ICCD 2022, Olympic Valley, CA, USA, October 23-26, 2022, 2022
- Deep Learning Toolkit-Driven Equivalence Checking of Flow-Based Computing SystemsIn 4th IEEE International Conference on Artificial Intelligence Circuits and Systems, AICAS 2022, Incheon, Republic of Korea, June 13-15, 2022, 2022
- STREAM: Towards READ-based In-Memory Computing for Streaming based Data ProcessingIn 27th Asia and South Pacific Design Automation Conference, ASP-DAC 2022, Taipei, Taiwan, January 17-20, 2022, 2022
- A survey on the vulnerability of deep neural networks against adversarial attacksProg. Artif. Intell., 2022
- FAT-PIM: Low-Cost Error Detection for Processing-In-MemoryCoRR, 2022
2021
- On Smoother Attributions using Neural Stochastic Differential EquationsIn Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, IJCAI 2021, Virtual Event / Montreal, Canada, 19-27 August 2021, 2021
- COMPACT: Flow-Based Computing on Nanoscale Crossbars with Minimal SemiperimeterIn Design, Automation & Test in Europe Conference & Exhibition, DATE 2021, Grenoble, France, February 1-5, 2021, 2021BEST PAPER CANDIDATE
- Hybrid Analog-Digital In-Memory ComputingIn IEEE/ACM International Conference On Computer Aided Design, ICCAD 2021, Munich, Germany, November 1-4, 2021, 2021
- Investigation of ReRAM Variability on Flow-Based Edge Detection Computing Using HfO\(_\mbox2\)-Based ReRAM ArraysIEEE Trans. Circuits Syst. I Regul. Pap., 2021
- Automated Synthesis of Quantum Circuits Using Symbolic Abstractions and Decision ProceduresIn IEEE International Symposium on Circuits and Systems, ISCAS 2021, Daegu, South Korea, May 22-28, 2021, 2021
- Special Issue: 10th International Computational Advances in Bio and Medical Sciences (ICCABS 2020)J. Comput. Biol., 2021
- Accelerating AI Applications using Analog In-Memory Computing: Challenges and OpportunitiesIn GLSVLSI ’21: Great Lakes Symposium on VLSI 2021, Virtual Event, USA, June 22-25, 2021, 2021
- Adversarial Attacks against AI-driven Experimental Peptide Design WorkflowsIn 3rd Annual Workshop on Extreme-scale Experiment-in-the-Loop Computing, XLOOP@SC 2021, St. Louis, MO, USA, November 19, 2021, 2021
- Computational Advances in Bio and Medical Sciences - 10th International Conference, ICCABS 2020, Virtual Event, December 10-12, 2020, Revised Selected Papers2021
- CrossedWires: A Dataset of Syntactically Equivalent but Semantically Disparate Deep Learning ModelsCoRR, 2021
- Protein Folding Neural Networks Are Not RobustCoRR, 2021
2020
- DP-MAP: Towards Resistive Dot-Product Engines with Improved PrecisionIn IEEE/ACM International Conference On Computer Aided Design, ICCAD 2020, San Diego, CA, USA, November 2-5, 2020, 2020
- Predicting Heart Rate Variations of Deepfake Videos using Neural ODEProceedings of the International Conference on Computer Vision (ICCV) Workshops, 2020
- Attacking NIST biometric image software using nonlinear optimizationPattern Recognit. Lett., 2020
- Design and Fabrication of Flow-Based Edge Detection Memristor Crossbar Circuits\(^\mbox1\)IEEE Trans. Circuits Syst. II Express Briefs, 2020
- Detecting Deepfake Videos using Attribution-Based Confidence MetricIn 2020 IEEE/CVF Conference on Computer Vision and Pattern Recognition, CVPR Workshops 2020, Seattle, WA, USA, June 14-19, 2020, 2020
- Adversarial Attack on Deepfake Detection Using RL Based Texture PatchesIn Computer Vision - ECCV 2020 Workshops - Glasgow, UK, August 23-28, 2020, Proceedings, Part I, 2020
- Automated Synthesis of Memristor Crossbars Using Deep Neural NetworksIn Intelligent Data Engineering and Analytics - Frontiers in Intelligent Computing: Theory and Applications (FICTA 2020), Volume 2, Karnataka, Surathkal, India, January 4-5, 2020, 2020
- Quantifying Membership Inference Vulnerability via Generalization Gap and Other Model MetricsCoRR, 2020
- An Extension of Fano’s Inequality for Characterizing Model Susceptibility to Membership Inference AttacksCoRR, 2020
2019
- Attribution-Based Confidence Metric For Deep Neural NetworksIn Advances in Neural Information Processing Systems 32: Annual Conference on Neural Information Processing Systems 2019, NeurIPS 2019, December 8-14, 2019, Vancouver, BC, Canada, 2019
- Towards AI-driven Predictive Modeling of Gas Turbines Using Big DataAIAA Propulsion and Energy, 2019
- Input-Aware Flow-Based Computing on Memristor Crossbars With Applications to Edge DetectionIEEE J. Emerg. Sel. Topics Circuits Syst., 2019
- Directed Adversarial Attacks on Fingerprints using AttributionsIn 2019 International Conference on Biometrics, ICB 2019, Crete, Greece, June 4-7, 2019, 2019
- Predicting Heart Rate Variations of Deepfake Videos using Neural ODEIn 2019 IEEE/CVF International Conference on Computer Vision Workshops, ICCV Workshops 2019, Seoul, Korea (South), October 27-28, 2019, 2019
- On the Susceptibility of Deep Neural Networks to Natural PerturbationsIn Proceedings of the Workshop on Artificial Intelligence Safety 2019 co-located with the 28th International Joint Conference on Artificial Intelligence, AISafety@IJCAI 2019, Macao, China, August 11-12, 2019, 2019
- Attribution-driven Causal Analysis for Detection of Adversarial ExamplesCoRR, 2019
2018
- Free Binary Decision Diagram-Based Synthesis of Compact Crossbars for In-Memory ComputingIEEE Trans. Circuits Syst. II Express Briefs, 2018
- Calibration of Rule-Based Stochastic Biochemical Models using Statistical Model CheckingIn IEEE International Conference on Bioinformatics and Biomedicine, BIBM 2018, Madrid, Spain, December 3-6, 2018, 2018
- In-memory computing using paths-based logic and heterogeneous componentsIn 2018 Design, Automation & Test in Europe Conference & Exhibition, DATE 2018, Dresden, Germany, March 19-23, 2018, 2018
- Duality-Based Nested Controller Synthesis from STL Specifications for Stochastic Linear SystemsIn Formal Modeling and Analysis of Timed Systems - 16th International Conference, FORMATS 2018, Beijing, China, September 4-6, 2018, Proceedings, 2018
- Parameter Estimation of Stochastic Biochemical Models using Multiple Hypothesis TestingIn 8th IEEE International Conference on Computational Advances in Bio and Medical Sciences, ICCABS 2018, Las Vegas, NV, USA, October 18-20, 2018, 2018
- 3D Crosspoint Memory as a Parallel Architecture for Computing Network ReachabilityIn 36th IEEE International Conference on Computer Design, ICCD 2018, Orlando, FL, USA, October 7-10, 2018, 2018
- Predicting Success in Undergraduate Parallel Programming via Probabilistic Causality AnalysisIn 2018 IEEE International Parallel and Distributed Processing Symposium Workshops, IPDPS Workshops 2018, Vancouver, BC, Canada, May 21-25, 2018, 2018
- Free BDD based CAD of Compact Memristor Crossbars for in-Memory ComputingIn Proceedings of the 14th IEEE/ACM International Symposium on Nanoscale Architectures, NANOARCH 2018, Athens, Greece, July 17-19, 2018, 2018
- Brief Announcement: Parallel Transitive Closure Within 3D Crosspoint MemoryIn Proceedings of the 30th on Symposium on Parallelism in Algorithms and Architectures, SPAA 2018, Vienna, Austria, July 16-18, 2018, 2018
2017
- A theorem proving approach for automatically synthesizing visualizations of flow cytometry dataBMC Bioinform., 2017
- Automated synthesis of compact crossbars for sneak-path based in-memory computingIn Design, Automation & Test in Europe Conference & Exhibition, DATE 2017, Lausanne, Switzerland, March 27-31, 2017, 2017
- Testing autonomous cyber-physical systems using fuzzing features from convolutional neural networks: work-in-progressIn Proceedings of the Thirteenth ACM International Conference on Embedded Software 2017 Companion, EMSOFT 2017 Companion, Seoul, Republic of Korea, October 15-20, 2017, 2017
- SATYA: Defending Against Adversarial Attacks Using Statistical Hypothesis TestingIn Foundations and Practice of Security - 10th International Symposium, FPS 2017, Nancy, France, October 23-25, 2017, Revised Selected Papers, 2017
- Adversarial attacks on computer vision algorithms using natural perturbationsIn Tenth International Conference on Contemporary Computing, IC3 2017, Noida, India, August 10-12, 2017, 2017
- Calibration of stochastic biochemical models against behavioral temporal logic specificationsIn 7th IEEE International Conference on Computational Advances in Bio and Medical Sciences, ICCABS 2017, Orlando, FL, USA, October 19-21, 2017, 2017
- In-Memory Execution of Compute Kernels Using Flow-Based Memristive Crossbar ComputingIn IEEE International Conference on Rebooting Computing, ICRC 2017, Washington, DC, USA, November 8-9, 2017, 2017
- Design of compact memristive in-memory computing systems using model countingIn IEEE International Symposium on Circuits and Systems, ISCAS 2017, Baltimore, MD, USA, May 28-31, 2017, 2017
- Computation of Boolean matrix chain products in 3D ReRAMIn IEEE International Symposium on Circuits and Systems, ISCAS 2017, Baltimore, MD, USA, May 28-31, 2017, 2017
- A compact 8-bit adder design using in-memory memristive computing: Towards solving the Feynman Grand Prize challengeIn IEEE/ACM International Symposium on Nanoscale Architectures, NANOARCH 2017, Newport, RI, USA, July 25-26, 2017, 2017
2016
- Integrating symbolic and statistical methods for testing intelligent systems: Applications to machine learning and computer visionIn 2016 Design, Automation & Test in Europe Conference & Exhibition, DATE 2016, Dresden, Germany, March 14-18, 2016, 2016
- Automated synthesis of stochastic computational elements using decision proceduresIn IEEE International Symposium on Circuits and Systems, ISCAS 2016, Montréal, QC, Canada, May 22-25, 2016, 2016
- Flow-based computing on nanoscale crossbars: Design and implementation of full addersIn IEEE International Symposium on Circuits and Systems, ISCAS 2016, Montréal, QC, Canada, May 22-25, 2016, 2016
- Parallel boolean matrix multiplication in linear time using rectifying memristorsIn IEEE International Symposium on Circuits and Systems, ISCAS 2016, Montréal, QC, Canada, May 22-25, 2016, 2016
- The cardinality-constrained paths problem: Multicast data routing in heterogeneous communication networksIn 15th IEEE International Symposium on Network Computing and Applications, NCA 2016, Cambridge, Boston, MA, USA, October 31 - November 2, 2016, 2016
2015
- Automated parameter estimation for biological models using Bayesian statistical model checkingBMC Bioinform., 2015
- SANJAY: Automatically synthesizing visualizations of flow cytometry data using decision proceduresIn 5th IEEE International Conference on Computational Advances in Bio and Medical Sciences, ICCABS 2015, Miami, FL, USA, October 15-17, 2015, 2015
- Fault-tolerant in-memory crossbar computing using quantified constraint solvingIn 33rd IEEE International Conference on Computer Design, ICCD 2015, New York City, NY, USA, October 18-21, 2015, 2015
- Automated synthesis of crossbars for nanoscale computing using formal methodsIn Proceedings of the 2015 IEEE/ACM International Symposium on Nanoscale Architectures, NANOARCH 2015, Boston, MA, USA, July 8-10, 2015, 2015
- Distributed Markov ChainsIn Verification, Model Checking, and Abstract Interpretation - 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015. Proceedings, 2015
2014
- Parameter discovery in stochastic biological models using simulated annealing and statistical model checkingInt. J. Bioinform. Res. Appl., 2014
- Discovering rare behaviours in stochastic differential equations using decision procedures: applications to a minimal cell cycle modelInt. J. Bioinform. Res. Appl., 2014
- Parameter discovery for stochastic computational models in systems biology using Bayesian model checkingIn IEEE 4th International Conference on Computational Advances in Bio and Medical Sciences, ICCABS 2014, Miami, FL, USA, June 2-4, 2014, 2014
- EpiSpec: A formal specification language for parameterized agent-based models against epidemiological ground truthIn IEEE 4th International Conference on Computational Advances in Bio and Medical Sciences, ICCABS 2014, Miami, FL, USA, June 2-4, 2014, 2014
- Putting humpty-dumpty together: Mining causal mechanistic biochemical models from big dataIn IEEE 4th International Conference on Computational Advances in Bio and Medical Sciences, ICCABS 2014, Miami, FL, USA, June 2-4, 2014, 2014
- Parallel computing using memristive crossbar networks: Nullifying the processor-memory bottleneckIn 9th International Design and Test Symposium, IDT 2014, Algeries, Algeria, December 16-18, 2014, 2014
- Distributed Markov ChainsCoRR, 2014
2012
- Exploring behaviors of stochastic differential equation models of biological systems using change of measuresBMC Bioinform., 2012
- Synthesis of insulin pump controllers from safety specifications using Bayesian model validationInt. J. Bioinform. Res. Appl., 2012
- Human tracking from a mobile agent: Optical flow and Kalman filter arbitrationSignal Process. Image Commun., 2012
- A computational metabolic model of the NG108-15 cell for high content drug screening with electrophysiological readoutIn ACM International Conference on Bioinformatics, Computational Biology and Biomedicine, BCB’ 12, Orlando, FL, USA - October 08 - 10, 2012, 2012
- Decision procedure based discovery of rare behaviors in Stochastic Differential Equation models of biological systemsIn IEEE 2nd International Conference on Computational Advances in Bio and Medical Sciences, ICCABS 2012, Las Vegas, NV, USA, February 23-25, 2012, 2012
- Parameter discovery for stochastic biological models against temporal behavioral specifications using an SPRT based Metric for simulated annealingIn IEEE 2nd International Conference on Computational Advances in Bio and Medical Sciences, ICCABS 2012, Las Vegas, NV, USA, February 23-25, 2012, 2012
2011
- Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinementTheor. Comput. Sci., 2011
- When to stop verification?: Statistical trade-off between expected loss and simulation costIn Design, Automation and Test in Europe, DATE 2011, Grenoble, France, March 14-18, 2011, 2011
- Exploring behaviors of SDE models of biological systems using change of measuresIn IEEE 1st International Conference on Computational Advances in Bio and Medical Sciences, ICCABS 2011, Orlando, FL, USA, February 3-5, 2011, 2011
- Poster: Synthesis of biochemical modelsIn IEEE 1st International Conference on Computational Advances in Bio and Medical Sciences, ICCABS 2011, Orlando, FL, USA, February 3-5, 2011, 2011
2010
- Model Validation and Discovery for Complex Stochastic SystemsCarnegie Mellon University, USA, 2010
2009
- Symbolic Approaches for Finding Control Strategies in Boolean NetworksJ. Bioinform. Comput. Biol., 2009
- A Bayesian Approach to Model Checking Biological SystemsIn Computational Methods in Systems Biology, 7th International Conference, CMSB 2009, Bologna, Italy, August 31-September 1, 2009. Proceedings, 2009
2008
- Symbolic Approaches for Finding Control Strategies in Boolean NetworksIn Proceedings of the 6th Asia-Pacific Bioinformatics Conference, APBC 2008, 14-17 January 2008, Kyoto, Japan, 2008
- Statistical Model Checking in BioLab: Applications to the Automated Analysis of T-Cell Receptor Signaling PathwayIn Computational Methods in Systems Biology, 6th International Conference, CMSB 2008, Rostock, Germany, October 12-15, 2008. Proceedings, 2008
- Randomization Based Probabilistic Approach to Detect Trojan CircuitsIn 11th IEEE High Assurance Systems Engineering Symposium, HASE 2008, Nanjing, China, December 3 - 5, 2008, 2008
- Random Relaxation Abstractions for Bounded Reachability Analysis of Linear Hybrid Automata: Distributed Randomized Abstractions in Model CheckingIn 11th IEEE High Assurance Systems Engineering Symposium, HASE 2008, Nanjing, China, December 3 - 5, 2008, 2008
- A Counterexample-Guided Approach to Parameter Synthesis for Linear Hybrid AutomataIn Hybrid Systems: Computation and Control, 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings, 2008
- d-IRA: A Distributed Reachability Algorithm for Analysis of Linear Hybrid AutomataIn Hybrid Systems: Computation and Control, 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings, 2008
2007
- Reachability for Linear Hybrid Automata Using Iterative Relaxation AbstractionIn Hybrid Systems: Computation and Control, 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007, Proceedings, 2007
- Verification of Object Relational MapsIn Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 10-14 September 2007, London, England, UK, 2007
- Predicting Protein Folding Kinetics Via Temporal Logic Model CheckingIn Algorithms in Bioinformatics, 7th International Workshop, WABI 2007, Philadelphia, PA, USA, September 8-9, 2007, Proceedings, 2007
- Design of a Distributed Reachability Algorithm for Analysis of Linear Hybrid AutomataCoRR, 2007
2006
- Towards an Efficient Path-Oriented Tool for Bounded Reachability Analysis of Linear Hybrid Systems using Linear ProgrammingIn Proceedings of the Fourth International Workshop on Bounded Model Checking, BMC@FLoC 2006, Seattle, WA, USA, August 15, 2006, 2006
- Model Checking For Fault ExplanationIn 45th IEEE Conference on Decision and Control, CDC 2006, San Diego, CA, USA, December 13-15, 2006, 2006
2005
- Refining Abstractions of Hybrid Systems Using Counterexample FragmentsIn Hybrid Systems: Computation and Control, 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings, 2005
- Temporal Logic Model CheckingIn Handbook of Networked and Embedded Control Systems, 2005