Fr\'ed\'eric Herbreteau

Identifiers

• name variant Fr\'ed\'eric Herbreteau 0.60 · backfill

Papers (5)

1. Revisiting local time semantics for networks of timed automata cs.LO · 2019 · author #2
2. Fast detection of cycles in timed automata cs.LO · 2014 · author #2
3. Reachability of Communicating Timed Processes cs.LO · 2012 · author #2
4. Better abstractions for timed automata cs.LO · 2011 · author #1
5. Using non-convex approximations for efficient analysis of timed automata cs.LO · 2011 · author #1

Mentions

• 1410.4509 #2 · backfill · confidence 0.70 Fr\'ed\'eric Herbreteau
• 1209.0571 #2 · backfill · confidence 0.70 Fr\'ed\'eric Herbreteau
• 1110.3705 #1 · backfill · confidence 0.70 Fr\'ed\'eric Herbreteau
• 1110.3704 #1 · backfill · confidence 0.70 Fr\'ed\'eric Herbreteau

Frequent Coauthors

• B. Srivathsan 4 shared papers
• Igor Walukiewicz 4 shared papers
• Aakash Deshpande 1 shared papers
• Am\'elie Stainer 1 shared papers
• Dileep Kini 1 shared papers
• Gr\'egoire Sutre 1 shared papers
• Lorenzo Clemente 1 shared papers
• R. Govind 1 shared papers
• Thanh-Tung Tran 1 shared papers