Srđan Krstić - Concepedia

Author

Srđan Krstić

Also Known As

Krstic, Srdan, Krstić, Srđan, Srdan Krstic, Srdan Krstić, Srdjan Krstic, Srdjan Krstić, Srđan Krstic, Srđan Krstić

Publications

614

Citations

H-Index

Concepts

All Affiliations

Srđan Krstić is an author at University of Luxembourg specializing in engineering, systems engineering, and formal verification.

#	Concept	H-Index	Publications	Citations
1	Engineering	4	4	168
2	Computer Science	3	3	158
3	Data Science	2	2	27
4	Computer Engineering	1	1	35
5	Operations Research	1	1	35

Srđan Krstić

Publications

273

Citations

H-Index

Page 1

	Year	Citations
A taxonomy for classifying runtime verification tools Ylìès Falcone, Srđan Krstić, Giles Reger, International Journal on Software Tools for Technology Transfer Program CheckingEngineeringRuntime VerificationProgram AnalysisSoftware Testing	2021	106
A survey of challenges for runtime verification from advanced application domains (beyond software) César Sánchez, Gerardo Schneider, Wolfgang Ahrendt, Chalmers Research (Chalmers University of Technology)	2019	95
Towards the formalization of properties of cloud-based elastic systems Marcello M. Bersani, Domenico Bianculli, Schahram Dustdar, Provisioning (Technology)Resource OrchestrationEngineeringCloud Computing ArchitectureCloud Load Balancing	2014	35
Efficient large-scale trace checking using mapreduce Marcello M. Bersani, Domenico Bianculli, Carlo Ghezzi, Cluster ComputingEngineeringVerificationModel CheckingMap-reduce	2016	17
“Binge-Watching”: The New Way of Watching TV Series Srđan Krstić AM Journal of Art and Media Studies	2018	10
Almost event-rate independent monitoring David Basin, Bhargav Bhatt, Srđan Krstić, Formal Methods in System Design EngineeringEvent-rate Independent MonitoringData ScienceComplex Event ProcessingEvent Correlation	2019	10

Page 1