Soumyajit Dey

According to our database, Soumyajit Dey authored at least 88 papers between 2006 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Probabilistic Interval Analysis of Unreliable Programs.

Dibyendu Das, Soumyajit Dey

CoRR, 2024

Certifying Learning-Enabled Autonomous Cyber Physical Systems - A Deployment Perspective.

Suraj Singh, Somnath Hazra, Sumanta Dey, Soumyajit Dey

Proceedings of the 37th International Conference on VLSI Design and 23rd International Conference on Embedded Systems, 2024

DRL-based Multi-Stream Scheduling of Inference Pipelines on Edge Devices.

Danny Pereria, Sumana Ghosh, Soumyajit Dey

Proceedings of the 37th International Conference on VLSI Design and 23rd International Conference on Embedded Systems, 2024

Addressing Permutation Challenges in Multi-Agent Reinforcement Learning.

Somnath Hazra, Pallab Dasgupta, Soumyajit Dey

Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems, 2024

MAGNets: Micro-Architectured Group Neural Networks.

Sumanta Dey, Briti Gangopadhyay, Pallab Dasgupta, Soumyajit Dey

Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems, 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

Proceedings of the Applied Cryptography and Network Security, 2024

P2BPO: Permeable Penalty Barrier-Based Policy Optimization for Safe RL.

Sumanta Dey, Pallab Dasgupta, Soumyajit Dey

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

Safe and Stable RL (S²RL) Driving Policies Using Control Barrier and Control Lyapunov Functions.

Briti Gangopadhyay, Pallab Dasgupta, Soumyajit Dey

IEEE Trans. Intell. Veh., February, 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., January, 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

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

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

Work-in-Progress: Securing Safety-Critical Control Tasks with Attack-aware Multi-Rate Scheduling.

Arkaprava Sain, Suraj Singh, Sunandan Adhikary, Ipsita Koley, Soumyajit Dey

Proceedings of the 29th IEEE Real-Time and Embedded Technology and Applications Symposium, 2023

Optimizing RSU Placements for Securing Vehicle Platoon Against False Data Injection Attacks.

Anik Roy, Ipsita Koley, Sunandan Adhikary, Soumyajit Dey

Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical Systems, 2023

Design and Deployment of Resilient Control Execution Patterns: A Prediction, Mitigation Approach.

Ipsita Koley, Sunandan Adhikary, Arkaprava Sain, Soumyajit Dey

Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical Systems, 2023

Adaptive CUSUM-Based Residue Analysis for Stealthy Attack Detection in Cyber-Physical Systems.

Akash Bhattacharya, Sunandan Adhikary, Ipsita Koley, Anirban Majumder, Soumyajit Dey

Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical Systems, 2023

Imperative Action Masking for Safe Exploration in Reinforcement Learning.

Sumanta Dey, Sharat Bhat, Pallab Dasgupta, Soumyajit Dey

Proceedings of the Explainable and Transparent AI and Multi-Agent Systems, 2023

Work-in-Progress: Age of Information-Aware CACC for Vehicle Platooning.

Gulabi Mandal, Anik Roy, Ayantika Chatterjee, Soumyajit Dey

Proceedings of the 2023 International Conference on embedded Wireless Systems and Networks, 2023

Targeted Attack Synthesis for Smart Grid Vulnerability Analysis.

Suman Maiti, Anjana Balabhaskara, Sunandan Adhikary, Ipsita Koley, Soumyajit Dey

Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023

Counterexample-Guided Policy Refinement in Multi-Agent Reinforcement Learning.

Briti Gangopadhyay, Pallab Dasgupta, Soumyajit Dey

Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, 2023

Safety Aware Neural Pruning for Deep Reinforcement Learning (Student Abstract).

Briti Gangopadhyay, Pallab Dasgupta, Soumyajit Dey

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

Safe Reinforcement Learning through Phasic Safety-Oriented Policy Optimization.

Sumanta Dey, Pallab Dasgupta, Soumyajit Dey

Proceedings of the Workshop on Artificial Intelligence Safety 2023 (SafeAI 2023) co-located with the Thirty-Seventh AAAI Conference on Artificial Intelligence (AAAI 2023), 2023

2022

Adaptive Safety Shields for Reinforcement Learning-Based Cell Shaping.

Sumanta Dey, Anusha Mujumdar, Pallab Dasgupta, Soumyajit Dey

