Reachability problem for weak multi-pushdown automata Wojciech Czerwi´nski, Piotr Hofman, and Sławomir Lasota? Institute of Informatics, University of Warsaw wczerwin,ph209519,

Source URL: www.mimuw.edu.pl

Reachability Analysis of Dynamical Systems having Piecewise-Constant Derivatives Eugene Asarin Oded Maler

Source URL: www-verimag.imag.fr

Tor and NAT devices: increasing bridge & relay reachability or, enabling the use of NAT–PMP and UPnP by default Jacob Appelbaum

Source URL: research.torproject.org

• Computing
• Network architecture
• Network protocols
• Network address translation
• Internet
• NAT traversal
• Universal Plug and Play
• STUN
• Tor
• Port forwarding
• IPv6
• Traversal Using Relays around NAT

5th Workshop on Reachability Problems Genova 28th September 2011 Synthesis of Timing Parameters Satisfying Safety Properties

Source URL: lipn.univ-paris13.fr

Efficient Algorithms for Private-Public Social Networks Flavio Chierichetti (Sapienza U. of Rome), Alessandro Epasto (Brown U.), Ravi Kumar, Silvio Lattanzi, Vahab Mirrokni (Google). , epasto@cs.b

Source URL: www.epasto.org

• Graph theory
• Graph connectivity
• Reachability
• Graph operations
• Graph coloring

Reachability as deducibility, finite countermodels and verification

Source URL: cgi.csc.liv.ac.uk

Developers Ask Reachability Questions Thomas D. LaToza Brad A. Myers Institute for Software Research

Source URL: www.ics.uci.edu

Computing Vector Addition System Reachability Sets J´erˆ ome Leroux LaBRI (CNRS and University of Bordeaux), France. J´

Source URL: www.uet.vnu.edu.vn

Improving Reachability Analysis of Infinite State Systems by Specialization Fabio Fioravanti1 , Alberto Pettorossi2 , Maurizio Proietti3 , and Valerio Senni2,4 1 Dipartimento di Scienze, University ‘G. D’Annunzio’

Source URL: csp2011.mimuw.edu.pl