E-LIB Suche - Ergebnisse für: Bhaduri, Purandar

1

Coalgebras for Bisimulation of Weighted Automata over Semir..:

Bhaduri, Purandar
Logical Methods in Computer Science. 19, Issue 1 (2023) - p. , 2023

Link: https://doi.org/10.46298..

2

On the structure of C-algebras through atomicity and if-the..:

Panicker, Gayatri ; Krishna, K. V. ; Bhaduri, Purandar
Algebra universalis. 81 (2020) 2 - p. , 2020

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

3

Formal Verification of Optimizing Transformations during Hi..:

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

Chouksey, Ramanuj ; Karfa, Chandan ; Bhaduri, Purandar - p. 1-5 , 2019

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

4

Counter‐example generation procedure for path‐based equival..:

Chouksey, Ramanuj ; Karfa, Chandan ; Banerjee, Kunal..
IET Software. 13 (2019) 4 - p. 280-285 , 2019

Link: https://doi.org/10.1049/..

5

An energy-efficient time-triggered scheduling algorithm for..:

Behera, Lalatendu ; Bhaduri, Purandar
Design Automation for Embedded Systems. 24 (2019) 2 - p. 79-109 , 2019

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

6

Monoids of non-halting programs with tests:

Panicker, Gayatri ; Krishna, K. V. ; Bhaduri, Purandar
Algebra universalis. 79 (2018) 1 - p. , 2018

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

7

Time-Triggered Scheduling of Mixed-Criticality Systems:

Behera, Lalatendu ; Bhaduri, Purandar
ACM Transactions on Design Automation of Electronic Systems. 22 (2017) 4 - p. 1-25 , 2017

Link: https://doi.org/10.1145/..

8

Time-Triggered Scheduling of Mixed-Criticality Systems:

Behera, Lalatendu ; Bhaduri, Purandar
ACM Transactions on Design Automation of Electronic Systems (TODAES). 22 (2017) 4 - p. 1-25 , 2017

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

9

Performance modeling and evaluation of IEEE 802.11 IBSS pow..:

Swain, Pravati ; Chakraborty, Sandip ; Nandi, Sukumar.
Ad Hoc Networks. 13 (2014) - p. 336-350 , 2014

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

10

Performance analysis of IEEE 802.11 IBSS power save mode us..:

, In: Proceedings of the 27th Annual ACM Symposium on Applied Computing,

Swain, Pravati ; Chakraborty, Sandip ; Nandi, Sukumar. - p. 631-633 , 2012

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

11

A proposal for real-time interfaces in SPEEDS:

, In: Proceedings of the Conference on Design, Automation and Test in Europe,

Bhaduri, Purandar ; Stierand, Ingo - p. 441-446 , 2010

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

12

Performance analysis of FlexRay-based systems using real-ti..:

, In: Proceedings of the 2010 ACM Symposium on Applied Computing,

Chokshi, Devesh B. ; Bhaduri, Purandar - p. 351-356 , 2010

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

13

Interface synthesis and protocol conversion:

Bhaduri, Purandar ; Ramesh, S.
Formal Aspects of Computing. 20 (2008) 2 - p. 205-224 , 2008

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

14

Verification of Scenario-based Specifications using Templat..:

Palshikar, Girish Keshav ; Bhaduri, Purandar
Electronic Notes in Theoretical Computer Science. 118 (2005) - p. 37-55 , 2005

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

15

Formal Techniques for Analysing Scenarios using Message Seq..:

Bhaduri, Purandar ; Venkatesh, R. ; Palshikar, Girish K.
Electronic Notes in Theoretical Computer Science. 65 (2002) 7 - p. 1-17 , 2002

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