Concepedia

Greta Cutulenco

GC

Statistics

Publications

3

Citations

59

H-Index

3

Active since

2014

Affiliations

University of Waterloo(Current)

Greta Cutulenco is an author at University of Waterloo specializing in program analysis, engineering, and computer science.

Top concepts

EngineeringComputer ScienceProgram AnalysisSoftware AnalysisData ScienceVerificationFormal MethodsSoftware TestingReal-time SystemsFormal Verification

Publications per year

2014–2018

3

Publications

3

Mining Timed Regular Specifications from System Traces

Apurva Narayan, Greta Cutulenco, Yogi Joshi et al. · ACM Transactions on Embedded Computing Systems · 2018 · 27 citations

Engineering, Verification, Software Analysis +22

Mining timed regular expressions from system traces

Greta Cutulenco, Yogi Joshi, Apurva Narayan et al. · 2016 · 17 citations

Engineering, Verification, Information Forensics +25

Mohammad Mehdi Zeinali Zadeh, Mahmoud Salem, Neeraj Kumar et al. · 2014 · 15 citations

Hardware Security, Anomaly Detection, Historic Good Traces +13

1–3 of 3