オープン アクセスを義務付けられた論文 - Alexandre David詳細
一般公開: 12 件
Uppaal SMC tutorial
A David, KG Larsen, A Legay, M Mikučionis, DB Poulsen
International journal on software tools for technology transfer 17, 397-415, 2015
委任: National Natural Science Foundation of China, Danish National Research …
TOSO, the Fcμ receptor, is highly expressed on chronic lymphocytic leukemia B cells, internalizes upon IgM binding, shuttles to the lysosome, and is downregulated in response …
B Vire, A David, A Wiestner
The Journal of Immunology 187 (8), 4040-4050, 2011
委任: US National Institutes of Health
Monitor-based statistical model checking for weighted metric temporal logic
P Bulychev, A David, K Guldstrand Larsen, A Legay, G Li, ...
Logic for Programming, Artificial Intelligence, and Reasoning: 18th …, 2012
委任: Danish National Research Foundation
Hierarchical scheduling framework based on compositional analysis using uppaal
A Boudjadar, A David, JH Kim, KG Larsen, M Mikučionis, U Nyman, ...
Formal Aspects of Component Software: 10th International Symposium, FACS …, 2014
委任: Danish National Research Foundation
Real-time specifications
A David, KG Larsen, A Legay, U Nyman, LM Traonouez, A Wąsowski
International Journal on Software Tools for Technology Transfer 17, 17-45, 2015
委任: European Commission
mctau: Bridging the gap between Modest and UPPAAL
J Bogdoll, A David, A Hartmanns, H Hermanns
International SPIN Workshop on Model Checking of Software, 227-233, 2012
委任: German Research Foundation
Formal verification and simulation for platform screen doors and collision avoidance in subway control systems
H Fang, J Shi, H Zhu, J Guo, KG Larsen, A David
International Journal on Software Tools for Technology Transfer 16, 339-361, 2014
委任: National Natural Science Foundation of China, Danish National Research …
Efficient controller synthesis for a fragment of
P Bulychev, A David, KG Larsen, G Li
Acta Informatica 51, 165-192, 2014
委任: National Natural Science Foundation of China, Danish National Research …
Verification and performance evaluation of timed game strategies
A David, H Fang, KG Larsen, Z Zhang
Formal Modeling and Analysis of Timed Systems: 12th International Conference …, 2014
委任: Danish National Research Foundation
Adaptive task automata with earliest-deadline-first scheduling
L Hatvani, A David, C Seceleanu, P Pettersson
Electronic Communications of the EASST 70, 2014
委任: Swedish Research Council
Quantified dynamic metric temporal logic for dynamic networks of stochastic hybrid automata
A David, KG Larsen, A Legay, G Li, DB Poulsen
2014 14th International Conference on Application of Concurrency to System …, 2014
委任: National Natural Science Foundation of China
FcμR (TOSO/FAIM3) Is An O-Glycosylated Endocytic Receptor That Shuttles IgM From the Cell Surface to the Lysosome and Whose Expression Is Regulated by TLR Signaling
B Vire, A David, A Wiestner
Blood 118 (21), 2828, 2011
委任: US National Institutes of Health
公開と助成金に関する情報は、コンピュータ プログラムによって自動的に決定されます