Srinivas Pinisetty
Srinivas Pinisetty
Postdoc, Computer Science, Aalto University, Finland
E-mail confirmado em aalto.fi - Página inicial
Título
Citado por
Citado por
Ano
Runtime enforcement of regular timed properties by suppressing and delaying events
Y Falcone, T Jéron, H Marchand, S Pinisetty
Science of Computer Programming 123, 2-41, 2016
312016
Runtime enforcement of timed properties revisited
S Pinisetty, Y Falcone, T Jéron, H Marchand, A Rollet, ON Timo
Formal Methods in System Design 45 (3), 381-422, 2014
302014
Runtime enforcement of timed properties
S Pinisetty, Y Falcone, T Jéron, H Marchand, A Rollet, OLN Timo
International Conference on Runtime Verification, 229-244, 2012
292012
Runtime enforcement of parametric timed properties with practical applications
S Pinisetty, Y Falcone, T Jéron, H Marchand
IFAC Proceedings Volumes 47 (2), 420-427, 2014
212014
Predictive runtime verification of timed properties
S Pinisetty, T Jéron, S Tripakis, Y Falcone, H Marchand, V Preoteasa
Journal of Systems and Software 132, 353-365, 2017
182017
Runtime enforcement of cyber-physical systems
S Pinisetty, PS Roop, S Smyth, N Allen, S Tripakis, RV Hanxleden
ACM Transactions on Embedded Computing Systems (TECS) 16 (5s), 1-25, 2017
172017
Enforcement of (timed) properties with uncontrollable events
M Renard, Y Falcone, A Rollet, S Pinisetty, T Jéron, H Marchand
International Colloquium on Theoretical Aspects of Computing, 542-560, 2015
172015
Runtime enforcement of regular timed properties
S Pinisetty, Y Falcone, T Jéron, H Marchand
Proceedings of the 29th Annual ACM Symposium on Applied Computing, 1279-1286, 2014
152014
Predictive runtime enforcement
S Pinisetty, V Preoteasa, S Tripakis, T Jéron, Y Falcone, H Marchand
Formal Methods in System Design 51 (1), 154-199, 2017
142017
Tipex: A tool chain for timed property enforcement during execution
S Pinisetty, Y Falcone, T Jéron, H Marchand
Runtime Verification, 306-320, 2015
122015
Runtime enforcement of reactive systems using synchronous enforcers
S Pinisetty, PS Roop, S Smyth, S Tripakis, R Hanxleden
Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model …, 2017
112017
Runtime verification of hyperproperties for deterministic programs
S Pinisetty, G Schneider, D Sands
2018 IEEE/ACM 6th International FME Workshop on Formal Methods in Software …, 2018
102018
On the Runtime Enforcement of Timed Properties
Y Falcone, S Pinisetty
International Conference on Runtime Verification, 48-69, 2019
82019
Monitoring data minimisation
S Pinisetty, T Antignac, D Sands, G Schneider
arXiv preprint arXiv:1801.02484, 2018
62018
Measuring the scattering coefficient of turbid media from two-photon microscopy
D Sevrain, M Dubreuil, A Leray, C Odin, Y Le Grand
Optics express 21 (21), 25221-25235, 2013
62013
Smart I/O modules for mitigating cyber-physical attacks on industrial control systems
H Pearce, S Pinisetty, PS Roop, MMY Kuo, A Ukil
IEEE Transactions on Industrial Informatics 16 (7), 4659-4669, 2019
42019
Security of pacemakers using runtime verification
S Pinisetty, PS Roop, V Sawant, G Schneider
2018 16th ACM/IEEE International Conference on Formal Methods and Models for …, 2018
42018
Compositional runtime enforcement
S Pinisetty, S Tripakis
NASA Formal Methods Symposium, 82-99, 2016
42016
Quand les chiffonniers du Caire osent! Mobilisations, contournements et résistances d'une communauté stigmatisée
B Florin
22012
Securing implantable medical devices with runtime enforcement hardware
H Pearce, MMY Kuo, PS Roop, S Pinisetty
Proceedings of the 17th ACM-IEEE International Conference on Formal Methods …, 2019
12019
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20