Alexandre David

Alexandre David

Aalborg University - Aalborg / Denmark
Engineering & Technology / Computer Science
AD Scientific Index ID: 1450684
Universitas Alburgensis
person_outline Alexandre David's MOST POPULAR ARTICLES
1-) A Tutorial on UppaalG Behrmann, A David, KG LarsenFormal methods for the design of real-time systems, 200-236, 200422762004
2-) Uppaal SMC tutorialA David, KG Larsen, A Legay, M Mikučionis, DB PoulsenInternational journal on software tools for technology transfer 17, 397-415, 20155132015
3-) Uppaal 4.0G Behrmann, A David, KG Larsen, J Håkansson, P Pettersson, W Yi, ...Los Alamitos, CA: IEEE Computer Society, 20065122006
4-) Efficient on-the-fly algorithms for the analysis of timed gamesF Cassez, A David, E Fleury, KG Larsen, D LimeCONCUR 2005–Concurrency Theory: 16th International Conference, CONCUR 2005 …, 20054132005
5-) UPPAAL-Tiga: Time for Playing Games! (Tool Paper)G Behrmann, A Cougnard, A David, E Fleury, KG Larsen, D LimeComputer Aided Verification: 19th International Conference, CAV 2007, Berlin …, 20073912007