Soumyajit Dey - RankMe

119 papers A* 4A 16B 1C 6Misc 10Journal 56Unranked 26

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	AD CoRR Ishan Sahu, Somnath Hazra, Somak Aditya, Soumyajit Dey
2026	J	`jnl`	Adaptive Parameterisation for Efficient Detection of False Data Injections. ACM Trans. Embed. Comput. Syst. Akash Bhattacharya, Sunandan Adhikary, Ipsita Koley, Vivek Loya, Soumyajit Dey
2026	J	`jnl`	Mitigating Timing-Based Attacks in Real-Time Cyber-Physical Systems. CoRR Arkaprava Sain, Sunandan Adhikary, Soumyajit Dey
2026	J	`jnl`	Safe Controller Synthesis Using Lyapunov-based Barriers for Linear Hybrid Systems with Simplex Architecture. CoRR Sunandan Adhikary, Soumyajit Dey
2025	—	`conf`	Adaptive Beamforming for Connected Vehicles - A Co-simulation Framework. ICCPS Anik Roy, Varuni Buereddy, Somnath Hazra, Serene Banerjee, Arnab Sarkar, Soumyajit Dey
2025	—	`conf`	Detecting Stealthy False Data Injections on Cyber-Physical Systems using Temporal Distance Metrics. ICCPS Akash Bhattacharya, Suraj Singh, Sunandan Adhikary, Soumyajit Dey
2025	J	`jnl`	Differentially Private Real-Time Pricing Control for Smart Grids. ACM Trans. Cyber Phys. Syst. Soumyadyuti Ghosh, Suman Maiti, Debdeep Mukhopadhyay, Soumyajit Dey
2025	J	`jnl`	Harnessing Machine Learning in Dynamic Thermal Management in Embedded CPU-GPU Platforms. ACM Trans. Design Autom. Electr. Syst. Srijeeta Maity, Anirban Majumder, Rudrajyoti Roy, Ashish R. Hota, Soumyajit Dey
2025	A*	`conf`	Incentivizing Safer Actions in Policy Optimization for Constrained Reinforcement Learning. IJCAI Somnath Hazra, Pallab Dasgupta, Soumyajit Dey
2025	J	`jnl`	Incentivizing Safer Actions in Policy Optimization for Constrained Reinforcement Learning. CoRR Somnath Hazra, Pallab Dasgupta, Soumyajit Dey
2025	—	`conf`	MAARS: Multi-Rate Attack-Aware Randomized Scheduling for Securing Real-time Systems. ICCPS Arkaprava Sain, Sunandan Adhikary, Ipsita Koley, Soumyajit Dey
2025	J	`jnl`	Minimizing Backbone Ethernet Traffic for Enabling Interzonal Messages in Software-Defined Vehicles. IEEE Embed. Syst. Lett. Ashiqur Rahaman Molla, Ram Mohan Chowdary Kota, Jaishree Mayank, Arnab Sarkar, Arijit Mondal, Soumyajit Dey
2025	C	`conf`	Optimal Real-time Inter-zone Message Communication via Ethernet Backbone in Software Defined Vehicles. MEMOCODE Ashiqur Rahaman Molla, Ram Mohan Chowdary Kota, Jaishree Mayank, Arnab Sarkar, Arijit Mondal, Soumyajit Dey
2025	A	`conf`	Pay What You Spend! Privacy-Aware Real-Time Pricing with High Precision IEEE 754 Floating Point Division. AsiaCCS Soumyadyuti Ghosh, Harishma Boyapally, Ajith Suresh, Arpita Patra, Soumyajit Dey, Debdeep Mukhopadhyay
2025	A	`conf`	Tackling Uncertainties in Multi-Agent Reinforcement Learning through Integration of Agent Termination Dynamics. AAMAS Somnath Hazra, Pallab Dasgupta, Soumyajit Dey
2025	J	`jnl`	Tackling Uncertainties in Multi-Agent Reinforcement Learning through Integration of Agent Termination Dynamics. CoRR Somnath Hazra, Pallab Dasgupta, Soumyajit Dey
2024	—	`conf`	"Hello? Is There Anybody in There?" Leakage Assessment of Differential Privacy Mechanisms in Smart Metering Infrastructure. ACNS (3) Soumyadyuti Ghosh, Manaar Alam, Soumyajit Dey, Debdeep Mukhopadhyay
2024	—	`conf`	Adaptive Protection of Power Grids against Stealthy Load Alterations. ICCPS Anjana Balabhaskara, Sunandan Adhikary, Ipsita Koley, Soumyajit Dey, Ashish R. Hota
2024	A	`conf`	Addressing Permutation Challenges in Multi-Agent Reinforcement Learning. AAMAS Somnath Hazra, Pallab Dasgupta, Soumyajit Dey
2024	—	`conf`	An Adaptive Interpretable Safe-RL Approach for Addressing Smart Grid Supply-Side Uncertainties. EXTRAAMAS Sumanta Dey, Praveen Verma, Pallab Dasgupta, Soumyajit Dey
2024	J	`jnl`	Causality-Driven Reinforcement Learning for Joint Communication and Sensing. CoRR Anik Roy, Serene Banerjee, Jishnu Sadasivan, Arnab Sarkar, Soumyajit Dey
2024	Misc	`conf`	Certifying Learning-Enabled Autonomous Cyber Physical Systems - A Deployment Perspective. VLSID Suraj Singh, Somnath Hazra, Sumanta Dey, Soumyajit Dey
2024	J	`jnl`	Co-Designing Perception-Based Autonomous Systems on CPU-GPU Platforms. IEEE Embed. Syst. Lett. Suraj Singh, Ashiqur Rahaman Molla, Arijit Mondal, Soumyajit Dey
2024	Misc	`conf`	DRL-based Multi-Stream Scheduling of Inference Pipelines on Edge Devices. VLSID Danny Pereria, Sumana Ghosh, Soumyajit Dey
2024	J	`jnl`	Learning-Enabled Adaptive Voltage Protection Against Load Alteration Attacks On Smart Grids. CoRR Anjana B, Suman Maiti, Sunandan Adhikary, Soumyajit Dey, Ashish R. Hota
2024	J	`jnl`	MAARS: Multi-Rate Attack-Aware Randomized Scheduling for Securing Real-time Systems. CoRR Arkaprava Sain, Sunandan Adhikary, Ipsita Koley, Soumyajit Dey
2024	A	`conf`	MAGNets: Micro-Architectured Group Neural Networks. AAMAS Sumanta Dey, Briti Gangopadhyay, Pallab Dasgupta, Soumyajit Dey
2024	J	`jnl`	Multi-Stream Scheduling of Inference Pipelines on Edge Devices - a DRL Approach. ACM Trans. Design Autom. Electr. Syst. Danny Pereira, Sumana Ghosh, Soumyajit Dey
2024	A*	`conf`	P2BPO: Permeable Penalty Barrier-Based Policy Optimization for Safe RL. AAAI Sumanta Dey, Pallab Dasgupta, Soumyajit Dey
2024	J	`jnl`	Probabilistic Interval Analysis of Unreliable Programs. CoRR Dibyendu Das, Soumyajit Dey
2024	J	`jnl`	Revisiting Dynamic Scheduling of Control Tasks: A Performance-Aware Fine-Grained Approach. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Sunandan Adhikary, Ipsita Koley, Saurav Kumar Ghosh, Sumana Ghosh, Soumyajit Dey
2024	J	`jnl`	Smart Grid Security: A Verified Deep Reinforcement Learning Framework to Counter Cyber-Physical Attacks. CoRR Suman Maiti, Soumyajit Dey
2024	—	`conf`	Thinking Beyond Bus-off: Targeted Control Falsification in CAN. ICCPS Ipsita Koley, Sunandan Adhikary, Soumyajit Dey
2023	J	`jnl`	A Learning Assisted Method for Uncovering Power Grid Generation and Distribution System Vulnerabilities. CoRR Suman Maiti, Anjana B, Sunandan Adhikary, Ipsita Koley, Soumyajit Dey
2023	—	`conf`	Adaptive CUSUM-Based Residue Analysis for Stealthy Attack Detection in Cyber-Physical Systems. ICCPS Akash Bhattacharya, Sunandan Adhikary, Ipsita Koley, Anirban Majumder, Soumyajit Dey
2023	J	`jnl`	CAD Support for Security and Robustness Analysis of Safety-critical Automotive Software. ACM Trans. Cyber Phys. Syst. Ipsita Koley, Soumyajit Dey, Debdeep Mukhopadhyay, Sachin Kumar Singh, Lavanya Lokesh, Shantaram Vishwanath Ghotgalkar
2023	J	`jnl`	Concealing CAN Message Sequences to Prevent Schedule-based Bus-off Attacks. CoRR Sunandan Adhikary, Ipsita Koley, Arkaprava Sain, Soumyadeep Das, Shuvam Saha, Soumyajit Dey
2023	A	`conf`	Counterexample-Guided Policy Refinement in Multi-Agent Reinforcement Learning. AAMAS Briti Gangopadhyay, Pallab Dasgupta, Soumyajit Dey
2023	—	`conf`	Design and Deployment of Resilient Control Execution Patterns: A Prediction, Mitigation Approach. ICCPS Ipsita Koley, Sunandan Adhikary, Arkaprava Sain, Soumyajit Dey
2023	—	`conf`	Imperative Action Masking for Safe Exploration in Reinforcement Learning. EXTRAAMAS Sumanta Dey, Sharat Bhat, Pallab Dasgupta, Soumyajit Dey
2023	J	`jnl`	Inferencing on Edge Devices: A Time- and Space-aware Co-scheduling Approach. ACM Trans. Design Autom. Electr. Syst. Danny Pereira, Anirban Ghose, Sumana Ghosh, Soumyajit Dey
2023	—	`conf`	Optimizing RSU Placements for Securing Vehicle Platoon Against False Data Injection Attacks. ICCPS Anik Roy, Ipsita Koley, Sunandan Adhikary, Soumyajit Dey
2023	—	`conf`	Safe Reinforcement Learning through Phasic Safety-Oriented Policy Optimization. SafeAI@AAAI Sumanta Dey, Pallab Dasgupta, Soumyajit Dey
2023	J	`jnl`	Safe and Stable RL (S IEEE Trans. Intell. Veh. Briti Gangopadhyay, Pallab Dasgupta, Soumyajit Dey
2023	A*	`conf`	Safety Aware Neural Pruning for Deep Reinforcement Learning (Student Abstract). AAAI Briti Gangopadhyay, Pallab Dasgupta, Soumyajit Dey
2023	A*	`conf`	Targeted Attack Synthesis for Smart Grid Vulnerability Analysis. CCS Suman Maiti, Anjana Balabhaskara, Sunandan Adhikary, Ipsita Koley, Soumyajit Dey
2023	B	`conf`	Work-in-Progress: Age of Information-Aware CACC for Vehicle Platooning. EWSN Gulabi Mandal, Anik Roy, Ayantika Chatterjee, Soumyajit Dey
2023	A	`conf`	Work-in-Progress: Securing Safety-Critical Control Tasks with Attack-aware Multi-Rate Scheduling. RTAS Arkaprava Sain, Suraj Singh, Sunandan Adhikary, Ipsita Koley, Soumyajit Dey
2022	J	`jnl`	A CAD Framework for Simulation of Network Level Attack on Platoons. CoRR Ipsita Koley, Sunandan Adhikary, Rohit Rohit, Soumyajit Dey
2022	C	`conf`	A Framework for Evaluating Connected Vehicle Security against False Data Injection Attacks. DSD Ipsita Koley, Sunandan Adhikary, Rohit Rohit, Soumyajit Dey
2022	J	`jnl`	Adaptive Safety Shields for Reinforcement Learning-Based Cell Shaping. IEEE Trans. Netw. Serv. Manag. Sumanta Dey, Anusha Mujumdar, Pallab Dasgupta, Soumyajit Dey
2022	J	`jnl`	Exploring The Resilience of Control Execution Skips against False Data Injection Attacks. CoRR Ipsita Koley, Sunandan Adhikary, Soumyajit Dey
2022	J	`jnl`	FGFS: Feature Guided Frontier Scheduling for SIMT DAGs. J. Supercomput. Anirban Ghose, Soumyajit Dey
2022	A	`conf`	Future aware Dynamic Thermal Management in CPU-GPU Embedded Platforms. RTSS Srijeeta Maity, Rudrajyoti Roy, Anirban Majumder, Soumyajit Dey, Ashish R. Hota
2022	C	`conf`	Is the Whole lesser than its Parts? Breaking an Aggregation based Privacy aware Metering Algorithm. DSD Soumyadyuti Ghosh, Urbi Chatterjee, Soumyajit Dey, Debdeep Mukhopadhyay
2022	—	`conf`	PruVer: Verification Assisted Pruning for Deep Reinforcement Learning. PRICAI (1) Briti Gangopadhyay, Pallab Dasgupta, Soumyajit Dey
2022	J	`jnl`	PySchedCL: Leveraging Concurrency in Heterogeneous Data-Parallel Systems. IEEE Trans. Computers Anirban Ghose, Siddharth Singh, Vivek Kulaharia, Lokesh Dokara, Srijeeta Maity, Soumyajit Dey
2022	—	`conf`	SMarT: A SMT Based Privacy Preserving Smart Meter Streaming Methodology. SPACE Soumyadyuti Ghosh, Soumyajit Dey, Debdeep Mukhopadhyay
2022	J	`jnl`	Safe is the New Smart: PUF-Based Authentication for Load Modification-Resistant Smart Meters. IEEE Trans. Dependable Secur. Comput. Harishma Boyapally, Paulson Mathew, Sikhar Patranabis, Urbi Chatterjee, Umang Agarwal, Manu Maheshwari, Soumyajit Dey, Debdeep Mukhopadhyay
2022	A	`conf`	Work-in-Progress: Control Skipping Sequence Synthesis to Counter Schedule-based Attacks. RTSS Sunandan Adhikary, Ipsita Koley, Srijeeta Maity, Soumyajit Dey
2021	A	`conf`	Adaptive Learning Based Building Load Prediction for Microgrid Economic Dispatch. DATE Rumia Masburah, Rajib Lochan Jana, Ainuddin Khan, Shichao Xu, Shuyue Lan, Soumyajit Dey, Qi Zhu
2021	J	`jnl`	An RL-Based Adaptive Detection Strategy to Secure Cyber-Physical Systems. CoRR Ipsita Koley, Sunandan Adhikary, Soumyajit Dey
2021	A	`conf`	Catch Me If You Learn: Real-Time Attack Detection and Mitigation in Learning Enabled CPS. RTSS Ipsita Koley, Sunandan Adhikary, Soumyajit Dey
2021	C	`conf`	Co-designing Intelligent Control of Building HVACs and Microgrids. DSD Rumia Masburah, Sayan Sinha, Rajib Lochan Jana, Soumyajit Dey, Qi Zhu
2021	J	`jnl`	Co-designing Intelligent Control of Building HVACs and Microgrids. CoRR Rumia Masburah, Sayan Sinha, Rajib Lochan Jana, Soumyajit Dey, Qi Zhu
2021	—	`conf`	Demand Manipulation Attack Resilient Privacy Aware Smart Grid Using PUFs and Blockchain. ACNS Workshops Soumyadyuti Ghosh, Urbi Chatterjee, Durba Chatterjee, Rumia Masburah, Debdeep Mukhopadhyay, Soumyajit Dey
2021	A	`conf`	Orchestration of Perception Systems for Reliable Performance in Heterogeneous Platforms. DATE Anirban Ghose, Srijeeta Maity, Arijit Kar, Soumyajit Dey
2021	J	`jnl`	Performance-Driven Post-Processing of Control Loop Execution Schedules. ACM Trans. Design Autom. Electr. Syst. Sumana Ghosh, Soumyajit Dey, Pallab Dasgupta
2021	Misc	`conf`	Proactive feedback for networked CPS. SAC Sumana Ghosh, Arnab Mondal, Debayan Roy, Philipp H. Kindt, Soumyajit Dey, Samarjit Chakraborty
2021	J	`jnl`	SMT-Based Verification of Safety-Critical Embedded Control Software. IEEE Embed. Syst. Lett. Sunandan Adhikary, Amit Gurung, Jay Thakkar, Antonio Anastasio Bruto da Costa, Soumyajit Dey, Aritra Hazra, Pallab Dasgupta
2021	J	`jnl`	Thermal-aware Adaptive Platform Management for Heterogeneous Embedded Systems. ACM Trans. Embed. Comput. Syst. Srijeeta Maity, Anirban Ghose, Soumyajit Dey, Swarnendu Biswas
2021	A	`conf`	Work-in-Progress: Cooling by Core-Idling: Thermal-Aware Thread Scheduling for Mobile Multicore Processors. RTSS Srijeeta Maity, Anirban Ghose, Soumyajit Dey, Sangyoung Park, Samarjit Chakraborty
2020	J	`jnl`	A Hierarchical HVAC Control Scheme for Energy-aware Smart Building Automation. ACM Trans. Design Autom. Electr. Syst. Rajib Lochan Jana, Soumyajit Dey, Pallab Dasgupta
2020	J	`jnl`	A Programmable Open Architecture Testbed for CPS Education. IEEE Des. Test Sumana Ghosh, Arnab Mondal, Philipp H. Kindt, Prateek Sharma, Yash Agarwal, Soumyajit Dey, Alok Kanti Deb, Samarjit Chakraborty
2020	J	`jnl`	Automated planning for finding alternative bug traces. IET Comput. Digit. Tech. Rajib Lochan Jana, Soumyajit Dey, Arijit Mondal, Pallab Dasgupta
2020	A	`conf`	Formal Synthesis of Monitoring and Detection Systems for Secure CPS Implementations. DATE Ipsita Koley, Saurav Kumar Ghosh, Soumyajit Dey, Debdeep Mukhopadhyay, Amogh Kashyap K. N., Sachin Kumar Singh, Lavanya Lokesh, Jithin Nalu Purakkal, Nishant Sinha
2020	J	`jnl`	Formal Synthesis of Monitoring and Detection Systems for Secure CPS Implementations. CoRR Ipsita Koley, Saurav Kumar Ghosh, Soumyajit Dey, Debdeep Mukhopadhyay, Amogh Kashyap K. N., Sachin Kumar Singh, Lavanya Lokesh, Jithin Nalu Purakkal, Nishant Sinha
2020	J	`jnl`	Intelligent Orchestration of ADAS Pipelines on Next Generation Automotive Platforms. CoRR Anirban Ghose, Srijeeta Maity, Arijit Kar, Kaustubh Maloo, Soumyajit Dey
2020	J	`jnl`	Pattern Guided Integrated Scheduling and Routing in Multi-Hop Control Networks. ACM Trans. Embed. Comput. Syst. Sumana Ghosh, Soumyajit Dey, Pallab Dasgupta
2020	J	`jnl`	PySchedCL: Leveraging Concurrency in Heterogeneous Data-Parallel Systems. CoRR Anirban Ghose, Siddharth Singh, Vivek Kulaharia, Lokesh Dokara, Srijeeta Maity, Soumyajit Dey
2020	J	`jnl`	Reliable and Secure Design-Space-Exploration for Cyber-Physical Systems. ACM Trans. Embed. Comput. Syst. Saurav Kumar Ghosh, Jaffer Sheriff R. C, Vibhor Jain, Soumyajit Dey
2020	—	`conf`	Skip to Secure: Securing Cyber-Physical Control Loops with Intentionally Skipped Executions. CPSIOTSEC@CCS Sunandan Adhikary, Ipsita Koley, Saurav Kumar Ghosh, Sumana Ghosh, Soumyajit Dey, Debdeep Mukhopadhyay
2020	J	`jnl`	Skip to Secure: Securing Cyber-physical Control Loops with Intentionally Skipped Executions. CoRR Sunandan Adhikary, Ipsita Koley, Sumana Ghosh, Saurav Kumar Ghosh, Soumyajit Dey, Debdeep Mukhopadhyay
2020	—	`conf`	State Estimation for Attack Detection in Vehicle Platoon using VANET and Controller Model. ITSC Philipp Kremer, Ipsita Koley, Soumyajit Dey, Sangyoung Park
2020	Misc	`conf`	Thermal Load-aware Adaptive Scheduling for Heterogeneous Platforms. VLSID Srijeeta Maity, Anirban Ghose, Soumyajit Dey, Swarnendu Biswas
2020	A	`conf`	Towards Secure Composition of Integrated Circuits and Electronic Systems: On the Role of EDA. DATE 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
2020	J	`jnl`	Towards Secure Composition of Integrated Circuits and Electronic Systems: On the Role of EDA. CoRR 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
2019	J	`jnl`	Performance and energy aware robust specification of control execution patterns under dropped samples. IET Comput. Digit. Tech. Sumana Ghosh, Soumyajit Dey, Pallab Dasgupta
2019	J	`jnl`	Performance, Security Tradeoffs in Secure Control. IEEE Embed. Syst. Lett. Saurav Kumar Ghosh, Soumyajit Dey, Debdeep Mukhopadhyay
2019	C	`conf`	Security-Driven Codesign with Weakly-Hard Constraints for Real-Time Embedded Systems. ICCD Hengyi Liang, Zhilu Wang, Debayan Roy, Soumyajit Dey, Samarjit Chakraborty, Qi Zhu
2019	Misc	`conf`	Synthesizing Performance-Aware (m, k)-Firm Control Execution Patterns Under Dropped Samples. VLSID Sumana Ghosh, Soumyajit Dey, Pallab Dasgupta
2018	J	`jnl`	Co-Synthesis of Loop Execution Patterns for Multihop Control Networks. IEEE Embed. Syst. Lett. Sumana Ghosh, Soumyajit Dey, Pallab Dasgupta
2018	A	`conf`	Design and validation of fault-tolerant embedded controllers. DATE Saurav Kumar Ghosh, Soumyajit Dey, Dip Goswami, Daniel Mueller-Gritschneder, Samarjit Chakraborty
2017	J	`jnl`	A Framework for OpenCL Task Scheduling on Heterogeneous Multicores. Parallel Process. Lett. Anirban Ghose, Lokesh Dokara, Soumyajit Dey, Pabitra Mitra
2017	J	`jnl`	A Structured Methodology for Pattern based Adaptive Scheduling in Embedded Control. ACM Trans. Embed. Comput. Syst. Sumana Ghosh, Souradeep Dutta, Soumyajit Dey, Pallab Dasgupta
2017	J	`jnl`	RELSPEC: a framework for reliability aware design of component based embedded systems. Des. Autom. Embed. Syst. Saurav Kumar Ghosh, P. Vishnuvardhan, Satya Gautam Vadlamudi, Aritra Hazra, Soumyajit Dey, Partha Pratim Chakrabarti
2017	A	`conf`	SERD: A simulation framework for estimation of system level reliability degradation. DATE Saurav Kumar Ghosh, Soumyajit Dey
2017	—	`conf`	Verifying stability guarantees of control software implementations in the presence of sensor level faults: work-in-progress. EMSOFT Companion Saurav Kumar Ghosh, Debasmita Lohar, Dibyendu Das, Soumyajit Dey
2016	—	`conf`	Divergence Aware Automated Partitioning of OpenCL Workloads. ISEC Anirban Ghose, Soumyajit Dey, Pabitra Mitra, Mainak Chaudhuri
2016	Misc	`conf`	Failure Estimation of Behavioral Specifications. SETTA Debasmita Lohar, Anudeep Dunaboyina, Dibyendu Das, Soumyajit Dey
2016	J	`jnl`	Multirate Sampling for Power-Performance Tradeoff in Embedded Control. IEEE Embed. Syst. Lett. Rajorshee Raha, Souradeep Dutta, Soumyajit Dey, Pallab Dasgupta
2016	—	`conf`	Planning based guided reconstruction of corner cases in architectural validation. VDAT Rajib Lochan Jana, Shashank Kuchibhotla, Soumyajit Dey, Pallab Dasgupta, Rakesh Kumar
2016	—	`conf`	Scheduling of Controllers' Update-Rates for Residual Bandwidth Utilization. FORMATS Majid Zamani, Soumyajit Dey, Sajid Mohamed, Pallab Dasgupta, Manuel Mazo Jr.
2016	—	`conf`	Synthesis of scheduler automata guaranteeing stability and reliability of embedded control systems. VDAT Saurav Kumar Ghosh, Akash Mondal, Souradeep Dutta, Aritra Hazra, Soumyajit Dey
2015	—	`conf`	Integrating formal methods with testing for reliability estimation of component based systems. ISSRE Workshops Debasmita Lohar, Soumyajit Dey
2015	J	`jnl`	Multi-mode Sampling Period Selection for Embedded Real Time Control. CoRR Rajorshee Raha, Soumyajit Dey, Partha Pratim Chakrabarti, Pallab Dasgupta
2015	Misc	`conf`	RELSPEC: A Framework for Early Reliability Refinement of Embedded Applications. VLSID Saurav Kumar Ghosh, Aritra Hazra, Soumyajit Dey
2015	C	`conf`	Timing Analysis of Safety-Critical Automotive Software: The AUTOSAFE Tool Flow. APSEC Martin Becker, Sajid Mohamed, Karsten Albers, P. P. Chakrabarti, Samarjit Chakraborty, Pallab Dasgupta, Soumyajit Dey, Ravindra Metta
2014	—	`conf`	Synthesis of sampling modes for adaptive control. ICCSCE Rajorshee Raha, Aritra Hazra, Akash Mondal, Soumyajit Dey, Partha Pratim Chakrabarti, Pallab Dasgupta
2013	J	`jnl`	A Kleene Algebra of Tagged System Actors for Reasoning about Heterogeneous Embedded Systems. IEEE Trans. Computers Soumyajit Dey, Dipankar Sarkar, Anupam Basu
2012	—	`conf`	A temporal constraint based planning approach for city tour and travel plan generation. IHCI Plaban Kumar Bhowmick, Soumyajit Dey, Abinash Samantaray, Debnath Mukherjee, Prateep Misra
2011	J	`jnl`	A Kleene Algebra of Tagged System Actors. IEEE Embed. Syst. Lett. Soumyajit Dey, Dipankar Sarkar, Anupam Basu
2011	J	`jnl`	Modeling and Analysis of Embedded Multimedia Applications using Colored Petri Nets. Int. J. Model. Simul. Sci. Comput. Soumyajit Dey, Praveen Rokkam, Anupam Basu
2010	J	`jnl`	A Tag Machine Based Performance Evaluation Method for Job-Shop Schedules. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Soumyajit Dey, Dipankar Sarkar, Anupam Basu
2008	Misc	`conf`	An Approach to Software Performance Evaluation on Customized Embedded Processors. VLSI Design Soumyajit Dey, Monu Kedia, Anupam Basu
2007	—	`conf`	Architectural Optimizations for Text to Speech Synthesis in Embedded Systems. ASP-DAC Soumyajit Dey, Monu Kedia, Anupam Basu
2007	Misc	`conf`	Embedded Support Vector Machine : Architectural Enhancements and Evaluation. VLSI Design Soumyajit Dey, Monu Kedia, Niket Agarwal, Anupam Basu
2006	Misc	`conf`	An Approach to Architectural Enhancement for Embedded Speech Applications. VLSI Design Soumyajit Dey, Susmit Biswas, Arijit Mukhopadhyay, Anupam Basu
2006	J	`jnl`	Shruti: an embedded text-to-speech system for Indian languages. IEE Proc. Softw. Arijit Mukhopadhyay, Sunandan Chakraborty, Monojit Choudhury, Anirban Lahiri, Soumyajit Dey, Anupam Basu