Travelled to:
1 × South Korea
Collaborated with:
Y.Falcone T.Jéron H.Marchand
Talks about:
properti (1) regular (1) runtim (1) enforc (1) time (1)
Person: Srinivas Pinisetty
DBLP: Pinisetty:Srinivas
Contributed to:
Wrote 1 papers:
- SAC-2014-PinisettyFJM #runtime
- Runtime enforcement of regular timed properties (SP, YF, TJ, HM), pp. 1279–1286.