PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Roychoudhury, Abhik"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Smart Greybox Fuzzing.

, , , , und . IEEE Trans. Software Eng., 47 (9): 1980-1997 (2021)

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 Roychoudhury, Abhik
Eine Person hinzufügen mit dem Namen Roychoudhury, Abhik
 

Weitere Publikationen von Autoren mit dem selben Namen

Generalized Unfold/fold Transformation Systems for Normal Logic Programs., , und . ICLP, Seite 616. MIT Press, (1999)Automatic Generation of Protocol Converters from Scenario-Based Specifications., , , und . RTSS, Seite 447-458. IEEE Computer Society, (2004)Using Compressed Bytecode Traces for Slicing Java Programs., und . ICSE, Seite 512-521. IEEE Computer Society, (2004)A Conservative Technique to Improve Deterministic Evaluation of Logic Programs., , , und . ICCL, Seite 196-205. IEEE Computer Society, (1998)A Retargetable Software Timing Analyzer Using Architecture Description Language., , , , und . ASP-DAC, Seite 396-401. IEEE Computer Society, (2007)Scalable and precise refinement of cache timing analysis via path-sensitive verification., und . Real-Time Systems, 49 (4): 517-562 (2013)Static analysis of multi-core TDMA resource arbitration delays., , , , und . Real-Time Systems, 50 (2): 185-229 (2014)Formal Reasoning about Hardware and Software Memory Models.. ICFEM, Volume 2495 von Lecture Notes in Computer Science, Seite 423-434. Springer, (2002)WOMM: A Weak Operational Memory Model., , und . ISoLA (1), Volume 6415 von Lecture Notes in Computer Science, Seite 519-534. Springer, (2010)Scratchpad allocation for concurrent embedded software., , und . CODES+ISSS, Seite 37-42. ACM, (2008)