Applying abstract acceleration to (co−)reachability analysis of reactive programs

Applying abstract acceleration to (co−)reachability analysis of reactive programs

מידע ביבליוגרפי
Main Authors:	Schrammel, P, Jeannet, B
פורמט:	Journal article
יצא לאור:	2012

פריטים דומים

Extending Abstract Acceleration Methods to Data−Flow Programs with Numerical Inputs
מאת: Schrammel, P, et al.
יצא לאור: (2010)

Logico−Numerical Abstract Acceleration and Application to the Verification of Data−Flow Programs
מאת: Schrammel, P, et al.
יצא לאור: (2011)

Abstract Acceleration of General Linear Loops
מאת: Jeannet, B, et al.
יצא לאור: (2014)

Abstract Acceleration in Linear Relation Analysis
מאת: Gonnord, L, et al.
יצא לאור: (2014)

Directed Model Checking for Fast Abstract Reachability Analysis
מאת: Nakwon Lee, et al.
יצא לאור: (2021-01-01)

Sound numerical computations in abstract acceleration
מאת: Cattaruzza, D, et al.
יצא לאור: (2017)

Beyond Reachability: Shape Abstraction in the Presence of Pointer Arithmetic
מאת: Calcagno, C, et al.
יצא לאור: (2006)

Unbounded-time analysis of guarded LTI systems with inputs by abstract acceleration
מאת: Cattaruzza, D, et al.
יצא לאור: (2015)

Guaranteed Error Bounds on Approximate Model Abstractions through Reachability Analysis
מאת: Cardelli, L, et al.
יצא לאור: (2018)

Guaranteed error bounds on approximate model abstractions through reachability analysis
מאת: Cardelli, L, et al.
יצא לאור: (2018)

COMPUTING THE REACHABLE SET BOUNDARY FOR AN ABSTRACT CONTROL SYSTEM: REVISITED
מאת: Mikhail I. Gusev
יצא לאור: (2023-12-01)

Unbounded-time safety verification of guarded LTI models with inputs by abstract acceleration
מאת: Cattaruzza, D, et al.
יצא לאור: (2020)

From hybrid data−flow languages to hybrid automata: a complete translation
מאת: Schrammel, P, et al.
יצא לאור: (2012)

Reachability computation for switching diffusions: finite abstractions with certifiable and tuneable precision
מאת: Laurenti, L, et al.
יצא לאור: (2017)

Reachability computation for switching diffusions: Finite abstractions with certifiable and tuneable precision
מאת: Laurenti, L, et al.
יצא לאור: (2017)

Reachability in Biochemical Dynamical Systems by Quantitative Discrete Approximation (extended abstract)
מאת: L. Brim, et al.
יצא לאור: (2011-09-01)

Accelerating Iterative Methods for Bounded Reachability Probabilities in Markov Decision Processes
מאת: Mohammadsadegh Mohagheghi
יצא לאור: (2020-11-01)

Lifting CDCL to template-based abstract domains for program verification
מאת: Mukherjee, R, et al.
יצא לאור: (2017)

Functional Reachability
מאת: Ong, C, et al.
יצא לאור: (2009)

Reachability Analysis for Annotated Code
מאת: Janota, M, et al.
יצא לאור: (2007)

Reachability Analysis of Innermost Rewriting
מאת: Thomas Genet, et al.
יצא לאור: (2017-03-01)

Reachability Analysis for Nonlinear Analog/Mixed-Signal Circuits With Trajectory-Based Reachable Sets
מאת: Seyoung Kim, et al.
יצא לאור: (2023-01-01)

Reachability Analysis of Neural Feedback Loops
מאת: Everett, Michael, et al.
יצא לאור: (2022)

Necessary and Sufficient Preconditions via Eager Abstraction
מאת: Seghir, M, et al.
יצא לאור: (2014)

Reachability Analysis of Communicating Pushdown Systems
מאת: Alexander Heussner, et al.
יצא לאור: (2012-09-01)

Reachability testing algorithm for parallel program in heterogeneous network environment
מאת: WANG Wei1, et al.
יצא לאור: (2006-01-01)

Reachability testing algorithm for parallel program in heterogeneous network environment
מאת: WANG Wei1, et al.
יצא לאור: (2006-01-01)

On affine reachability problems
מאת: Jaax, S, et al.
יצא לאור: (2020)

Reachability Switching Games
מאת: John Fearnley, et al.
יצא לאור: (2021-04-01)

Constraint-based reachability
מאת: Arnaud Gotlieb, et al.
יצא לאור: (2013-02-01)

Reachability in Stochastic Timed Games.
מאת: Bouyer, P, et al.
יצא לאור: (2009)

Reachability under Contextual Locking
מאת: Remi Bonnet, et al.
יצא לאור: (2013-09-01)

(Co)inductive Proof Systems for Compositional Proofs in Reachability Logic
מאת: Vlad Rusu, et al.
יצא לאור: (2019-09-01)

Stochastic reachability analysis in complex biological networks
מאת: El-Samad, H, et al.
יצא לאור: (2006)

Analysis of Reachable Set for Aircraft Perching Trajectory
מאת: DU Xin, et al.
יצא לאור: (2021-12-01)

Iterable Forward Reachability Analysis of Monitor-DPNs
מאת: Benedikt Nordhoff, et al.
יצא לאור: (2013-09-01)

Liveness and Reachability Analysis of BPMN Process Models
מאת: Anass Rachdi, et al.
יצא לאור: (2016-06-01)

Minimal Reachability is Hard to Approximate
מאת: Jadbabaie, A, et al.
יצא לאור: (2023)

Expected Reachability−Time Games
מאת: Forejt, V, et al.
יצא לאור: (2010)

Expected reachability-time games
מאת: Forejt, V, et al.
יצא לאור: (2016)