Purandar Bhaduri - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 31 from 31

2023

Coalgebras for Bisimulation of Weighted Automata over SemiringsPurandar Bhaduri. lmcs, 19(1), 2023. [doi]

2020

An energy-efficient time-triggered scheduling algorithm for mixed-criticality systemsLalatendu Behera, Purandar Bhaduri. dafes, 24(2):79-109, 2020. [doi]

2019

2018

Time-Triggered Scheduling for Multiprocessor Mixed-Criticality SystemsLalatendu Behera, Purandar Bhaduri. icdcit 2018: 135-151 [doi]

2017

Time-Triggered Scheduling of Mixed-Criticality SystemsLalatendu Behera, Purandar Bhaduri. todaes, 22(4), 2017. [doi]

Translation Validation of Loop Invariant Code Optimizations Involving False ComputationsRamanuj Chouksey, Chandan Karfa, Purandar Bhaduri. vdat 2017: 767-778 [doi]

Axiomatization of if-then-else over possibly non-halting programs and testsGayatri Panicker, Kanduru V. Krishna, Purandar Bhaduri. ijac, 27(3):273-298, 2017. [doi]

2015

Reconfigurable Communication Middleware for Flex Ray-Based Distributed Embedded SystemsDiptesh Majumdar, Licong Zhang, Purandar Bhaduri, Samarjit Chakraborty. rtcsa 2015: 159-166 [doi]

Performance Modeling and Analysis of IEEE 802.11 IBSS PSM in Different Traffic ConditionsPravati Swain, Sandip Chakraborty, Sukumar Nandi, Purandar Bhaduri. tmc, 14(8):1644-1658, 2015. [doi]

2014

Virtual Integration of Real-Time Systems Based on Resource Segregation AbstractionIngo Stierand, Philipp Reinkemeier, Purandar Bhaduri. formats 2014: 206-221 [doi]

Probabilistic model checking of IEEE 802.11 IBSS power save modePravati Swain, Purandar Bhaduri, Sukumar Nandi. ijwmc, 7(5):465-474, 2014. [doi]

Performance modeling and evaluation of IEEE 802.11 IBSS power save modePravati Swain, Sandip Chakraborty, Sukumar Nandi, Purandar Bhaduri. adhoc, 13:336-350, 2014. [doi]

2013

Characterizing feedback signal drop patterns in formal verification of networked control systemsDip Goswami, Samarjit Chakraborty, Purandar Bhaduri, Sanjoy K. Mitter. cacsd 2013: 13-18 [doi]

Real-time scheduling interfaces and contracts for the design of distributed embedded systemsIngo Stierand, Philipp Reinkemeier, Tayfun Gezgin, Purandar Bhaduri. sies 2013: 130-139 [doi]

2012

Performance analysis of IEEE 802.11 IBSS power save mode using a discrete-time markov modelPravati Swain, Sandip Chakraborty, Sukumar Nandi, Purandar Bhaduri. SAC 2012: 631-633 [doi]

2010

A proposal for real-time interfaces in SPEEDSPurandar Bhaduri, Ingo Stierand. date 2010: 441-446 [doi]

Performance analysis of FlexRay-based systems using real-time calculus, revisitedDevesh B. Chokshi, Purandar Bhaduri. SAC 2010: 351-356 [doi]

2008

Interface synthesis and protocol conversionPurandar Bhaduri, S. Ramesh. fac, 20(2):205-224, 2008. [doi]

Modeling Fixed Priority Non-Preemptive Scheduling with Real-Time CalculusDevesh B. Chokshi, Purandar Bhaduri. rtcsa 2008: 387-392 [doi]

2006

Synthesis of Synchronous InterfacesPurandar Bhaduri, S. Ramesh. acsd 2006: 208-216 [doi]

Verification of Giotto based Embedded Control SystemsRajiv Kumar Poddar, Purandar Bhaduri. njc, 13(4):266-293, 2006.

2005

Synthesis of Interface AutomataPurandar Bhaduri. ATVA 2005: 338-353 [doi]

Verification of Scenario-based Specifications using TemplatesGirish Keshav Palshikar, Purandar Bhaduri. ENTCS, 118:37-55, 2005. [doi]

2003

Model Checking Visual Specification of RequirementsUlka Shrotri, Purandar Bhaduri, R. Venkatesh. SEFM 2003: 202-209 [doi]

2002

Formal Techniques for Analysing Scenarios using Message Sequence ChartsPurandar Bhaduri, R. Venkatesh, Girish Keshav Palshikar. ENTCS, 65(7):1-17, 2002. [doi]

2001

Formalizing Models and Meta-models for System DevelopmentR. Venkatesh, Purandar Bhaduri, Mathai Joseph. apsec 2001: 155 [doi]

1999

An Application of Compiler Technology to the Year 2000 ProblemMangala Gowri Nanda, Purandar Bhaduri, Sundeep Oberoi, Amitabha Sanyal. SPE, 29(4):359-377, 1999.

Validation of Pipelined Processor Designs Using Esterel Tools: A Case StudyS. Ramesh, Purandar Bhaduri. cav 1999: 84-95 [doi]

Sign in or sign up to see more results.

runs on WebDSL