( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
"Know What You Know": Predicting Behavior for Learning-Enabled Systems When Facing Uncertainty.

, и . SEAMS@ICSE, стр. 78-89. IEEE, (2021)

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.

I-Fen Cheng

Ying Min Cheng

Xuerong Cheng

Yao Cheng

Qing-Qi Cheng

 

Другие публикации лиц с тем же именем

Automatic detection of incomplete requirements via symbolic analysis., и . MoDELS, стр. 385-395. ACM, (2016)AMOEBA-RT: Run-Time Verification of Adaptive Software., , и . MoDELS (Workshops), том 5002 из Lecture Notes in Computer Science, стр. 212-224. Springer, (2007)UML Modeling for Visually-Impaired Persons., и . HuFaMo@MoDELS, том 1522 из CEUR Workshop Proceedings, стр. 4-10. CEUR-WS.org, (2015)Automatically Generating Behavioral Models of Adaptive Systems to Address Uncertainty., и . MoDELS, том 5301 из Lecture Notes in Computer Science, стр. 568-583. Springer, (2008)Composing Adaptive Software., , , и . Computer, 37 (7): 56-64 (2004)Analysis and Monitoring of Cyber-Physical Systems via Environmental Domain Knowledge & Modeling., , и . SEAMS@ICSE, стр. 11-17. IEEE, (2021)An ecology-based evolutionary algorithm to evolve solutions to complex problems., , , и . ALIFE, MIT Press, (2012)Moving industry-guided multimedia technology into the classroom., , и . SIGCSE, стр. 160-164. ACM, (1999)A Two-Phase Approach to Reverse Engineering Using Formal Methods., и . Formal Methods in Programming and Their Applications, том 735 из Lecture Notes in Computer Science, стр. 335-348. Springer, (1993)Facilitating the Construction of Specification Pattern-based Properties., и . RE, стр. 329-338. IEEE Computer Society, (2005)