An Approach to Architectural Enhancement for Embedded Speech Applications. - Soumyajit Dey; Susmit Biswas; Arijit Mukhopadhyay; Anupam Basu (VLSI Design, 2006)

Shruti: an embedded text-to-speech system for Indian languages. - Arijit Mukhopadhyay; Sunandan Chakraborty; Monojit Choudhury; Anirban Lahiri; Soumyajit Dey; Anupam Basu (IEE Proc. Softw., 2006)

Architectural Optimizations for Text to Speech Synthesis in Embedded Systems. - Soumyajit Dey; Monu Kedia; Anupam Basu (ASP-DAC, 2007)

Embedded Support Vector Machine : Architectural Enhancements and Evaluation. - Soumyajit Dey; Monu Kedia; Niket Agarwal; Anupam Basu (VLSI Design, 2007)

An Approach to Software Performance Evaluation on Customized Embedded Processors. - Soumyajit Dey; Monu Kedia; Anupam Basu (VLSI Design, 2008)

A Tag Machine Based Performance Evaluation Method for Job-Shop Schedules. - Soumyajit Dey; Dipankar Sarkar 001; Anupam Basu (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2010)

A Kleene Algebra of Tagged System Actors. - Soumyajit Dey; Dipankar Sarkar 001; Anupam Basu (IEEE Embed. Syst. Lett., 2011)

Modeling and Analysis of Embedded Multimedia Applications using Colored Petri Nets. - Soumyajit Dey; Praveen Rokkam; Anupam Basu (Int. J. Model. Simul. Sci. Comput., 2011)

A temporal constraint based planning approach for city tour and travel plan generation. - Plaban Kumar Bhowmick; Soumyajit Dey; Abinash Samantaray; Debnath Mukherjee; Prateep Misra (IHCI, 2012)

A Kleene Algebra of Tagged System Actors for Reasoning about Heterogeneous Embedded Systems. - Soumyajit Dey; Dipankar Sarkar 001; Anupam Basu (IEEE Trans. Computers, 2013)

Synthesis of sampling modes for adaptive control. - Rajorshee Raha; Aritra Hazra; Akash Mondal; Soumyajit Dey; Partha Pratim Chakrabarti; Pallab Dasgupta (ICCSCE, 2014)

Timing Analysis of Safety-Critical Automotive Software: The AUTOSAFE Tool Flow. - Martin Becker 001; Sajid Mohamed; Karsten Albers; P. P. Chakrabarti 001; Samarjit Chakraborty; Pallab Dasgupta; Soumyajit Dey; Ravindra Metta (APSEC, 2015)

Integrating formal methods with testing for reliability estimation of component based systems. - Debasmita Lohar; Soumyajit Dey (ISSRE Workshops, 2015)

RELSPEC: A Framework for Early Reliability Refinement of Embedded Applications. - Saurav Kumar Ghosh; Aritra Hazra; Soumyajit Dey (VLSID, 2015)

Multi-mode Sampling Period Selection for Embedded Real Time Control. - Rajorshee Raha; Soumyajit Dey; Partha Pratim Chakrabarti; Pallab Dasgupta (CoRR, 2015)

Scheduling of Controllers' Update-Rates for Residual Bandwidth Utilization. - Majid Zamani 001; Soumyajit Dey; Sajid Mohamed; Pallab Dasgupta; Manuel Mazo Jr. 002 (FORMATS, 2016)

Divergence Aware Automated Partitioning of OpenCL Workloads. - Anirban Ghose; Soumyajit Dey; Pabitra Mitra; Mainak Chaudhuri (ISEC, 2016)

Failure Estimation of Behavioral Specifications. - Debasmita Lohar; Anudeep Dunaboyina; Dibyendu Das 002; Soumyajit Dey (SETTA, 2016)

Synthesis of scheduler automata guaranteeing stability and reliability of embedded control systems. - Saurav Kumar Ghosh; Akash Mondal; Souradeep Dutta; Aritra Hazra; Soumyajit Dey (VDAT, 2016)

