Reachability Analysis for Annotated Code

Reachability Analysis for Annotated Code

Bibliografski detalji
Glavni autori:	Janota, M, Grigore, R, Moskal, M
Format:	Record
Izdano:	2007

Slični predmeti

All-Path Reachability Logic
od: Andrei Stefanescu, i dr.
Izdano: (2019-04-01)

Functional Reachability
od: Ong, C, i dr.
Izdano: (2009)

Reachability Analysis of Innermost Rewriting
od: Thomas Genet, i dr.
Izdano: (2017-03-01)

Reachability Analysis for Nonlinear Analog/Mixed-Signal Circuits With Trajectory-Based Reachable Sets
od: Seyoung Kim, i dr.
Izdano: (2023-01-01)

Reachability Analysis of Neural Feedback Loops
od: Everett, Michael, i dr.
Izdano: (2022)

Reachability Analysis of Communicating Pushdown Systems
od: Alexander Heussner, i dr.
Izdano: (2012-09-01)

Revisiting reachability in timed automata
od: Quaas, K, i dr.
Izdano: (2017)

On affine reachability problems
od: Jaax, S, i dr.
Izdano: (2020)

Reachability Switching Games
od: John Fearnley, i dr.
Izdano: (2021-04-01)

Constraint-based reachability
od: Arnaud Gotlieb, i dr.
Izdano: (2013-02-01)

Stochastic reachability analysis in complex biological networks
od: El-Samad, H, i dr.
Izdano: (2006)

Expected Reachability−Time Games
od: Forejt, V, i dr.
Izdano: (2010)

Expected reachability-time games
od: Forejt, V, i dr.
Izdano: (2016)

Expected Reachability-Time Games.
od: Forejt, V, i dr.
Izdano: (2010)

Reachability−Time Games on Timed Automata
od: Jurdzinski, M, i dr.
Izdano: (2007)

Analysis of Reachable Set for Aircraft Perching Trajectory
od: DU Xin, i dr.
Izdano: (2021-12-01)

Iterable Forward Reachability Analysis of Monitor-DPNs
od: Benedikt Nordhoff, i dr.
Izdano: (2013-09-01)

Liveness and Reachability Analysis of BPMN Process Models
od: Anass Rachdi, i dr.
Izdano: (2016-06-01)

Directed reachability for infinite-state systems
od: Blondin, M, i dr.
Izdano: (2021)

Adding Edges for Maximizing Weighted Reachability
od: Federico Corò, i dr.
Izdano: (2020-03-01)

Minimal Reachability is Hard to Approximate
od: Jadbabaie, A, i dr.
Izdano: (2023)

Reachability in pushdown register automata
od: Murawski, A, i dr.
Izdano: (2017)

Reachability in Stochastic Timed Games.
od: Bouyer, P, i dr.
Izdano: (2009)

Reachability under Contextual Locking
od: Remi Bonnet, i dr.
Izdano: (2013-09-01)

Reachability Results in Plane Trees
od: Isaac Owino Okoth, i dr.
Izdano: (2021-06-01)

Eternal Domination: Criticality and Reachability
od: Klostermeyer William F., i dr.
Izdano: (2017-02-01)

Symbolic Backwards Reachability Analysis for Higher−Order Pushdown Systems
od: Hague, M, i dr.
Izdano: (2007)

Quality Improvement in Annotated Code
od: Diego A. A. Correia, i dr.
Izdano: (2010-08-01)

Symbolic Backwards−Reachability Analysis for Higher−Order Pushdown Systems
od: Hague, M, i dr.
Izdano: (2008)

Asymptotic orders of reachability in linear dynamic systems
od: Özveren, Cüneyt M
Izdano: (2005)

Time-optimal path tracking via reachability analysis
od: Pham, Hung, i dr.
Izdano: (2021)

Reachability analysis of deep neural networks with provable guarantees
od: Ruan, W, i dr.
Izdano: (2018)

Robust Diagnosability Analysis Using Basis Reachability Graph
od: Shiqi Li, i dr.
Izdano: (2023-01-01)

Output Reachable Set Analysis for Periodic Positive Systems
od: Ilyas Sitli, i dr.
Izdano: (2021-01-01)

Directed Model Checking for Fast Abstract Reachability Analysis
od: Nakwon Lee, i dr.
Izdano: (2021-01-01)

What GHG Concentration Targets are Reachable in this Century?
od: Paltsev, Sergey, i dr.
Izdano: (2013)

Optimal labelling schemes for adjacency, comparability, and reachability
od: Bonamy, M, i dr.
Izdano: (2021)

Proving Reachability Using FShell - (Competition Contribution).
od: Holzer, A, i dr.
Izdano: (2012)

Reachability and robust design in dynamic systems
od: Harwood, Stuart Maxwell
Izdano: (2016)

Reachability in recursive Markov decision processes.
od: Brázdil, T, i dr.
Izdano: (2008)