Ashish Tiwari

Xin Chen

Marcell Vazquez-Chanlatte

Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019

SOTER: A Runtime Assurance Framework for Programming Safe Robotics Systems.

[BibT_eX]

[DOI]

Proceedings of the 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2019

2018

SOTER: Programming Safe Robotics System using Runtime Assurance.

[BibT_eX]

[DOI]

CoRR, 2018

Adaptive Neighborhood Resizing for Stochastic Reachability in Multi-Agent Systems.

[BibT_eX]

[DOI]

CoRR, 2018

Declarative vs rule-based control for flocking dynamics.

[BibT_eX]

[DOI]

Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

Learning Task Specifications from Demonstrations.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, 2018

Output Range Analysis for Deep Feedforward Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods - 10th International Symposium, 2018

Model, Data and Reward Repair: Trusted Machine Learning for Markov Decision Processes.

[BibT_eX]

[DOI]

Proceedings of the 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2018

Resilient Control and Safety for Cyber-Physical Systems.

[BibT_eX]

[DOI]

Proceedings of the 3rd Workshop on Monitoring and Testing of Cyber-Physical Systems, 2018

Learning and Verification of Feedback Control Systems using Feedforward Neural Networks.

[BibT_eX]

[DOI]

Marcell Vazquez-Chanlatte

Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems, 2018

2017

Specification Inference from Demonstrations.

[BibT_eX]

[DOI]

Sanjit A. Seshia

CoRR, 2017

Output Range Analysis for Deep Neural Networks.

[BibT_eX]

[DOI]

CoRR, 2017

ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

TeLEx: Passive STL Learning Using Only Positive Examples.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification - 17th International Conference, 2017

Look for the Proof to Find the Program: Decorated-Component-Based Program Synthesis.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 29th International Conference, 2017

Attacking the V: On the Resiliency of Adaptive-Horizon MPC.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2017

Trusted Machine Learning: Model Repair and Data Repair for Probabilistic Models.

[BibT_eX]

[DOI]

Proceedings of the Workshops of the The Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016

A search-based procedure for nonlinear real arithmetic.

[BibT_eX]

[DOI]

Patrick Lincoln

Formal Methods Syst. Des., 2016

Love Thy Neighbor: V-Formation as a Problem of Model Predictive Control.

[BibT_eX]

[DOI]

Proceedings of the 27th International Conference on Concurrency Theory, 2016

2015

Attacking a Feedback Controller.

[BibT_eX]

[DOI]

Proceedings of the Seventh and Eighth International Workshops on Numerical Software Verification, 2015

Gamifying Program Analysis.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2015

One Context Unification Problems Solvable in Polynomial Time.

[BibT_eX]

[DOI]

Manfred Schmidt-Schauß

Proceedings of the 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 2015

Two-Restricted One Context Unification is in Polynomial Time.

[BibT_eX]

[DOI]

Manfred Schmidt-Schauß

Proceedings of the 24th EACSL Annual Conference on Computer Science Logic, 2015

Time-Aware Abstractions in HybridSal.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 27th International Conference, 2015

Program Synthesis Using Dual Interpretation.

[BibT_eX]

[DOI]

Bruno Dutertre

Proceedings of the Automated Deduction - CADE-25, 2015

Severity Levels of Inconsistent Code.

[BibT_eX]

[DOI]

Martin Schäf

Proceedings of the Automated Technology for Verification and Analysis, 2015

2014

Reverse Engineering Digital Circuits Using Structural and Functional Analyses.

[BibT_eX]

[DOI]

IEEE Trans. Emerg. Top. Comput., 2014

Synthesis of a simple self-stabilizing system.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 3rd Workshop on Synthesis, 2014

Synthesis for Polynomial Lasso Programs.

[BibT_eX]

[DOI]

Jan Leike

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2014

A Synthesized Algorithm for Interactive Consistency.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29, 2014

Safety envelope for security.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Conference on High Confidence Networked Systems (part of CPS Week), 2014

Template-based circuit understanding.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods in Computer-Aided Design, 2014

A Nonlinear Real Arithmetic Fragment.

[BibT_eX]

[DOI]

Alexander Glennon Shearer

Patrick Lincoln

Proceedings of the Computer Aided Verification - 26th International Conference, 2014

2013

Non-Linear Rewrite Closure and Weak Normalization.

[BibT_eX]

[DOI]

J. Autom. Reason., 2013

Computing minimal nutrient sets from metabolic networks via linear constraint solving.

[BibT_eX]

[DOI]

Steven Eker

Markus Krummenacker

BMC Bioinform., 2013

WordRev: Finding word-level structures in a sea of bit-level gates.

[BibT_eX]

[DOI]

Proceedings of the 2013 IEEE International Symposium on Hardware-Oriented Security and Trust, 2013

Time-aware relational abstractions for hybrid systems.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Embedded Software, 2013

Safety verification for linear systems.

[BibT_eX]

[DOI]

Parasara Sridhar Duggirala