Planning based guided reconstruction of corner cases in architectural validation. - Rajib Lochan Jana; Shashank Kuchibhotla; Soumyajit Dey; Pallab Dasgupta; Rakesh Kumar (VDAT, 2016)

Multirate Sampling for Power-Performance Tradeoff in Embedded Control. - Rajorshee Raha; Souradeep Dutta; Soumyajit Dey; Pallab Dasgupta (IEEE Embed. Syst. Lett., 2016)

SERD: A simulation framework for estimation of system level reliability degradation. - Saurav Kumar Ghosh; Soumyajit Dey (DATE, 2017)

Verifying stability guarantees of control software implementations in the presence of sensor level faults: work-in-progress. - Saurav Kumar Ghosh; Debasmita Lohar; Dibyendu Das 002; Soumyajit Dey (EMSOFT Companion, 2017)

RELSPEC: a framework for reliability aware design of component based embedded systems. - Saurav Kumar Ghosh; P. Vishnuvardhan; Satya Gautam Vadlamudi; Aritra Hazra; Soumyajit Dey; Partha Pratim Chakrabarti (Des. Autom. Embed. Syst., 2017)

A Framework for OpenCL Task Scheduling on Heterogeneous Multicores. - Anirban Ghose; Lokesh Dokara; Soumyajit Dey; Pabitra Mitra (Parallel Process. Lett., 2017)

A Structured Methodology for Pattern based Adaptive Scheduling in Embedded Control. - Sumana Ghosh; Souradeep Dutta; Soumyajit Dey; Pallab Dasgupta (ACM Trans. Embed. Comput. Syst., 2017)

Design and validation of fault-tolerant embedded controllers. - Saurav Kumar Ghosh; Soumyajit Dey; Dip Goswami; Daniel Mueller-Gritschneder; Samarjit Chakraborty (DATE, 2018)

Co-Synthesis of Loop Execution Patterns for Multihop Control Networks. - Sumana Ghosh; Soumyajit Dey; Pallab Dasgupta (IEEE Embed. Syst. Lett., 2018)

Security-Driven Codesign with Weakly-Hard Constraints for Real-Time Embedded Systems. - Hengyi Liang; Zhilu Wang; Debayan Roy; Soumyajit Dey; Samarjit Chakraborty; Qi Zhu 002 (ICCD, 2019)

Synthesizing Performance-Aware (m, k)-Firm Control Execution Patterns Under Dropped Samples. - Sumana Ghosh; Soumyajit Dey; Pallab Dasgupta (VLSID, 2019)

Performance, Security Tradeoffs in Secure Control. - Saurav Kumar Ghosh; Soumyajit Dey; Debdeep Mukhopadhyay (IEEE Embed. Syst. Lett., 2019)

Performance and energy aware robust specification of control execution patterns under dropped samples. - Sumana Ghosh; Soumyajit Dey; Pallab Dasgupta (IET Comput. Digit. Tech., 2019)

Skip to Secure: Securing Cyber-Physical Control Loops with Intentionally Skipped Executions. - Sunandan Adhikary; Ipsita Koley; Saurav Kumar Ghosh; Sumana Ghosh; Soumyajit Dey; Debdeep Mukhopadhyay (CPSIOTSEC@CCS, 2020)

Towards Secure Composition of Integrated Circuits and Electronic Systems: On the Role of EDA. - Johann Knechtel; Elif Bilge Kavun; Francesco Regazzoni 001; Annelie Heuser; Anupam Chattopadhyay; Debdeep Mukhopadhyay; Soumyajit Dey; Yunsi Fei; Yaacov Belenky; Itamar Levi; Tim Güneysu; Patrick Schaumont; et al. (DATE, 2020)

Formal Synthesis of Monitoring and Detection Systems for Secure CPS Implementations. - Ipsita Koley; Saurav Kumar Ghosh; Soumyajit Dey; Debdeep Mukhopadhyay; Amogh Kashyap K. N.; Sachin Kumar Singh; Lavanya Lokesh; Jithin Nalu Purakkal; Nishant Sinha 003 (DATE, 2020)

