Srinivas Pinisetty
Srinivas Pinisetty
Postdoc, Computer Science, Aalto University, Finland
Adresse e-mail validée de aalto.fi - Page d'accueil
Titre
Citée par
Citée par
Année
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
302016
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
272012
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
242017
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
212017
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
192017
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
192014
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
182015
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
132014
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
On the runtime enforcement of timed properties
Y Falcone, S Pinisetty
International Conference on Runtime Verification, 48-69, 2019
102019
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
102017
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
82018
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
72019
Monitoring data minimisation
S Pinisetty, T Antignac, D Sands, G Schneider
arXiv preprint arXiv:1801.02484, 2018
72018
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
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
52018
Compositional runtime enforcement
S Pinisetty, S Tripakis
NASA Formal Methods Symposium, 82-99, 2016
52016
Quand les chiffonniers du Caire osent! Mobilisations, contournements et résistances d'une communauté stigmatisée
B Florin
Une société en quête d'avenir. Égypte, an 2 de la révolution, pp. 77-94, 2012
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
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20