Saumya Shankar

Employment

• International Institute of Information Technology Bangalore

Education

Education history is unavailable.

Projects & Funding

Projects & funding information is unavailable.

Publications (14)

• Softtide: A Deterministic Middleware for Real-Time Systems
  ACM Transactions on Embedded Computing Systems 2026 DOI: 10.1145/3774891
  +Save
• Compositional training for Safe AI-based Cyber-Physical Systems
  2025 DOI: 10.1145/3742875.3754679
  +Save
• Softtide: a deterministic middleware for real-time systems
  2025 DOI: 10.1145/3742873.3755987
  +Save
• Runtime Enforcement of CPS against Signal Temporal Logic
  2025 DOI: 10.1145/3716863.3718052
  +Save
• Compositional runtime enforcement of safety and co-safety timed properties
  International Journal on Software Tools for Technology Transfer 2025 DOI: 10.1007/s10009-025-00785-2
  +Save
• Runtime Enforcement of CPS against Signal Temporal Logic
  Arxiv 2025 DOI: 10.48550/arXiv.2502.11584
  +Save
• Bounded-memory runtime enforcement with probabilistic and performance analysis
  Formal Methods in System Design 2024 DOI: 10.1007/s10703-024-00446-1
  +Save
• Towards a Security Framework for Artifact-centric Workflows Leveraging Runtime Enforcement
  Journal of Object Technology 2024 DOI: 10.5381/JOT.2024.23.2.A1
  +Save
• Bounded-Memory Runtime Enforcement of Timed Properties
  Leibniz International Proceedings in Informatics Lipics 2023 DOI: 10.4230/LIPIcs.TIME.2023.6
  +Save
• Serial Compositional Runtime Enforcement of Safety Timed Properties
  ACM International Conference Proceeding Series 2023 DOI: 10.1145/3578527.3578529
  +Save