State Estimation for Attack Detection in Vehicle Platoon using VANET and Controller Model. - Philipp Kremer; Ipsita Koley; Soumyajit Dey; Sangyoung Park (ITSC, 2020)

Thermal Load-aware Adaptive Scheduling for Heterogeneous Platforms. - Srijeeta Maity; Anirban Ghose; Soumyajit Dey; Swarnendu Biswas (VLSID, 2020)

Intelligent Orchestration of ADAS Pipelines on Next Generation Automotive Platforms. - Anirban Ghose; Srijeeta Maity; Arijit Kar; Kaustubh Maloo; Soumyajit Dey (CoRR, 2020)

A Programmable Open Architecture Testbed for CPS Education. - Sumana Ghosh; Arnab Mondal; Philipp H. Kindt; Prateek Sharma; Yash Agarwal; Soumyajit Dey; Alok Kanti Deb; Samarjit Chakraborty (IEEE Des. Test, 2020)

Automated planning for finding alternative bug traces. - Rajib Lochan Jana; Soumyajit Dey; Arijit Mondal; Pallab Dasgupta (IET Comput. Digit. Tech., 2020)

Reliable and Secure Design-Space-Exploration for Cyber-Physical Systems. - Saurav Kumar Ghosh; Jaffer Sheriff R. C; Vibhor Jain; Soumyajit Dey (ACM Trans. Embed. Comput. Syst., 2020)

Pattern Guided Integrated Scheduling and Routing in Multi-Hop Control Networks. - Sumana Ghosh; Soumyajit Dey; Pallab Dasgupta (ACM Trans. Embed. Comput. Syst., 2020)

A Hierarchical HVAC Control Scheme for Energy-aware Smart Building Automation. - Rajib Lochan Jana; Soumyajit Dey; Pallab Dasgupta (ACM Trans. Design Autom. Electr. Syst., 2020)

Demand Manipulation Attack Resilient Privacy Aware Smart Grid Using PUFs and Blockchain. - Soumyadyuti Ghosh; Urbi Chatterjee; Durba Chatterjee; Rumia Masburah; Debdeep Mukhopadhyay; Soumyajit Dey (ACNS Workshops, 2021)

Orchestration of Perception Systems for Reliable Performance in Heterogeneous Platforms. - Anirban Ghose; Srijeeta Maity; Arijit Kar; Soumyajit Dey (DATE, 2021)

Adaptive Learning Based Building Load Prediction for Microgrid Economic Dispatch. - Rumia Masburah; Rajib Lochan Jana; Ainuddin Khan; Shichao Xu; Shuyue Lan; Soumyajit Dey; Qi Zhu 002 (DATE, 2021)

Co-designing Intelligent Control of Building HVACs and Microgrids. - Rumia Masburah; Sayan Sinha; Rajib Lochan Jana; Soumyajit Dey; Qi Zhu 002 (DSD, 2021)

Catch Me If You Learn: Real-Time Attack Detection and Mitigation in Learning Enabled CPS. - Ipsita Koley; Sunandan Adhikary; Soumyajit Dey (RTSS, 2021)

Work-in-Progress: Cooling by Core-Idling: Thermal-Aware Thread Scheduling for Mobile Multicore Processors. - Srijeeta Maity; Anirban Ghose; Soumyajit Dey; Sangyoung Park; Samarjit Chakraborty (RTSS, 2021)

Proactive feedback for networked CPS. - Sumana Ghosh; Arnab Mondal; Debayan Roy; Philipp H. Kindt; Soumyajit Dey; Samarjit Chakraborty (SAC, 2021)

An RL-Based Adaptive Detection Strategy to Secure Cyber-Physical Systems. - Ipsita Koley; Sunandan Adhikary; Soumyajit Dey (CoRR, 2021)

