( en | de | ru )

 

Disambiguierung von "Garbervetsky, Diego"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Live Objects All The Way Down: Removing the Barriers between Applications and Virtual Machines.

, , und . Art Sci. Eng. Program., (2023)

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.

Alexander Diego

Jesús Diego Linares

Diego Tonolla

Diego Arenhoevel

Diego Feijóo

 

Weitere Publikationen von Autoren mit dem selben Namen

Report from 2nd international workshop on developing tools as plug-ins (TOPI 2012)., und . ACM SIGSOFT Softw. Eng. Notes, 37 (6): 24-27 (2012)Fully Reflective Execution Environments: Virtual Machines for More Flexible Software, , , und . IEEE Transactions on Software Engineering, PP (99): 1--20 (März 2018)A toolsuite for the verification of real-time systems in Eclipse., , , , , , , und . ETX, Seite 35-39. ACM, (2006)A Dataflow Analysis to Improve SAT-Based Bounded Program Verification., , , und . SEFM, Volume 7041 von Lecture Notes in Computer Science, Seite 138-154. Springer, (2011)An Empirical Study on How Sapienz Achieves Coverage and Crash Detection., , und . J. Softw. Evol. Process., (April 2023)Enabledness-based Testing of Object Protocols., , , und . ACM Trans. Softw. Eng. Methodol., 30 (2): 12:1-12:36 (2021)3rd international workshop on developing tools as plug-ins (TOPI 2013)., , , , und . ICSE, Seite 1555. IEEE Computer Society, (2013)Program Instrumentation and Run-Time Analysis of Scoped Memory in Java., , , und . RV@ETAPS, Volume 113 von Electronic Notes in Theoretical Computer Science, Seite 105-121. Elsevier, (2004)Reducing the Number of Annotations in a Verification-oriented Imperative Language, , und . CoRR, (2010)Improving the Verification of Timed Systems Using Influence Information., , und . TACAS, Volume 2280 von Lecture Notes in Computer Science, Seite 21-36. Springer, (2002)