2 citations · 3 across the 6 of their papers we have counts for
6 papers
Runtime Enforcement of Hybrid System Properties
Mir Md Sajid Sarwar, Srinivas Pinisetty, Rajarshi Ray +1
Runtime enforcement has emerged as a promising approach for ensuring the safety of autonomous and cyber-physical systems operating in uncertain and dynamic environments. Unlike tra…
Runtime Enforcement of CPS against Signal Temporal Logic
Han Su, Saumya Shankar, Srinivas Pinisetty +2
Cyber-Physical Systems (CPSs), especially those involving autonomy, need guarantees of their safety. Runtime Enforcement (RE) is a lightweight method to formally ensure that some s…
Towards a Transpiler for C/C++ to Safer Rust
Dhiren Tripuramallu, Swapnil Singh, Shrirang Deshmukh +4
Rust is a multi-paradigm programming language developed by Mozilla that focuses on performance and safety. Rust code is arguably known best for its speed and memory safety, a prope…
Runtime Monitoring and Statistical Approaches for Correlation Analysis of ECG and PPG
Abhinandan Panda, Srinivas Pinisetty, Partha Roop
Biophysical signals such as Electrocardiogram (ECG) and Photoplethysmogram (PPG) are key to the sensing of vital parameters for wellbeing. Coincidentally, ECG and PPG are signals,…
Runtime Interchange for Adaptive Re-use of Intelligent Cyber-Physical System Controllers
Hammond Pearce, Xin Yang, Srinivas Pinisetty +1
Cyber-Physical Systems (CPSs) such as those found within autonomous vehicles are increasingly adopting Artificial Neural Network (ANN)-based controllers. To ensure the safety of th…
Runtime enforcement of reactive systems using synchronous enforcers
Srinivas Pinisetty, Partha S Roop, Steven Smyth +2
Synchronous programming is a paradigm of choice for the design of safety-critical reactive systems. Runtime enforcement is a technique to ensure that the output of a black-box syst…