Autor der Publikation

Kopieren Löschen Diese Publikation zur Ablage hinzufügen
Community-Eintrag
Versionsverlauf dieses Eintrags
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Distributed Priority Synthesis and its Applications

C. Cheng, S. Bensalem, R. Yan, und H. Ruess. CoRR, (2011)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

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

Weitere Publikationen von Autoren mit dem selben Namen

Formal consistency checking over specifications in natural languages.R. Yan, C. Cheng, und Y. Chai. DATE, Seite 1677-1682. ACM, (2015)Modeling and Analysis for CPS Physical Entities Based on Spatio-Temporal Petri Net.G. Zhang, M. Zhang, R. Yan, M. Chen, C. Xu, und 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, und A. Jerraya. IEEE Trans. on CAD of Integrated Circuits and Systems, 32 (12): 1920-1933 (2013)Distributed Priority SynthesisC. Cheng, R. Yan, S. Bensalem, und H. Ruess. SSV, Volume 102 von EPTCS, Seite 57-72. (2012)Improvements for the Symbolic Verification of Timed Automata.R. Yan, G. Li, W. Zhang, und Y. Peng. FORTE, Volume 4574 von Lecture Notes in Computer Science, Seite 196-210. Springer, (2007)Incremental component-based construction and verification using invariants.S. Bensalem, M. Bozga, A. Legay, T. Nguyen, J. Sifakis, und R. Yan. FMCAD, Seite 257-256. IEEE, (2010)Communication Optimizations for Multithreaded Code Generation from Simulink Models.K. Huang, M. Yu, R. Yan, X. Zhang, X. Yan, L. de Brisolara, A. Jerraya, und 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, und A. Knoll. ATVA, Volume 6996 von Lecture Notes in Computer Science, Seite 150-167. Springer, (2011)Resource-Aware Design for Reliable Autonomous Applications with Multiple Periods.R. Yan, D. Zhu, F. Zhang, Y. Lv, J. Yang, und K. Huang. FM, Volume 10951 von Lecture Notes in Computer Science, Seite 294-311. Springer, (2018)Model Construction and Priority Synthesis for Simple Interaction Systems.C. Cheng, S. Bensalem, B. Jobstmann, R. Yan, A. Knoll, und H. Ruess. NASA Formal Methods, Volume 6617 von Lecture Notes in Computer Science, Seite 466-471. Springer, (2011)