PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Yan, Rongjie"

Author of the publication

copydeleteadd this publication to your clipboard
Modeling and Analysis for CPS Physical Entities Based on Spatio-Temporal Petri Net.

, , , , , and . JCP, 9 (2): 499-505 (2014)

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., , and . DATE, page 1677-1682. ACM, (2015)Modeling and Analysis for CPS Physical Entities Based on Spatio-Temporal Petri Net., , , , , and . JCP, 9 (2): 499-505 (2014)Distributed Priority Synthesis, , , and . SSV, volume 102 of EPTCS, page 57-72. (2012)Performance Estimation Techniques With MPSoC Transaction-Accurate Models., , , , , , , and . IEEE Trans. on CAD of Integrated Circuits and Systems, 32 (12): 1920-1933 (2013)Improvements for the Symbolic Verification of Timed Automata., , , and . FORTE, volume 4574 of Lecture Notes in Computer Science, page 196-210. Springer, (2007)Functional Testbench Qualification by Mutation Analysis., , , and . VLSI Design, (2015)Component-based verification using incremental design and invariants., , , , , and . Software and Systems Modeling, 15 (2): 427-451 (2016)ILP Based Multithreaded Code Generation for Simulink Model., , , , , , , , and . IEICE Transactions, 97-D (12): 3072-3082 (2014)Annotation and analysis combined cache modeling for native simulation., , , , and . ASP-DAC, page 406-411. IEEE, (2014)Symbolic Model Checking of Finite Precision Timed Automata., , and . ICTAC, volume 3722 of Lecture Notes in Computer Science, page 272-287. Springer, (2005)