Meet ApplyKite Twin, the application assistant that learns with you

Meet your Twin, it learns with you

Your Twin learns with you

Launch week codes:30% off annual Pro20% off monthly Pro

Ends in00h00m00s

Srinivas Pinisetty

Associate Professor

Indian Institute of Technology Bhubaneswar

No Info

Research Interests

ApplyKite TwinLearns as you apply

Make your next move.

Prepare your application

Review drafts before you send them.

Articles (17)

Year:

2026

Year:

2026

Year:

2026

Year:

2026

Year:

2026

Year:

2026

Year:

2026

Year:

2025

Year:

2025

Year:

2025

Year:

2024

Year:

2024

Year:

2024

Year:

2023

Year:

2023

Year:

2023

Year:

2023

Collaborators (1)

Partha Roop

Professor

University of Auckland

NEW ZEALAND

View details

ApplyKite TwinLearns as you apply

Make your next move.

Prepare your application

Review drafts before you send them.

Srinivas Pinisetty

Research Interests

Make your next move.

Articles (17)

Compositional Security Enforcement of Timed Properties for Cyber Physical Systems

Advancements in Runtime Enforcement Frameworks for Reactive Systems

Cp2SRust: A Transpiler for C/C++ to Safer Rust

Modeling and Verification of Enhanced MTIP: Secure and Sleepy

Formal Runtime Verification Framework for Detecting Cardiac Abnormalities

Prompt Runtime Enforcement

Safe Multi-agent Reinforcement Learning Using Formal Runtime Enforcement: A Case Study

Securing Pacemakers Using Runtime Monitors over Physiological Signals

Runtime Enforcement of CPS against Signal Temporal Logic

Runtime Enforcement with Event Reordering

Scalable Security Enforcement for Cyber Physical Systems

An Explainable and Formal Framework for Hypertension Monitoring Using ECG and PPG

Runtime Verified Neural Networks for Cyber-Physical Systems

Model Based Verification of Spiking Neural Networks in Cyber Physical Systems

A Novel Mapping of ECG and PPG to Ensure the Safety of Health Monitoring Applications

Serial Compositional Runtime Enforcement of Safety Timed Properties

Incremental Security Enforcement for Cyber-Physical Systems

Collaborators (1)

Partha Roop

Make your next move.