activity
20162026
most citedRuntime Interchange for Adaptive Re-use of Intelligent Cyber-Physical System Controllers

2 citations · 3 across the 6 of their papers we have counts for

collaborators
Showing 2016Show all

1 paper · 1 filter

cs.FL2016

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…