Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Performance Estimation Techniques With MPSoC Transaction-Accurate Models.

D. Ma, R. Yan, K. Huang, M. Yu, S. Xiu, H. Ge, X. Yan, and A. Jerraya. IEEE Trans. on CAD of Integrated Circuits and Systems, 32 (12): 1920-1933 (2013)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Shuhao Yan University of Stuttgart

Hsiu-Yu Yang University of Stuttgart

Guangpu Yang University of Stuttgart

Xiliu Yang University of Stuttgart

Peihan Yang University of Stuttgart

Other publications of authors with the same name

Formal consistency checking over specifications in natural languages.R. Yan, C. Cheng, and Y. Chai. DATE, page 1677-1682. ACM, (2015)Distributed Priority SynthesisC. Cheng, R. Yan, S. Bensalem, and H. Ruess. SSV, volume 102 of EPTCS, page 57-72. (2012)Improvements for the Symbolic Verification of Timed Automata.R. Yan, G. Li, W. Zhang, and Y. Peng. FORTE, volume 4574 of Lecture Notes in Computer Science, page 196-210. Springer, (2007)Modeling and Analysis for CPS Physical Entities Based on Spatio-Temporal Petri Net.G. Zhang, M. Zhang, R. Yan, M. Chen, C. Xu, and Y. Li. JCP, 9 (2): 499-505 (2014)Performance Estimation Techniques With MPSoC Transaction-Accurate Models.D. Ma, R. Yan, K. Huang, M. Yu, S. Xiu, H. Ge, X. Yan, and A. Jerraya. IEEE Trans. on CAD of Integrated Circuits and Systems, 32 (12): 1920-1933 (2013)Communication Optimizations for Multithreaded Code Generation from Simulink Models.K. Huang, M. Yu, R. Yan, X. Zhang, X. Yan, L. de Brisolara, A. Jerraya, and J. Feng. ACM Trans. Embedded Comput. Syst., 14 (3): 59:1-59:26 (2015)Algorithms for Synthesizing Priorities in Component-Based Systems.C. Cheng, S. Bensalem, Y. Chen, R. Yan, B. Jobstmann, H. Ruess, C. Buckl, and A. Knoll. ATVA, volume 6996 of Lecture Notes in Computer Science, page 150-167. Springer, (2011)Model Construction and Priority Synthesis for Simple Interaction Systems.C. Cheng, S. Bensalem, B. Jobstmann, R. Yan, A. Knoll, and H. Ruess. NASA Formal Methods, volume 6617 of Lecture Notes in Computer Science, page 466-471. Springer, (2011)D-Finder 2: Towards Efficient Correctness of Incremental Design.S. Bensalem, A. Griesmayer, A. Legay, T. Nguyen, J. Sifakis, and R. Yan. NASA Formal Methods, volume 6617 of Lecture Notes in Computer Science, page 453-458. Springer, (2011)Resource-Aware Design for Reliable Autonomous Applications with Multiple Periods.R. Yan, D. Zhu, F. Zhang, Y. Lv, J. Yang, and K. Huang. FM, volume 10951 of Lecture Notes in Computer Science, page 294-311. Springer, (2018)