Alexandre David

Identifiers

• name variant Alexandre David 0.60 · backfill

Papers (3)

1. A Forward Reachability Algorithm for Bounded Timed-Arc Petri Nets cs.LO · 2012 · author #1
2. Controllers with Minimal Observation Power (Application to Timed Systems) cs.SY · 2012 · author #3
3. Stochastic Semantics and Statistical Model Checking for Networks of Priced Timed Automata cs.SE · 2011 · author #1

Mentions

• 1207.1276 #3 · arxiv_oai · confidence 0.70 Alexandre David
• 1211.6194 #1 · backfill · confidence 0.70 Alexandre David
• 1207.1276 #3 · backfill · confidence 0.70 Alexandre David
• 1106.3961 #1 · backfill · confidence 0.70 Alexandre David

Frequent Coauthors

• Kim G. Larsen 2 shared papers
• Axel Legay 1 shared papers
• Danny B{\o}gsted Poulsen 1 shared papers
• Franck Cassez 1 shared papers
• Jean-Francois Raskin 1 shared papers
• Ji\v{r}\'i Srba 1 shared papers
• Jonas van Vliet 1 shared papers
• Lasse Jacobsen 1 shared papers
• Marius Miku\v{c}ionis 1 shared papers
• Morten Jacobsen 1 shared papers
• Peter Bulychev 1 shared papers
• Pierre-Alain Reynier 1 shared papers
• Zheng Wang 1 shared papers