SMT-Based Verification of Safety-Critical Embedded Control Software. - Sunandan Adhikary; Amit Gurung; Jay Thakkar; Antonio Anastasio Bruto da Costa; Soumyajit Dey; Aritra Hazra; Pallab Dasgupta (IEEE Embed. Syst. Lett., 2021)

Thermal-aware Adaptive Platform Management for Heterogeneous Embedded Systems. - Srijeeta Maity; Anirban Ghose; Soumyajit Dey; Swarnendu Biswas (ACM Trans. Embed. Comput. Syst., 2021)

Performance-Driven Post-Processing of Control Loop Execution Schedules. - Sumana Ghosh; Soumyajit Dey; Pallab Dasgupta (ACM Trans. Design Autom. Electr. Syst., 2021)

Is the Whole lesser than its Parts? Breaking an Aggregation based Privacy aware Metering Algorithm. - Soumyadyuti Ghosh; Urbi Chatterjee; Soumyajit Dey; Debdeep Mukhopadhyay (DSD, 2022)

A Framework for Evaluating Connected Vehicle Security against False Data Injection Attacks. - Ipsita Koley; Sunandan Adhikary; Rohit Rohit; Soumyajit Dey (DSD, 2022)

PruVer: Verification Assisted Pruning for Deep Reinforcement Learning. - Briti Gangopadhyay; Pallab Dasgupta; Soumyajit Dey (PRICAI (1), 2022)

Work-in-Progress: Control Skipping Sequence Synthesis to Counter Schedule-based Attacks. - Sunandan Adhikary; Ipsita Koley; Srijeeta Maity; Soumyajit Dey (RTSS, 2022)

Future aware Dynamic Thermal Management in CPU-GPU Embedded Platforms. - Srijeeta Maity; Rudrajyoti Roy; Anirban Majumder; Soumyajit Dey; Ashish R. Hota (RTSS, 2022)

SMarT: A SMT Based Privacy Preserving Smart Meter Streaming Methodology. - Soumyadyuti Ghosh; Soumyajit Dey; Debdeep Mukhopadhyay (SPACE, 2022)

A CAD Framework for Simulation of Network Level Attack on Platoons. - Ipsita Koley; Sunandan Adhikary; Rohit Rohit; Soumyajit Dey (CoRR, 2022)

Exploring The Resilience of Control Execution Skips against False Data Injection Attacks. - Ipsita Koley; Sunandan Adhikary; Soumyajit Dey (CoRR, 2022)

PySchedCL: Leveraging Concurrency in Heterogeneous Data-Parallel Systems. - Anirban Ghose; Siddharth Singh; Vivek Kulaharia; Lokesh Dokara; Srijeeta Maity; Soumyajit Dey (IEEE Trans. Computers, 2022)

Safe is the New Smart: PUF-Based Authentication for Load Modification-Resistant Smart Meters. - Harishma Boyapally; Paulson Mathew; Sikhar Patranabis; Urbi Chatterjee; Umang Agarwal; Manu Maheshwari; Soumyajit Dey; Debdeep Mukhopadhyay (IEEE Trans. Dependable Secur. Comput., 2022)

FGFS: Feature Guided Frontier Scheduling for SIMT DAGs. - Anirban Ghose; Soumyajit Dey (J. Supercomput., 2022)

Adaptive Safety Shields for Reinforcement Learning-Based Cell Shaping. - Sumanta Dey; Anusha Mujumdar; Pallab Dasgupta; Soumyajit Dey (IEEE Trans. Netw. Serv. Manag., 2022)

Safe Reinforcement Learning through Phasic Safety-Oriented Policy Optimization. - Sumanta Dey; Pallab Dasgupta; Soumyajit Dey (SafeAI@AAAI, 2023)

Safety Aware Neural Pruning for Deep Reinforcement Learning (Student Abstract). - Briti Gangopadhyay; Pallab Dasgupta; Soumyajit Dey (AAAI, 2023)

