Tanguy Dubois

Identifiers

• name variant Tanguy Dubois 0.60 · backfill

Papers (1)

1. TAPAAL SMC: Statistical Model Checking of Stochastic Timed-Arc Petri Nets cs.DC · 2026 · author #1

Mentions

• 2606.02007 #1 · arxiv_oai · confidence 0.70 Tanguy Dubois

Frequent Coauthors

• Jiri Srba 1 shared papers
• Kim G. Larsen 1 shared papers