BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: David:Alexandre

Contributed to:

TACAS 20152015
ICTSS 20132013
DATE 20122012
FASE 20122012
QAPL 20122012
TACAS 20122012
CAV 20112011
ICST 20092009
DATE 20082008
MBT 20082008
CAV 20072007
SFM-RT 20042004
FASE 20022002
LCTES 20002000

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.