Computer Science and Engineering

No Record Found.

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)
• 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)
• FGFS: Feature Guided Frontier Scheduling for SIMT DAGs Ghose A., Dey S. By Journal of Supercomputing - (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)
• 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)
• 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)
• 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)
• 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)
• 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)
• 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)
• 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)
• Co-synthesis of Loop Execution Patterns for Multi-Hop Control Networks Dey S., Dasgupta P. , Ghosh S. By IEEE Embedded Systems Letters 10 - (2018)
• 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)
• 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)
• 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 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)
Conferences
• 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)
• 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)
• 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)
• 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)
• 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)
• 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)
• 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)
• 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)
• 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)
• 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)
• 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)
• 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)
• 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)
• 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)
• 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)
• 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)
• 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)
• 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)
• Macro-cell placement and Routing in VLSI using Genetic Algorithms Dey S. By CODIS - (2004)
• 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)
• 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)
• 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)
• An Approach to Architectural Enhancement for Embedded Speech Applications Soumyajit Dey, Susmit Biswas, Arijit Mukhopadhyay Anupam Basu By International Conference on VLSI Design - (2006)

Principal Investigator

• Static analysis based partitioning technique for GPGPU programs
• An OpenCL Runtime System for Scheduling Data Parallel Workloads on Heterogeneous Clusters
• Robustness Analysis of Automotive Control Systems
• Architectural and Algorithmic Optimizations for Speech Based Communication Interfaces on Mobile Device
• A Software Tool for the Planning and Design of Smart Micro Power Grids (Proposal ID - 6158)
• A Software Tool for the Planning and Design of Smart Micro Power Grids (Proposal ID - 6158)
• Intel embedded innovation lablet

Co-Principal Investigator

• A Software Tool for the Planning and Design of Smart MicroPower Grids (Proposal ID - 6158)(IIT Gwahati)
• A Software Tool for the Planning and Design of Smart MicroPower Grids (Proposal ID - 6158)(IIT Gwahati)
• Architecture-aware timing analysis and optimization of safety-critical automotive software (AUTOSAFE)
• FMSAFE: A Networked Centre for Formal Methods in Validation and Certification Procededures for Safety - Critical ICT Systems
• FMSAFE: A Networked Centre for Formal Methods in Validation and Certification Procededures for Safety - Critical ICT Systems at IIT Kharagpur
• FMSAFE: A Networked Centre for Formal Methods in Validation and Certification Procededures for Safety - Critical ICT Systems at IIT Kharagpur
• Transportation Cyber-Physical Systems (Proposal ID:1330)