Publications

R. Chouksey, C. Karfa and P. Bhaduri,  Improving Performance of a Path-Based Equivalence Checker using Counter-Examples, VLSI Design 2019, to appear.

R. Chouksey, C. Karfa and P. Bhaduri, Translation Validation of Code Motion Transformations Involving Loops, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, to appear, 2019.

R. Chouksey, C. Karfa and P. Bhaduri,  Formal Verification of Optimizing Transformations during High-level Synthesis, 27:1-27:5, ISEC 2019.

G. Panicker, K.V. Krishna and P. Bhaduri, Monoids of non-halting programs with tests, Algebra Universalis, 79:8, March 2018, Springer.

L. Behera and P. Bhaduri, Time-Triggered Scheduling for Multiprocessor Mixed-Criticality Systems, International Conference on Distributed Computing and Internet Technology (ICDCIT 2018), LNCS 10722, Springer, pages 135-151, 2018. (This is a  revised version of the paper where the statement and proof of Theorem 5 has been corrected.)

R. Chouksey, C. Karfa and P. Bhaduri, Translation Validation of Loop Invariant Code Optimizations Involving False Computations, 21st International Symposium on VLSI Design and Test (VDAT 2017), CCIS 711,  Springer, pages 767-778, 2017.

L. Behera and P. Bhaduri, Time-Triggered Scheduling of Mixed-Criticality Systems, ACM Transactions on Design Automation of Electronic Systems (TODAES), Volume 22 Issue 4, June 2017.

G. Panicker, K.V. Krishna and P. Bhaduri, Axiomatization of if-then-else over possibly non-halting programs and tests, International Journal of Algebra and Computation, Volume 27, Issue 03, May 2017.

D. Majumdar, L. Zhang, P. Bhaduri and S. Chakraborty, Reconfigurable Communication Middleware for FlexRay-based Distributed Embedded Systems, 21st IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2015.

P. Swain, S. Chakraborty, S. Nandi and P. Bhaduri, Performance Modeling and Analysis of IEEE 802.11 IBSS PSM in Different Traffic Conditions. IEEE Transactions on Mobile Computing 14(8): 1644-1658, 2015.

I. Stierand, P. Reinkemeier and P. Bhaduri, Virtual Integration of Real-Time Systems Based on Resource Segregation Abstraction. Formal Modeling and Analysis of Timed Systems, FORMATS 2014, LNCS 8711, pages 206-221.

P. Swain, P. Bhaduri, and S. Nandi, Probabilistic Model Checking of IEEE 802.11 IBSS Power Save Mode, International Journal of Wireless and Mobile Computing, Vol 7, No. 5, pages 465-474, 2014.

P. Swain, S. Chakraborty, S. Nandi, and P. Bhaduri, Performance Modeling and Evaluation of IEEE 802.11 IBSS Power Save Mode, Ad Hoc Networks, Elsevier, Volume 13, Part B, February 2014, Pages 336–350.

D. Goswami, S. Chakraborty, P. Bhaduri and S. K. Mitter, Characterizing Feedback Signal Drop Patterns in Formal Verification of Networked Control Systems, Invited CACSD-SU Session on Formal Methods for Cyber-Physical Systems, 2013 IEEE Multi-Conference on Systems and Control (MSC 2013) August 2013.

I. Stierand, P. Reinkemeier, T. Gezgin and P. Bhaduri, Real-Time Scheduling Interfaces and Contracts for the Design of Distributed Embedded Systems, 8th IEEE International Symposium on Industrial Embedded Systems, June 2013.

P. Swain, S. Chakraborty, S. Nandi, and P. Bhaduri, Performance Analysis of IEEE 802.11 IBSS Power Save Mode using a Discrete-Time Markov Model, 27th ACM Symposium On Applied Computing, SAC 2012.

P. Swain, S. Chakraborty, S. Nandi, and P. Bhaduri, Throughput Analysis of the IEEE 802.11 Power Save Mode in Single Hop Ad hoc Networks, 10th International Conference on Wireless Networks, ICWN 2011.

V. R. Anwikar and P. Bhaduri, Timing Analysis of Real-Time Embedded Systems using Model Checking, 18th International Conference on Real-Time and Network Systems, RTNS 2010.

