3
Publications
167
Citations
3
H-Index
2017
Active since
Affiliations
Marek Baranowski is an author at University of Utah specializing in software analysis, formal methods, and formal verification.
Top concepts
EngineeringFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationSoftware DesignSystem SoftwareHardware SecurityOperating Systems
Publications per year
2017–2018
3
3
Abhiram Balasubramanian, Marek Baranowski, Aurojit Panda et al. · 2017 · 53 citations
Abhiram Balasubramanian, Marek Baranowski, Aurojit Panda et al. · ACM SIGOPS Operating Systems Review · 2017 · 22 citations
Rows per page
1–3 of 3