E-LIB Suche - Ergebnisse für: Bandyopadhyay, Soumyadip

1

Solving the instance model-view update problem in AADL:

, In: Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems,

Mittal, Rakshit ; Blouin, Dominique ; Bhobe, Anish. - p. 55-65 , 2022

Link: https://dl.acm.org/doi/1..

2

A Comparative Study between ECG-based and PPG-based Heart R..:

, In: 2022 14th International Conference on COMmunication Systems & NETworkS (COMSNETS),

Pinge, Anuja ; Bandyopadhyay, Soumyadip ; Ghosh, Surjya. - p. 84-89 , 2022

Link: https://doi.org/10.1109/..

3

A Report on the First International Workshop on Program Equ..:

, In: 15th Innovations in Software Engineering Conference,

Bandyopadhyay, Soumyadip - p. 1-2 , 2022

Link: https://dl.acm.org/doi/1..

4

Translation validation of coloured Petri net models of prog..:

Bandyopadhyay, Soumyadip ; Sarkar, Dipankar ; Mandal, Chittaranjan.
Acta Informatica. 59 (2022) 6 - p. 725-759 , 2022

Link: https://doi.org/10.1007/..

5

An integrated ontology for multi-paradigm modelling for cyb..:

, In: Multi-Paradigm Modelling Approaches for Cyber-Physical Systems,

Blouin, Dominique ; Al-Ali, Rima ; Giese, Holger... - p. 123-145 , 2021

Link: https://doi.org/10.1016/..

6

A feature-based ontology for cyber-physical systems:

, In: Multi-Paradigm Modelling Approaches for Cyber-Physical Systems,

Tekinerdogan, Bedir ; Mittal, Rakshit ; Al-Ali, Rima... - p. 45-65 , 2021

Link: https://doi.org/10.1016/..

7

A Report on the Second International Workshop on Software E..:

, In: 14th Innovations in Software Engineering Conference (formerly known as India Software Engineering Conference),

Bandyopadhyay, Soumyadip ; Joshi, Swaroop - p. 1-2 , 2021

Link: https://dl.acm.org/doi/1..

8

PNPEq: Verification of Scheduled Conditional Behavior in Em..:

, In: 2021 28th Asia-Pacific Software Engineering Conference (APSEC),

Mittal, Rakshit ; Blouin, Dominique ; Bandyopadhyay, Soumyadip - p. 509-514 , 2021

Link: https://doi.org/10.1109/..

9

An ontology for multi-paradigm modelling:

, In: Multi-Paradigm Modelling Approaches for Cyber-Physical Systems,

Giese, Holger ; Blouin, Dominique ; Al-Ali, Rima... - p. 67-122 , 2021

Link: https://doi.org/10.1016/..

10

List of contributors:

, In: Multi-Paradigm Modelling Approaches for Cyber-Physical Systems,

Al-Ali, Rima ; Amaral, Vasco ; Amrani, Moussa... - p. ix-xi , 2021

Link: https://doi.org/10.1016/..

11

A Report on the First Workshop on Software Engineering for ..:

, In: Proceedings of the 13th Innovations in Software Engineering Conference on Formerly known as India Software Engineering Conference,

Bandyopadhyay, Soumyadip ; Mukherjee, Rohan ; Sarkar, Santonu - p. 1-2 , 2020

Link: https://dl.acm.org/doi/1..

12

SamaTulyataOne : A Path Based Equivalence Checker:

, In: Proceedings of the 12th Innovations on Software Engineering Conference (formerly known as India Software Engineering Conference),

Bandyopadhyay, Soumyadip ; Sarkar, Dipankar ; Mandal, Chittaranjan - p. 1-5 , 2019

Link: https://dl.acm.org/doi/1..

13

Equivalence checking of Petri net models of programs using ..:

Bandyopadhyay, Soumyadip ; Sarkar, Dipankar ; Mandal, Chittaranjan
Acta Informatica. 56 (2018) 4 - p. 321-383 , 2018

Link: https://doi.org/10.1007/..

14

PRESGen : A Fully Automatic Equivalence Checker for Vali..:

, In: Proceedings of the 2017 Workshop on Software Engineering Methods for Parallel and High Performance Applications,

Bandyopadhyay, Soumyadip ; Banerjee, Kunal - p. 13-20 , 2017

Link: https://dl.acm.org/doi/1..

15

An efficient path based equivalence checking for Petri net ..:

, In: Proceedings of the 9th India Software Engineering Conference,

Bandyopadhyay, Soumyadip ; Sarkar, Dipankar ; Mandal, Chittaranjan - p. 70-79 , 2016

Link: https://dl.acm.org/doi/1..