( en | de | ru )

 

Disambiguierung von "Troya, Javier"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Simulating domain specific visual models by observation.

, , und . SpringSim, Seite 128. SCS/ACM, (2010)

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.

Alfonso Luís Troya Chinchilla

Methodie Troyatschinow

Javier Manero

Javier Jáurequi

Javier Dreyer

 

Weitere Publikationen von Autoren mit dem selben Namen

Spectrum-Based Fault Localization in Model Transformations., , , und . ACM Trans. Softw. Eng. Methodol., 27 (3): 13:1-13:50 (2018)Full contract verification for ATL using symbolic execution., , , und . Softw. Syst. Model., 17 (3): 815-849 (2018)Fault localization in DSLTrans model transformations by combining symbolic execution and spectrum-based analysis., , , und . Softw. Syst. Model., 23 (3): 737-763 (Juni 2024)Using UML and OCL Models to Realize High-Level Digital Twins., , und . MoDELS (Companion), Seite 212-220. IEEE, (2021)Wildfire-UAVSim: An Exemplar for Evaluation of Adaptive Cyber-Physical Systems in Partially-Observable Environments., , und . SEAMS@ICSE, Seite 63-69. ACM, (2024)Towards Measuring Digital Twins Fidelity at Runtime., , und . MoDELS (Companion), Seite 507-512. ACM, (2024)Using trace alignments for measuring the similarity between a physical and its digital twin., , , und . MoDELS (Companion), Seite 503-510. ACM, (2022)Metamorphic testing of RESTful web APIs., , , und . ICSE, Seite 882. ACM, (2018)Model Transformation Testing and Debugging: A Survey., , , und . ACM Comput. Surv., 55 (4): 72:1-72:39 (2023)Performance metamorphic testing: A Proof of concept., , , und . Inf. Softw. Technol., (2018)