Indian Institute of Technology Kharagpur |

Conferences

Future aware Dynamic Thermal Management in CPU-GPU Embedded Platforms Maity S., Roy R. , Majumdar A. , Dey S. , Hota A. R. By 43rd IEEE Real-Time Systems Symposium (RTSS) - (2022)
Future aware Dynamic Thermal Management in CPU-GPU Embedded Platforms Maity S., Roy R., Majumder A., Dey S., Hota A.R. By Proceedings - Real-Time Systems Symposium 2022-December 396-408 (2022)
Work-in-Progress: Control Skipping Sequence Synthesis to Counter Schedule-based Attacks Adhikary S., Koley I., Maity S., Dey S. By Proceedings - Real-Time Systems Symposium 2022-December 491-494 (2022)
Future aware Dynamic Thermal Management in CPU-GPU Embedded Platforms Maity S., Roy R. , Majumdar A. , Dey S. , Hota A. R. By 43rd IEEE Real-Time Systems Symposium (RTSS) - (2022)
Future aware Dynamic Thermal Management in CPU-GPU Embedded Platforms Maity S., Roy R., Majumder A., Dey S., Hota A.R. By Proceedings - Real-Time Systems Symposium 2022-December 396-408 (2022)
SMarT: A SMT Based Privacy Preserving Smart Meter Streaming Methodology Ghosh S., Dey S., Mukhopadhyay D. By Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 13783 LNCS 267-286 (2022)
Work-in-Progress: Control Skipping Sequence Synthesis to Counter Schedule-based Attacks Adhikary S., Koley I., Maity S., Dey S. By Proceedings - Real-Time Systems Symposium 2022-December 491-494 (2022)
SMarT: A SMT Based Privacy Preserving Smart Meter Streaming Methodology Ghosh S., Dey S., Mukhopadhyay D. By Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 13783 LNCS 267-286 (2022)
Proactive feedback for networked CPS Ghosh S., Mondal A., Roy D., Kindt P.H., Dey S., Chakraborty S. By Proceedings of the ACM Symposium on Applied Computing 164-173 (2021)
Adaptive Learning Based Building Load Prediction for Microgrid Economic Dispatch Masburah R., Jana R.L., Khan A., Xu S., Lan S., Dey S., Zhu Q. By Proceedings -Design, Automation and Test in Europe, DATE 2021-February 72-75 (2021)
Proactive feedback for networked CPS Ghosh S., Mondal A., Roy D., Kindt P.H., Dey S., Chakraborty S. By Proceedings of the ACM Symposium on Applied Computing 164-173 (2021)
Thermal-aware Adaptive Platform Management for Heterogeneous Embedded Systems Maity S., Ghose A., Dey S., Biswas S. By ACM Transactions on Embedded Computing Systems 20 - (2021)
Catch Me If You Learn: Real-Time Attack Detection and Mitigation in Learning Enabled CPS Koley I., Adhikary S., Dey S. By Proceedings - Real-Time Systems Symposium 2021-December 136-148 (2021)
Catch Me If You Learn: Real-Time Attack Detection and Mitigation in Learning Enabled CPS Koley I., Adhikary S., Dey S. By Proceedings - Real-Time Systems Symposium 2021-December 136-148 (2021)
Co-designing Intelligent Control of Building HVACs and Microgrids Masburah R., Sinha S., Jana R.L., Dey S., Zhu Q. By Proceedings - 2021 24th Euromicro Conference on Digital System Design, DSD 2021 457-464 (2021)
Co-designing Intelligent Control of Building HVACs and Microgrids Masburah R., Sinha S., Jana R.L., Dey S., Zhu Q. By Proceedings - 2021 24th Euromicro Conference on Digital System Design, DSD 2021 457-464 (2021)
Demand Manipulation Attack Resilient Privacy Aware Smart Grid Using PUFs and Blockchain Ghosh S., Chatterjee U., Chatterjee D., Masburah R., Mukhopadhyay D., Dey S. By Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 12809 LNCS 252-275 (2021)
Adaptive Learning Based Building Load Prediction for Microgrid Economic Dispatch Masburah R., Jana R.L., Khan A., Xu S., Lan S., Dey S., Zhu Q. By Proceedings -Design, Automation and Test in Europe, DATE 2021-February 72-75 (2021)
Thermal-aware Adaptive Platform Management for Heterogeneous Embedded Systems Maity S., Ghose A., Dey S., Biswas S. By ACM Transactions on Embedded Computing Systems 20 - (2021)
Orchestration of Perception Systems for Reliable Performance in Heterogeneous Platforms Ghose A., Maity S., Kar A., Dey S. By Proceedings -Design, Automation and Test in Europe, DATE 2021-February 1757-1762 (2021)
Work-In-Progress: Cooling by Core-idling: Thermal-aware Thread Scheduling for Mobile Multicore Processors Maity S., Ghose A., Dey S., Park S., Chakrabarty S. By Proceedings - Real-Time Systems Symposium 2021-December 520-523 (2021)
Orchestration of Perception Systems for Reliable Performance in Heterogeneous Platforms Ghose A., Maity S., Kar A., Dey S. By Proceedings -Design, Automation and Test in Europe, DATE 2021-February 1757-1762 (2021)
Demand Manipulation Attack Resilient Privacy Aware Smart Grid Using PUFs and Blockchain Ghosh S., Chatterjee U., Chatterjee D., Masburah R., Mukhopadhyay D., Dey S. By Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 12809 LNCS 252-275 (2021)
Work-In-Progress: Cooling by Core-idling: Thermal-aware Thread Scheduling for Mobile Multicore Processors Maity S., Ghose A., Dey S., Park S., Chakrabarty S. By Proceedings - Real-Time Systems Symposium 2021-December 520-523 (2021)
State Estimation for Attack Detection in Vehicle Platoon using VANET and Controller Model Kremer P., Koley I., Dey S., Park S. By 2020 IEEE 23rd International Conference on Intelligent Transportation Systems, ITSC 2020 - (2020)
Thermal load-aware adaptive scheduling for heterogeneous platforms Maity S., Ghose A., Dey S., Biswas S. By Proceedings - 33rd International Conference on VLSI Design, VLSID 2020 - Held concurrently with 19th International Conference on Embedded Systems 125-130 (2020)
Toward Secure Composition of Integrated Circuits and Electronic Systems: On the Role of EDA Knechtel J., Kavun E. , Regazzoni F. , Heuser A. , Chattopadhyay A. , Dey S. , Mukhopadhyay D. , Fei Y. , Belenky Y. , Levi I. , Güneysu T. , Schaumont P. , Polian I. By DATE - (2020)
Thermal load-aware adaptive scheduling for heterogeneous platforms Maity S., Ghose A., Dey S., Biswas S. By Proceedings - 33rd International Conference on VLSI Design, VLSID 2020 - Held concurrently with 19th International Conference on Embedded Systems 125-130 (2020)
Toward Secure Composition of Integrated Circuits and Electronic Systems: On the Role of EDA Knechtel J., Kavun E. , Regazzoni F. , Heuser A. , Chattopadhyay A. , Dey S. , Mukhopadhyay D. , Fei Y. , Belenky Y. , Levi I. , Güneysu T. , Schaumont P. , Polian I. By DATE - (2020)
Formal Synthesis of Monitoring and Detection Systems for Secure CPS Implementations Koley I., Ghosh S.K., Dey S., Mukhopadhyay D., Kashyap A.K.N., Kumar Singh S., Lokesh L., Purakkal J.N., Sinha N. By Proceedings of the 2020 Design, Automation and Test in Europe Conference and Exhibition, DATE 2020 314-317 (2020)
Skip to Secure: Securing Cyber-Physical Control Loops with Intentionally Skipped Executions Adhikary S., Koley I., Ghosh S.K., Ghosh S., Dey S., Mukhopadhyay D. By CPSIOTSEC 2020 - Proceedings of the 2020 Joint Workshop on CPS and IoT Security and Privacy 81-86 (2020)
State Estimation for Attack Detection in Vehicle Platoon using VANET and Controller Model Kremer P., Koley I., Dey S., Park S. By 2020 IEEE 23rd International Conference on Intelligent Transportation Systems, ITSC 2020 - (2020)
Skip to Secure: Securing Cyber-Physical Control Loops with Intentionally Skipped Executions Adhikary S., Koley I., Ghosh S.K., Ghosh S., Dey S., Mukhopadhyay D. By CPSIOTSEC 2020 - Proceedings of the 2020 Joint Workshop on CPS and IoT Security and Privacy 81-86 (2020)
Formal Synthesis of Monitoring and Detection Systems for Secure CPS Implementations Koley I., Ghosh S.K., Dey S., Mukhopadhyay D., Kashyap A.K.N., Kumar Singh S., Lokesh L., Purakkal J.N., Sinha N. By Proceedings of the 2020 Design, Automation and Test in Europe Conference and Exhibition, DATE 2020 314-317 (2020)
Synthesizing performance-aware m,k-firm control execution patterns under dropped samples Ghosh S., Dey S., Dasgupta P. By Proceedings - 32nd International Conference on VLSI Design, VLSID 2019 - Held concurrently with 18th International Conference on Embedded Systems, ES 2019 1-6 (2019)
Security-driven Codesign with Weakly-hard Constraints for Real-time Embedded Systems Liang H., Wang Z. , Roy D. , Dey S. , Chakraborty S. , Zhu Q. By ICCD - (2019)
Security-driven Codesign with Weakly-hard Constraints for Real-time Embedded Systems Liang H., Wang Z. , Roy D. , Dey S. , Chakraborty S. , Zhu Q. By ICCD - (2019)
Synthesizing performance-aware m,k-firm control execution patterns under dropped samples Ghosh S., Dey S., Dasgupta P. By Proceedings - 32nd International Conference on VLSI Design, VLSID 2019 - Held concurrently with 18th International Conference on Embedded Systems, ES 2019 1-6 (2019)
Design and validation of fault-tolerant embedded controllers Ghosh S.K., Dey S., Goswami D., Mueller-Gritschneder D., Chakraborty S. By Proceedings of the 2018 Design, Automation and Test in Europe Conference and Exhibition, DATE 2018 2018-January 1283-1288 (2018)
Design and validation of fault-tolerant embedded controllers Ghosh S.K., Dey S., Goswami D., Mueller-Gritschneder D., Chakraborty S. By Proceedings of the 2018 Design, Automation and Test in Europe Conference and Exhibition, DATE 2018 2018-January 1283-1288 (2018)
Reliability Aware Real Time Scheduling Strategies for Heterogeneous Embedded Systems Ghosh S.K., Nanda A., Dey S. By Proceedings - Annual Reliability and Maintainability Symposium 2018-January - (2018)
Reliability Aware Real Time Scheduling Strategies for Heterogeneous Embedded Systems Ghosh S.K., Nanda A., Dey S. By Proceedings - Annual Reliability and Maintainability Symposium 2018-January - (2018)
SERD: A Simulation Framework for Estimation of System Level Reliability Degradation Dey S., Ghosh S. K. By DATE - (2017)
Verifying Stability Guarantees of Control Software Implementations in the Presence of Sensor Level Faults Dey S., Lohar D. , Das D. , Ghosh S. K. By EMSOFT - (2017)
A Structured Methodology for Pattern based Adaptive Scheduling in Embedded Control Dey S., Ghosh S. , Dasgupta P. By EMSOFT - (2017)
Verifying Stability Guarantees of Control Software Implementations in the Presence of Sensor Level Faults Dey S., Lohar D. , Das D. , Ghosh S. K. By EMSOFT - (2017)
SERD: A Simulation Framework for Estimation of System Level Reliability Degradation Dey S., Ghosh S. K. By DATE - (2017)
A Structured Methodology for Pattern based Adaptive Scheduling in Embedded Control Dey S., Ghosh S. , Dasgupta P. By EMSOFT - (2017)
Failure Estimation of Behavioral Specifications Dey S., Lohar D. , Dunaboyina A. , Das D. By SETTA - (2016)
Failure Estimation of Behavioral Specifications Dey S., Lohar D. , Dunaboyina A. , Das D. By SETTA - (2016)
Synthesis of Scheduler Automata Guaranteeing Stability and Reliability of Embedded Control Systems Ghosh S. K., Mondal A. , Dutta S. , Hazra A. , Dey S. By 20th International Symposium on VLSI Design and Testing (VDAT) - (2016)
Synthesis of Scheduler Automata Guaranteeing Stability and Reliability of Embedded Control Systems Ghosh S. K., Mondal A. , Dutta S. , Hazra A. , Dey S. By 20th International Symposium on VLSI Design and Testing (VDAT) - (2016)
Divergence Aware Automated Partitioning of OpenCL Workloads Ghose A., Dey S. , Mitra P. , Chaudhury M. By ISEC - (2016)
Scheduling of Controllers' Update-rates for Residual Bandwidth Utilization Zamani M., Dey S. , Mohamed S. , Dasgupta P. , Jr. M. M. By FORMATS - (2016)
Planning Based Guided Reconstruction of Corner Cases in Architectural Validation Jana R., Kuchibhotla S. , Dey S. , Dasgupta P. By VDAT - (2016)
Planning Based Guided Reconstruction of Corner Cases in Architectural Validation Jana R., Kuchibhotla S. , Dey S. , Dasgupta P. By VDAT - (2016)
Divergence Aware Automated Partitioning of OpenCL Workloads Ghose A., Dey S. , Mitra P. , Chaudhury M. By ISEC - (2016)
Scheduling of Controllers' Update-rates for Residual Bandwidth Utilization Zamani M., Dey S. , Mohamed S. , Dasgupta P. , Jr. M. M. By FORMATS - (2016)
Timing Analysis of Safety-Critical Automotive Software: The AUTOSAFE Tool Flow Becker M., Mohamad S. , Albers K. , Chakrabarti P. P., Chakraborty S. , Dasgupta P. , Dey S. , Metta R. By ASPSEC 2015 385-392 (2015)
Timing Analysis of Safety-Critical Automotive Software: The AUTOSAFE Tool Flow Becker M., Mohamad S. , Albers K. , Chakrabarti P. P., Chakraborty S. , Dasgupta P. , Dey S. , Metta R. By ASPSEC 2015 385-392 (2015)
Multi-mode Sampling Period Selection for Embedded Real-Time Control - Work in Progress Dey Et. Al. S. By DAC - (2014)
Synthesis of Sampling Modes for Adaptive Control Raha R., Hazra A. , Mondal A. , Dey S. , Chakrabarti P. P., Dasgupta P. By 4th IEEE International Conference on Control System, Computing and Engineering (ICCSCE) 294-299 (2014)
Synthesis of Sampling Modes for Adaptive Control Raha R., Hazra A. , Mondal A. , Dey S. , Chakrabarti P. P., Dasgupta P. By 4th IEEE International Conference on Control System, Computing and Engineering (ICCSCE) 294-299 (2014)
Multi-mode Sampling Period Selection for Embedded Real-Time Control - Work in Progress Dey Et. Al. S. By DAC - (2014)
A temporal constraint based planning approach for city tour and travel plan generation Dey Et. Al. S. By IHCI - (2012)
A temporal constraint based planning approach for city tour and travel plan generation Dey Et. Al. S. By IHCI - (2012)
An Iconic and keyboard based Communication Tool for People with Multiple Disabilities Dey Et. Al. S. By Techsym - (2010)
An Iconic and keyboard based Communication Tool for People with Multiple Disabilities Dey Et. Al. S. By Techsym - (2010)
Embedded Sanyog: a Portable Communication Tool for People with Multiple Disabilities Dey Et. Al. S. By EISE - (2009)
Embedded Sanyog: a Portable Communication Tool for People with Multiple Disabilities Dey Et. Al. S. By EISE - (2009)
Sanyog: An Iconic Communication Aid for Children Suffering from Cerebral Palsy and Motor Neuron Disorders Mukhopadhyay A., Dey S. , Saraswat P. , Basu Et. Al. A. By International Conference on VLSI Design 2006 - Student Design Contest - (2006)
Sanyog: An Iconic Communication Aid for Children Suffering from Cerebral Palsy and Motor Neuron Disorders Mukhopadhyay A., Dey S. , Saraswat P. , Basu Et. Al. A. By International Conference on VLSI Design 2006 - Student Design Contest - (2006)
Macro-cell placement and Routing in VLSI using Genetic Algorithms Dey S. By CODIS - (2004)
Macro-cell placement and Routing in VLSI using Genetic Algorithms Dey S. By CODIS - (2004)

