Collaborative Verification of Forward and Reverse Reachability in the Internet Data Plane Hongkun Yang and Simon S. Lam Department of Computer Science, The University of Texas at Austin {yanghk, lam}@cs.utexas.edu

Source URL: www.cs.utexas.edu

• Routing protocols
• Internet standards
• Border Gateway Protocol
• Routing
• Router
• Tier 1 network
• Network switch
• Network architecture
• Internet
• Computing

Safety Guarantee of Continuous Join Queries over Punctuated Data Streams ∗ Hua-Gang Li1 [removed]

Source URL: www.vldb.org

• Join
• Question mark
• Slash
• Reachability
• Comma
• Relation
• Printing
• Punctuation
• Data management
• Graphic design

Existential Label Flow Inference via CFL Reachability Polyvios Pratikakis, Jeffrey S. Foster, and Michael Hicks University of Maryland, College Park {polyvios,jfoster,mwh}@cs.umd.edu Abstract. In programming languages,

Source URL: www.cs.umd.edu

ACM_research_highlights12.dvi

Source URL: www6.in.tum.de

• Electronic design
• Radio electronics
• Phase-locked loop
• Charge pump
• Phase frequency detector
• Voltage-controlled oscillator
• Reachability
• PLL multibit
• Electronic engineering
• Electronics
• Oscillators

Analyzing Reachability of Linear Dynamic Systems with Parametric Uncertainties Matthias Althoff (), Bruce H. Krogh, and Olaf Stursberg Abstract As an important approach to analyzing safety of a dynamic system, this pape

Source URL: www6.in.tum.de

• Systems theory
• Cybernetics
• Matrix
• State space
• Itō diffusion
• Linear map
• Mathematics
• Matrix theory
• Control theory

Formal Verification of Phase-Locked Loops Using Reachability Analysis and Continuization Matthias Althoff [removed] Akshay Rajhans

Source URL: www6.in.tum.de

• Oscillators
• Concurrency
• Electronic design
• Phase-locked loop
• Charge pump
• Petri net
• Reachability
• Electronic engineering
• Electronics
• Electrical engineering

Reachability Computation of Low-Order Models for the Safety Verification of High-Order Road Vehicle Models Matthias Althoff and John M. Dolan Abstract— We present an approach to verify the planned maneuvers of an autom

Source URL: www6.in.tum.de

• Applied mathematics
• Constructible universe
• FO
• Differential equation
• Matrix exponential
• Science
• Control theory
• Mathematics
• State space

JOURNAL OF XX, VOL. X, NO. X, JANUARY XXXX 1 Online Verification of Automated Road Vehicles Using Reachability Analysis

Source URL: www6.in.tum.de

• Symbol
• Range of a projectile
• Classical mechanics
• Kinematics
• Differential equation

Probabilistic Pattern Queries over Complex Probabilistic Graphs Alfredo Cuzzocrea Paolo Serafino

Source URL: www.edbt.org

• Graph connectivity
• Reachability
• Tree decomposition
• Shortest path problem
• Graph database
• Aanderaa–Karp–Rosenberg conjecture
• Directed acyclic graph
• Graph theory
• Theoretical computer science
• Mathematics

Forensic Analysis of Autonomous System Reachability DK Lee, Sue Moon Taesang Choi, Taesoo Jeong Division of Computer Science, KAIST

Source URL: an.kaist.ac.kr

• Computing
• Internet standards
• Internet protocols
• Border Gateway Protocol
• Multihoming
• Classless Inter-Domain Routing
• Computer network
• Subnetwork
• SQL Slammer
• Network architecture
• Internet
• Routing