( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Fully Reflective Execution Environments: Virtual Machines for More Flexible Software

, , , и . IEEE Transactions on Software Engineering, PP (99): 1--20 (марта 2018)
DOI: 10.1109/TSE.2018.2812715

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.

Alexander Diego

Jesús Diego Linares

Diego Tonolla

Diego Arenhoevel

Diego Feijóo

 

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

A toolsuite for the verification of real-time systems in Eclipse., , , , , , , и . ETX, стр. 35-39. ACM, (2006)A Dataflow Analysis to Improve SAT-Based Bounded Program Verification., , , и . SEFM, том 7041 из Lecture Notes in Computer Science, стр. 138-154. Springer, (2011)Report from 2nd international workshop on developing tools as plug-ins (TOPI 2012)., и . ACM SIGSOFT Softw. Eng. Notes, 37 (6): 24-27 (2012)Fully Reflective Execution Environments: Virtual Machines for More Flexible Software, , , и . IEEE Transactions on Software Engineering, PP (99): 1--20 (марта 2018)Program Instrumentation and Run-Time Analysis of Scoped Memory in Java., , , и . RV@ETAPS, том 113 из Electronic Notes in Theoretical Computer Science, стр. 105-121. Elsevier, (2004)An Empirical Study on How Sapienz Achieves Coverage and Crash Detection., , и . J. Softw. Evol. Process., (апреля 2023)Enabledness-based Testing of Object Protocols., , , и . ACM Trans. Softw. Eng. Methodol., 30 (2): 12:1-12:36 (2021)3rd international workshop on developing tools as plug-ins (TOPI 2013)., , , , и . ICSE, стр. 1555. IEEE Computer Society, (2013)Improving the Verification of Timed Systems Using Influence Information., , и . TACAS, том 2280 из Lecture Notes in Computer Science, стр. 21-36. Springer, (2002)Speeding Up Model Checking of Timed-Models by Combining Scenario Specialization and Live Component Analysis., , , , и . FORMATS, том 5813 из Lecture Notes in Computer Science, стр. 58-72. Springer, (2009)