On the public citation graph

Verification Using Simulation

https://doi.org/10.1007/11730637_22
0 signed · 114 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.
Claim with ORCID
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.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/10722167_15openalex-snapshot
Counterexample-Guided Abstraction Refinement
inferredcites →https://doi.org/10.1007/3-540-10003-2_79openalex-snapshot
On observing nondeterminism and concurrency
inferredcites →https://doi.org/10.1007/3-540-36577-x_15openalex-snapshot
Counter-Example Guided Predicate Abstraction of Hybrid Systems
inferredcites →https://doi.org/10.1007/3-540-36580-x_22openalex-snapshot
On Systematic Simulation of Open Continuous Systems
inferredcites →https://doi.org/10.1007/3-540-46430-1_27openalex-snapshot
Level Set Methods for Computation in Hybrid Systems
inferredcites →https://doi.org/10.1007/3-540-46430-1_5openalex-snapshot
Modular Specification of Hybrid Systems in Charon
inferredcites →https://doi.org/10.1007/3-540-64358-3openalex-snapshot
Hybrid Systems: Computation and Control: First International Workshop, HSCC'98, Berkeley, California, USA, April 13 - 15, 1998, Proceedings
inferredcites →https://doi.org/10.1007/978-3-540-24730-2_35openalex-snapshot
A Temporal Logic of Nested Calls and Returns
inferredcites →https://doi.org/10.1007/978-3-540-24743-2_32openalex-snapshot
Safety Verification of Hybrid Systems Using Barrier Certificates
inferredcites →https://doi.org/10.1007/978-3-540-27836-8_11openalex-snapshot
Linear and Branching Metrics for Quantitative Transition Systems
inferredcites →https://doi.org/10.1007/978-3-540-27836-8_95openalex-snapshot
Games with Winning Conditions of High Borel Complexity
inferredcites →https://doi.org/10.1007/978-3-540-31954-2_17openalex-snapshot
PHAVer: Algorithmic Verification of Hybrid Systems Past HyTech
inferredcites →https://doi.org/10.1007/978-3-540-31954-2_19openalex-snapshot
Reachability of Uncertain Linear Systems Using Zonotopes
inferredcites →https://doi.org/10.1007/978-3-540-31954-2_2openalex-snapshot
Operational Semantics of Hybrid Systems
inferredcites →https://doi.org/10.1016/j.automatica.2003.07.003openalex-snapshot
Bisimilar linear systems
inferredcites →https://doi.org/10.1016/j.tcs.2005.03.045openalex-snapshot
Bisimulation relations for dynamical, control, and hybrid systems
inferredcites →https://doi.org/10.1016/j.tcs.2005.11.026openalex-snapshot
Counterexample-guided predicate abstraction of hybrid systems
inferredcites →https://doi.org/10.1080/10556789908805766openalex-snapshot
Using SeDuMi 1.02, A Matlab toolbox for optimization over symmetric cones
inferredcites →https://doi.org/10.1108/ir.1999.04926fae.001openalex-snapshot
Lecture Notes in Computer Science 1205
inferredcites →https://doi.org/10.1109/cdc.2005.1582235openalex-snapshot
Approximate Bisimulations for Nonlinear Dynamical Systems
inferredcites →https://doi.org/10.1109/cdc.2005.1582904openalex-snapshot
Approximate Bisimulations for Constrained Linear Systems
inferredcites →https://doi.org/10.1109/tac.2004.838497openalex-snapshot
Equivalence of Dynamical Systems by Bisimulation
inferredcites →https://doi.org/10.1109/tac.2007.895849openalex-snapshot
Approximation Metrics for Discrete and Continuous Systems
inferredcites →https://doi.org/10.1142/s012905410300190xopenalex-snapshot
Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems
inferredcites →https://doi.org/10.1145/876638.876643openalex-snapshot
Counterexample-guided abstraction refinement for symbolic model checking

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1007/11867340_13openalex-snapshot
Temporal Logic Verification Using Simulation
inferred← citeshttps://doi.org/10.1007/11940197_12openalex-snapshot
Robustness of Temporal Logic Specifications
inferred← citeshttps://doi.org/10.1007/978-3-030-00151-3_15openalex-snapshot
Safe Over- and Under-Approximation of Reachable Sets for Autonomous Dynamical Systems
inferred← citeshttps://doi.org/10.1007/978-3-031-82703-7_7openalex-snapshot
Synthesis of Controllers for Continuous Blackbox Systems
inferred← citeshttps://doi.org/10.1007/978-3-032-10794-7_13openalex-snapshot
From Zonotopes to Proof Certificates: A Formal Pipeline for Safe Control Envelopes
inferred← citeshttps://doi.org/10.1007/978-3-032-27340-6_3openalex-snapshot
An Upper Bound on Number of Trajectories Required for Reachable Set Computation of Linear Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-10696-0_5openalex-snapshot
A Statistical Approach for Computing Reachability of Non-linear and Stochastic Dynamical Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-63387-9_22openalex-snapshot
DryVR: Data-Driven Verification and Compositional Reasoning for Automotive Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-65765-3_17openalex-snapshot
Simulation Based Computation of Certificates for Safety of Dynamical Systems
inferred← citeshttps://doi.org/10.1007/978-3-540-68405-3_25openalex-snapshot
Sampling-Based Falsification and Verification of Controllers for Continuous Dynamic Systems
inferred← citeshttps://doi.org/10.1007/978-3-540-71493-4_16openalex-snapshot
Systematic Simulation Using Sensitivity Analysis
inferred← citeshttps://doi.org/10.1007/978-3-540-71493-4_20openalex-snapshot
Approximately Bisimilar Finite Abstractions of Stable Linear Systems
inferred← citeshttps://doi.org/10.1007/978-3-540-71493-4_38openalex-snapshot
A New Hybrid State Estimator for Systems with Limited Mode Changes
inferred← citeshttps://doi.org/10.1007/978-3-540-75596-8_10openalex-snapshot
Analog/Mixed-Signal Circuit Verification Using Models Generated from Simulation Traces
inferred← citeshttps://doi.org/10.1007/978-3-540-78739-6_5openalex-snapshot
A Hybrid Denotational Semantics for Hybrid Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-00602-9_12openalex-snapshot
Parameter Synthesis for Hybrid Systems with an Application to Simulink Models
inferred← citeshttps://doi.org/10.1007/978-3-642-00602-9_16openalex-snapshot
Trajectory Based Verification Using Local Finite-Time Invariance
inferred← citeshttps://doi.org/10.1007/978-3-642-00602-9_30openalex-snapshot
Bounded and Unbounded Safety Verification Using Bisimulation Metrics
inferred← citeshttps://doi.org/10.1007/978-3-642-02658-4_33openalex-snapshot
Generating and Analyzing Symbolic Traces of Simulink/Stateflow Models
inferred← citeshttps://doi.org/10.1007/978-3-642-02949-3_12openalex-snapshot
Finding Errors of Hybrid Systems by Optimising an Abstraction-Based Quality Estimate
inferred← citeshttps://doi.org/10.1007/978-3-642-14295-6_17openalex-snapshot
Breach, A Toolbox for Verification and Parameter Synthesis of Hybrid Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-15956-5_4openalex-snapshot
Analyzing Reachability of Linear Dynamic Systems with Parametric Uncertainties
inferred← citeshttps://doi.org/10.1007/978-3-642-24372-1_39openalex-snapshot
Linear Hybrid System Falsification through Local Search
inferred← citeshttps://doi.org/10.1007/978-3-642-31424-7_35openalex-snapshot
A Box-Based Distance between Regions for Guiding the Reachability Analysis of SpaceEx
inferred← citeshttps://doi.org/10.1007/978-3-642-37437-1_8openalex-snapshot
A Methodology for the Development and Verification of Access Control Systems in Cloud Computing
inferred← citeshttps://doi.org/10.1007/978-981-95-4213-0_17openalex-snapshot
Quantitative Verification for Temporal Properties of Massive Linear Systems
inferred← citeshttps://doi.org/10.1016/j.jprocont.2008.06.009openalex-snapshot
Analyzing safety properties of hybrid processing systems: A case study on an industrial evaporator
inferred← citeshttps://doi.org/10.1016/j.scico.2025.103332openalex-snapshot
SMT-based robust model checking for signal temporal logic
inferred← citeshttps://doi.org/10.1109/acc.2009.5159969openalex-snapshot
MTL robust testing and verification for LPV systems
inferred← citeshttps://doi.org/10.1109/acc.2010.5531494openalex-snapshot
On incrementally bounded systems
inferred← citeshttps://doi.org/10.1109/acc.2012.6314777openalex-snapshot
Reachability computation of low-order models for the safety verification of high-order road vehicle models
inferred← citeshttps://doi.org/10.1109/acc.2012.6314916openalex-snapshot
Safety controller synthesis using human generated trajectories: Nonlinear dynamics with feedback linearization and differential flatness
inferred← citeshttps://doi.org/10.1109/acc.2013.6580513openalex-snapshot
Optimization of human generated trajectories for safety controller synthesis
inferred← citeshttps://doi.org/10.1109/asqed.2009.5206276openalex-snapshot
Towards formal verification of analog mixed signal designs using SPICE circuit simulation traces
inferred← citeshttps://doi.org/10.1109/cacsd-cca-isic.2006.4776877openalex-snapshot
Recent progress in continuous and hybrid reachability analysis
inferred← citeshttps://doi.org/10.1109/cdc.2008.4739166openalex-snapshot
Probabilistic testing for stochastic hybrid systems
inferred← citeshttps://doi.org/10.1109/cdc.2008.4739371openalex-snapshot
Sensitive state-space exploration
inferred← citeshttps://doi.org/10.1109/cdc.2010.5718138openalex-snapshot
Using computer games for hybrid systems controller synthesis
inferred← citeshttps://doi.org/10.1109/cdc.2012.6426178openalex-snapshot
On the existence of compositional barrier certificates
inferred← citeshttps://doi.org/10.1109/cdc.2014.7040386openalex-snapshot
Trajectory-based reachability analysis of switched nonlinear systems using matrix measures
inferred← citeshttps://doi.org/10.1109/coase.2010.5584752openalex-snapshot
Trajectory-based controller design for hybrid systems with affine continuous dynamics
inferred← citeshttps://doi.org/10.1109/ecc.2016.7810321openalex-snapshot
Computing reachable sets of linear vector fields revisited
inferred← citeshttps://doi.org/10.1109/emsoft.2013.6658604openalex-snapshot
Verification of annotated models from executions
inferred← citeshttps://doi.org/10.1109/emsoft.2015.7318257openalex-snapshot
Requirements driven falsification with coverage metrics
inferred← citeshttps://doi.org/10.1109/emsoft.2015.7318269openalex-snapshot
Scalable scheduling of energy control systems
inferred← citeshttps://doi.org/10.1109/iros47612.2022.9982058openalex-snapshot
Quantifying Safety of Learning-based Self-Driving Control Using Almost-Barrier Functions
inferred← citeshttps://doi.org/10.1109/isqed.2010.5450556openalex-snapshot
Formal verification of Full-Wave Rectifier using SPICE circuit simulation traces
inferred← citeshttps://doi.org/10.1109/isvdat.2016.8064894openalex-snapshot
Formal verification of switched capacitor DC to DC power converter using circuit simulation traces
inferred← citeshttps://doi.org/10.1109/ivs.2010.5548121openalex-snapshot
Safety verification of autonomous vehicles for coordinated evasive maneuvers
inferred← citeshttps://doi.org/10.1109/ivs.2016.7535480openalex-snapshot
The modeling of transfer of steering between automated vehicle and human driver using hybrid control framework
inferred← citeshttps://doi.org/10.1109/lics.2012.64openalex-snapshot
The Complete Proof Theory of Hybrid Systems
inferred← citeshttps://doi.org/10.1109/rtss.2009.26openalex-snapshot
Robustness of Model-Based Simulations
inferred← citeshttps://doi.org/10.1109/tac.2013.2241472openalex-snapshot
Optimization of Lyapunov Invariants in Verification of Software Systems
inferred← citeshttps://doi.org/10.1109/tac.2014.2325635openalex-snapshot
Reachability Analysis of Nonlinear Systems Using Matrix Measures
inferred← citeshttps://doi.org/10.1109/tac.2014.2382155openalex-snapshot
Safety Controller Synthesis Using Human Generated Trajectories
inferred← citeshttps://doi.org/10.1109/tac.2017.2763785openalex-snapshot
Reachability Analysis for Solvable Dynamical Systems
inferred← citeshttps://doi.org/10.1109/tac.2022.3207417openalex-snapshot
Certifying the LTL Formula p Until q in Hybrid Systems
inferred← citeshttps://doi.org/10.1109/tro.2014.2312453openalex-snapshot
Online Verification of Automated Road Vehicles Using Reachability Analysis
inferred← citeshttps://doi.org/10.1142/s0129054107004577openalex-snapshot
GUARANTEED TERMINATION IN THE VERIFICATION OF LTL PROPERTIES OF NON-LINEAR ROBUST DISCRETE TIME HYBRID SYSTEMS
inferred← citeshttps://doi.org/10.1142/s0129054110007209openalex-snapshot
ANALOG/MIXED-SIGNAL CIRCUIT VERIFICATION USING MODELS GENERATED FROM SIMULATION TRACES
inferred← citeshttps://doi.org/10.1145/1450058.1450071openalex-snapshot
Symbolic analysis for improving simulation coverage of Simulink/Stateflow models
inferred← citeshttps://doi.org/10.1145/1755952.1755983openalex-snapshot
Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems
inferred← citeshttps://doi.org/10.1145/1795194.1795198openalex-snapshot
Synthesizing switching logic for safety and dwell-time requirements
inferred← citeshttps://doi.org/10.1145/2185632.2185639openalex-snapshot
Compositional safety analysis using barrier certificates
inferred← citeshttps://doi.org/10.1145/2185632.2185653openalex-snapshot
Falsification of temporal properties of hybrid systems using the cross-entropy method
inferred← citeshttps://doi.org/10.1145/2331147.2331164openalex-snapshot
Verification of Safety and Liveness Properties of Metric Transition Systems
inferred← citeshttps://doi.org/10.1145/2461328.2461358openalex-snapshot
Reachability analysis of nonlinear systems using conservative polynomialization and non-convex sets
inferred← citeshttps://doi.org/10.1145/2465787.2465797openalex-snapshot
Probabilistic Temporal Logic Falsification of Cyber-Physical Systems
inferred← citeshttps://doi.org/10.1145/2728606.2728631openalex-snapshot
A delta-sampling verification theorem for discrete-time, possibly discontinuous systems
inferred← citeshttps://doi.org/10.1145/2968478.2968482openalex-snapshot
Locally optimal reach set over-approximation for nonlinear systems
inferred← citeshttps://doi.org/10.1145/3127041.3127058openalex-snapshot
Hyperproperties of real-valued signals
inferred← citeshttps://doi.org/10.1145/3290364openalex-snapshot
Bounded model checking of signal temporal logic properties using syntactic separation
inferred← citeshttps://doi.org/10.1145/3365365.3382223openalex-snapshot
Sufficient conditions for satisfaction of formulas with until operators in hybrid systems
inferred← citeshttps://doi.org/10.1146/annurev-control-071420-081941openalex-snapshot
Set Propagation Techniques for Reachability Analysis
inferred← citeshttps://doi.org/10.1155/2013/239064openalex-snapshot
Verification of Mixed-Signal Systems with Affine Arithmetic Assertions
inferred← citeshttps://doi.org/10.1184/r1/6610451openalex-snapshot
The Complete Proof Theory of Hybrid Systems (CMU-CS-11-144)
inferred← citeshttps://doi.org/10.1201/9781420067859-c13openalex-snapshot
Modeling, Verification, and Testing Using Timed and Hybrid Automata
inferred← citeshttps://doi.org/10.21236/ada585474openalex-snapshot
A Study on Run Time Assurance for Complex Cyber Physical Systems
inferred← citeshttps://doi.org/10.2345/0899-8205-47.s1.43openalex-snapshot
Using Formal Methods to Improve Home-Use Medical Device Safety
inferred← citeshttps://doi.org/10.24928/2018/0484openalex-snapshot
Determining Benefit - Understanding Buildings as Production System Assets
inferred← citeshttps://doi.org/10.3166/ejc.17.568-578openalex-snapshot
Approximate Bisimulation: A Bridge Between Computer Science and Control Theory
inferred← citeshttps://doi.org/10.3990/1.9789036544979openalex-snapshot
Contract-based specification of embedded control systems
inferred← citeshttps://doi.org/10.4018/978-1-4666-7248-2.ch025openalex-snapshot
Modelling and Realisation of a Three-Level PWM Inverter Using a DSP Controller to Feed an Asynchronous Machine
inferred← citeshttps://doi.org/10.4204/eptcs.140.4openalex-snapshot
Algorithmic Verification of Continuous and Hybrid Systems
inferred← citeshttps://doi.org/10.4204/eptcs.67.9openalex-snapshot
Reachability in Biochemical Dynamical Systems by Quantitative Discrete Approximation (extended abstract)
inferred← citeshttps://doi.org/10.5555/2325676.2325686openalex-snapshot
Formal analysis of safety-critical system simulations
inferred← citeshttps://doi.org/10.5555/2555754.2555780openalex-snapshot
Verification of annotated models from executions
inferred← citeshttps://doi.org/10.5555/2830865.2830881openalex-snapshot
Scalable scheduling of energy control systems
inferred← citeshttps://doi.org/10.70675/e58456cbz406cz4b35z9663z96cbd9cd19b0openalex-snapshot
Une approche par composants pour l'analyse visuelle interactive de résultats issus de simulations numériques
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.