Alexandre David

Uppaal SMC tutorial

Alexandre David, Kim G. Larsen, Axel Legay et al. · International Journal on Software Tools for Technology Transfer · 2015 · 462 citations

Timed I/O automata

Alexandre David, Kim G. Larsen, Axel Legay et al. · 2010 · 173 citations · Full text

Computing, Computer Science, Computer Systems +17

UPPAAL-SMC: Statistical Model Checking for Priced Timed Automata

Peter Bulychev, Alexandre David, Kim G. Larsen et al. · Electronic Proceedings in Theoretical Computer Science · 2012 · 150 citations · Full text

Computing, Computer Engineering, Computer Science +17

Developing U<scp>PPAAL</scp> over 15 years

Gerd Behrmann, Alexandre David, Kim G. Larsen et al. · Software Practice and Experience · 2011 · 95 citations

Computing, Computer Science, Formal Methods +12

Statistical Model Checking for Stochastic Hybrid Systems

Alexandre David, Dehui Du, Kim G. Larsen et al. · Electronic Proceedings in Theoretical Computer Science · 2012 · 84 citations · Full text

Computing, Computer Science, Systems Biology +16