Counterexample-Guided Policy Refinement in Multi-Agent Reinforcement Learning. - Briti Gangopadhyay; Pallab Dasgupta; Soumyajit Dey (AAMAS, 2023)

Targeted Attack Synthesis for Smart Grid Vulnerability Analysis. - Suman Maiti; Anjana Balabhaskara; Sunandan Adhikary; Ipsita Koley; Soumyajit Dey (CCS, 2023)

Work-in-Progress: Age of Information-Aware CACC for Vehicle Platooning. - Gulabi Mandal; Anik Roy; Ayantika Chatterjee; Soumyajit Dey (EWSN, 2023)

Imperative Action Masking for Safe Exploration in Reinforcement Learning. - Sumanta Dey; Sharat Bhat; Pallab Dasgupta; Soumyajit Dey (EXTRAAMAS, 2023)

Adaptive CUSUM-Based Residue Analysis for Stealthy Attack Detection in Cyber-Physical Systems. - Akash Bhattacharya; Sunandan Adhikary; Ipsita Koley; Anirban Majumder; Soumyajit Dey (ICCPS, 2023)

Design and Deployment of Resilient Control Execution Patterns: A Prediction, Mitigation Approach. - Ipsita Koley; Sunandan Adhikary; Arkaprava Sain; Soumyajit Dey (ICCPS, 2023)

Optimizing RSU Placements for Securing Vehicle Platoon Against False Data Injection Attacks. - Anik Roy; Ipsita Koley; Sunandan Adhikary; Soumyajit Dey (ICCPS, 2023)

Work-in-Progress: Securing Safety-Critical Control Tasks with Attack-aware Multi-Rate Scheduling. - Arkaprava Sain; Suraj Singh; Sunandan Adhikary; Ipsita Koley; Soumyajit Dey (RTAS, 2023)

A Learning Assisted Method for Uncovering Power Grid Generation and Distribution System Vulnerabilities. - Suman Maiti; Anjana B; Sunandan Adhikary; Ipsita Koley; Soumyajit Dey (CoRR, 2023)

Concealing CAN Message Sequences to Prevent Schedule-based Bus-off Attacks. - Sunandan Adhikary; Ipsita Koley; Arkaprava Sain; Soumyadeep das; Shuvam Saha; Soumyajit Dey (CoRR, 2023)

Inferencing on Edge Devices: A Time- and Space-aware Co-scheduling Approach. - Danny Pereira; Anirban Ghose; Sumana Ghosh; Soumyajit Dey (ACM Trans. Design Autom. Electr. Syst., 2023)

CAD Support for Security and Robustness Analysis of Safety-critical Automotive Software. - Ipsita Koley; Soumyajit Dey; Debdeep Mukhopadhyay; Sachin Kumar Singh; Lavanya Lokesh; Shantaram Vishwanath Ghotgalkar (ACM Trans. Cyber Phys. Syst., 2023)

Safe and Stable RL (S2RL) Driving Policies Using Control Barrier and Control Lyapunov Functions. - Briti Gangopadhyay; Pallab Dasgupta; Soumyajit Dey (IEEE Trans. Intell. Veh., 2023)

P2BPO: Permeable Penalty Barrier-Based Policy Optimization for Safe RL. - Sumanta Dey; Pallab Dasgupta; Soumyajit Dey (AAAI, 2024)

"Hello? Is There Anybody in There?" Leakage Assessment of Differential Privacy Mechanisms in Smart Metering Infrastructure. - Soumyadyuti Ghosh; Manaar Alam; Soumyajit Dey; Debdeep Mukhopadhyay (ACNS (3), 2024)

MAGNets: Micro-Architectured Group Neural Networks. - Sumanta Dey; Briti Gangopadhyay; Pallab Dasgupta; Soumyajit Dey (AAMAS, 2024)

Addressing Permutation Challenges in Multi-Agent Reinforcement Learning. - Somnath Hazra; Pallab Dasgupta; Soumyajit Dey (AAMAS, 2024)