IEEE Trans. Netw. Serv. Manag., December, 2022

FGFS: Feature Guided Frontier Scheduling for SIMT DAGs.

Anirban Ghose, Soumyajit Dey

J. Supercomput., 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

PySchedCL: Leveraging Concurrency in Heterogeneous Data-Parallel Systems.

Anirban Ghose, Siddharth Singh, Vivek Kulaharia, Lokesh Dokara, Srijeeta Maity, Soumyajit Dey

IEEE Trans. Computers, 2022

Exploring The Resilience of Control Execution Skips against False Data Injection Attacks.

Ipsita Koley, Sunandan Adhikary, Soumyajit Dey

CoRR, 2022

A CAD Framework for Simulation of Network Level Attack on Platoons.

Ipsita Koley, Sunandan Adhikary, Rohit Rohit, Soumyajit Dey

CoRR, 2022

SMarT: A SMT Based Privacy Preserving Smart Meter Streaming Methodology.

Soumyadyuti Ghosh, Soumyajit Dey, Debdeep Mukhopadhyay

Proceedings of the Security, Privacy, and Applied Cryptography Engineering, 2022

Future aware Dynamic Thermal Management in CPU-GPU Embedded Platforms.

Srijeeta Maity, Rudrajyoti Roy, Anirban Majumder, Soumyajit Dey, Ashish R. Hota

Proceedings of the IEEE Real-Time Systems Symposium, 2022

Work-in-Progress: Control Skipping Sequence Synthesis to Counter Schedule-based Attacks.

Sunandan Adhikary, Ipsita Koley, Srijeeta Maity, Soumyajit Dey

Proceedings of the IEEE Real-Time Systems Symposium, 2022

PruVer: Verification Assisted Pruning for Deep Reinforcement Learning.

Briti Gangopadhyay, Pallab Dasgupta, Soumyajit Dey

Proceedings of the PRICAI 2023: Trends in Artificial Intelligence, 2022

A Framework for Evaluating Connected Vehicle Security against False Data Injection Attacks.

Ipsita Koley, Sunandan Adhikary, Rohit Rohit, Soumyajit Dey

Proceedings of the 25th Euromicro Conference on Digital System Design, 2022

Is the Whole lesser than its Parts? Breaking an Aggregation based Privacy aware Metering Algorithm.

Soumyadyuti Ghosh, Urbi Chatterjee, Soumyajit Dey, Debdeep Mukhopadhyay

Proceedings of the 25th Euromicro Conference on Digital System Design, 2022

2021

Performance-Driven Post-Processing of Control Loop Execution Schedules.

Sumana Ghosh, Soumyajit Dey, Pallab Dasgupta

ACM Trans. Design Autom. Electr. Syst., 2021

Thermal-aware Adaptive Platform Management for Heterogeneous Embedded Systems.

Srijeeta Maity, Anirban Ghose, Soumyajit Dey, Swarnendu Biswas

ACM Trans. Embed. Comput. Syst., 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

An RL-Based Adaptive Detection Strategy to Secure Cyber-Physical Systems.

Ipsita Koley, Sunandan Adhikary, Soumyajit Dey

CoRR, 2021

Proactive feedback for networked CPS.

Sumana Ghosh, Arnab Mondal, Debayan Roy, Philipp H. Kindt, Soumyajit Dey, Samarjit Chakraborty

Proceedings of the SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, 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

Proceedings of the 42nd IEEE Real-Time Systems Symposium, 2021

Catch Me If You Learn: Real-Time Attack Detection and Mitigation in Learning Enabled CPS.

Ipsita Koley, Sunandan Adhikary, Soumyajit Dey

Proceedings of the 42nd IEEE Real-Time Systems Symposium, 2021

Co-designing Intelligent Control of Building HVACs and Microgrids.

Rumia Masburah, Sayan Sinha, Rajib Lochan Jana, Soumyajit Dey, Qi Zhu

Proceedings of the 24th Euromicro Conference on Digital System Design, 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

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2021

Orchestration of Perception Systems for Reliable Performance in Heterogeneous Platforms.

Anirban Ghose, Srijeeta Maity, Arijit Kar, Soumyajit Dey

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2021

Demand Manipulation Attack Resilient Privacy Aware Smart Grid Using PUFs and Blockchain.

