Tayssir Touili

Identifiers

No identifiers captured yet.

Papers (5)

1. Static Analysis of Multithreaded Recursive Programs Communicating via Rendez-vous cs.FL · 2019 · author #2
2. Reachability Analysis of Pushdown Systems with an Upper Stack cs.FL · 2018 · author #3
3. Branching Temporal Logic of Calls and Returns for Pushdown Systems cs.FL · 2018 · author #2
4. CARET analysis of multithreaded programs cs.LO · 2017 · author #2
5. LTL Model-Checking for Dynamic Pushdown Networks Communicating via Locks cs.LO · 2016 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Adrien Pommellet 2 shared papers
• Huu-Vu Nguyen 2 shared papers
• Fu Song 1 shared papers
• Marcio Diaz 1 shared papers