( en | de | ru )

 

Disambiguierung von "Dhurjati, Dinakar"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Optimal Test Input Sequence Generation for Finite State Models and Pushdown Systems.

, , , und . ICST, Seite 140-149. IEEE Computer Society, (2011)

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.

Keine Personen gefunden für den Autorennamen Dhurjati, Dinakar
Eine Person hinzufügen mit dem Namen Dhurjati, Dinakar
 

Weitere Publikationen von Autoren mit dem selben Namen

SAFECode: enforcing alias analysis for weakly typed languages., , und . PLDI, Seite 144-157. ACM, (2006)Ensuring code safety without runtime checks for real-time control systems., , und . CASES, Seite 288-297. ACM, (2002)Memory safety without garbage collection for embedded applications., , , und . ACM Trans. Embed. Comput. Syst., 4 (1): 73-111 (2005)Path-Sensitive Dataflow Analysis with Iterative Refinement., , und . SAS, Volume 4134 von Lecture Notes in Computer Science, Seite 425-442. Springer, (2006)Optimal Test Input Sequence Generation for Finite State Models and Pushdown Systems., , , und . ICST, Seite 140-149. IEEE Computer Society, (2011)Memory safety without runtime checks or garbage collection., , , und . LCTES, Seite 69-80. ACM, (2003)Scaling up Superoptimization., , , und . ASPLOS, Seite 297-310. ACM, (2016)Backwards-compatible array bounds checking for C with very low overhead., und . ICSE, Seite 162-171. ACM, (2006)Secure virtual architecture: a safe execution environment for commodity operating systems., , , und . SOSP, Seite 351-366. ACM, (2007)Dynamic test input generation for web applications., , , , , und . ISSTA, Seite 249-260. ACM, (2008)