 |
Cohesive Coverage Management Leveraging Formal Test Plans 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. This single author monograph articulates the early contributions of the nominee in the area of formal property verification.
| |
 |
Multi-objective Heuristic Search. This monograph was developed out of the first six chapters of the nominee's PhD thesis.
|
| Sl. No. | Books Chapters | Author | Publisher, Year |
|---|---|---|---|
| 01 | Formal Assurance of Signaling Safety -- A Railways Perspective Book Title: In Handbook of Research on Emerging Innovations in Rail Transportation Engineering |
Pallab Dasgupta Mahesh Mangal |
IGI Global, 2016 (Electronically available) |
| 02 | 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 (Electronically available) |
| 03 | 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 |
| 04 | Agent Searching.
Book Title: Computational Mathematics, Modelling and Algorithms, , 397-444. Multiobjective Heuristic Search |
Pallab Dasgupta, P.P. Chakrabarti, S.C.DeSarkar |
Narosa Publishing House, 1999 |