Pallab Dasgupta
Professor
Computer Science and Engineering
Indian Institute of Technology Kharagpur
India
Biography
Pallab Dasgupta is an Professor in the Department of Computer Science and Engineering at IIT Kanpur.
Research Interest
Formal Methods CAD for VLSI & Embedded Systems Artificial Intelligence Modelling of Aerospace & Automotive Systems Smart Grid and Renewable Integration
Publications
-
Multi-rate Sampling for Power-Performance Trade-off in Embedded Control by Dasgupta P., Dey S. , R. R., S. D. IEEE Embedded Systems Letters 8 77-80 (2016)
-
Formal Assessment of Reliability Specifications in Embedded Cyber-Physical Systems by Hazra A., Dasgupta P. , Chakrabarti P. P. Journal of Applied Logic 18 71-104 (2016
-
Formal Methods for Validation and Test Point Prioritization in Railway Signaling Logic by Ghosh S., Das A. , Basak N. , Dasgupta P. , Katiyar A. IEEE Trans. Intelligent Transportation Systems 18 678-689 (2017) )