Soumyadyuti Ghosh, Urbi Chatterjee, Durba Chatterjee, Rumia Masburah, Debdeep Mukhopadhyay, Soumyajit Dey

Proceedings of the Applied Cryptography and Network Security Workshops, 2021

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

Pattern Guided Integrated Scheduling and Routing in Multi-Hop Control Networks.

Sumana Ghosh, Soumyajit Dey, Pallab Dasgupta

ACM Trans. Embed. Comput. Syst., 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

Automated planning for finding alternative bug traces.

Rajib Lochan Jana, Soumyajit Dey, Arijit Mondal, Pallab Dasgupta

IET Comput. Digit. Tech., 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

Intelligent Orchestration of ADAS Pipelines on Next Generation Automotive Platforms.

Anirban Ghose, Srijeeta Maity, Arijit Kar, Kaustubh Maloo, Soumyajit Dey

CoRR, 2020

Thermal Load-aware Adaptive Scheduling for Heterogeneous Platforms.

Srijeeta Maity, Anirban Ghose, Soumyajit Dey, Swarnendu Biswas

Proceedings of the 33rd International Conference on VLSI Design and 19th International Conference on Embedded Systems, 2020

State Estimation for Attack Detection in Vehicle Platoon using VANET and Controller Model.

Philipp Kremer, Ipsita Koley, Soumyajit Dey, Sangyoung Park

Proceedings of the 23rd IEEE International Conference on Intelligent Transportation Systems, 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

Proceedings of the 2020 Design, Automation & Test in Europe Conference & Exhibition, 2020

Towards Secure Composition of Integrated Circuits and Electronic Systems: On the Role of EDA.

Johann Knechtel, Elif Bilge Kavun, Francesco Regazzoni, Annelie Heuser, Anupam Chattopadhyay, Debdeep Mukhopadhyay, Soumyajit Dey, Yunsi Fei, Yaacov Belenky, Itamar Levi, Tim Güneysu, Patrick Schaumont, Ilia Polian

Proceedings of the 2020 Design, Automation & Test in Europe Conference & Exhibition, 2020

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

Proceedings of the CPSIOTSEC'20: Proceedings of the 2020 Joint Workshop on CPS&IoT Security and Privacy, 2020

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

Performance, Security Tradeoffs in Secure Control.

Saurav Kumar Ghosh, Soumyajit Dey, Debdeep Mukhopadhyay

IEEE Embed. Syst. Lett., 2019

Synthesizing Performance-Aware (m, k)-Firm Control Execution Patterns Under Dropped Samples.

Sumana Ghosh, Soumyajit Dey, Pallab Dasgupta

Proceedings of the 32nd International Conference on VLSI Design and 18th International Conference on Embedded Systems, 2019

Security-Driven Codesign with Weakly-Hard Constraints for Real-Time Embedded Systems.

Hengyi Liang, Zhilu Wang, Debayan Roy, Soumyajit Dey, Samarjit Chakraborty, Qi Zhu

Proceedings of the 37th IEEE International Conference on Computer Design, 2019

2018

Co-Synthesis of Loop Execution Patterns for Multihop Control Networks.

Sumana Ghosh, Soumyajit Dey, Pallab Dasgupta

IEEE Embed. Syst. Lett., 2018

Design and validation of fault-tolerant embedded controllers.

Saurav Kumar Ghosh, Soumyajit Dey, Dip Goswami, Daniel Mueller-Gritschneder, Samarjit Chakraborty

Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018

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

A Framework for OpenCL Task Scheduling on Heterogeneous Multicores.

Anirban Ghose, Lokesh Dokara, Soumyajit Dey, Pabitra Mitra

Parallel Process. Lett., 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

Verifying stability guarantees of control software implementations in the presence of sensor level faults: work-in-progress.

Saurav Kumar Ghosh, Debasmita Lohar, Dibyendu Das, Soumyajit Dey

Proceedings of the Thirteenth ACM International Conference on Embedded Software 2017 Companion, 2017

SERD: A simulation framework for estimation of system level reliability degradation.

Saurav Kumar Ghosh, Soumyajit Dey

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2017

2016

Multirate Sampling for Power-Performance Tradeoff in Embedded Control.

Rajorshee Raha, Souradeep Dutta, Soumyajit Dey, Pallab Dasgupta

IEEE Embed. Syst. Lett., 2016

