PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Ray, Sandip"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Transaction Flows and Executable Models: Formalization and Analysis of Message passing Protocols.

, , und . FMCAD, Seite 168-175. IEEE, (2015)

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

Weitere Publikationen von Autoren mit dem selben Namen

Can't See the Forest for the Trees: State Restoration's Limitations in Post-silicon Trace Signal Selection., , , , und . ICCAD, Seite 1-8. IEEE, (2015)Innovative practices session 7C: Verification and testing challenges in high-level synthesis., und . VTS, Seite 250. IEEE Computer Society, (2010)A Unified Formal Framework for Analyzing Functional and Speed-path Properties., , , und . MTV, Seite 44-45. IEEE Computer Society, (2011)Mechanized Certification of Secure Hardware Designs., und . MTV, Seite 25-32. IEEE Computer Society, (2007)The Changing Computing Paradigm With Internet of Things: A Tutorial Introduction., , und . IEEE Design & Test, 33 (2): 76-96 (2016)Exploiting transaction level models for observability-aware post-silicon test generation., , und . DATE, Seite 1477-1480. IEEE, (2016)Validating scheduling transformation for behavioral synthesis., , , , , und . DATE, Seite 1652-1657. IEEE, (2016)Protecting the supply chain for automotives and IoTs., , und . DAC, Seite 89:1-89:4. ACM, (2018)Integrating external deduction tools with ACL2., , , und . J. Applied Logic, 7 (1): 3-25 (2009)A Mechanical Analysis of Program Verification Strategies., , , und . J. Autom. Reasoning, 40 (4): 245-269 (2008)