Home > Academics > Academic Units > Faculty of Engineering and Architecture (FoE&A) > Computer Science and Engineering > Soumyajit Dey
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 by Dasgupta P., Dey S. , R. R., S. D. IEEE Embedded Systems Letters 8 77-80 (2016)
RELSPEC: A Framework for Reliability Aware Design of Component based Embedded Systems by Dey S., Chakrabarti P. P., Ghosh S. K., P. V., Vadlamudi S. G., A. H. Design Automation for Embedded Systems 21 37-87 (2017)
A Tag Machine based Performance Evaluation Method for Job-Shop Schedules by Soumyajit Dey, Dipankar Sarkar, Anupam Basu IEEE Transaction CAD 29(7) 1028-1041 (2010)
Architectural Optimizations for Text to Speech Synthesis in Embedded Systems by Soumyajit Dey, Monu Kedia, Anupam ASP-DAC - (2007)
Adaptive Sharing of Sampling Rates among Software Based Controllers by Rajorshee Raha, Soumyajit Dey, Pallab Dasgupta IEEE Multi - Conference on System and Control (MSC) - (2015)
Integrating Formal Methods with Testing for Reliability Estimation of Component Based Systems by Debasmita Lohar, Soumyajit Dey International Symposium on Software Reliability Engineering (ISSRE), Industry Track - (2015)
RELSPEC: A Framework for Early Reliability Refinement of Embedded Applications by Saurav Kumar Ghosh, Aritra Hazra and Soumyajit Dey IEEE International Conference on VLSI Design - (2015)
An Approach to Software Performance Evaluation on Customized Embedded Processors by Soumyajit Dey, Monu Kedia, Anupam Basu International Conference on VLSI Design - (2008)
Embedded Support Vector Machine: Architectural Enhancements and Evaluation by Soumyajit Dey, Monu Kedia, Niket Agarwal, Anupam Basu International Conference on VLSI Design - (2007)
An Approach to Architectural Enhancement for Embedded Speech Applications by Soumyajit Dey, Susmit Biswas, Arijit Mukhopadhyay Anupam Basu International Conference on VLSI Design - (2006)
RL based Beamforming for JCAS Safe Causal and Verifiable ERICSSON INDIA PRIVATE LIMITED
Development of Secured Hardware and Automotive Systems Department of Science and Technology (DST),IHUB NTIHAC Foundation
Safe Reinforcement Learning for Neural Network Controlled Autonomous CPS IIT KHARAGPUR AI4ICPS I HUB FOUNDATION
Synopsys CAD Laboratory Project Phase II Synopsys Inc.
Synthesizing test programs as directed test families for incremental CPU validation INTEL TECHNOLOGY INDIA PRIVATE LIMITED
Intelligent ADAS Task Management on Heterogeneous Automotive Architectures Qualcomm India Pvt. Ltd.
Implementation of Monitors and Secure Manoeuvres for Semi-Autonomous Connected Vehicle Platoons Ministry of Electronics and Information Technology
Implementation of Monitors and Secure Manoeuvres for Semi-Autonomous Connected Vehicle Platoons Ministry of Electronics and Information Technology
RTOS Validation and Development Support Hindustan Aeronautics Limited, MCSRDC Division
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,Ministry of Heavy Industries and Public Enterprises, GoI,MHRD
Srijeeta Maity
Area of Research: High Performance Runtime Systems
Ipsita Koley
Area of Research: HW/SW techniques for Automotive Safety and Security
Sumanta Dey
Area of Research: Artificial Intelligence
Soumyadyuti Ghosh
Area of Research: CPS Security
Ashiqur Rahaman Molla
Area of Research:
Pushpinder Singh Rana
Area of Research: High Performance Computing
Danny Jeron Pereira
Area of Research: High Performance Computing
Somnath Hazra
Area of Research: Artificial Intelligence
Sunandan Adhikary
Area of Research: Formal Methods for Cyber Physical Systems
Arkaprava Sain
Area of Research: Automotive Security
Suman Maiti
Area of Research: Security of Cyber Physical Systems
Anik Roy
Area of Research: Rsource Allocation in 5G Networks
Nimish Mishra
Area of Research: Cryptography
Gulabi Mandal
Area of Research: Safe and Secure Cyber Physical System Design
Ishan Sahu
Area of Research: Learning Enabled Cyber Physical Systems
Anjana B
Area of Research: Security of Cyber Physical Systems
Akash Bhattacharya
Area of Research: Design and Validation of Cyber Physical Systems
Suraj Singh
Area of Research: Design and Validation of Cyber Physical Systems