Journal

CAD Support for Security and Robustness Analysis of Safety-critical Automotive Software Koley I., Dey S., Mukhopadhyay D., Singh S., Lokesh L., Ghotgalkar S.V. By ACM Transactions on Cyber-Physical Systems 7 - (2023)
FGFS: Feature Guided Frontier Scheduling for SIMT DAGs Ghose A., Dey S. By Journal of Supercomputing - (2022)
Safe and Stable RL (S2RL) Driving Policies Using Control Barrier and Control Lyapunov Functions Gangopadhyay B., Dasgupta P., Dey S. By IEEE Transactions on Intelligent Vehicles - (2022)
PySchedCL: Leveraging Concurrency in Heterogeneous Data-Parallel Systems Ghose A., Singh S., Kulaharia V., Dokara L., Maity S., Dey S. By IEEE Transactions on Computers - (2021)
SMT-based Verification of Safety-Critical Embedded Control Software Adhikary S., Gurung A. , Thakkar J. , Bruto Da Costa A. A., Dey S. , Hazra A. , Dasgupta P. By IEEE Embedded System Letters (ESL) 13 138-141 (2021)
Safe is the new Smart: PUF-based Authentication for Load Modification-Resistant Smart Meters Harishma B., Matthew P. , Patranabish S. , Chatterjee U. , Agarwal U. , Maheshwary M. , Dey S. , Mukhopadhyay D. By IEEE Transactions on Dependable and Secure Computing - (2020)
Safe is the new Smart: PUF-based Authentication for Load Modification-Resistant Smart Meters Harishma B., Matthew P. , Patranabish S. , Chatterjee U. , Agarwal U. , Maheshwary M. , Dey S. , Mukhopadhyay D. By IEEE Transactions on Dependable and Secure Computing - (2020)
A Hierarchical HVAC Control Scheme for Energy-aware Smart Building Automation Jana R.L., Dey S., Dasgupta P. By ACM Transactions on Design Automation of Electronic Systems 25 - (2020)
Pattern Guided Integrated Scheduling and Routing in Multi-hop Control Networks Dey S., Dasgupta P. , Ghosh S. By ACM Transactions on Embedded Computing Systems - (2020)
Pattern Guided Integrated Scheduling and Routing in Multi-hop Control Networks Dey S., Dasgupta P. , Ghosh S. By ACM Transactions on Embedded Computing Systems - (2020)
Performance-Driven Post-Processing of Control Loop Execution Schedules Ghosh S., Dey S., Dasgupta P. By ACM Transactions on Design Automation of Electronic Systems 26 - (2020)
Reliable and Secure Design-Space-Exploration for Cyber-Physical Systems Ghosh S.K., Jaffer Sheriff R.C., Jain V., Dey S. By ACM Transactions on Embedded Computing Systems 19 - (2020)
Performance-Driven Post-Processing of Control Loop Execution Schedules Ghosh S., Dey S., Dasgupta P. By ACM Transactions on Design Automation of Electronic Systems 26 - (2020)
Reliable and Secure Design-Space-Exploration for Cyber-Physical Systems Ghosh S.K., Jaffer Sheriff R.C., Jain V., Dey S. By ACM Transactions on Embedded Computing Systems 19 - (2020)
A Hierarchical HVAC Control Scheme for Energy-aware Smart Building Automation Jana R.L., Dey S., Dasgupta P. By ACM Transactions on Design Automation of Electronic Systems 25 - (2020)
SMT-based Verification of Safety-Critical Embedded Control Software Adhikary S., Gurung A., Thakkar J., Da Costa A.B., Dey S., Hazra A., Dasgupta P. By IEEE Embedded Systems Letters - (2020)
A Programmable Open Architecture Testbed for CPS Education Ghosh S., Mondal A., Kindt P.H., Sharma P., Agarwal Y., Dey S., Deb A.K., Chakraborty S. By IEEE Design and Test 37 31-38 (2020)
SMT-based Verification of Safety-Critical Embedded Control Software Adhikary S., Gurung A., Thakkar J., Da Costa A.B., Dey S., Hazra A., Dasgupta P. By IEEE Embedded Systems Letters - (2020)
Automated planning for finding alternative bug traces Jana R.L., Dey S., Mondal A., Dasgupta P. By IET Computers and Digital Techniques 14 322-335 (2020)
Automated planning for finding alternative bug traces Jana R.L., Dey S., Mondal A., Dasgupta P. By IET Computers and Digital Techniques 14 322-335 (2020)
A Programmable Open Architecture Testbed for CPS Education Ghosh S., Mondal A., Kindt P.H., Sharma P., Agarwal Y., Dey S., Deb A.K., Chakraborty S. By IEEE Design and Test 37 31-38 (2020)
Synthesizing Performance-aware (m,k)-firm Control Execution Patterns under Dropped Samples Ghosh S., Dey S. , Dasgupta P. By IET Computers & Digital Techniques 13 - (2019)
Synthesizing Performance-aware (m,k)-firm Control Execution Patterns under Dropped Samples Ghosh S., Dey S. , Dasgupta P. By IET Computers & Digital Techniques 13 - (2019)
Performance, Security Tradeoffs in Secure Control Ghosh S.K., Dey S., Mukhopadhyay D. By IEEE Embedded Systems Letters 11 102-105 (2019)
Performance, Security Tradeoffs in Secure Control Ghosh S.K., Dey S., Mukhopadhyay D. By IEEE Embedded Systems Letters 11 102-105 (2019)
Co-synthesis of Loop Execution Patterns for Multi-Hop Control Networks Dey S., Dasgupta P. , Ghosh S. By IEEE Embedded Systems Letters 10 - (2018)
Co-synthesis of Loop Execution Patterns for Multi-Hop Control Networks Dey S., Dasgupta P. , Ghosh S. By IEEE Embedded Systems Letters 10 - (2018)
Algorithmic Approaches for optimizing Electronic Control Unit time using Multi-rate Sampling Raha R., Dey S. , Dasgupta P. By Journal of Control Theory and Technology 16 173-190 (2018)
Algorithmic Approaches for optimizing Electronic Control Unit time using Multi-rate Sampling Raha R., Dey S. , Dasgupta P. By Journal of Control Theory and Technology 16 173-190 (2018)
A Structured Methodology for Pattern based Adaptive Scheduling in Embedded Control Dey S., Dasgupta P. , Ghosh S. , Dutta S. By ACM Transactions on Embedded Computing Systems (TECS) 16 - (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)
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 Structured Methodology for Pattern based Adaptive Scheduling in Embedded Control Dey S., Dasgupta P. , Ghosh S. , Dutta S. By ACM Transactions on Embedded Computing Systems (TECS) 16 - (2017)
A Framework for OpenCL Task Scheduling on Heterogeneous Multicore Dey S., Mitra P. , Dokara L. , Ghosh A. By Parallel Processing Letters - (2017)
A Framework for OpenCL Task Scheduling on Heterogeneous Multicore Dey S., Mitra P. , Dokara L. , Ghosh A. By Parallel Processing Letters - (2017)
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)
A Kleene Algebra of Tagged System Actors for Reasoning about Heterogeneous Embedded Systems Soumyajit Dey, Dipankar Sarkar, Anupam Basu By IEEE Transaction Computers 62(10) 1917-1931 (2013)
A Kleene Algebra of Tagged System Actors for Reasoning about Heterogeneous Embedded Systems Soumyajit Dey, Dipankar Sarkar, Anupam Basu By IEEE Transaction Computers 62(10) 1917-1931 (2013)
Modeling and Analysis of Embedded Multimedia Applications using Colored Petri Nets Dey Et. Al. S. By International Journal of Modeling, Simulation, and Scientific Computing 2 - (2011)
Modeling and Analysis of Embedded Multimedia Applications using Colored Petri Nets Dey Et. Al. S. By International Journal of Modeling, Simulation, and Scientific Computing 2 - (2011)
A Kleene Algebra of Tagged System Actors Dey S. By IEEE Embedded Systems Letters 3(1) 28-31 (2011)
A Kleene Algebra of Tagged System Actors Dey S. By IEEE Embedded Systems Letters 3(1) 28-31 (2011)
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)
Shruti - An Embedded Text to Speech System for Indian Languages Dey Et. Al. S. By IEE Proceedings on Software Engineering 153 - (2006)
Shruti - An Embedded Text to Speech System for Indian Languages Dey Et. Al. S. By IEE Proceedings on Software Engineering 153 - (2006)

