Alexandre David
Alexandre David
Senior Software Engineer, Google Inc.
Verified email at cs.aau.dk - Homepage
Title
Cited by
Cited by
Year
A Tutorial on Uppaal
G Behrmann, A David, KG Larsen
Formal methods for the design of real-time systems, 200-236, 2004
21122004
Uppaal 4.0
G Behrmann, A David, KG Larsen, J Håkansson, P Pettersson, W Yi, ...
Los Alamitos, CA: IEEE Computer Society, 2006
4522006
Uppaal SMC tutorial
A David, KG Larsen, A Legay, M Mikučionis, DB Poulsen
International Journal on Software Tools for Technology Transfer 17 (4), 397-415, 2015
3712015
Efficient on-the-fly algorithms for the analysis of timed games
F Cassez, A David, E Fleury, KG Larsen, D Lime
International Conference on Concurrency Theory, 66-80, 2005
3372005
Uppaal-tiga: Time for playing games!
G Behrmann, A Cougnard, A David, E Fleury, KG Larsen, D Lime
International Conference on Computer Aided Verification, 121-125, 2007
3162007
Innate immune and chemically triggered oxidative stress modifies translational fidelity
N Netzer, JM Goodenbour, A David, KA Dittmar, RB Jones, JR Schneider, ...
Nature 462 (7272), 522-526, 2009
2902009
Nuclear translation visualized by ribosome-bound nascent chain puromycylation
A David, BP Dolan, HD Hickman, JJ Knowlton, G Clavarino, P Pierre, ...
Journal of Cell Biology 197 (1), 45-57, 2012
2192012
Timed I/O automata: a complete specification theory for real-time systems
A David, KG Larsen, A Legay, U Nyman, A Wasowski
Proceedings of the 13th ACM international conference on Hybrid systems …, 2010
2172010
Statistical model checking for networks of priced timed automata
A David, KG Larsen, A Legay, M Mikučionis, DB Poulsen, J Van Vliet, ...
International conference on formal modeling and analysis of timed systems, 80-96, 2011
1682011
Time for statistical model checking of real-time systems
A David, KG Larsen, A Legay, M Mikučionis, Z Wang
International Conference on Computer Aided Verification, 349-355, 2011
1662011
Dendritic cell aggresome-like induced structures are dedicated areas for ubiquitination and storage of newly synthesized defective proteins
H Lelouard, V Ferrand, D Marguet, J Bania, V Camosseto, A David, ...
Journal of Cell Biology 164 (5), 667-675, 2004
1662004
Formal verification of UML statecharts with real-time extensions
A David, MO Möller, W Yi
International Conference on Fundamental Approaches to Software Engineering …, 2002
1662002
UPPAAL-SMC: Statistical model checking for priced timed automata
P Bulychev, A David, KG Larsen, M Mikučionis, DB Poulsen, A Legay, ...
arXiv preprint arXiv:1207.1272, 2012
1622012
The cell proliferation antigen Ki-67 organises heterochromatin
M Sobecki, K Mrouj, A Camasses, N Parisis, E Nicolas, D Llères, F Gerbe, ...
elife 5, e13722, 2016
1552016
UPPAAL-now, next, and future
T Amnell, G Behrmann, J Bengtsson, PR D’argenio, A David, A Fehnker, ...
Summer School on Modeling and Verification of Parallel Processes, 99-124, 2000
1462000
A tutorial on Uppaal 4.0
G Behrmann, A David, KG Larsen
Department of computer science, Aalborg university, 2006
1412006
Uppaal implementation secrets
G Behrmann, J Bengtsson, A David, KG Larsen, P Pettersson, W Yi
International Symposium on Formal Techniques in Real-Time and Fault-Tolerant …, 2002
1412002
Reactivation of stalled polyribosomes in synaptic plasticity
TE Graber, S Hébert-Seropian, A Khoutorsky, A David, JW Yewdell, ...
Proceedings of the National Academy of Sciences 110 (40), 16205-16210, 2013
1372013
Fitness costs limit influenza A virus hemagglutinin glycosylation as an immune evasion strategy
SR Das, SE Hensley, A David, L Schmidt, JS Gibbs, P Puigbò, WL Ince, ...
Proceedings of the National Academy of Sciences 108 (51), E1417-E1422, 2011
1192011
Model-based framework for schedulability analysis using UPPAAL 4.1
A David, J Illum, KG Larsen, A Skou
Model-based design for embedded systems 1 (1), 93-119, 2009
1172009
The system can't perform the operation now. Try again later.
Articles 1–20