( en | de | ru )

 

Disambiguierung von "Bandyopadhyay, Soumyadip"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
An efficient path based equivalence checking for Petri net based models of programs.

, , und . ISEC, Seite 70-79. ACM, (2016)

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.

Saurav Bandyopadhyay

Mahuya Bandyopadhyay

Soumyadip Choudhury

Mainak Bandyopadhyay

Prosanta Kumar Bandyopadhyay

 

Weitere Publikationen von Autoren mit dem selben Namen

Equivalence Checking in Embedded Systems Design Verification using PRES+ model. CoRR, (2010)A Path Construction Algorithm for Translation Validation Using PRES+ Models., , , , und . Parallel Process. Lett., 26 (2): 1650010:1-1650010:18 (2016)A Report on the First International Workshop on Program Equivalence (PEQ 2022).. ISEC, Seite 39:1-39:2. ACM, (2022)SamaTulyata: An Efficient Path Based Equivalence Checking Tool., , , und . ATVA, Volume 10482 von Lecture Notes in Computer Science, Seite 109-116. Springer, (2017)Translation validation of coloured Petri net models of programs on integers., , , und . Acta Informatica, 59 (6): 725-759 (2022)Solving the instance model-view update problem in AADL., , , und . MoDELS, Seite 55-65. ACM, (2022)A Path-based Equivalence Checking Method for Petri Net based Models of Programs., , , und . ICSOFT-EA, Seite 319-329. SciTePress, (2015)Implementing an Efficient Path Based Equivalence Checker for Parallel Programs., und . SEM4HPC@HPDC, Seite 3-10. ACM, (2016)Validating Extended Feature Model Configurations using Petri Nets., , und . PNSE@Petri Nets, Volume 2907 von CEUR Workshop Proceedings, Seite 255-256. CEUR-WS.org, (2021)A Report on the Second International Workshop on Software Engineering for Artificial Intelligence (SE4AI 2021)., und . ISEC, Seite 28:1-28:2. ACM, (2021)