P. Bhaduri and I. Stierand, A Proposal for Real-time Interfaces in SPEEDS, 13th Design Automation & Test in Europe Conference, DATE 2010.

 

D.B. Chokshi and P. Bhaduri, Performance Analysis of FlexRay-based systems using Real-Time Calculus, Revisited, 25th ACM Symposium on Applied Computing (SAC) 2010.

D.B. Chokshi and P. Bhaduri, Modeling Fixed Priority Non-Preemptive Scheduling with Real-Time Calculus, 14th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2008, IEEE Computer Society Press.

P. Bhaduri and S. Ramesh, Interface Synthesis and Protocol Conversion, Formal Aspects of Computing, Volume 20, Number 2, March 2008.

 

P. Bhaduri, Schedule Verification and Synthesis for Embedded Real-Time Components, in Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems: Proceedings of the GM R&D Workshop, Springer, January 2007. © Springer-Verlag.

 

R.K. Poddar and P. Bhaduri, Verification of Giotto based Embedded Control Systems, Nordic Journal of Computing, Volume 13, No. 4, Winter 2006.

 

P. Bhaduri and S. Ramesh, Synthesis of Synchronous Interfaces (corrected and revised), ACSD 2006, Sixth International Conference on Application of Concurrency to System Design, pp 208 – 216, Turku, Finland, June 26-30, 2006, IEEE Computer Society Press. 

P. Bhaduri, Synthesis of Interface Automata (corrected and revised), Third International Symposium on Automated Technology for Verification and Analysis (ATVA 2005), Taipei, Taiwan, Lectures Notes in Computer Science, Vol. 3707, pp 338-353, Springer-Verlag, October 2005.

G. Palshikar and P. Bhaduri, Verification of Scenario-based Specifications using Templates, International Workshop on Software Verification and Validation (SVV 2003), Mumbai, December 2003. Appeared in Volume 118 of Electronic Notes in Theoretical Computer Science,  Elsevier, Pages 37-55 (1 February 2005).

U. Shrotri, P. Bhaduri and R. Venkatesh, Model Checking Visual Specification of Requirements, International Conference on Software Engineering and Formal Methods, Brisbane, September 2003, IEEE Computer Society Press.

P. Bhaduri and R. Venkatesh, Formal Consistency of Models in Multi-View Modelling, <<UML>> 2002 Workshop on CONSISTENCY PROBLEMS IN UML-BASED SOFTWARE DEVELOPMENT, October 1, 2002, Dresden, Germany, Blekinge Institute of Technology Research Report, pp 149-159, 2002.

P. Bhaduri, R. Venkatesh and G. Palshikar, Formal Techniques for Analysing Scenarios using Message Sequence Charts, ETAPS Workshop on Validation and Implementation of Scenario-based Specifications, VISS 2002, Grenoble, France, April 2002. Appeared in Electronic Notes in Theoretical Computer Science Volume 65, Issue 7, Elsevier.

R. Venkatesh, P. Bhaduri and Mathai Joseph, Formalizing Models and Meta-models for System Development, Extended Abstract (Invited Talk), Proceedings Eighth Asia-Pacific Software Engineering Conference (APSEC), Macao, China, pp 155 - 158, IEEE Computer Society, December 2001.

S. Ramesh and P. Bhaduri, Validation of Pipelined Processor Designs using Esterel Tools: A Case Study, Computer Aided Verification CAV'99, Trento, Italy, Lectures Notes in Computer Science, Vol. 1633, pp 84 - 95, Springer-Verlag, July 1999.
 

M. G. Nanda, P. Bhaduri, S. Oberoi and A. Sanyal, An Application of Compiler Technology to the Year 2000 Problem, Software Practice and Experience, Vol 29, No 4, 1999, pp 359-377.

S. Ramesh, S.S.P. Rao, G. Sivakumar and P. Bhaduri, Formal Specification and Verification of Hardware Designs, Proceedings of SPIE, Vol 3412, Photomask and X-Ray Mask Technology V, pp 261-268, Kawasaki, Japan, 1998.

 

 back to homepage