Reachability Analysis for Annotated Code

Reachability Analysis for Annotated Code

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς:	Janota, M, Grigore, R, Moskal, M
Μορφή:	Record
Έκδοση:	2007

Παρόμοια τεκμήρια

All-Path Reachability Logic
ανά: Andrei Stefanescu, κ.ά.
Έκδοση: (2019-04-01)

Functional Reachability
ανά: Ong, C, κ.ά.
Έκδοση: (2009)

Reachability Analysis of Innermost Rewriting
ανά: Thomas Genet, κ.ά.
Έκδοση: (2017-03-01)

Reachability Analysis for Nonlinear Analog/Mixed-Signal Circuits With Trajectory-Based Reachable Sets
ανά: Seyoung Kim, κ.ά.
Έκδοση: (2023-01-01)

Reachability Analysis of Neural Feedback Loops
ανά: Everett, Michael, κ.ά.
Έκδοση: (2022)

Reachability Analysis of Communicating Pushdown Systems
ανά: Alexander Heussner, κ.ά.
Έκδοση: (2012-09-01)

Revisiting reachability in timed automata
ανά: Quaas, K, κ.ά.
Έκδοση: (2017)

On affine reachability problems
ανά: Jaax, S, κ.ά.
Έκδοση: (2020)

Reachability Switching Games
ανά: John Fearnley, κ.ά.
Έκδοση: (2021-04-01)

Constraint-based reachability
ανά: Arnaud Gotlieb, κ.ά.
Έκδοση: (2013-02-01)

Stochastic reachability analysis in complex biological networks
ανά: El-Samad, H, κ.ά.
Έκδοση: (2006)

Expected Reachability−Time Games
ανά: Forejt, V, κ.ά.
Έκδοση: (2010)

Expected reachability-time games
ανά: Forejt, V, κ.ά.
Έκδοση: (2016)

Expected Reachability-Time Games.
ανά: Forejt, V, κ.ά.
Έκδοση: (2010)

Reachability−Time Games on Timed Automata
ανά: Jurdzinski, M, κ.ά.
Έκδοση: (2007)

Analysis of Reachable Set for Aircraft Perching Trajectory
ανά: DU Xin, κ.ά.
Έκδοση: (2021-12-01)

Iterable Forward Reachability Analysis of Monitor-DPNs
ανά: Benedikt Nordhoff, κ.ά.
Έκδοση: (2013-09-01)

Liveness and Reachability Analysis of BPMN Process Models
ανά: Anass Rachdi, κ.ά.
Έκδοση: (2016-06-01)

Directed reachability for infinite-state systems
ανά: Blondin, M, κ.ά.
Έκδοση: (2021)

Adding Edges for Maximizing Weighted Reachability
ανά: Federico Corò, κ.ά.
Έκδοση: (2020-03-01)

Minimal Reachability is Hard to Approximate
ανά: Jadbabaie, A, κ.ά.
Έκδοση: (2023)

Reachability in pushdown register automata
ανά: Murawski, A, κ.ά.
Έκδοση: (2017)

Reachability in Stochastic Timed Games.
ανά: Bouyer, P, κ.ά.
Έκδοση: (2009)

Reachability under Contextual Locking
ανά: Remi Bonnet, κ.ά.
Έκδοση: (2013-09-01)

Reachability Results in Plane Trees
ανά: Isaac Owino Okoth, κ.ά.
Έκδοση: (2021-06-01)

Eternal Domination: Criticality and Reachability
ανά: Klostermeyer William F., κ.ά.
Έκδοση: (2017-02-01)

Symbolic Backwards Reachability Analysis for Higher−Order Pushdown Systems
ανά: Hague, M, κ.ά.
Έκδοση: (2007)

Quality Improvement in Annotated Code
ανά: Diego A. A. Correia, κ.ά.
Έκδοση: (2010-08-01)

Symbolic Backwards−Reachability Analysis for Higher−Order Pushdown Systems
ανά: Hague, M, κ.ά.
Έκδοση: (2008)

Asymptotic orders of reachability in linear dynamic systems
ανά: Özveren, Cüneyt M
Έκδοση: (2005)

Time-optimal path tracking via reachability analysis
ανά: Pham, Hung, κ.ά.
Έκδοση: (2021)

Reachability analysis of deep neural networks with provable guarantees
ανά: Ruan, W, κ.ά.
Έκδοση: (2018)

Robust Diagnosability Analysis Using Basis Reachability Graph
ανά: Shiqi Li, κ.ά.
Έκδοση: (2023-01-01)

Output Reachable Set Analysis for Periodic Positive Systems
ανά: Ilyas Sitli, κ.ά.
Έκδοση: (2021-01-01)

Directed Model Checking for Fast Abstract Reachability Analysis
ανά: Nakwon Lee, κ.ά.
Έκδοση: (2021-01-01)

What GHG Concentration Targets are Reachable in this Century?
ανά: Paltsev, Sergey, κ.ά.
Έκδοση: (2013)

Optimal labelling schemes for adjacency, comparability, and reachability
ανά: Bonamy, M, κ.ά.
Έκδοση: (2021)

Proving Reachability Using FShell - (Competition Contribution).
ανά: Holzer, A, κ.ά.
Έκδοση: (2012)

Reachability and robust design in dynamic systems
ανά: Harwood, Stuart Maxwell
Έκδοση: (2016)

Reachability in recursive Markov decision processes.
ανά: Brázdil, T, κ.ά.
Έκδοση: (2008)