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.

 

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

Flipping Laboratory Sessions: An Experience in Computer Science., , , , , и . Rev. Iberoam. de Tecnol. del Aprendiz., 15 (3): 183-191 (2020)Full contract verification for ATL using symbolic execution., , , и . Softw. Syst. Model., 17 (3): 815-849 (2018)Spectrum-Based Fault Localization in Model Transformations., , , и . ACM Trans. Softw. Eng. Methodol., 27 (3): 13:1-13:50 (2018)Evaluation of model transformation approaches for model refactoring., , , , и . Sci. Comput. Program., (2014)Using UML and OCL Models to Realize High-Level Digital Twins., , и . MoDELS (Companion), стр. 212-220. IEEE, (2021)Lightweight Testing of Communication Networks with e-Motions., , , и . TAP, том 6706 из Lecture Notes in Computer Science, стр. 187-204. Springer, (2011)A model-driven framework for developing android-based classic multiplayer 2D board games., , , и . Autom. Softw. Eng., 28 (2): 7 (2021)Improving query performance on dynamic graphs., , и . Softw. Syst. Model., 20 (4): 1011-1041 (2021)Automated inference of likely metamorphic relations for model transformations., , и . J. Syst. Softw., (2018)Simulating domain specific visual models by observation., , и . SpringSim, стр. 128. SCS/ACM, (2010)