From post

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.

 

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

A semi-formal description of migrating domain-specific models with evolving domains., , , , , и . Softw. Syst. Model., 13 (2): 807-823 (2014)Distributed Real-Time Managed Systems: A Model-Driven Distributed Secure Information Architecture Platform for Managed Embedded Systems., , , , , , , , , и . IEEE Softw., 31 (2): 62-69 (2014)Deliberative, search-based mitigation strategies for model-based software health management., , , и . Innov. Syst. Softw. Eng., 9 (4): 293-318 (2013)Syntheto: A Surface Language for APT and ACL2., , , , , и . ACL2, том 359 из EPTCS, стр. 151-167. (2022)Applying DDDAS Principles for Realizing Optimized and Robust Deep Learning Models at the Edge., , , , и . DDDAS, том 13984 из Lecture Notes in Computer Science, стр. 325-339. Springer, (2022)Towards Incremental Cycle Analysis in ESMoL Distributed Control System Models., , , и . SC@TOOLS, том 6708 из Lecture Notes in Computer Science, стр. 133-140. Springer, (2011)Dynamic symbolic execution for the analysis of web server applications in Java., , , и . SAC, стр. 2178-2185. ACM, (2019)Rapid property specification and checking for model-based formalisms., , , , , , и . International Symposium on Rapid System Prototyping, стр. 121-127. IEEE, (2011)A Rapid Testing Framework for a Mobile Cloud., , , , , и . RSP, стр. 128-134. IEEE, (2014)Triggering Rowhammer Hardware Faults on ARM: A Revisit., , , , и . ASHES@CCS, стр. 24-33. ACM, (2018)