Sobhan Chatterjee

According to our database, Sobhan Chatterjee authored at least 7 papers between 2022 and 2026.

Collaborative distances:

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

2026

Synchronous Signal Temporal Logic for Decidable Verification of Cyber-Physical Systems.

Partha S. Roop, Sobhan Chatterjee, Avinash Malik, Nathan Allen, Logan Kenwright

CoRR, March, 2026

2025

WCET-Aware Partitioning and Allocation of Disaggregated Networks for Multicore Systems.

Junjie Shi, Christian Hakert, Kay Heider, Mario Günzel, Nils Hölscher, Daniel Kuhse, Jian-Jia Chen, Logan Kenwright, Sobhan Chatterjee, Nathan Allen, Partha S. Roop

IEEE Embed. Syst. Lett., October, 2025

Formal Methods for Cryogenic Cyber Physical Systems (CCPS).

Duleepa J. Thrimawithana, Partha S. Roop, Sobhan Chatterjee, Maryam Hemmati

Proceedings of the International Symposium on Formal Methods and Models for System Design, 2025

Compositional training for Safe AI-based Cyber-Physical Systems.

Sobhan Chatterjee, Saumya Shankar, Partha S. Roop

Proceedings of the International Symposium on Formal Methods and Models for System Design, 2025

2024

Towards Personalised Mood Prediction and Explanation for Depression from Biophysical Data.

Sobhan Chatterjee, Jyoti Mishra, Frederick Sundram, Partha S. Roop

Sensors, 2024

Exploring Compositional Neural Networks for Real-Time Systems.

Sobhan Chatterjee, Nathan Allen, Nitish D. Patel, Partha S. Roop

Proceedings of the 22nd ACM-IEEE International Symposium on Formal Methods and Models for System Design, 2024

2022

Compositional Paper Dataset.

Sobhan Chatterjee

Dataset, October, 2022