default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAshish Tiwari 0001
Person information
- affiliation: SRI International, Menlo Park, California, USA
Other persons with the same name
- Ashish Tiwari — disambiguation page
- Ashish Tiwari 0002 — University of Iowa, College of Business, Department of Finance, Iowa City, IA, USA
- Ashish Tiwari 0003
![[0000-0002-2762-0846]](https://dblp.org/img/orcid-mark.12x12.png "0000-0002-2762-0846")
— Birla Institute of Technology and Science, Department of Mathematics, Pilani, India (and 1 more) - Ashish Tiwari 0004 — Visvesvaraya National Institute of Technology, Department of Computer Science and Engineering, Nagpur, India
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j25]Zifan Liu, Shaleen Deep, Anna Fariha, Fotis Psallidas, Ashish Tiwari, Avrilia Floratou:
Rapidash: Efficient Detection of Constraint Violations. Proc. VLDB Endow. 17(8): 2009-2021 (2024)- [c103]Andreas Brandstätter, Scott A. Smolka, Scott D. Stoller, Ashish Tiwari, Radu Grosu:
Flock-Formation Control of Multi-Agent Systems using Imperfect Relative Distance Measurements. ICRA 2024: 12193-12200 - [c102]Anjali Singh, Anna Fariha, Christopher Brooks, Gustavo Soares, Austin Z. Henley, Ashish Tiwari, Chethan M, Heeryung Choi, Sumit Gulwani:
Investigating Student Mistakes in Introductory Data Science Programming. SIGCSE (1) 2024: 1258-1264 - 2023
- [j24]José Cambronero, Sumit Gulwani, Vu Le, Daniel Perelman, Arjun Radhakrishna, Clint Simon, Ashish Tiwari:
FlashFill++: Scaling Programming by Example by Cutting to the Chase. Proc. ACM Program. Lang. 7(POPL): 952-981 (2023) - [c101]Andreas Brandstätter, Scott A. Smolka, Scott D. Stoller, Ashish Tiwari, Radu Grosu:
Multi-Agent Spatial Predictive Control with Application to Drone Flocking. ICRA 2023: 1221-1227 - [c100]Bhavya Chopra, Anna Fariha, Sumit Gulwani, Austin Z. Henley, Daniel Perelman, Mohammad Raza, Sherry Shi, Danny Simmons, Ashish Tiwari:
CoWrangler: Recommender System for Data-Wrangling Scripts. SIGMOD Conference Companion 2023: 147-150 - [c99]Priyanshu Gupta, Avishree Khare, Yasharth Bajpai, Saikat Chakraborty, Sumit Gulwani, Aditya Kanade, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari:
Grace: Language Models Meet Code Edits. ESEC/SIGSOFT FSE 2023: 1483-1495 - [i25]Anirudh Khatry, Joyce Cahoon, Jordan Henkel, Shaleen Deep, K. Venkatesh Emani, Avrilia Floratou, Sumit Gulwani, Vu Le, Mohammad Raza, Sherry Shi, Mukul Singh, Ashish Tiwari:
From Words to Code: Harnessing Data for Program Synthesis from Natural Language. CoRR abs/2305.01598 (2023) - [i24]Priyanshu Gupta, Avishree Khare, Yasharth Bajpai, Saikat Chakraborty, Sumit Gulwani, Aditya Kanade, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari:
GrACE: Generation using Associated Code Edits. CoRR abs/2305.14129 (2023) - [i23]Zifan Liu, Shaleen Deep, Anna Fariha, Fotis Psallidas, Ashish Tiwari, Avrilia Floratou:
Rapidash: Efficient Constraint Discovery via Rapid Verification. CoRR abs/2309.12436 (2023) - [i22]Anirudh Khatry, Yasharth Bajpai, Priyanshu Gupta, Sumit Gulwani, Ashish Tiwari:
Augmented Embeddings for Custom Retrievals. CoRR abs/2310.05380 (2023) - [i21]Bhavya Chopra, Ananya Singha, Anna Fariha, Sumit Gulwani, Chris Parnin, Ashish Tiwari, Austin Z. Henley:
Conversational Challenges in AI-Powered Data Science: Obstacles, Needs, and Design Opportunities. CoRR abs/2310.16164 (2023) - 2022
- [j23]Yuhao Zhang, Yasharth Bajpai, Priyanshu Gupta, Ameya Ketkar, Miltiadis Allamanis, Titus Barik, Sumit Gulwani, Arjun Radhakrishna, Mohammad Raza, Gustavo Soares, Ashish Tiwari:
Overwatch: learning patterns in code edit sequences. Proc. ACM Program. Lang. 6(OOPSLA2): 395-423 (2022) - [j22]Rohan Bavishi, Harshit Joshi, José Cambronero, Anna Fariha, Sumit Gulwani, Vu Le, Ivan Radicek, Ashish Tiwari:
Neurosymbolic repair for low-code formula languages. Proc. ACM Program. Lang. 6(OOPSLA2): 1093-1122 (2022) - [c98]Gabriel Poesia, Alex Polozov, Vu Le, Ashish Tiwari, Gustavo Soares, Christopher Meek, Sumit Gulwani:
Synchromesh: Reliable Code Generation from Pre-trained Language Models. ICLR 2022 - [c97]Andreas Brandstätter, Scott A. Smolka, Scott D. Stoller, Ashish Tiwari, Radu Grosu:
Towards Drone Flocking Using Relative Distance Measurements. ISoLA (3) 2022: 97-109 - [c96]Zhengkai Wu, Vu Le, Ashish Tiwari, Sumit Gulwani, Arjun Radhakrishna, Ivan Radicek, Gustavo Soares, Xinyu Wang, Zhenwen Li, Tao Xie:
NL2Viz: natural language to visualization via constrained syntax-guided synthesis. ESEC/SIGSOFT FSE 2022: 972-983 - [i20]Gabriel Poesia, Oleksandr Polozov, Vu Le, Ashish Tiwari, Gustavo Soares, Christopher Meek, Sumit Gulwani:
Synchromesh: Reliable code generation from pre-trained language models. CoRR abs/2201.11227 (2022) - [i19]Andreas Brandstätter, Scott A. Smolka, Scott D. Stoller, Ashish Tiwari, Radu Grosu:
Multi-Agent Spatial Predictive Control with Application to Drone Flocking (Extended Version). CoRR abs/2203.16960 (2022) - [i18]Rohan Bavishi, Harshit Joshi, José Pablo Cambronero Sánchez, Anna Fariha, Sumit Gulwani, Vu Le, Ivan Radicek, Ashish Tiwari:
Neurosymbolic Repair for Low-Code Formula Languages. CoRR abs/2207.11765 (2022) - [i17]Yuhao Zhang, Yasharth Bajpai, Priyanshu Gupta, Ameya Ketkar, Miltiadis Allamanis, Titus Barik, Sumit Gulwani, Arjun Radhakrishna, Mohammad Raza, Gustavo Soares, Ashish Tiwari:
Overwatch: Learning Patterns in Code Edit Sequences. CoRR abs/2207.12456 (2022) - 2021
- [j21]Kia Rahmani, Mohammad Raza, Sumit Gulwani, Vu Le, Daniel Morris, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari:
Multi-modal program inference: a marriage of pre-trained language models and component-based synthesis. Proc. ACM Program. Lang. 5(OOPSLA): 1-29 (2021) - [c95]Shouvik Roy, Usama Mehmood, Radu Grosu, Scott A. Smolka, Scott D. Stoller, Ashish Tiwari:
Distributed Control for Flocking Maneuvers via Acceleration-Weighted Neighborhooding. ACC 2021: 2745-2750 - [c94]Anna Fariha, Ashish Tiwari, Arjun Radhakrishna, Sumit Gulwani, Alexandra Meliou:
Conformance Constraint Discovery: Measuring Trust in Data-Driven Systems. SIGMOD Conference 2021: 499-512 - [c93]Anna Fariha, Ashish Tiwari, Alexandra Meliou, Arjun Radhakrishna, Sumit Gulwani:
CoCo: Interactive Exploration of Conformance Constraints for Data Understanding and Data Cleaning. SIGMOD Conference 2021: 2706-2710 - [i16]Kia Rahmani, Mohammad Raza, Sumit Gulwani, Vu Le, Daniel Morris, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari:
Multi-modal Program Inference: a Marriage of Pre-trainedLanguage Models and Component-based Synthesis. CoRR abs/2109.02445 (2021) - 2020
- [j20]Xiang Gao, Shraddha Barke, Arjun Radhakrishna, Gustavo Soares, Sumit Gulwani, Alan Leung, Nachiappan Nagappan, Ashish Tiwari:
Feedback-driven semi-supervised synthesis of program transformations. Proc. ACM Program. Lang. 4(OOPSLA): 219:1-219:30 (2020) - [c92]Shouvik Roy, Usama Mehmood, Radu Grosu, Scott A. Smolka, Scott D. Stoller, Ashish Tiwari:
Learning Distributed Controllers for V-Formation. ACSOS 2020: 119-128 - [c91]Usama Mehmood, Shouvik Roy, Radu Grosu, Scott A. Smolka, Scott D. Stoller, Ashish Tiwari:
Neural Flocking: MPC-Based Supervised Learning of Flocking Controllers. FoSSaCS 2020: 1-16 - [c90]Anna Fariha, Ashish Tiwari, Arjun Radhakrishna, Sumit Gulwani:
ExTuNe: Explaining Tuple Non-conformance. SIGMOD Conference 2020: 2741-2744 - [i15]Radu Grosu, Anna Lukina, Scott A. Smolka, Ashish Tiwari, Vasudha Varadarajan, Xingfang Wang:
V-Formation via Model Predictive Control. CoRR abs/2002.08955 (2020) - [i14]Anna Fariha, Ashish Tiwari, Arjun Radhakrishna, Sumit Gulwani, Alexandra Meliou:
Data Invariants: On Trust in Data-Driven Systems. CoRR abs/2003.01289 (2020) - [i13]Shouvik Roy, Usama Mehmood, Radu Grosu, Scott A. Smolka, Scott D. Stoller, Ashish Tiwari:
Learning Distributed Controllers for V-Formation. CoRR abs/2006.00680 (2020) - [i12]Ashish Tiwari, Arjun Radhakrishna, Sumit Gulwani, Daniel Perelman:
Information-theoretic User Interaction: Significant Inputs for Program Synthesis. CoRR abs/2006.12638 (2020)
2010 – 2019
- 2019
- [j19]Susmit Jha, Ashish Tiwari, Sanjit A. Seshia, Tuhin Sahai, Natarajan Shankar:
TeLEx: learning signal temporal logic from positive examples using tightness metric. Formal Methods Syst. Des. 54(3): 364-387 (2019) - [j18]Anders Miltner, Sumit Gulwani, Vu Le, Alan Leung, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari, Abhishek Udupa:
On the fly synthesis of edit suggestions. Proc. ACM Program. Lang. 3(OOPSLA): 143:1-143:29 (2019) - [c89]Ankush Desai, Shromona Ghosh, Sanjit A. Seshia, Natarajan Shankar, Ashish Tiwari:
SOTER: A Runtime Assurance Framework for Programming Safe Robotics Systems. DSN 2019: 138-150 - [c88]Souradeep Dutta, Xin Chen, Susmit Jha, Sriram Sankaranarayanan, Ashish Tiwari:
Sherlock - A tool for verification of neural network feedback systems: demo abstract. HSCC 2019: 262-263 - [c87]Anna Lukina, Ashish Tiwari, Scott A. Smolka, Radu Grosu:
Distributed adaptive-neighborhood control for stochastic reachability in multi-agent systems. SAC 2019: 914-921 - [i11]Shouvik Roy, Usama Mehmood, Radu Grosu, Scott A. Smolka, Scott D. Stoller, Ashish Tiwari:
Neural Flocking: MPC-based Supervised Learning of Flocking Controllers. CoRR abs/1908.09813 (2019) - [i10]Sumit Gulwani, Kunal Pathak, Arjun Radhakrishna, Ashish Tiwari, Abhishek Udupa:
Quantitative Programming by Examples. CoRR abs/1909.05964 (2019) - 2018
- [c86]Souradeep Dutta, Susmit Jha, Sriram Sankaranarayanan, Ashish Tiwari:
Learning and Verification of Feedback Control Systems using Feedforward Neural Networks. ADHS 2018: 151-156 - [c85]Anna Lukina, Ashish Tiwari, Scott A. Smolka, Lukas Esterle, Junxing Yang, Radu Grosu:
Resilient Control and Safety for Cyber-Physical Systems. MT@CPSWeek 2018: 16-17 - [c84]Shalini Ghosh, Susmit Jha, Ashish Tiwari, Patrick Lincoln, Xiaojin Zhu:
Model, Data and Reward Repair: Trusted Machine Learning for Markov Decision Processes. DSN Workshops 2018: 194-199 - [c83]Souradeep Dutta, Susmit Jha, Sriram Sankaranarayanan, Ashish Tiwari:
Output Range Analysis for Deep Feedforward Neural Networks. NFM 2018: 121-138 - [c82]Marcell Vazquez-Chanlatte, Susmit Jha, Ashish Tiwari, Mark K. Ho, Sanjit A. Seshia:
Learning Task Specifications from Demonstrations. NeurIPS 2018: 5372-5382 - [c81]Usama Mehmood, Nicola Paoletti, Dung T. Phan, Radu Grosu, Shan Lin, Scott D. Stoller, Ashish Tiwari, Junxing Yang, Scott A. Smolka:
Declarative vs rule-based control for flocking dynamics. SAC 2018: 816-823 - [i9]Anna Lukina, Ashish Tiwari, Scott A. Smolka, Radu Grosu:
Adaptive Neighborhood Resizing for Stochastic Reachability in Multi-Agent Systems. CoRR abs/1805.07929 (2018) - [i8]Ankush Desai, Shromona Ghosh, Sanjit A. Seshia, Natarajan Shankar, Ashish Tiwari:
SOTER: Programming Safe Robotics System using Runtime Assurance. CoRR abs/1808.07921 (2018) - 2017
- [c80]Shalini Ghosh, Patrick Lincoln, Ashish Tiwari, Xiaojin Zhu:
Trusted Machine Learning: Model Repair and Data Repair for Probabilistic Models. AAAI Workshops 2017 - [c79]Ashish Tiwari, Scott A. Smolka, Lukas Esterle, Anna Lukina, Junxing Yang, Radu Grosu:
Attacking the V: On the Resiliency of Adaptive-Horizon MPC. ATVA 2017: 446-462 - [c78]Adrià Gascón, Ashish Tiwari, Brent Carmer, Umang Mathur:
Look for the Proof to Find the Program: Decorated-Component-Based Program Synthesis. CAV (2) 2017: 86-103 - [c77]Susmit Jha, Ashish Tiwari, Sanjit A. Seshia, Tuhin Sahai, Natarajan Shankar:
TeLEx: Passive STL Learning Using Only Positive Examples. RV 2017: 208-224 - [c76]Anna Lukina, Lukas Esterle, Christian Hirsch, Ezio Bartocci, Junxing Yang, Ashish Tiwari, Scott A. Smolka, Radu Grosu:
ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans. TACAS (2) 2017: 286-302 - [i7]Scott A. Smolka, Ashish Tiwari, Lukas Esterle, Anna Lukina, Junxing Yang, Radu Grosu:
Attacking the V: On the Resiliency of Adaptive-Horizon MPC. CoRR abs/1702.00290 (2017) - [i6]Souradeep Dutta, Susmit Jha, Sriram Sankaranarayanan, Ashish Tiwari:
Output Range Analysis for Deep Neural Networks. CoRR abs/1709.09130 (2017) - [i5]Marcell Vazquez-Chanlatte, Susmit Jha, Ashish Tiwari, Sanjit A. Seshia:
Specification Inference from Demonstrations. CoRR abs/1710.03875 (2017) - [i4]Usama Mehmood, Nicola Paoletti, Dung T. Phan, Radu Grosu, Shan Lin, Scott D. Stoller, Ashish Tiwari, Junxing Yang, Scott A. Smolka:
Declarative vs Rule-based Control for Flocking Dynamics. CoRR abs/1710.10013 (2017) - 2016
- [j17]Ashish Tiwari, Patrick Lincoln:
A search-based procedure for nonlinear real arithmetic. Formal Methods Syst. Des. 48(3): 257-273 (2016) - [c75]Junxing Yang, Radu Grosu, Scott A. Smolka, Ashish Tiwari:
Love Thy Neighbor: V-Formation as a Problem of Model Predictive Control. CONCUR 2016: 4:1-4:5 - [e4]Nicola Olivetti, Ashish Tiwari:
Automated Reasoning - 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings. Lecture Notes in Computer Science 9706, Springer 2016, ISBN 978-3-319-40228-4 [contents] - [i3]Anna Lukina, Lukas Esterle, Christian Hirsch, Ezio Bartocci, Junxing Yang, Ashish Tiwari, Scott A. Smolka, Radu Grosu:
ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans. CoRR abs/1612.07059 (2016) - 2015
- [c74]Martin Schäf, Ashish Tiwari:
Severity Levels of Inconsistent Code. ATVA 2015: 97-113 - [c73]Ashish Tiwari, Adrià Gascón, Bruno Dutertre:
Program Synthesis Using Dual Interpretation. CADE 2015: 482-497 - [c72]Ashish Tiwari:
Time-Aware Abstractions in HybridSal. CAV (1) 2015: 504-510 - [c71]Adrià Gascón, Manfred Schmidt-Schauß, Ashish Tiwari:
Two-Restricted One Context Unification is in Polynomial Time. CSL 2015: 405-422 - [c70]Adrià Gascón, Ashish Tiwari, Manfred Schmidt-Schauß:
One Context Unification Problems Solvable in Polynomial Time. LICS 2015: 499-510 - [c69]Daniel Fava, Julien Signoles, Matthieu Lemerre, Martin Schäf, Ashish Tiwari:
Gamifying Program Analysis. LPAR 2015: 591-605 - [c68]Ashish Tiwari:
Attacking a Feedback Controller. NSV 2015: 141-153 - [e3]Sergiy Bogomolov, Ashish Tiwari:
1st International Workshop on Symbolic and Numerical Methods for Reachability Analysis, SNR@CAV 2015, San Francisco, CA, USA, July 19, 2015. EPiC Series in Computing 37, EasyChair 2015 [contents] - 2014
- [j16]Pramod Subramanyan, Nestan Tsiskaridze, Wenchao Li, Adrià Gascón, Wei Yang Tan, Ashish Tiwari, Natarajan Shankar, Sanjit A. Seshia, Sharad Malik:
Reverse Engineering Digital Circuits Using Structural and Functional Analyses. IEEE Trans. Emerg. Top. Comput. 2(1): 63-80 (2014) - [c67]Ashish Tiwari, Patrick Lincoln:
A Nonlinear Real Arithmetic Fragment. CAV 2014: 729-736 - [c66]Adrià Gascón, Pramod Subramanyan, Bruno Dutertre, Ashish Tiwari, Dejan Jovanovic, Sharad Malik:
Template-based circuit understanding. FMCAD 2014: 83-90 - [c65]Ashish Tiwari, Bruno Dutertre, Dejan Jovanovic, Thomas de Candia, Patrick Lincoln, John M. Rushby, Dorsa Sadigh, Sanjit A. Seshia:
Safety envelope for security. HiCoNS 2014: 85-94 - [c64]Adrià Gascón, Ashish Tiwari:
A Synthesized Algorithm for Interactive Consistency. NASA Formal Methods 2014: 270-284 - [c63]Jan Leike, Ashish Tiwari:
Synthesis for Polynomial Lasso Programs. VMCAI 2014: 434-452 - [c62]Adrià Gascón, Ashish Tiwari:
Synthesis of a simple self-stabilizing system. SYNT 2014: 5-16 - 2013
- [j15]Steven Eker, Markus Krummenacker, Alexander Glennon Shearer, Ashish Tiwari, Ingrid M. Keseler, Carolyn L. Talcott, Peter D. Karp:
Computing minimal nutrient sets from metabolic networks via linear constraint solving. BMC Bioinform. 14: 114 (2013) - [j14]Carles Creus, Guillem Godoy, Francesc Massanes, Ashish Tiwari:
Non-Linear Rewrite Closure and Weak Normalization. J. Autom. Reason. 51(3): 281-324 (2013) - [c61]Parasara Sridhar Duggirala, Ashish Tiwari:
Safety verification for linear systems. EMSOFT 2013: 7:1-7:10 - [c60]Sergio Mover, Alessandro Cimatti, Ashish Tiwari, Stefano Tonetta:
Time-aware relational abstractions for hybrid systems. EMSOFT 2013: 14:1-14:10 - [c59]Wenchao Li, Adrià Gascón, Pramod Subramanyan, Wei Yang Tan, Ashish Tiwari, Sharad Malik, Natarajan Shankar, Sanjit A. Seshia:
WordRev: Finding word-level structures in a sea of bit-level gates. HOST 2013: 67-74 - [i2]Jan Leike, Ashish Tiwari:
Synthesis for Polynomial Lasso Programs. CoRR abs/1311.4046 (2013) - 2012
- [c58]Aditya Zutshi, Sriram Sankaranarayanan, Ashish Tiwari:
Timed Relational Abstractions for Sampled Data Control Systems. CAV 2012: 343-361 - [c57]Ashish Tiwari:
HybridSAL Relational Abstracter. CAV 2012: 725-731 - [c56]Ashish Tiwari:
RTA 2012 Proceedings Frontmatter. RTA 2012: i-xiii - [e2]Ashish Tiwari:
23rd International Conference on Rewriting Techniques and Applications (RTA'12) , RTA 2012, May 28 - June 2, 2012, Nagoya, Japan. LIPIcs 15, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2012, ISBN 978-3-939897-38-5 [contents] - 2011
- [j13]Ankur Taly, Sumit Gulwani, Ashish Tiwari:
Synthesizing switching logic using constraint solving. Int. J. Softw. Tools Technol. Transf. 13(6): 519-535 (2011) - [c55]Sriram Sankaranarayanan, Ashish Tiwari:
Relational Abstractions for Continuous and Hybrid Systems. CAV 2011: 686-702 - [c54]Ashish Tiwari:
Compositionally analyzing a proportional-integral controller family. CDC/ECC 2011: 2693-2698 - [c53]Susmit Jha, Sanjit A. Seshia, Ashish Tiwari:
Synthesis of optimal switching logic for hybrid systems. EMSOFT 2011: 107-116 - [c52]Thomas Sturm, Ashish Tiwari:
Verification and synthesis using real quantifier elimination. ISSAC 2011: 329-336 - [c51]Ashish Tiwari:
Logic in Software, Dynamical and Biological Systems. LICS 2011: 9-10 - [c50]Sumit Gulwani, Vijay Anand Korthikanti, Ashish Tiwari:
Synthesizing geometry constructions. PLDI 2011: 50-61 - [c49]Sumit Gulwani, Susmit Jha, Ashish Tiwari, Ramarathnam Venkatesan:
Synthesis of loop-free programs. PLDI 2011: 62-73 - [c48]Ashish Tiwari:
Rewriting in Practice. RTA 2011: 3-8 - [c47]Ashish Tiwari:
Rewriting in Practice. TLCA 2011: 6-8 - [i1]Susmit Jha, Sanjit A. Seshia, Ashish Tiwari:
Synthesizing Switching Logic to Minimize Long-Run Cost. CoRR abs/1103.0800 (2011) - 2010
- [j12]Luis Barguñó, Guillem Godoy, Eduard Huntingford, Ashish Tiwari:
Termination of Rewriting with Right-Flat Rules Modulo Permutative Theories. Log. Methods Comput. Sci. 6(3) (2010) - [j11]Silvio Ghilardi, Viorica Sofronie-Stokkermans, Ulrike Sattler, Ashish Tiwari:
Special issue on automated deduction: Decidability, complexity, tractability. J. Symb. Comput. 45(2): 151-152 (2010) - [j10]Adrià Gascón, Guillem Godoy, Manfred Schmidt-Schauß, Ashish Tiwari:
Context unification with one context variable. J. Symb. Comput. 45(2): 173-193 (2010) - [c46]Ankur Taly, Ashish Tiwari:
Switching logic synthesis for reachability. EMSOFT 2010: 19-28 - [c45]Susmit Jha, Sumit Gulwani, Sanjit A. Seshia, Ashish Tiwari:
Synthesizing switching logic for safety and dwell-time requirements. ICCPS 2010: 22-31 - [c44]Susmit Jha, Sumit Gulwani, Sanjit A. Seshia, Ashish Tiwari:
Oracle-guided component-based program synthesis. ICSE (1) 2010: 215-224 - [c43]Ashish Tiwari:
Theory of reals for verification and synthesis of hybrid dynamical systems. ISSAC 2010: 5-6
2000 – 2009
- 2009
- [j9]Alessandro Abate, Ashish Tiwari, Shankar Sastry:
Box invariance in biologically-inspired dynamical systems. Autom. 45(7): 1601-1610 (2009) - [c42]Ashish Tiwari:
Combining Equational Reasoning. FroCoS 2009: 68-83 - [c41]Ankur Taly, Ashish Tiwari:
Deductive Verification of Continuous Dynamical Systems. FSTTCS 2009: 383-394 - [c40]Carles Creus, Guillem Godoy, Francesc Massanes, Ashish Tiwari:
Non-linear Rewrite Closure and Weak Normalization. LICS 2009: 365-374 - [c39]Guillem Godoy, Ashish Tiwari:
Invariant Checking for Programs with Procedure Calls. SAS 2009: 326-342 - [c38]Ankur Taly, Sumit Gulwani, Ashish Tiwari:
Synthesizing Switching Logic Using Constraint Solving. VMCAI 2009: 305-319 - 2008
- [j8]Ashish Tiwari:
Abstractions for hybrid systems. Formal Methods Syst. Des. 32(1): 57-83 (2008) - [c37]Sumit Gulwani, Ashish Tiwari:
Constraint-Based Approach for Analysis of Hybrid Systems. CAV 2008: 190-203 - [c36]Ashish Tiwari, Carolyn L. Talcott:
Analyzing a Discrete Model of Aplysia Central Pattern Generator. CMSB 2008: 347-366 - [c35]Ashish Tiwari:
Generating Box Invariants. HSCC 2008: 658-661 - [c34]Sumit Gulwani, Bill McCloskey, Ashish Tiwari:
Lifting abstract interpreters to quantified logical domains. POPL 2008: 235-246 - 2007
- [c33]Ashish Tiwari, Carolyn L. Talcott, Merrill Knapp, Patrick Lincoln, Keith Laderoute:
Analyzing Pathways Using SAT-Based Approaches. AB 2007: 155-169 - [c32]Alessandro Abate, Yu Bai, Nathalie Sznajder, Carolyn L. Talcott, Ashish Tiwari:
Quantitative and Probabilistic Modeling in Pathway Logic. BIBE 2007: 922-929 - [c31]Ashish Tiwari, Sumit Gulwani:
Logical Interpretation: Static Program Analysis Using Theorem Proving. CADE 2007: 147-166 - [c30]Sumit Gulwani, Ashish Tiwari:
An Abstract Domain for Analyzing Heap-Manipulating Low-Level Software. CAV 2007: 379-392 - [c29]