Tree Automata with Global Constraints Emmanuel Filiot INRIA Futurs, Lille, Mostrare Project Jean-Marc Talbot University of Provence, LIF, Marseille Sophie Tison University of Lille1, LIFL, Mostrare Project

Source URL: www.ulb.ac.be

Deterministic Automata and Extensions of Weak MSO Mikołaj Bojańczyk Szymon Toruńczyk University of Warsaw

Source URL: www.mimuw.edu.pl

M EMORAX, a precise and sound tool for automatic fence insertion under TSO ? Parosh Aziz Abdulla1 , Mohamed Faouzi Atig1 , Yu-Fang Chen2 , Carl Leonardsson1 , and Ahmed Rezine3 1

Source URL: user.it.uu.se

• Theoretical computer science
• Mathematics
• Finite automata
• Computing
• Theory of computation
• Formal methods
• Reachability problem
• Logic in computer science
• Model checking
• Memory barrier
• Preorder
• Algorithm

A Playful Glance at Hierarchical Questions for Two-Way Alternating Automata Jacques Duparc1 and Alessandro Facchini1,2⋆ 1 2

Source URL: my.unil.ch

Unboundedness and Downward Closures of Higher-Order Pushdown Automata Matthew Hague Jonathan Kochems

Source URL: www.cs.rhul.ac.uk

Monadic Quantifiers Recognized by Deterministic Pushdown Automata: Corrigendum (January 1, 2014) Makoto Kanazawa National Institute of Informatics, Tokyo, Japan

Source URL: research.nii.ac.jp

¨ Abstract Interpretation from Buchi Automata Martin Hofmann Wei Chen

Source URL: www.tcs.ifi.lmu.de

Weighted Automata — Version of February 7, 2011 — Benedikt Bollig and Marc Zeitoun LSV, ENS Cachan, CNRS E-mail address: {bollig,mz}@lsv.ens-cachan.fr

Source URL: www.cmi.ac.in

Abstracting Cryptographic Protocols with Tree Automata ? David Monniaux http://www.di.ens.fr/%7Fmonniaux, ´ Laboratoire d’Informatique, Ecole

Source URL: www-verimag.imag.fr

• Cryptography
• Public-key cryptography
• E-commerce
• Cryptographic protocols
• Internet Standards
• Computer security
• DolevYao model
• Cryptographic primitive
• Digital signature
• Communications protocol
• BurrowsAbadiNeedham logic
• XTR

Robust Weighted Timed Automata and Games Ocan Sankur Universit´e Libre de Bruxelles Joint with Patricia Bouyer, Nicolas Markey ENS Cachan & CNRS

Source URL: www.ulb.ac.be