RELSPEC: A Framework for Early Reliability Refinement of Embedded Applications Saurav Kumar Ghosh, Aritra Hazra and Soumyajit Dey By IEEE International Conference on VLSI Design - (2015)
Integrating Formal Methods with Testing for Reliability Estimation of Component Based Systems Debasmita Lohar, Soumyajit Dey By International Symposium on Software Reliability Engineering (ISSRE), Industry Track - (2015)
Adaptive Sharing of Sampling Rates among Software Based Controllers Rajorshee Raha, Soumyajit Dey, Pallab Dasgupta By IEEE Multi - Conference on System and Control (MSC) - (2015)
Integrating Formal Methods with Testing for Reliability Estimation of Component Based Systems Debasmita Lohar, Soumyajit Dey By International Symposium on Software Reliability Engineering (ISSRE), Industry Track - (2015)
RELSPEC: A Framework for Early Reliability Refinement of Embedded Applications Saurav Kumar Ghosh, Aritra Hazra and Soumyajit Dey By IEEE International Conference on VLSI Design - (2015)
Adaptive Sharing of Sampling Rates among Software Based Controllers Rajorshee Raha, Soumyajit Dey, Pallab Dasgupta By IEEE Multi - Conference on System and Control (MSC) - (2015)
An Approach to Software Performance Evaluation on Customized Embedded Processors Soumyajit Dey, Monu Kedia, Anupam Basu By International Conference on VLSI Design - (2008)
An Approach to Software Performance Evaluation on Customized Embedded Processors Soumyajit Dey, Monu Kedia, Anupam Basu By International Conference on VLSI Design - (2008)
Architectural Optimizations for Text to Speech Synthesis in Embedded Systems Soumyajit Dey, Monu Kedia, Anupam By ASP-DAC - (2007)
Embedded Support Vector Machine: Architectural Enhancements and Evaluation Soumyajit Dey, Monu Kedia, Niket Agarwal, Anupam Basu By International Conference on VLSI Design - (2007)
Embedded Support Vector Machine: Architectural Enhancements and Evaluation Soumyajit Dey, Monu Kedia, Niket Agarwal, Anupam Basu By International Conference on VLSI Design - (2007)
Architectural Optimizations for Text to Speech Synthesis in Embedded Systems Soumyajit Dey, Monu Kedia, Anupam By ASP-DAC - (2007)
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)

Computer Science and Engineering

Faculty

Responsibilities

Research Areas

Principal Investigator

Co-Principal Investigator

Ph. D. Students

Anik Roy

Arkaprava Sain

Ashiqur Rahaman Molla

Danny Jeron Pereira

Gulabi Mandal

Ipsita Koley

Ishan Sahu

Nimish Mishra

Pushpinder Singh Rana

Somnath Hazra

Soumyadyuti Ghosh

Srijeeta Maity

Suman Maiti

Sumanta Dey

Sunandan Adhikary

MS Students

Akash Bhattacharya

Anjana B

Suraj Singh