PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Chen, Mingsong"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Quantitative Performance Evaluation of Uncertainty-Aware Hybrid AADL Designs Using Statistical Model Checking.

, , , , , und . IEEE Trans. on CAD of Integrated Circuits and Systems, 36 (12): 1989-2002 (2017)

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.

Jun Chen University of Stuttgart

preCICE Distribution Version v2404.0, , , , , , , , , und 14 andere Autor(en). Software, (2024)

Hong Chen University of Stuttgart

Yiyin Chen University of Stuttgart

Lu Chen University of Stuttgart

Yingxing Cheng University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

Variation-Aware Resource Allocation Evaluation for Cloud Workflows Using Statistical Model Checking., , , , und . BDCloud, Seite 201-208. IEEE, (2014)Improving Defect Detection Ability of Derived Test Cases Based on Mutated UML Activity Diagrams., , , , und . COMPSAC, Seite 275-280. IEEE Computer Society, (2016)Throughput Maximization for Multicore Energy-Harvesting Systems Suffering Both Transient and Permanent Faults., , , , , und . IEEE Access, (2019)Automatic RTL Test Generation from SystemC TLM Specifications., , und . ACM Trans. Embedded Comput. Syst., 11 (2): 38:1-38:25 (2012)Game Theoretic Feedback Control for Reliability Enhancement of EtherCAT-Based Networked Systems., , , , , , , und . IEEE Trans. on CAD of Integrated Circuits and Systems, 38 (9): 1599-1610 (2019)Runtime Verification by Convergent Formula Progression., , , , , , , und . APSEC (1), Seite 255-262. IEEE Computer Society, (2014)Energy-adaptive scheduling of imprecise computation tasks for QoS optimization in real-Time MPSoC systems., , , , und . DATE, Seite 1402-1407. IEEE, (2017)O-ViT: Orthogonal Vision Transformer., , , und . CoRR, (2022)An FPGA-Based Real-Time Moving Object Tracking Approach., , , , und . ICA3PP, Volume 10393 von Lecture Notes in Computer Science, Seite 65-80. Springer, (2017)ADAutomation: An Activity Diagram Based Automated GUI Testing Framework for Smartphone Applications., , , und . SERE, Seite 68-77. IEEE, (2014)