24 citations · 58 across the 14 of their papers we have counts for
Showing 2016Show all
2 papers · 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…
eess.SY2016★ 12 cited
Towards the Emulation of the Cardiac Conduction System for Pacemaker Testing
Eugene Yip, Sidharta Andalam, Partha S. Roop +4
The heart is a vital organ that relies on the orchestrated propagation of electrical stimuli to coordinate each heart beat. Abnormalities in the heart's electrical behaviour can be…