Concepedia

Srđan Krstić

SK

6

Publications

273

Citations

6

H-Index

2014

Active since

Affiliations

University of Luxembourg(Current)

Politecnico di Milano

Université Grenoble Alpes

Board of the Swiss Federal Institutes of Technology

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

Top concepts

EngineeringFormal MethodsComputer ScienceFormal VerificationSystems EngineeringData ScienceVerificationProgram AnalysisSoftware AnalysisBig Data

Publications per year

2014–2021

6

Publications

6

A taxonomy for classifying runtime verification tools

Ylìès Falcone, Srđan Krstić, Giles Reger et al. · International Journal on Software Tools for Technology Transfer · 2021 · 106 citations · Full text

Program Checking, Engineering, Runtime Verification +11

A survey of challenges for runtime verification from advanced application domains (beyond software)

César Sánchez, Gerardo Schneider, Wolfgang Ahrendt et al. · Chalmers Research (Chalmers University of Technology) · 2019 · 95 citations

Towards the formalization of properties of cloud-based elastic systems

Marcello M. Bersani, Domenico Bianculli, Schahram Dustdar et al. · 2014 · 35 citations

Provisioning (Technology), Resource Orchestration, Engineering +18

Efficient large-scale trace checking using mapreduce

Marcello M. Bersani, Domenico Bianculli, Carlo Ghezzi et al. · 2016 · 17 citations · Full text

Cluster Computing, Engineering, Verification +22

“Binge-Watching”: The New Way of Watching TV Series

Srđan Krstić · AM Journal of Art and Media Studies · 2018 · 10 citations · Full text

Rows per page

1–5 of 6