On the public citation graph
Efficient Solving of Large Non-linear Arithmetic Constraint Systems with Complex Boolean Structure1
0 signed · 296 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1006/jsco.2001.0519openalex-snapshot
Quantified Constraints Under Perturbation
inferredcites →https://doi.org/10.1007/11916277_35openalex-snapshot
Splitting on Demand in SAT Modulo Theories
inferredcites →https://doi.org/10.1007/3-540-61735-3_4openalex-snapshot
Heterogeneous constraint solving
inferredcites →https://doi.org/10.1007/978-3-540-24605-3_37openalex-snapshot
An Extensible SAT-solver
inferredcites →https://doi.org/10.1007/978-3-540-25984-8_14openalex-snapshot
The ICS Decision Procedures for Embedded Deduction
inferredcites →https://doi.org/10.1007/978-3-540-45193-8_70openalex-snapshot
Unrestricted Nogood Recording in CSP Search
inferredcites →https://doi.org/10.1007/s10107-004-0559-yopenalex-snapshot
On the implementation of an interior-point filter line-search algorithm for large-scale nonlinear programming
inferredcites →https://doi.org/10.1016/0004-3702(87)90091-9openalex-snapshot
Constraint propagation with interval labels
inferredcites →https://doi.org/10.1016/0377-0427(94)00089-jopenalex-snapshot
Epsilon-inflation in verification algorithms
inferredcites →https://doi.org/10.1016/j.entcs.2004.08.061openalex-snapshot
Efficient Proof Engines for Bounded Model Checking of Hybrid Systems
inferredcites →https://doi.org/10.1016/s1574-6526(06)80020-9openalex-snapshot
Continuous and Interval Constraints
inferredcites →https://doi.org/10.1017/cbo9780511526473openalex-snapshot
Interval Methods for Systems of Equations
inferredcites →https://doi.org/10.1109/dac.2001.935565openalex-snapshot
Chaff: engineering an efficient SAT solver
inferredcites →https://doi.org/10.1109/date.2002.998262openalex-snapshot
BerkMin: A fast and robust SAT-solver
inferredcites →https://doi.org/10.1109/date.2007.364411openalex-snapshot
Tool-support for the analysis of hybrid systems and models
inferredcites →https://doi.org/10.1109/iccad.2001.968634openalex-snapshot
Efficient conflict driven learning in a Boolean satisfiability solver
inferredcites →https://doi.org/10.1145/1183278.1183282openalex-snapshot
Efficient solving of quantified inequality constraints over the real numbers
inferredcites →https://doi.org/10.1145/368273.368557openalex-snapshot
A machine program for theorem-proving
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/sys.21386openalex-snapshot
CSL4P : A Contract Specification Language for Platforms
inferred← citeshttps://doi.org/10.1007/978-1-4419-1644-0_13openalex-snapshot
Connections and Integration with SAT Solvers: A Survey and a Case Study in Computational Biology
inferred← citeshttps://doi.org/10.1007/978-3-030-13050-3_4openalex-snapshot
Formal Techniques for Verification and Testing of Cyber-Physical Systems
inferred← citeshttps://doi.org/10.1007/978-3-030-13050-3_5openalex-snapshot
Data-Driven Safety Verification of Complex Cyber-Physical Systems
inferred← citeshttps://doi.org/10.1007/978-3-030-25543-5_9openalex-snapshot
Numerically-Robust Inductive Proof Rules for Continuous Dynamical Systems
inferred← citeshttps://doi.org/10.1007/978-3-030-28423-7_6openalex-snapshot
Evaluating Branching Heuristics in Interval Constraint Propagation for Satisfiability
inferred← citeshttps://doi.org/10.1007/978-3-030-29007-8_8openalex-snapshot
A CDCL-Style Calculus for Solving Non-linear Constraints
inferred← citeshttps://doi.org/10.1007/978-3-030-29662-9_8openalex-snapshot
Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty
inferred← citeshttps://doi.org/10.1007/978-3-030-30281-8_16openalex-snapshot
UTOPIC: Under-Approximation Through Optimal Control
inferred← citeshttps://doi.org/10.1007/978-3-030-32409-4_15openalex-snapshot
Probably Approximate Safety Verification of Hybrid Dynamical Systems
inferred← citeshttps://doi.org/10.1007/978-3-030-57628-8_16openalex-snapshot
Reachability Analysis of Nonlinear Systems Using Hybridization and Dynamics Scaling
inferred← citeshttps://doi.org/10.1007/978-3-030-62822-2_9openalex-snapshot
Probably Approximately Correct Interpolants Generation
inferred← citeshttps://doi.org/10.1007/978-3-031-06773-0_6openalex-snapshot
Reachability Analysis for Cyber-Physical Systems: Are We There Yet?
inferred← citeshttps://doi.org/10.1007/978-3-031-07727-2_20openalex-snapshot
Modeling Explanations in Autonomous Vehicles
inferred← citeshttps://doi.org/10.1007/978-3-031-10769-6_10openalex-snapshot
An Efficient Subsumption Test Pipeline for BS(LRA) Clauses
inferred← citeshttps://doi.org/10.1007/978-3-031-19992-9_9openalex-snapshot
Handling Polynomial and Transcendental Functions in SMT via Unconstrained Optimisation and Topological Degree Test
inferred← citeshttps://doi.org/10.1007/978-3-031-28916-3_1openalex-snapshot
Arithmetic Satisfiability-Modulo-Theory Solving Applied to Nonstandard Analysis Problems of Cyber-Physical Systems
inferred← citeshttps://doi.org/10.1007/978-3-031-30820-8_8openalex-snapshot
Verified reductions for optimization
inferred← citeshttps://doi.org/10.1007/978-3-031-33170-1_1openalex-snapshot
Verification of LSTM Neural Networks with Non-linear Activation Functions
inferred← citeshttps://doi.org/10.1007/978-3-031-37703-7_8openalex-snapshot
Satisfiability Modulo Finite Fields
inferred← citeshttps://doi.org/10.1007/978-3-031-63498-7_21openalex-snapshot
Satisfiability Modulo Exponential Integer Arithmetic
inferred← citeshttps://doi.org/10.1007/978-3-031-94533-5_15openalex-snapshot
Polychronous RSS in a Process-Algebraic Framework - A Case Study
inferred← citeshttps://doi.org/10.1007/978-3-031-98668-0_17openalex-snapshot
Integer Reasoning Modulo Different Constants in SMT
inferred← citeshttps://doi.org/10.1007/978-3-319-02444-8_37openalex-snapshot
NLTOOLBOX: A Library for Reachability Computation of Nonlinear Dynamical Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-03077-7_19openalex-snapshot
Efficient Analysis of Reliability Architectures via Predicate Abstraction
inferred← citeshttps://doi.org/10.1007/978-3-319-08867-9_48openalex-snapshot
A Nonlinear Real Arithmetic Fragment
inferred← citeshttps://doi.org/10.1007/978-3-319-09284-3_25openalex-snapshot
Minimal-Model-Guided Approaches to Solving Polynomial Constraints and Extensions
inferred← citeshttps://doi.org/10.1007/978-3-319-10515-4_19openalex-snapshot
Towards Conflict-Driven Learning for Virtual Substitution
inferred← citeshttps://doi.org/10.1007/978-3-319-10696-0_31openalex-snapshot
Accelerating Parametric Probabilistic Verification
inferred← citeshttps://doi.org/10.1007/978-3-319-11439-2_16openalex-snapshot
Generalized Craig Interpolation for Stochastic Satisfiability Modulo Theory Problems
inferred← citeshttps://doi.org/10.1007/978-3-319-17524-9_29openalex-snapshot
A Benchmark Suite for Hybrid Systems Reachability Analysis
inferred← citeshttps://doi.org/10.1007/978-3-319-21668-3_20openalex-snapshot
Automatic Verification of Stability and Safety for Delay Differential Equations
inferred← citeshttps://doi.org/10.1007/978-3-319-22264-6_19openalex-snapshot
A Solving Procedure for Stochastic Satisfiability Modulo Theories with Continuous Domain
inferred← citeshttps://doi.org/10.1007/978-3-319-22975-1_7openalex-snapshot
Multi-objective Parameter Synthesis in Probabilistic Hybrid Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-24318-4_26openalex-snapshot
SMT-RAT: An Open Source C++ Toolbox for Strategic and Parallel SMT Solving
inferred← citeshttps://doi.org/10.1007/978-3-319-25141-7_2openalex-snapshot
Current Challenges in the Verification of Hybrid Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-40229-1_16openalex-snapshot
raSAT: An SMT Solver for Polynomial Constraints
inferred← citeshttps://doi.org/10.1007/978-3-319-41591-8_2openalex-snapshot
Satisfiability Checking: Theory and Applications
inferred← citeshttps://doi.org/10.1007/978-3-319-42547-4_3openalex-snapshot
$$\mathsf {SC}^\mathsf{2} $$ : Satisfiability Checking Meets Symbolic Computation
inferred← citeshttps://doi.org/10.1007/978-3-319-44953-1_15openalex-snapshot
Interval Constraints with Learning: Application to Air Traffic Control
inferred← citeshttps://doi.org/10.1007/978-3-319-45641-6_21openalex-snapshot
A Generalised Branch-and-Bound Approach and Its Application in SAT Modulo Nonlinear Integer Arithmetic
inferred← citeshttps://doi.org/10.1007/978-3-319-46750-4_23openalex-snapshot
Temporal Logic Verification for Delay Differential Equations
inferred← citeshttps://doi.org/10.1007/978-3-319-48628-4_2openalex-snapshot
Constraint-Solving Techniques for the Analysis of Stochastic Hybrid Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-48989-6_9openalex-snapshot
Validated Simulation-Based Verification of Delayed Differential Dynamics
inferred← citeshttps://doi.org/10.1007/978-3-319-49052-6_12openalex-snapshot
Advancing Software Model Checking Beyond Linear Arithmetic Theories
inferred← citeshttps://doi.org/10.1007/978-3-319-66167-4openalex-snapshot
Frontiers of Combining Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-66167-4_11openalex-snapshot
Subtropical Satisfiability
inferred← citeshttps://doi.org/10.1007/978-3-319-68167-2_21openalex-snapshot
Lifting CDCL to Template-Based Abstract Domains for Program Verification
inferred← citeshttps://doi.org/10.1007/978-3-319-71237-6_2openalex-snapshot
Synthesizing SystemC Code from Delay Hybrid CSP
inferred← citeshttps://doi.org/10.1007/978-3-319-89963-3_17openalex-snapshot
Efficient Dynamic Error Reduction for Hybrid Systems Reachability Analysis
inferred← citeshttps://doi.org/10.1007/978-3-319-96145-3_24openalex-snapshot
Reachable Set Over-Approximation for Nonlinear Systems Using Piecewise Barrier Tubes
inferred← citeshttps://doi.org/10.1007/978-3-319-99154-2_7openalex-snapshot
Guaranteed Error Bounds on Approximate Model Abstractions Through Reachability Analysis
inferred← citeshttps://doi.org/10.1007/978-3-540-68155-7_20openalex-snapshot
Stochastic Satisfiability Modulo Theories for Non-linear Arithmetic
inferred← citeshttps://doi.org/10.1007/978-3-540-78929-1_13openalex-snapshot
Stochastic Satisfiability Modulo Theory: A Novel Technique for the Analysis of Probabilistic Hybrid Systems
inferred← citeshttps://doi.org/10.1007/978-3-540-85762-4_2openalex-snapshot
A Unified Approach to Abstract Interpretation, Formal Verification and Testing of C/C++ Modules
inferred← citeshttps://doi.org/10.1007/978-3-540-88387-6_14openalex-snapshot
SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-02011-7_6openalex-snapshot
Fast and Accurate Bounds on Linear Programs
inferred← citeshttps://doi.org/10.1007/978-3-642-02959-2_23openalex-snapshot
Solving Non-linear Polynomial Arithmetic via SAT Modulo Linear Arithmetic
inferred← citeshttps://doi.org/10.1007/978-3-642-03251-6_4openalex-snapshot
Challenges in Constraint-Based Analysis of Hybrid Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-11512-7_18openalex-snapshot
Integrated and Automated Abstract Interpretation, Verification and Testing of C/C++ Modules
inferred← citeshttps://doi.org/10.1007/978-3-642-13022-9_14openalex-snapshot
Safe Learning with Real-Time Constraints: A Case Study
inferred← citeshttps://doi.org/10.1007/978-3-642-14295-6_24openalex-snapshot
An Abstraction-Refinement Approach to Verification of Artificial Neural Networks
inferred← citeshttps://doi.org/10.1007/978-3-642-15769-1_23openalex-snapshot
Generating Invariants for Non-linear Hybrid Systems by Linear Algebraic Methods
inferred← citeshttps://doi.org/10.1007/978-3-642-16265-7_13openalex-snapshot
Satisfaction Meets Expectations
inferred← citeshttps://doi.org/10.1007/978-3-642-20398-5_12openalex-snapshot
Synthesis for PCTL in Parametric Markov Decision Processes
inferred← citeshttps://doi.org/10.1007/978-3-642-21493-6_15openalex-snapshot
I-RiSC: An SMT-Compliant Solver for the Existential Fragment of Real Algebra
inferred← citeshttps://doi.org/10.1007/978-3-642-22616-8_27openalex-snapshot
Integration of an LP Solver into Interval Constraint Propagation
inferred← citeshttps://doi.org/10.1007/978-3-642-22953-4_31openalex-snapshot
Virtual Substitution for SMT-Solving
inferred← citeshttps://doi.org/10.1007/978-3-642-23954-0_14openalex-snapshot
Checking Safety of Neural Networks with SMT Solvers: A Comparative Evaluation
inferred← citeshttps://doi.org/10.1007/978-3-642-23954-0_41openalex-snapshot
Over-Subscription Planning with Boolean Optimization: An Assessment of State-of-the-Art Solutions
inferred← citeshttps://doi.org/10.1007/978-3-642-24310-3_12openalex-snapshot
Crossing the Bridge between Similar Games
inferred← citeshttps://doi.org/10.1007/978-3-642-24310-3_17openalex-snapshot
Craig Interpolation in the Presence of Non-linear Constraints
inferred← citeshttps://doi.org/10.1007/978-3-642-24364-6_9openalex-snapshot
Superposition Modulo Non-linear Arithmetic
inferred← citeshttps://doi.org/10.1007/978-3-642-24690-6_13openalex-snapshot
Improving SAT Modulo ODE for Hybrid Systems Analysis by Combining Different Enclosure Methods
inferred← citeshttps://doi.org/10.1007/978-3-642-28756-5_4openalex-snapshot
A Bit Too Precise? Bounded Verification of Quantized Digital Filters
inferred← citeshttps://doi.org/10.1007/978-3-642-31365-3_23openalex-snapshot
δ-Complete Decision Procedures for Satisfiability over the Reals
inferred← citeshttps://doi.org/10.1007/978-3-642-31365-3_27openalex-snapshot
Solving Non-linear Arithmetic
inferred← citeshttps://doi.org/10.1007/978-3-642-31612-8_35openalex-snapshot
SMT-RAT: An SMT-Compliant Nonlinear Real Arithmetic Toolbox
inferred← citeshttps://doi.org/10.1007/978-3-642-33365-1_10openalex-snapshot
Confidence Bounds for Statistical Model Checking of Probabilistic Hybrid Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-34188-5_7openalex-snapshot
IIS-Guided DFS for Efficient Bounded Reachability Analysis of Linear Hybrid Automata
inferred← citeshttps://doi.org/10.1007/978-3-642-35632-2_30openalex-snapshot
Incremental Runtime Verification of Probabilistic Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-35873-9_27openalex-snapshot
An Abstract Interpretation of DPLL(T)
inferred← citeshttps://doi.org/10.1007/978-3-642-38574-2_12openalex-snapshot
Computation in Real Closed Infinitesimal and Transcendental Extensions of the Rationals
inferred← citeshttps://doi.org/10.1007/978-3-642-38574-2_13openalex-snapshot
A Symbiosis of Interval Constraint Propagation and Cylindrical Algebraic Decomposition
inferred← citeshttps://doi.org/10.1007/978-3-642-38574-2_14openalex-snapshot
dReal: An SMT Solver for Nonlinear Theories over the Reals
inferred← citeshttps://doi.org/10.1007/978-3-642-38853-8_20openalex-snapshot
Formal Verification of Concurrent Embedded Software
inferred← citeshttps://doi.org/10.1007/978-3-642-39799-8_18openalex-snapshot
Flow*: An Analyzer for Non-linear Hybrid Systems
inferred← citeshttps://doi.org/10.1007/978-3-662-46681-0_3openalex-snapshot
Verified Reachability Analysis of Continuous Systems
inferred← citeshttps://doi.org/10.1007/978-3-662-49122-5_11openalex-snapshot
Abstract Interpretation with Infinitesimals
inferred← citeshttps://doi.org/10.1007/978-3-662-53413-7_21openalex-snapshot
Validating Numerical Semidefinite Programming Solvers for Polynomial Invariants
inferred← citeshttps://doi.org/10.1007/978-981-96-4656-2_4openalex-snapshot
AI Components for High Integrity, Safety-Critical Human-Cyber-Physical Systems
inferred← citeshttps://doi.org/10.1007/s00165-018-0475-1openalex-snapshot
Formal reliability analysis of redundancy architectures
inferred← citeshttps://doi.org/10.1007/s00165-021-00538-3openalex-snapshot
Machine learning steered symbolic execution framework for complex software code
inferred← citeshttps://doi.org/10.1007/s10009-010-0163-9openalex-snapshot
Path-oriented bounded reachability analysis of composed linear hybrid systems
inferred← citeshttps://doi.org/10.1007/s10009-011-0193-yopenalex-snapshot
An interval-based SAT modulo ODE solver for model checking nonlinear hybrid systems
inferred← citeshttps://doi.org/10.1007/s10009-013-0279-9openalex-snapshot
A bit too precise? Verification of quantized digital filters
inferred← citeshttps://doi.org/10.1007/s10009-014-0329-yopenalex-snapshot
Statistical model checking for stochastic hybrid systems involving nondeterminism over continuous domains
inferred← citeshttps://doi.org/10.1007/s10009-015-0367-0openalex-snapshot
How to model and prove hybrid systems with KeYmaera: a tutorial on safety
inferred← citeshttps://doi.org/10.1007/s10009-015-0403-0openalex-snapshot
Some recent advances in automated analysis
inferred← citeshttps://doi.org/10.1007/s10009-018-0485-6openalex-snapshot
Parallel reachability analysis of hybrid systems in XSpeed
inferred← citeshttps://doi.org/10.1007/s10270-012-0295-3openalex-snapshot
Improving the SAT modulo ODE approach to hybrid systems analysis by combining different enclosure methods
inferred← citeshttps://doi.org/10.1007/s10462-018-9628-0openalex-snapshot
A comprehensive study and analysis on SAT-solvers: advances, usages and achievements
inferred← citeshttps://doi.org/10.1007/s10472-011-9243-0openalex-snapshot
NeVer: a tool for artificial neural networks verification
inferred← citeshttps://doi.org/10.1007/s10472-014-9409-7openalex-snapshot
Polynomial function intervals for floating-point software verification
inferred← citeshttps://doi.org/10.1007/s10586-016-0652-zopenalex-snapshot
Safety verification of finite real-time nonlinear hybrid systems using enhanced group preserving scheme
inferred← citeshttps://doi.org/10.1007/s10703-012-0167-zopenalex-snapshot
A compositional modelling and analysis framework for stochastic hybrid systems
inferred← citeshttps://doi.org/10.1007/s10703-013-0203-7openalex-snapshot
Deciding floating-point logic with abstract conflict driven clause learning
inferred← citeshttps://doi.org/10.1007/s10703-016-0245-8openalex-snapshot
A search-based procedure for nonlinear real arithmetic
inferred← citeshttps://doi.org/10.1007/s10703-017-0284-9openalex-snapshot
raSAT: an SMT solver for polynomial constraints
inferred← citeshttps://doi.org/10.1007/s10703-017-0302-yopenalex-snapshot
Validating numerical semidefinite programming solvers for polynomial invariants
inferred← citeshttps://doi.org/10.1007/s10703-021-00368-2openalex-snapshot
SAT modulo discrete event simulation applied to railway design capacity analysis
inferred← citeshttps://doi.org/10.1007/s10817-009-9149-2openalex-snapshot
MetiTarski: An Automatic Theorem Prover for Real-Valued Special Functions
inferred← citeshttps://doi.org/10.1007/s10817-010-9196-8openalex-snapshot
SAT Modulo Linear Arithmetic for Solving Polynomial Constraints
inferred← citeshttps://doi.org/10.1007/s11334-010-0124-1openalex-snapshot
Randomized constraint solvers: a comparative study
inferred← citeshttps://doi.org/10.1007/s41207-025-00772-8openalex-snapshot
Croissance of Mytilus galloprovincialis (mollusc, bivalves) bioindicator species of pollution in the Gulf of Annaba (Algeria)
inferred← citeshttps://doi.org/10.1007/springerreference_2578openalex-snapshot
Stochastic Differential Equation
inferred← citeshttps://doi.org/10.1016/j.artint.2015.04.002openalex-snapshot
Structured learning modulo theories
inferred← citeshttps://doi.org/10.1016/j.artint.2021.103454openalex-snapshot
Learning Modulo Theories for constructive preference elicitation
inferred← citeshttps://doi.org/10.1016/j.entcs.2008.06.045openalex-snapshot
Symbolic and Abstract Interpretation for C/C++ Programs
inferred← citeshttps://doi.org/10.1016/j.entcs.2012.11.004openalex-snapshot
SMT for Polynomial Constraints on Real Numbers
inferred← citeshttps://doi.org/10.1016/j.entcs.2020.06.002openalex-snapshot
Tropical Abstraction of Biochemical Reaction Networks with Guarantees
inferred← citeshttps://doi.org/10.1016/j.ic.2022.104945openalex-snapshot
Recent developments in theory and tool support for hybrid systems verification with HyPro
inferred← citeshttps://doi.org/10.1016/j.ifacol.2018.08.041openalex-snapshot
Verifying nonlinear analog and mixed-signal circuits with inputs
inferred← citeshttps://doi.org/10.1016/j.ifacol.2021.08.507openalex-snapshot
Reachability of Black-Box Nonlinear Systems after Koopman Operator Linearization
inferred← citeshttps://doi.org/10.1016/j.jlamp.2020.100633openalex-snapshot
Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings
inferred← citeshttps://doi.org/10.1016/j.jlap.2010.07.003openalex-snapshot
Engineering constraint solvers for automatic analysis of probabilistic hybrid automata
inferred← citeshttps://doi.org/10.1016/j.nahs.2010.04.009openalex-snapshot
Constraint-based analysis of concurrent probabilistic hybrid systems: An application to networked automation systems
inferred← citeshttps://doi.org/10.1016/j.orl.2012.03.004openalex-snapshot
Certifying feasibility and objective value of linear programs
inferred← citeshttps://doi.org/10.1016/j.robot.2023.104549openalex-snapshot
Modeling and analysing Cyber–Physical Systems in HOL-CSP
inferred← citeshttps://doi.org/10.1016/j.tcs.2015.06.018openalex-snapshot
Generating invariants for non-linear hybrid systems
inferred← citeshttps://doi.org/10.1016/j.tcs.2016.06.009openalex-snapshot
Deadness and how to disprove liveness in hybrid dynamical systems
inferred← citeshttps://doi.org/10.1080/13873954.2017.1369437openalex-snapshot
Automated generation of hybrid automata for multi-rigid-body mechanical systems and its application to the falsification of safety properties
inferred← citeshttps://doi.org/10.1109/apsec.2013.118openalex-snapshot
SAT and SMT: Their Algorithm Designs and Applications
inferred← citeshttps://doi.org/10.1109/aspdac.2014.6742932openalex-snapshot
Sparse statistical model inference for analog circuits under process variations
inferred← citeshttps://doi.org/10.1109/async.2010.25openalex-snapshot
Formal Verification of an Arbiter Circuit
inferred← citeshttps://doi.org/10.1109/cdc.2013.6760488openalex-snapshot
A trajectory splicing approach to concretizing counterexamples for hybrid systems
inferred← citeshttps://doi.org/10.1109/cdc40024.2019.9030065openalex-snapshot
Tight decomposition functions for mixed monotonicity
inferred← citeshttps://doi.org/10.1109/cdc57313.2025.11312709openalex-snapshot
Certified Approximate Reachability (CARe): Formal Error Bounds on Deep Learning of Reachable Sets
inferred← citeshttps://doi.org/10.1109/cns.2013.6682715openalex-snapshot
Efficient Random Route Mutation considering flow and network constraints
inferred← citeshttps://doi.org/10.1109/date.2010.5457051openalex-snapshot
BACH 2 : Bounded reachability checker for compositional linear hybrid systems
inferred← citeshttps://doi.org/10.1109/date.2012.6176607openalex-snapshot
Automatic transition between structural system views in a safety relevant embedded systems development process
inferred← citeshttps://doi.org/10.1109/ddecs.2011.5783131openalex-snapshot
Proof certificates and non-linear arithmetic constraints
inferred← citeshttps://doi.org/10.1109/dtis.2014.6850674openalex-snapshot
Recent advances in SAT-based ATPG: Non-standard fault models, multi constraints and optimization
inferred← citeshttps://doi.org/10.1109/fmcad.2009.5351140openalex-snapshot
Efficient decision procedure for non-linear arithmetic constraints using CORDIC
inferred← citeshttps://doi.org/10.1109/fmcad.2014.6987596openalex-snapshot
Under-approximate flowpipes for non-linear continuous systems
inferred← citeshttps://doi.org/10.1109/fmcad.2014.6987614openalex-snapshot
Using interval constraint propagation for pseudo-Boolean constraint solving
inferred← citeshttps://doi.org/10.1109/fmcad.2016.7886677openalex-snapshot
Accurate ICP-based floating-point reasoning
inferred← citeshttps://doi.org/10.1109/hpec.2012.6408676openalex-snapshot
Efficient and scalable computations with sparse tensors
inferred← citeshttps://doi.org/10.1109/iceccs.2013.37openalex-snapshot
Automated Analysis of Reliability Architectures
inferred← citeshttps://doi.org/10.1109/icicisys.2010.5658781openalex-snapshot
Optimization method for mixed constraints problem solving
inferred← citeshttps://doi.org/10.1109/icons.2008.17openalex-snapshot
Analysis of Hybrid Systems Using HySAT
inferred← citeshttps://doi.org/10.1109/icra.2012.6224658openalex-snapshot
ModelRob: A Simulink Library for Model-Based Development of robot manipulators
inferred← citeshttps://doi.org/10.1109/icsrs56243.2022.10067393openalex-snapshot
Conflict Analysis and Resolution of Safety and Security Boundary Conditions for Industrial Control Systems
inferred← citeshttps://doi.org/10.1109/icst.2012.91openalex-snapshot
Symbolic Execution with Interval Solving and Meta-heuristic Search
inferred← citeshttps://doi.org/10.1109/irep.2013.6629396openalex-snapshot
Modeling options for demand side participation of thermostatically controlled loads
inferred← citeshttps://doi.org/10.1109/iri.2018.00082openalex-snapshot
Context-Dependent Reachability Analysis for Hybrid Systems
inferred← citeshttps://doi.org/10.1109/iros.2013.6697046openalex-snapshot
Using incomplete satisfiability modulo theories to determine robotic tasks
inferred← citeshttps://doi.org/10.1109/jiot.2021.3065680openalex-snapshot
Context-Aware Adaptive Route Mutation Scheme: A Reinforcement Learning Approach
inferred← citeshttps://doi.org/10.1109/jproc.2018.2849003openalex-snapshot
SMC: Satisfiability Modulo Convex Programming
inferred← citeshttps://doi.org/10.1109/lics.2012.41openalex-snapshot
Delta-Decidability over the Reals
inferred← citeshttps://doi.org/10.1109/memcod.2010.5558622openalex-snapshot
Numerical stability analysis of floating-point computations using software model checking
inferred← citeshttps://doi.org/10.1109/memcod.2015.7340491openalex-snapshot
Verification condition generation for hybrid systems
inferred← citeshttps://doi.org/10.1109/memcod.2016.7797741openalex-snapshot
Parallel reachability analysis for hybrid systems
inferred← citeshttps://doi.org/10.1109/recosoc.2015.7238101openalex-snapshot
Envisioning self-verification of electronic systems
inferred← citeshttps://doi.org/10.1109/robot.2010.5509892openalex-snapshot
Safe and effective learning: A case study
inferred← citeshttps://doi.org/10.1109/rtss.2012.70openalex-snapshot
Taylor Model Flowpipe Construction for Non-linear Hybrid Systems
inferred← citeshttps://doi.org/10.1109/rtss.2017.00035openalex-snapshot
Model Predictive Real-Time Monitoring of Linear Systems
inferred← citeshttps://doi.org/10.1109/snr.2016.7479382openalex-snapshot
CSiSAT: A satisfiability solver for SMT formulas with continuous probability distributions
inferred← citeshttps://doi.org/10.1109/ssd.2012.6197943openalex-snapshot
Modeling of Networked Automation Systems for simulation and model checking of time behavior
inferred← citeshttps://doi.org/10.1109/synasc.2013.29openalex-snapshot
A Collaborative Framework for Non-Linear Integer Arithmetic Reasoning in Alt-Ergo
inferred← citeshttps://doi.org/10.1109/synasc.2014.29openalex-snapshot
Proof Generation from Delta-Decisions
inferred← citeshttps://doi.org/10.1109/synasc.2016.014openalex-snapshot
Symbolic Computation Techniques in Satisfiability Checking
inferred← citeshttps://doi.org/10.1109/synasc.2018.00016openalex-snapshot
Incremental linearization: A practical approach to satisfiability modulo nonlinear arithmetic and transcendental functions
inferred← citeshttps://doi.org/10.1109/tac.2021.3058068openalex-snapshot
Automatic Trajectory Synthesis for Real-Time Temporal Logic
inferred← citeshttps://doi.org/10.1109/taicpart.2009.25openalex-snapshot
Model Based Testing of End-to-End Chains Using Domain Specific Languages
inferred← citeshttps://doi.org/10.1109/tase.2013.20openalex-snapshot
Model Repair for Markov Decision Processes
inferred← citeshttps://doi.org/10.1109/tcad.2013.2245941openalex-snapshot
Simulation-Assisted Formal Verification of Nonlinear Mixed-Signal Circuits With Bayesian Inference Guidance
inferred← citeshttps://doi.org/10.1109/tcad.2017.2651807openalex-snapshot
Accelerated and Reliable Analog Circuits Yield Analysis Using SMT Solving Techniques
inferred← citeshttps://doi.org/10.1109/tcad.2019.2935062openalex-snapshot
Scenario-Based Online Reachability Validation for CPS Fault Prediction
inferred← citeshttps://doi.org/10.1109/vts.2018.8368645openalex-snapshot
Efficient generation of parametric test conditions for AMS chips with an interval constraint solver
inferred← citeshttps://doi.org/10.1109/waina.2014.59openalex-snapshot
Composing Thermostatically Controlled Loads to Determine the Reliability against Blackouts
inferred← citeshttps://doi.org/10.1109/wetice.2012.24openalex-snapshot
An Efficient Lazy SMT Solver for Nonlinear Numerical Constraints
inferred← citeshttps://doi.org/10.1142/9789813142183_0010openalex-snapshot
Stochastic Differential Equation
inferred← citeshttps://doi.org/10.1145/1879021.1879024openalex-snapshot
Automatic verification of control system implementations
inferred← citeshttps://doi.org/10.1145/2185632.2185640openalex-snapshot
Transcendental inductive invariants generation for non-linear differential and hybrid systems
inferred← citeshttps://doi.org/10.1145/2245276.2245293openalex-snapshot
Solving non-linear arithmetic constraints in soft realtime environments
inferred← citeshttps://doi.org/10.1145/2429069.2429133openalex-snapshot
Automatic detection of floating-point exceptions
inferred← citeshttps://doi.org/10.1145/2429135.2429155openalex-snapshot
Solving non-linear arithmetic
inferred← citeshttps://doi.org/10.1145/2429384.2429474openalex-snapshot
Verifying dynamic properties of nonlinear mixed-signal circuits via efficient SMT-based techniques
inferred← citeshttps://doi.org/10.1145/2480359.2429133openalex-snapshot
Automatic detection of floating-point exceptions
inferred← citeshttps://doi.org/10.1145/2562059.2562139openalex-snapshot
Simulation-guided lyapunov analysis for hybrid dynamical systems
inferred← citeshttps://doi.org/10.1145/2562059.2562142openalex-snapshot
Quasi-dependent variables in hybrid automata
inferred← citeshttps://doi.org/10.1145/2593069.2593178openalex-snapshot
Parallel Hierarchical Reachability Analysis for Analog Verification
inferred← citeshttps://doi.org/10.1145/2637248.2637272openalex-snapshot
Experiences from Using Formal Verification Techniques to Analyze Human-Machine Interaction: A Case Study
inferred← citeshttps://doi.org/10.1145/2656045.2656061openalex-snapshot
Multiple shooting, CEGAR-based falsification for hybrid systems
inferred← citeshttps://doi.org/10.1145/2744769.2744919openalex-snapshot
Towards enhancing analog circuits sizing using SMT-based techniques
inferred← citeshttps://doi.org/10.1145/2755996.2756636openalex-snapshot
Building Bridges between Symbolic Computation and Satisfiability Checking
inferred← citeshttps://doi.org/10.1145/2970276.2970319openalex-snapshot
Towards bounded model checking using nonlinear programming solver
showing the first 200 of 272 · page through all 272
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.