My primary research interest is formal methods for reliability and dependability of embedded systems. I am also interested in problems prevalent in compilers and architectures for high performance systems. For more information, please check
http://cse.iitkgp.ac.in/~soumya/
-
Multi-rate Sampling for Power-Performance Trade-off in Embedded Control Dasgupta P., Dey S. , R. R., S. D. By IEEE Embedded Systems Letters 8 77-80 (2016)
-
Multi-rate Sampling for Power-Performance Trade-off in Embedded Control Dasgupta P., Dey S. , R. R., S. D. By IEEE Embedded Systems Letters 8 77-80 (2016)
-
An Approach to Architectural Enhancement for Embedded Speech Applications Soumyajit Dey, Susmit Biswas, Arijit Mukhopadhyay Anupam Basu By International Conference on VLSI Design - (2006)
-
An Approach to Architectural Enhancement for Embedded Speech Applications Soumyajit Dey, Susmit Biswas, Arijit Mukhopadhyay Anupam Basu By International Conference on VLSI Design - (2006)
-
RELSPEC: A Framework for Reliability Aware Design of Component based Embedded Systems Dey S., Chakrabarti P. P., Ghosh S. K., P. V., Vadlamudi S. G., A. H. By Design Automation for Embedded Systems 21 37-87 (2017)
-
RELSPEC: A Framework for Reliability Aware Design of Component based Embedded Systems Dey S., Chakrabarti P. P., Ghosh S. K., P. V., Vadlamudi S. G., A. H. By Design Automation for Embedded Systems 21 37-87 (2017)
-
A Tag Machine based Performance Evaluation Method for Job-Shop Schedules Soumyajit Dey, Dipankar Sarkar, Anupam Basu By IEEE Transaction CAD 29(7) 1028-1041 (2010)
-
A Tag Machine based Performance Evaluation Method for Job-Shop Schedules Soumyajit Dey, Dipankar Sarkar, Anupam Basu By IEEE Transaction CAD 29(7) 1028-1041 (2010)
-
Architectural Optimizations for Text to Speech Synthesis in Embedded Systems Soumyajit Dey, Monu Kedia, Anupam By ASP-DAC - (2007)
-
Architectural Optimizations for Text to Speech Synthesis in Embedded Systems Soumyajit Dey, Monu Kedia, Anupam By ASP-DAC - (2007)
Principal Investigator
- Cyber Security Research in CPS
- Cyber Security Research in CPS
- Development of Secured Hardware and Automotive Systems
- Development of Secured Hardware and Automotive Systems
- Exploring Formal Methods for Smart Grid Privacy and Security
- Implementation of Monitors and Secure Manoeuvres for Semi-Autonomous Connected Vehicle Platoons
- Intelligent ADAS Task Management on Heterogeneous Automotive Architectures
- Synopsys CAD Laboratory Project Phase II
- Synthesizing test programs as directed test families for incremental CPU validation
Co-Principal Investigator
- Development of a Hybrid Continuum to Atomistic Scale Solver for Multiscale Flow Problems National Supercomputing Mission (NSM)
- Nodal Center in HPC and AI at IIT Kharagpur under National Supercomputing Mission (NSM) Centre for Development of Advanced Computing
- Opened & Intelligent Plug-in Hybrid Electric Vehicle (PHEV) Technologies for Smart Indian Cities (UAY_I_IITKGP_019) TATA MOTORS LIMITED
- Opened & Intelligent Plug-in Hybrid Electric Vehicle (PHEV) Technologies for Smart Indian Cities (UAY_I_IITKGP_019) Ministry of Heavy Industries and Public Enterprises, GoI
- Opened & Intelligent Plug-in Hybrid Electric Vehicle (PHEV) Technologies for Smart Indian Cities (UAY_I_IITKGP_019) MHRD
- RTOS Validation and Development Support Hindustan Aeronautics Limited, MCSRDC Division
- Safety Assurance in Automotive Electronics Synopsys Inc.
Ph. D. Students
Anik Roy
Area of Research: Rsource Allocation in 5G Networks
Arkaprava Sain
Area of Research: Automotive Security
Ashiqur Rahaman Molla
Area of Research:
Danny Jeron Pereira
Area of Research: High Performance Computing
Gulabi Mandal
Area of Research: Safe and Secure Cyber Physical System Design
Ipsita Koley
Area of Research: HW/SW techniques for Automotive Safety and Security
Ishan Sahu
Area of Research: Learning Enabled Cyber Physical Systems
Nimish Mishra
Area of Research: Cryptography
Pushpinder Singh Rana
Area of Research: High Performance Computing
Somnath Hazra
Area of Research: Artificial Intelligence
Soumyadyuti Ghosh
Area of Research: CPS Security
Srijeeta Maity
Area of Research: High Performance Runtime Systems
Suman Maiti
Area of Research: Security of Cyber Physical Systems
Sumanta Dey
Area of Research: Artificial Intelligence
Sunandan Adhikary
Area of Research: Formal Methods for Cyber Physical Systems
MS Students
Akash Bhattacharya
Area of Research: Design and Validation of Cyber Physical Systems
Anjana B
Area of Research: Security of Cyber Physical Systems
Suraj Singh
Area of Research: Design and Validation of Cyber Physical Systems