Proceedings of the International Conference on Embedded Software, 2013

2012

RTA 2012 Proceedings Frontmatter.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Conference on Rewriting Techniques and Applications (RTA'12) , 2012

Timed Relational Abstractions for Sampled Data Control Systems.

[BibT_eX]

[DOI]

Aditya Zutshi

Proceedings of the Computer Aided Verification - 24th International Conference, 2012

HybridSAL Relational Abstracter.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 24th International Conference, 2012

2011

Synthesizing switching logic using constraint solving.

[BibT_eX]

[DOI]

Ankur Taly

Int. J. Softw. Tools Technol. Transf., 2011

Synthesizing Switching Logic to Minimize Long-Run Cost

[BibT_eX]

[DOI]

Sanjit A. Seshia

CoRR, 2011

Rewriting in Practice.

[BibT_eX]

[DOI]

Proceedings of the Typed Lambda Calculi and Applications - 10th International Conference, 2011

Synthesizing geometry constructions.

[BibT_eX]

[DOI]

Vijay Anand Korthikanti

Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011

Synthesis of loop-free programs.

[BibT_eX]

[DOI]

Ramarathnam Venkatesan

Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011

Logic in Software, Dynamical and Biological Systems.

[BibT_eX]

[DOI]

Proceedings of the 26th Annual IEEE Symposium on Logic in Computer Science, 2011

Verification and synthesis using real quantifier elimination.

[BibT_eX]

[DOI]

Thomas Sturm

Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2011

Synthesis of optimal switching logic for hybrid systems.

[BibT_eX]

[DOI]

Sanjit A. Seshia

Proceedings of the 11th International Conference on Embedded Software, 2011

Compositionally analyzing a proportional-integral controller family.

[BibT_eX]

[DOI]

Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

Relational Abstractions for Continuous and Hybrid Systems.

[BibT_eX]

[DOI]

Viorica Sofronie-Stokkermans

Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

2010

Special issue on automated deduction: Decidability, complexity, tractability.

[BibT_eX]

[DOI]

Silvio Ghilardi

Ulrike Sattler

J. Symb. Comput., 2010

Context unification with one context variable.

[BibT_eX]

[DOI]

Manfred Schmidt-Schauß

J. Symb. Comput., 2010

Termination of Rewriting with Right-Flat Rules Modulo Permutative Theories

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2010

Theory of reals for verification and synthesis of hybrid dynamical systems.

[BibT_eX]

[DOI]

Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2010

Oracle-guided component-based program synthesis.

[BibT_eX]

[DOI]

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

Synthesizing switching logic for safety and dwell-time requirements.

[BibT_eX]

[DOI]

Proceedings of the ACM/IEEE 1st International Conference on Cyber-Physical Systems, 2010

Switching logic synthesis for reachability.

[BibT_eX]

[DOI]

Ankur Taly

Proceedings of the 10th International conference on Embedded software, 2010

2009

Box invariance in biologically-inspired dynamical systems.

[BibT_eX]

[DOI]

Alessandro Abate

Shankar Sastry

Autom., 2009

Invariant Checking for Programs with Procedure Calls.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis, 16th International Symposium, 2009

Deductive Verification of Continuous Dynamical Systems.

[BibT_eX]

[DOI]

Ankur Taly

Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2009

Combining Equational Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Frontiers of Combining Systems, 7th International Symposium, 2009

2008

Abstractions for hybrid systems.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2008

Lifting abstract interpreters to quantified logical domains.

[BibT_eX]

[DOI]

Bill McCloskey

Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2008

Generating Box Invariants.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems: Computation and Control, 11th International Workshop, 2008

Analyzing a Discrete Model of Aplysia Central Pattern Generator

[BibT_eX]

[DOI]

Carolyn L. Talcott

Proceedings of the Computational Methods in Systems Biology, 6th International Conference, 2008

Constraint-Based Approach for Analysis of Hybrid Systems.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 20th International Conference, 2008

2007

Assertion Checking Unified.

[BibT_eX]

[DOI]

Proceedings of the Verification, 2007

Termination of Rewriting with Right-Flat Rules.

[BibT_eX]

[DOI]

Eduard Huntingford

Proceedings of the Term Rewriting and Applications, 18th International Conference, 2007

Computing Procedure Summaries for Interprocedural Analysis.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2007

An Abstract Domain for Analyzing Heap-Manipulating Low-Level Software.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 19th International Conference, 2007

Logical Interpretation: Static Program Analysis Using Theorem Proving.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction, 2007

Quantitative and Probabilistic Modeling in Pathway Logic.

[BibT_eX]

[DOI]

Proceedings of the 7th IEEE International Conference on Bioinformatics and Bioengineering, 2007

Analyzing Pathways Using SAT-Based Approaches.

[BibT_eX]

[DOI]

Proceedings of the Algebraic Biology, Second International Conference, 2007

2006

Combining abstract interpreters.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation, 2006

Assertion Checking over Combined Abstraction of Linear Arithmetic and Uninterpreted Functions.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2006

Box invariance of Hybrid and switched Systems.

[BibT_eX]

[DOI]

Alessandro Abate

Enric Rodríguez-Carbonell

Proceedings of the 2nd IFAC Conference on Analysis and Design of Hybrid Systems, 2006

2005

Generating Polynomial Invariants for Hybrid Systems.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems: Computation and Control, 8th International Workshop, 2005

An Algebraic Approach for the Unsatisfiability of Nonlinear Constraints.

[BibT_eX]

[DOI]

Proceedings of the Computer Science Logic, 19th International Workshop, 2005

Confluence of Shallow Right-Linear Rewrite Systems.

[BibT_eX]

[DOI]

Proceedings of the Computer Science Logic, 19th International Workshop, 2005

Termination of Rewrite Systems with Shallow Right-Linear, Collapsing, and Right-Ground Rules.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction, 2005

2004

Classes of term rewrite systems with polynomial confluence problems.

[BibT_eX]

[DOI]

Robert Nieuwenhuis

ACM Trans. Comput. Log., 2004

Towards automated proofs of observational properties.

[BibT_eX]

[DOI]

Narjes Berregeb

Riadh Robbana

Discret. Math. Theor. Comput. Sci., 2004

Deciding confluence of certain term rewriting systems in polynomial time.

[BibT_eX]

[DOI]

Rakesh M. Verma

Ann. Pure Appl. Log., 2004

Characterizing Confluence by Rewrite Closure and Right Ground Term Rewrite Systems.

[BibT_eX]

[DOI]

Rakesh M. Verma

Appl. Algebra Eng. Commun. Comput., 2004

Nonlinear Systems: Approximating Reach Sets.

[BibT_eX]

[DOI]

Gaurav Khanna

Proceedings of the Hybrid Systems: Computation and Control, 7th International Workshop, 2004

Symbolic Systems Biology: Hybrid Modeling and Analysis of Biological Networks.

[BibT_eX]

[DOI]

Patrick Lincoln

Proceedings of the Hybrid Systems: Computation and Control, 7th International Workshop, 2004

Join Algorithms for the Theory of Uninterpreted Functions.

[BibT_eX]

[DOI]

George C. Necula

Proceedings of the FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science, 2004

Termination of Linear Programs.

[BibT_eX]

[DOI]

Leonardo Mendonça de Moura

Proceedings of the Computer Aided Verification, 16th International Conference, 2004

SAL 2.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 16th International Conference, 2004

Deciding Fundamental Properties of Right-(Ground or Variable) Rewrite Systems by Rewrite Closure.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning - Second International Joint Conference, 2004

2003

Invisible formal methods for embedded control systems.

[BibT_eX]

[DOI]

Natarajan Shankar

John M. Rushby

Proc. IEEE, 2003

Abstract Congruence Closure.

[BibT_eX]

[DOI]

Laurent Vigneron

J. Autom. Reason., 2003

On the Confluence of Linear Shallow Term Rewrite Systems.

[BibT_eX]

[DOI]

Rakesh M. Verma

Proceedings of the STACS 2003, 20th Annual Symposium on Theoretical Aspects of Computer Science, Berlin, Germany, February 27, 2003

Approximate Reachability for Linear Systems.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems: Computation and Control, 2003

Automated Symbolic Reachability Analysis; with Application to Delta-Notch Signaling Automata.

[BibT_eX]

[DOI]

Ronojoy Ghosh

Claire J. Tomlin

Proceedings of the Hybrid Systems: Computation and Control, 2003

2002

Deciding Confluence of Certain Term Rewriting Systems in Polynomial Time.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE Symposium on Logic in Computer Science (LICS 2002), 2002

Series of Abstractions for Hybrid Automata.

[BibT_eX]

[DOI]

Gaurav Khanna

Proceedings of the Hybrid Systems: Computation and Control, 5th International Workshop, 2002

2001

A Technique for Invariant Generation.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2001

Rewrite Closure for Ground and Cancellative AC Theories.

[BibT_eX]

[DOI]

Proceedings of the FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science, 2001

2000

A greedy genetic algorithm for the quadratic assignment problem.

[BibT_eX]

[DOI]

Ravindra K. Ahuja

James B. Orlin

Comput. Oper. Res., 2000

Congruence Closure Modulo Associativity and Commutativity.

[BibT_eX]

[DOI]

Proceedings of the Frontiers of Combining Systems, 2000

Rigid <i>E</i>-Unification Revisited.

[BibT_eX]

[DOI]

Harald Rueß

Proceedings of the Automated Deduction, 2000

Abstract Congruence Closure and Specializations.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction, 2000

1999

Normalization via Rewrite Closures.

[BibT_eX]

[DOI]

Proceedings of the Rewriting Techniques and Applications, 10th International Conference, 1999

1997

D-Bases for Polynomial Ideals over Commutative Noetherian Rings.

[BibT_eX]

[DOI]