Reachability Analysis for Annotated Code

Reachability Analysis for Annotated Code

Sonraí bibleagrafaíochta
Príomhchruthaitheoirí:	Janota, M, Grigore, R, Moskal, M
Formáid:	Record
Foilsithe / Cruthaithe:	2007

Míreanna comhchosúla

All-Path Reachability Logic
de réir: Andrei Stefanescu, et al.
Foilsithe / Cruthaithe: (2019-04-01)

Functional Reachability
de réir: Ong, C, et al.
Foilsithe / Cruthaithe: (2009)

Reachability Analysis of Innermost Rewriting
de réir: Thomas Genet, et al.
Foilsithe / Cruthaithe: (2017-03-01)

Reachability Analysis for Nonlinear Analog/Mixed-Signal Circuits With Trajectory-Based Reachable Sets
de réir: Seyoung Kim, et al.
Foilsithe / Cruthaithe: (2023-01-01)

Reachability Analysis of Neural Feedback Loops
de réir: Everett, Michael, et al.
Foilsithe / Cruthaithe: (2022)

Reachability Analysis of Communicating Pushdown Systems
de réir: Alexander Heussner, et al.
Foilsithe / Cruthaithe: (2012-09-01)

Revisiting reachability in timed automata
de réir: Quaas, K, et al.
Foilsithe / Cruthaithe: (2017)

On affine reachability problems
de réir: Jaax, S, et al.
Foilsithe / Cruthaithe: (2020)

Reachability Switching Games
de réir: John Fearnley, et al.
Foilsithe / Cruthaithe: (2021-04-01)

Constraint-based reachability
de réir: Arnaud Gotlieb, et al.
Foilsithe / Cruthaithe: (2013-02-01)

Stochastic reachability analysis in complex biological networks
de réir: El-Samad, H, et al.
Foilsithe / Cruthaithe: (2006)

Expected Reachability−Time Games
de réir: Forejt, V, et al.
Foilsithe / Cruthaithe: (2010)

Expected reachability-time games
de réir: Forejt, V, et al.
Foilsithe / Cruthaithe: (2016)

Expected Reachability-Time Games.
de réir: Forejt, V, et al.
Foilsithe / Cruthaithe: (2010)

Reachability−Time Games on Timed Automata
de réir: Jurdzinski, M, et al.
Foilsithe / Cruthaithe: (2007)

Analysis of Reachable Set for Aircraft Perching Trajectory
de réir: DU Xin, et al.
Foilsithe / Cruthaithe: (2021-12-01)

Iterable Forward Reachability Analysis of Monitor-DPNs
de réir: Benedikt Nordhoff, et al.
Foilsithe / Cruthaithe: (2013-09-01)

Liveness and Reachability Analysis of BPMN Process Models
de réir: Anass Rachdi, et al.
Foilsithe / Cruthaithe: (2016-06-01)

Directed reachability for infinite-state systems
de réir: Blondin, M, et al.
Foilsithe / Cruthaithe: (2021)

Adding Edges for Maximizing Weighted Reachability
de réir: Federico Corò, et al.
Foilsithe / Cruthaithe: (2020-03-01)

Minimal Reachability is Hard to Approximate
de réir: Jadbabaie, A, et al.
Foilsithe / Cruthaithe: (2023)

Reachability in pushdown register automata
de réir: Murawski, A, et al.
Foilsithe / Cruthaithe: (2017)

Reachability in Stochastic Timed Games.
de réir: Bouyer, P, et al.
Foilsithe / Cruthaithe: (2009)

Reachability under Contextual Locking
de réir: Remi Bonnet, et al.
Foilsithe / Cruthaithe: (2013-09-01)

Reachability Results in Plane Trees
de réir: Isaac Owino Okoth, et al.
Foilsithe / Cruthaithe: (2021-06-01)

Eternal Domination: Criticality and Reachability
de réir: Klostermeyer William F., et al.
Foilsithe / Cruthaithe: (2017-02-01)

Symbolic Backwards Reachability Analysis for Higher−Order Pushdown Systems
de réir: Hague, M, et al.
Foilsithe / Cruthaithe: (2007)

Quality Improvement in Annotated Code
de réir: Diego A. A. Correia, et al.
Foilsithe / Cruthaithe: (2010-08-01)

Symbolic Backwards−Reachability Analysis for Higher−Order Pushdown Systems
de réir: Hague, M, et al.
Foilsithe / Cruthaithe: (2008)

Asymptotic orders of reachability in linear dynamic systems
de réir: Özveren, Cüneyt M
Foilsithe / Cruthaithe: (2005)

Time-optimal path tracking via reachability analysis
de réir: Pham, Hung, et al.
Foilsithe / Cruthaithe: (2021)

Reachability analysis of deep neural networks with provable guarantees
de réir: Ruan, W, et al.
Foilsithe / Cruthaithe: (2018)

Robust Diagnosability Analysis Using Basis Reachability Graph
de réir: Shiqi Li, et al.
Foilsithe / Cruthaithe: (2023-01-01)

Output Reachable Set Analysis for Periodic Positive Systems
de réir: Ilyas Sitli, et al.
Foilsithe / Cruthaithe: (2021-01-01)

Directed Model Checking for Fast Abstract Reachability Analysis
de réir: Nakwon Lee, et al.
Foilsithe / Cruthaithe: (2021-01-01)

What GHG Concentration Targets are Reachable in this Century?
de réir: Paltsev, Sergey, et al.
Foilsithe / Cruthaithe: (2013)

Optimal labelling schemes for adjacency, comparability, and reachability
de réir: Bonamy, M, et al.
Foilsithe / Cruthaithe: (2021)

Proving Reachability Using FShell - (Competition Contribution).
de réir: Holzer, A, et al.
Foilsithe / Cruthaithe: (2012)

Reachability and robust design in dynamic systems
de réir: Harwood, Stuart Maxwell
Foilsithe / Cruthaithe: (2016)

Reachability in recursive Markov decision processes.
de réir: Brázdil, T, et al.
Foilsithe / Cruthaithe: (2008)