Books
Cohesive Coverage Management Leveraging Formal Test Plans
Artitra Hazra, Pallab Dasgupta, P.P. Chakrabarti, Lambert Academic Publishing, 2012
This monograph prescribes an emerging style of verification for digital integrated circuits and reports work done with Synopsys. Primarily developed out of the MS thesis of Aritra Hazra.
A Roadmap for Formal Property Verification.
Pallab Dasgupta, Springer, 2006.
This single author monograph articulates the early contributions of the nominee in the area of formal property verification.
Multi-objective Heuristic Search.
Pallab Dasgupta, P.P. Chakrabarti, S.C. DeSarkar,
Vieweg Verlag, Germany, 1999.
This monograph was developed out of the first six chapters of the nominee's PhD thesis.
Books Chapters
| Sl. No. | Books Chapters | Author | Publisher and Year |
|---|---|---|---|
| 1 | On the Deep Structure of Ragas and Analytic Rating of Music Scores Book Title: Heritage Preservation – A computational approach Ed: Bhabatosh Chanda, Subhasis Chaudhuri, Santanu Chaudhury | Sudipa Mandal, Shilpi Chaudhuri, Antonio Anastasio Bruto da Costa, Gouri Karambelkar, Pallab Dasgupta |
Springer 2018 |
| 2 | A Logical Perspective of Formal Verification: A Narrative on the Genesis and Evolution of the Formal Verification Group at IIT Kharagpur. Book Title: The Mind of an Engineer Ed: Purnendu Ghosh, Baldev Raj, INAE | Pallab Dasgupta | Springer 2016 |
| 3 | Formal Assurance of Signaling Safety: A Railways Perspective.
Book Title: Handbook of Research on Emerging Innovations in Rail Transportation Engineering Ed: B Umesh Rai | Pallab Dasgupta Mahesh Mangal |
IGI Global, May 2016 |
| 4 | Early Time Budgeting for Component-Based Embedded Control Systems. Book Title: Embedded Systems Development Ed: A. S-Vincentelli, H. Zeng, M.Di-Natale, P.Marwedel | Manoj J Dixit, S. Ramesh, Pallab Dasgupta |
Springer, 2014 |
| 5 | Agent Searching.
Book Title: Computational Mathematics, Modelling and Algorithms | Pallab Dasgupta P.P. Chakrabarti, S.C.DeSarkar |
Narosa Publishing House, 1999 |
| 6 | Can Semi-Formal be made more Formal?
Book Title: Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems. Ed: S.Ramesh, P.Sampath. | Ansuman Banerjee, Pallab Dasgupta, P.P. Chakrabarti |
Springer, 2007 |