( en | de | ru )

 

Disambiguierung von "Garbervetsky, Diego"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Abstractions for Validation in Action.

, , , und . SFM, Volume 7320 von Lecture Notes in Computer Science, Seite 192-218. Springer, (2012)

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 Arenhoevel

Diego Tonolla

Diego Feijóo

 

Weitere Publikationen von Autoren mit dem selben Namen

Symbolic Polynomial Maximization Over Convex Sets and Its Application to Memory Requirement Estimation., , , und . IEEE Trans. Very Large Scale Integr. Syst., 17 (8): 983-996 (2009)Testing and validating end user programmed calculated fields., , , , , , und . ESEC/SIGSOFT FSE, Seite 827-832. ACM, (2018)Improving the Verification of Timed Systems Using Influence Information., , und . TACAS, Volume 2280 von Lecture Notes in Computer Science, Seite 21-36. Springer, (2002)Speeding Up Model Checking of Timed-Models by Combining Scenario Specialization and Live Component Analysis., , , , und . FORMATS, Volume 5813 von Lecture Notes in Computer Science, Seite 58-72. Springer, (2009)Fully Reflective Execution Environments: Virtual Machines for More Flexible Software, , , und . IEEE Transactions on Software Engineering, PP (99): 1--20 (März 2018)Report from 2nd international workshop on developing tools as plug-ins (TOPI 2012)., und . ACM SIGSOFT Softw. Eng. Notes, 37 (6): 24-27 (2012)An Empirical Study on How Sapienz Achieves Coverage and Crash Detection., , und . J. Softw. Evol. Process., (April 2023)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)A toolsuite for the verification of real-time systems in Eclipse., , , , , , , und . ETX, Seite 35-39. ACM, (2006)3rd international workshop on developing tools as plug-ins (TOPI 2013)., , , , und . ICSE, Seite 1555. IEEE Computer Society, (2013)