Adrien Pommellet

Identifiers

No identifiers captured yet.

Papers (3)

1. Automata Learning with an Incomplete but Inductive Teacher (Technical Report) cs.FL · 2026 · author #2
2. Static Analysis of Multithreaded Recursive Programs Communicating via Rendez-vous cs.FL · 2019 · author #1
3. Reachability Analysis of Pushdown Systems with an Upper Stack cs.FL · 2018 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Tayssir Touili 2 shared papers
• Daniel Stan 1 shared papers
• Juliette Jacquot 1 shared papers
• Marcio Diaz 1 shared papers