Travelled to:1 × Canada
1 × France
1 × Italy
1 × Turkey
1 × United Kingdom
2 × USA
3 × Estonia
3 × Germany
Collaborated with:K.G.Larsen S.Li B.Nielsen M.Mikucionis W.Yi A.Legay K.G.Larsen G.Behrmann Z.Wang M.O.Möller T.Amnell P.G.Jensen J.H.Taankvist O.Nguena-Timo A.Rollet L.Jacobsen M.Jacobsen K.Y.Jørgensen M.H.Møller J.Srba A.Cougnard E.Fleury D.Lime M.Bozga A.Hartmanns H.Hermanns J.Tretmans S.S.Bauer R.Hennicker U.Nyman A.Wasowski P.E.Bulychev D.B.Poulsen
Talks about:time (11) system (5) uppaal (4) test (4) real (4) model (3) statist (2) specif (2) check (2) game (2)
Person: Alexandre David
DBLP: David:Alexandre
Contributed to:
2015
2013
2012
2012
20122012
2011
20092008
20082007
20042002
2000Wrote 14 papers:
- TACAS-2015-DavidJLMT #stratego
- Uppaal Stratego (AD, PGJ, KGL, MM, JHT), pp. 206–211.
- ICTSS-2013-DavidLMNR #specification #testing
- Remote Testing of Timed Specifications (AD, KGL, MM, ONT, AR), pp. 65–81.
- DATE-2012-BozgaDHHLLT #analysis #embedded #modelling #state of the art #tool support
- State-of-the-art tools and techniques for quantitative modeling and analysis of embedded systems (MB, AD, AH, HH, KGL, AL, JT), pp. 370–375.
- FASE-2012-BauerDHLLNW #component #contract #design #specification
- Moving from Specifications to Contracts in Component-Based Design (SSB, AD, RH, KGL, AL, UN, AW), pp. 43–58.
- QAPL-2012-BulychevDLMPLW #automaton #model checking #named #statistics
- UPPAAL-SMC: Statistical Model Checking for Priced Timed Automata (PEB, AD, KGL, MM, DBP, AL, ZW), pp. 1–16.
- TACAS-2012-DavidJJJMS #development #ide #petri net
- TAPAAL 2.0: Integrated Development Environment for Timed-Arc Petri Nets (AD, LJ, MJ, KYJ, MHM, JS), pp. 492–497.
- CAV-2011-DavidLLMW #model checking #realtime #statistics
- Time for Statistical Model Checking of Real-Time Systems (AD, KGL, AL, MM, ZW), pp. 349–355.
- ICST-2009-DavidLLN #testing
- Timed Testing under Partial Observability (AD, KGL, SL, BN), pp. 61–70.
- DATE-2008-DavidLLN #approach #game studies #realtime #testing
- A Game-Theoretic Approach to Real-Time System Testing (AD, KGL, SL, BN), pp. 486–491.
- MBT-2008-DavidLLN #testing
- Cooperative Testing of Timed Systems (AD, KGL, SL, BN), pp. 79–92.
- CAV-2007-BehrmannCDFLL #exclamation #game studies #named
- UPPAAL-Tiga: Time for Playing Games! (GB, AC, AD, EF, KGL, DL), pp. 121–125.
- SFM-2004-BehrmannDL #tutorial
- A Tutorial on Uppaal (GB, AD, KGL), pp. 200–236.
- FASE-2002-DavidMY #realtime #uml #verification
- Formal Verification of UML Statecharts with Real-Time Extensions (AD, MOM, WY), pp. 218–232.
- LCTES-2000-AmnellDY #hybrid #realtime
- A Real-Time Animator for Hybrid Systems (TA, AD, WY), pp. 134–145.