|
Publications 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. © CSREA Press.
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 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. © ACM
Press. 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. © IEEE Computer Society Press. P. Bhaduri and 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. © Nordic Journal of Computing. 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. © 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. © Springer-Verlag. 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, 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. |
|
|