Progress on Reachability Analysis of Hybrid Systems using Predicate Abstraction? Rajeev Alur1 , Thao Dang2 , and Franjo Ivancic1 1 University of Pennsylvania

Source URL: www.cis.upenn.edu

Behavioral Characteristics of Spammers and Their Network Reachability Properties Zhenhai Duan Kartik Gopalan

Source URL: www.cs.fsu.edu

Lecture 18: The Logic of Circuits - I 1 Reachability and Expressibility

Source URL: www.cs.rice.edu

A Lazy Reachability Algorithm for Timed Automata B. Srivathsan LaBRI, Universit´e Bordeaux 1 The reachability problem for timed automata refers to deciding if there exists

Source URL: www.cmi.ac.in

Cut-elimination and the decidability of reachability in alternating pushdown systems Gilles Dowek, Ying Jiang To cite this version: Gilles Dowek, Ying Jiang. Cut-elimination and the decidability of reachability in altern

Source URL: who.rocq.inria.fr

Graph Reachability and Pebble Automata over Infinite Alphabets Tony Tan Department of Computer Science Technion – Israel Institute of Technology Haifa 32000, Israel Email:

Source URL: alpha.uhasselt.be

Pushing the Boundaries of the Complexity of the Reachability Problem in Vector Addition Systems One Step at a Time Christoph Haase Laboratoire Spécification et Vérification (LSV), CNRS

Source URL: www.cmi.ac.in

Reachability in Register Machines with Polynomial Updates Alain Finkel1,? , Stefan G¨oller2 , and Christoph Haase1,? 1 2

Source URL: www.informatik.uni-bremen.de

Sound and Precise Malware Analysis for Android via Pushdown Reachability and Entry-Point Saturation Shuying Liang, Andrew W. Keep, Matthew Might, Steven Lyde, Thomas Gilray, and Petey Aldous University of Utah

Source URL: www.andykeep.com

Containment of Data Graph Queries Egor V. Kostylev Juan L. Reutter University of Edinburgh

Source URL: homepages.inf.ed.ac.uk

• Computational complexity theory
• Graph
• Connectivity
• FO
• Reachability
• Tree
• Theoretical computer science
• Mathematics
• Graph theory