An Adaptive Interpretable Safe-RL Approach for Addressing Smart Grid Supply-Side Uncertainties. - Sumanta Dey; Praveen Verma; Pallab Dasgupta; Soumyajit Dey (EXTRAAMAS, 2024)

Adaptive Protection of Power Grids against Stealthy Load Alterations. - Anjana Balabhaskara; Sunandan Adhikary; Ipsita Koley; Soumyajit Dey; Ashish R. Hota (ICCPS, 2024)

Thinking Beyond Bus-off: Targeted Control Falsification in CAN. - Ipsita Koley; Sunandan Adhikary; Soumyajit Dey (ICCPS, 2024)

DRL-based Multi-Stream Scheduling of Inference Pipelines on Edge Devices. - Danny Pereria; Sumana Ghosh; Soumyajit Dey (VLSID, 2024)

Certifying Learning-Enabled Autonomous Cyber Physical Systems - A Deployment Perspective. - Suraj Singh; Somnath Hazra; Sumanta Dey; Soumyajit Dey (VLSID, 2024)

Probabilistic Interval Analysis of Unreliable Programs. - Dibyendu Das 002; Soumyajit Dey (CoRR, 2024)

Causality-Driven Reinforcement Learning for Joint Communication and Sensing. - Anik Roy; Serene Banerjee; Jishnu Sadasivan; Arnab Sarkar 001; Soumyajit Dey (CoRR, 2024)

Smart Grid Security: A Verified Deep Reinforcement Learning Framework to Counter Cyber-Physical Attacks. - Suman Maiti; Soumyajit Dey (CoRR, 2024)

Learning-Enabled Adaptive Voltage Protection Against Load Alteration Attacks On Smart Grids. - Anjana B; Suman Maiti; Sunandan Adhikary; Soumyajit Dey; Ashish R. Hota (CoRR, 2024)

Multi-Stream Scheduling of Inference Pipelines on Edge Devices - a DRL Approach. - Danny Pereira; Sumana Ghosh; Soumyajit Dey (ACM Trans. Design Autom. Electr. Syst., 2024)

Revisiting Dynamic Scheduling of Control Tasks: A Performance-Aware Fine-Grained Approach. - Sunandan Adhikary; Ipsita Koley; Saurav Kumar Ghosh; Sumana Ghosh; Soumyajit Dey (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2024)

Co-Designing Perception-Based Autonomous Systems on CPU-GPU Platforms. - Suraj Singh; Ashiqur Rahaman Molla; Arijit Mondal; Soumyajit Dey (IEEE Embed. Syst. Lett., 2024)

Detecting Stealthy False Data Injections on Cyber-Physical Systems using Temporal Distance Metrics. - Akash Bhattacharya; Suraj Singh; Sunandan Adhikary; Soumyajit Dey (ICCPS, 2025)

Adaptive Beamforming for Connected Vehicles - A Co-simulation Framework. - Anik Roy; Varuni Buereddy; Somnath Hazra; Serene Banerjee; Arnab Sarkar 001; Soumyajit Dey (ICCPS, 2025)

MAARS: Multi-Rate Attack-Aware Randomized Scheduling for Securing Real-time Systems. - Arkaprava Sain; Sunandan Adhikary; Ipsita Koley; Soumyajit Dey (ICCPS, 2025)

Tackling Uncertainties in Multi-Agent Reinforcement Learning through Integration of Agent Termination Dynamics. - Somnath Hazra; Pallab Dasgupta; Soumyajit Dey (AAMAS, 2025)

Harnessing Machine Learning in Dynamic Thermal Management in Embedded CPU-GPU Platforms. - Srijeeta Maity; Anirban Majumder; Rudrajyoti Roy; Ashish R. Hota; Soumyajit Dey (ACM Trans. Design Autom. Electr. Syst., 2025)

Differentially Private Real-Time Pricing Control for Smart Grids. - Soumyadyuti Ghosh; Suman Maiti; Debdeep Mukhopadhyay; Soumyajit Dey (ACM Trans. Cyber Phys. Syst., 2025)