Planning based guided reconstruction of corner cases in architectural validation.

Rajib Lochan Jana, Shashank Kuchibhotla, Soumyajit Dey, Pallab Dasgupta, Rakesh Kumar

Proceedings of the 20th International Symposium on VLSI Design and Test, 2016

Synthesis of scheduler automata guaranteeing stability and reliability of embedded control systems.

Saurav Kumar Ghosh, Akash Mondal, Souradeep Dutta, Aritra Hazra, Soumyajit Dey

Proceedings of the 20th International Symposium on VLSI Design and Test, 2016

Failure Estimation of Behavioral Specifications.

Debasmita Lohar, Anudeep Dunaboyina, Dibyendu Das, Soumyajit Dey

Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2016

Divergence Aware Automated Partitioning of OpenCL Workloads.

Anirban Ghose, Soumyajit Dey, Pabitra Mitra, Mainak Chaudhuri

Proceedings of the 9th India Software Engineering Conference, 2016

Scheduling of Controllers' Update-Rates for Residual Bandwidth Utilization.

Majid Zamani, Soumyajit Dey, Sajid Mohamed, Pallab Dasgupta, Manuel Mazo Jr.

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2016

2015

Multi-mode Sampling Period Selection for Embedded Real Time Control.

Rajorshee Raha, Soumyajit Dey, Partha Pratim Chakrabarti, Pallab Dasgupta

CoRR, 2015

RELSPEC: A Framework for Early Reliability Refinement of Embedded Applications.

Saurav Kumar Ghosh, Aritra Hazra, Soumyajit Dey

Proceedings of the 28th International Conference on VLSI Design, 2015

Integrating formal methods with testing for reliability estimation of component based systems.

Debasmita Lohar, Soumyajit Dey

Proceedings of the 2015 IEEE International Symposium on Software Reliability Engineering Workshops, 2015

Timing Analysis of Safety-Critical Automotive Software: The AUTOSAFE Tool Flow.

Martin Becker, Sajid Mohamed, Karsten Albers, P. P. Chakrabarti, Samarjit Chakraborty, Pallab Dasgupta, Soumyajit Dey, Ravindra Metta

Proceedings of the 2015 Asia-Pacific Software Engineering Conference, 2015

2014

Synthesis of sampling modes for adaptive control.

Rajorshee Raha, Aritra Hazra, Akash Mondal, Soumyajit Dey, Partha Pratim Chakrabarti, Pallab Dasgupta

Proceedings of the 2014 IEEE International Conference on Control System, 2014

2013

A Kleene Algebra of Tagged System Actors for Reasoning about Heterogeneous Embedded Systems.

Soumyajit Dey, Dipankar Sarkar, Anupam Basu

IEEE Trans. Computers, 2013

2012

A temporal constraint based planning approach for city tour and travel plan generation.

Plaban Kumar Bhowmick, Soumyajit Dey, Abinash Samantaray, Debnath Mukherjee, Prateep Misra

Proceedings of the 4th International Conference on Intelligent Human Computer Interaction, 2012

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 Kleene Algebra of Tagged System Actors.

Soumyajit Dey, Dipankar Sarkar, Anupam Basu

IEEE Embed. Syst. Lett., 2011

2010

A Tag Machine Based Performance Evaluation Method for Job-Shop Schedules.

Soumyajit Dey, Dipankar Sarkar, Anupam Basu

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2010

2008

An Approach to Software Performance Evaluation on Customized Embedded Processors.

Soumyajit Dey, Monu Kedia, Anupam Basu

Proceedings of the 21st International Conference on VLSI Design (VLSI Design 2008), 2008

2007

Embedded Support Vector Machine : Architectural Enhancements and Evaluation.

Soumyajit Dey, Monu Kedia, Niket Agarwal, Anupam Basu

Proceedings of the 20th International Conference on VLSI Design (VLSI Design 2007), 2007

Architectural Optimizations for Text to Speech Synthesis in Embedded Systems.

Soumyajit Dey, Monu Kedia, Anupam Basu

Proceedings of the 12th Conference on Asia South Pacific Design Automation, 2007

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

An Approach to Architectural Enhancement for Embedded Speech Applications.

Soumyajit Dey, Susmit Biswas, Arijit Mukhopadhyay, Anupam Basu

Proceedings of the 19th International Conference on VLSI Design (VLSI Design 2006), 2006